Re: [RFC] c-family: Add __builtin_noassoc

2021-07-19 Thread Richard Biener via Gcc-patches
On Fri, Jul 16, 2021 at 2:00 PM Matthias Kretz wrote: > > On Friday, 16 July 2021 11:31:29 CEST Richard Biener wrote: > > On Fri, Jul 16, 2021 at 10:57 AM Matthias Kretz wrote: > > > On Wednesday, 14 July 2021 10:14:55 CEST Richard Biener wrote: > > > > I think implementing it similar to how we d

Re: [RFC] c-family: Add __builtin_noassoc

2021-07-16 Thread Matthias Kretz
On Friday, 16 July 2021 11:31:29 CEST Richard Biener wrote: > On Fri, Jul 16, 2021 at 10:57 AM Matthias Kretz wrote: > > On Wednesday, 14 July 2021 10:14:55 CEST Richard Biener wrote: > > > I think implementing it similar to how we do __builtin_shufflevector > > > would > > > be easily possible.

Re: [RFC] c-family: Add __builtin_noassoc

2021-07-16 Thread Richard Biener via Gcc-patches
On Fri, Jul 16, 2021 at 10:57 AM Matthias Kretz wrote: > > On Wednesday, 14 July 2021 10:14:55 CEST Richard Biener wrote: > > > > There's one "related" IL feature used by the Fortran frontend - > > > > PAREN_EXPR > > > > prevents association across it. So for Fortran (when not > > > > -fno-protec

[RFC] c-family: Add __builtin_noassoc

2021-07-16 Thread Matthias Kretz
On Wednesday, 14 July 2021 10:14:55 CEST Richard Biener wrote: > > > There's one "related" IL feature used by the Fortran frontend - > > > PAREN_EXPR > > > prevents association across it. So for Fortran (when not > > > -fno-protect-parens which is enabled by -Ofast), (a + b) - b cannot be > > > op