[Bug tree-optimization/69489] missed vectorization for boolean loop, missed if-conversion

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69489 Andrew Pinski changed: What|Removed |Added Keywords||needs-bisection Known to work|

[Bug tree-optimization/69489] missed vectorization for boolean loop, missed if-conversion

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69489 Andrew Pinski changed: What|Removed |Added Last reconfirmed|2016-01-26 00:00:00 |2023-8-4 --- Comment #20 from Andrew

[Bug tree-optimization/69489] missed vectorization for boolean loop, missed if-conversion

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69489 Andrew Pinski changed: What|Removed |Added CC||pinskia at gcc dot gnu.org

[Bug tree-optimization/69489] missed vectorization for boolean loop, missed if-conversion

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69489 --- Comment #19 from amker at gcc dot gnu.org --- : # i_27 = PHI <0(3), i_21(5)> # n1_29 = PHI <0(3), n1_20(5)> # n2_28 = PHI <0(3), n2_34(5)> i.1_7 = (sizetype) i_27; _9 = u_8(D) + i.1_7; _11 = *_9; _13 = v_12(D) + i.1_7; _14

[Bug tree-optimization/69489] missed vectorization for boolean loop, missed if-conversion

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69489 --- Comment #18 from amker at gcc dot gnu.org --- So the question is why if-conversion generates: _43 = _44 & _45; _ifc__40 = _43 ? 1 : 0; n2_34 = n2_28 + _ifc__40; Not: _43 = _44 & _45; _XXX = (long int) _43; n2_34 = n2_28 + _XXX;

[Bug tree-optimization/69489] missed vectorization for boolean loop, missed if-conversion

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69489 --- Comment #17 from amker at gcc dot gnu.org --- The if-converted loop of the reported test is as: : # i_27 = PHI <0(3), i_21(5)> # n1_29 = PHI <0(3), n1_20(5)> # n2_28 = PHI <0(3), n2_34(5)> i.1_7 = (sizetype) i_27; _9 = u_8(D) +

[Bug tree-optimization/69489] missed vectorization for boolean loop, missed if-conversion

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69489 --- Comment #16 from amker at gcc dot gnu.org --- (In reply to amker from comment #15) > Also the case is reported not vectorized on Solaris/SPARC in PR70803. I > will investigate and follow up it in that ticket. > > Thanks. Hmm, that one is

[Bug tree-optimization/69489] missed vectorization for boolean loop, missed if-conversion

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69489 --- Comment #15 from amker at gcc dot gnu.org --- Also the case is reported not vectorized on Solaris/SPARC in PR70803. I will investigate and follow up it in that ticket. Thanks.

[Bug tree-optimization/69489] missed vectorization for boolean loop, missed if-conversion

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69489 --- Comment #14 from Julian Taylor --- I am on x86_64. It actually does vectorize with -mavx but not with -msse2. The other variant of the loop I posted does vectorize with sse2. $ gcc --version gcc (GCC) 7.0.0 20160421 (experimental)

[Bug tree-optimization/69489] missed vectorization for boolean loop, missed if-conversion

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69489 --- Comment #13 from amker at gcc dot gnu.org --- (In reply to Julian Taylor from comment #12) > the testcase in this ticket is not yet vectorized with gcc 20160421 (r235341) Hi Julian, may I ask which target? It can be vectorized on x86_64 and

[Bug tree-optimization/69489] missed vectorization for boolean loop, missed if-conversion

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69489 --- Comment #12 from Julian Taylor --- the testcase in this ticket is not yet vectorized with gcc 20160421 (r235341)

[Bug tree-optimization/69489] missed vectorization for boolean loop, missed if-conversion

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69489 --- Comment #11 from Andreas Schwab --- > Isn't that what was reported in PR70725 for its fix? Does r235341 fix it? Yes and yes, but r235252 didn't trigger it.

[Bug tree-optimization/69489] missed vectorization for boolean loop, missed if-conversion

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69489 --- Comment #10 from amker at gcc dot gnu.org --- (In reply to Andreas Schwab from comment #7) > The second commit triggers this ICE on ia64: > > $ gcc/xgcc -Bgcc/ ../../gcc/gcc/testsuite/gcc.dg/pr70725.c -O3 -S >

[Bug tree-optimization/69489] missed vectorization for boolean loop, missed if-conversion

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69489 --- Comment #8 from Andreas Schwab --- The same ICE also occurs on m68k and aarch64.

[Bug tree-optimization/69489] missed vectorization for boolean loop, missed if-conversion

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69489 --- Comment #9 from rguenther at suse dot de --- On Thu, 21 Apr 2016, sch...@linux-m68k.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69489 > > --- Comment #7 from Andreas Schwab --- > The second commit

[Bug tree-optimization/69489] missed vectorization for boolean loop, missed if-conversion

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69489 --- Comment #7 from Andreas Schwab --- The second commit triggers this ICE on ia64: $ gcc/xgcc -Bgcc/ ../../gcc/gcc/testsuite/gcc.dg/pr70725.c -O3 -S ../../gcc/gcc/testsuite/gcc.dg/pr70725.c: In function ‘fn1’:

[Bug tree-optimization/69489] missed vectorization for boolean loop, missed if-conversion

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69489 --- Comment #6 from amker at gcc dot gnu.org --- Author: amker Date: Wed Apr 20 15:57:01 2016 New Revision: 235292 URL: https://gcc.gnu.org/viewcvs?rev=235292=gcc=rev Log: PR tree-optimization/69489 * tree-if-conv.c

[Bug tree-optimization/69489] missed vectorization for boolean loop, missed if-conversion

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69489 --- Comment #5 from amker at gcc dot gnu.org --- Author: amker Date: Wed Apr 20 15:41:45 2016 New Revision: 235289 URL: https://gcc.gnu.org/viewcvs?rev=235289=gcc=rev Log: PR tree-optimization/56625 PR tree-optimization/69489

[Bug tree-optimization/69489] missed vectorization for boolean loop, missed if-conversion

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69489 amker at gcc dot gnu.org changed: What|Removed |Added CC||amker at gcc dot gnu.org ---

[Bug tree-optimization/69489] missed vectorization for boolean loop, missed if-conversion

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69489 Richard Biener changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[Bug tree-optimization/69489] missed vectorization for boolean loop, missed if-conversion

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69489 --- Comment #2 from Richard Biener --- And in the end it is also related to PR23286, the inability to hoist the v[i] load out of if (u[i]) ... = v[i]; else ... = v[i]; which would also enable the if-conversion.

[Bug tree-optimization/69489] missed vectorization for boolean loop, missed if-conversion

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69489 Richard Biener changed: What|Removed |Added Keywords||missed-optimization