Re: [PATCH] tree-optimization/102659 - avoid undefined overflow after if-conversion

2021-10-13 Thread Richard Sandiford via Gcc-patches
Richard Biener writes: > On Wed, 13 Oct 2021, Richard Sandiford wrote: > >> Richard Biener via Gcc-patches writes: >> > The following makes sure to rewrite arithmetic with undefined behavior >> > on overflow to a well-defined variant when moving them to be always >> > executed as part of doing if

Re: [PATCH] tree-optimization/102659 - avoid undefined overflow after if-conversion

2021-10-13 Thread Richard Biener via Gcc-patches
On Wed, 13 Oct 2021, Richard Sandiford wrote: > Richard Biener via Gcc-patches writes: > > The following makes sure to rewrite arithmetic with undefined behavior > > on overflow to a well-defined variant when moving them to be always > > executed as part of doing if-conversion for loop vectorizat

Re: [PATCH] tree-optimization/102659 - avoid undefined overflow after if-conversion

2021-10-13 Thread Richard Sandiford via Gcc-patches
Richard Biener via Gcc-patches writes: > The following makes sure to rewrite arithmetic with undefined behavior > on overflow to a well-defined variant when moving them to be always > executed as part of doing if-conversion for loop vectorization. > > Bootstrapped and tested on x86_64-unknown-linu

[PATCH] tree-optimization/102659 - avoid undefined overflow after if-conversion

2021-10-12 Thread Richard Biener via Gcc-patches
The following makes sure to rewrite arithmetic with undefined behavior on overflow to a well-defined variant when moving them to be always executed as part of doing if-conversion for loop vectorization. Bootstrapped and tested on x86_64-unknown-linux-gnu. Any comments? Thanks, Richard. 2021-10-