Re: Signedness of boolean types (and Ada)

2021-05-17 Thread Andrew Pinski via Gcc
On Mon, May 17, 2021 at 6:52 PM Andrew Pinski wrote: > > I noticed while debugging why my "A?CST1:CST0" patch was broken for > Ada, I noticed the following ranges for boolean types: > # RANGE [0, 1] NONZERO 1 > _14 = checks__saved_checks_tos.482_2 > 0; > # RANGE [0, 255] NONZERO 1 > _18 =

Signedness of boolean types (and Ada)

2021-05-17 Thread Andrew Pinski via Gcc
I noticed while debugging why my "A?CST1:CST0" patch was broken for Ada, I noticed the following ranges for boolean types: # RANGE [0, 1] NONZERO 1 _14 = checks__saved_checks_tos.482_2 > 0; # RANGE [0, 255] NONZERO 1 _18 = _14 == 0; _19 = ~_18; # RANGE [0, 1] NONZERO 1 _15 = _19; if

Paid link insertion.🔗 Coding.🖥️

2021-05-17 Thread Veronika Chuhalova via Gcc
Hello. I want to insert a link to this page https://www.gnu.org/software/gcc/projects/cxx-status.html. My link is the link to the coding homework service. How much is such a link insertion? Thank you, I am waiting for your response. -- *Best regards, * *Veronika Chuhalova* *Junior SEO Specialis

Re: TBAA

2021-05-17 Thread Richard Biener via Gcc
On Mon, May 17, 2021 at 1:46 PM Uecker, Martin wrote: > > > > Am Montag, den 17.05.2021, 09:44 +0200 schrieb Richard Biener: > > On Mon, May 17, 2021 at 9:32 AM Uecker, Martin > > wrote: > > > > > > > > > Am Montag, den 17.05.2021, 09:08 +0200 schrieb Richard Biener: > > > > On Sun, May 16, 2021

Re: TBAA

2021-05-17 Thread Uecker, Martin
Am Montag, den 17.05.2021, 09:44 +0200 schrieb Richard Biener: > On Mon, May 17, 2021 at 9:32 AM Uecker, Martin > wrote: > > > > > > Am Montag, den 17.05.2021, 09:08 +0200 schrieb Richard Biener: > > > On Sun, May 16, 2021 at 8:57 AM Uecker, Martin > > > wrote: > > > > > > > > Hi Richard, >

Re: TBAA

2021-05-17 Thread Richard Biener via Gcc
On Mon, May 17, 2021 at 9:32 AM Uecker, Martin wrote: > > > > Am Montag, den 17.05.2021, 09:08 +0200 schrieb Richard Biener: > > On Sun, May 16, 2021 at 8:57 AM Uecker, Martin > > wrote: > > > > > > > > > Hi Richard, > > > > > > I noticed that GCC 11 has different behavior in the following > > >

Re: TBAA

2021-05-17 Thread Uecker, Martin
Am Montag, den 17.05.2021, 09:08 +0200 schrieb Richard Biener: > On Sun, May 16, 2021 at 8:57 AM Uecker, Martin > wrote: > > > > > > Hi Richard, > > > > I noticed that GCC 11 has different behavior in the following > > example relative to 10.2 with -O2. I wonder whether this > > is an intenti

Re: TBAA

2021-05-17 Thread Richard Biener via Gcc
On Sun, May 16, 2021 at 8:57 AM Uecker, Martin wrote: > > > > Hi Richard, > > I noticed that GCC 11 has different behavior in the following > example relative to 10.2 with -O2. I wonder whether this > is an intentional change and if yes, what are the rules? Yes, this is a fix for the long-standin