[Bug tree-optimization/98211] [11 Regression] Wrong code at -O3 since r11-4482-gb626b00823af9ca9

2020-12-09 Thread marxin at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98211 Martin Liška changed: What|Removed |Added Ever confirmed|0 |1 Known to work|

[Bug tree-optimization/98211] [11 Regression] Wrong code at -O3 since r11-4482-gb626b00823af9ca9

2020-12-09 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98211 Richard Biener changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|unassigned

[Bug tree-optimization/98211] [11 Regression] Wrong code at -O3 since r11-4482-gb626b00823af9ca9

2020-12-09 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98211 --- Comment #2 from Richard Biener --- Huh. OK, so we do some pointless vectorization (the store is in a BB ending in __builtin_unreachable()) but the actual issue must be the live lane extraction into the not vectorized scalar code: vect_pat

[Bug tree-optimization/98211] [11 Regression] Wrong code at -O3 since r11-4482-gb626b00823af9ca9

2020-12-09 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98211 Richard Biener changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment #3

[Bug tree-optimization/98211] [11 Regression] Wrong code at -O3 since r11-4482-gb626b00823af9ca9

2020-12-09 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98211 --- Comment #4 from Richard Biener --- GIMPLE testcase for the vectorization (w/o driver part). If you make the condition non-uniform then we include the _28 SLP def in the SLP and everything goes correct. So it might be that we need to special

[Bug tree-optimization/98211] [11 Regression] Wrong code at -O3 since r11-4482-gb626b00823af9ca9

2020-12-09 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98211 --- Comment #5 from Richard Biener --- OK, so I think x.c:41:31: note: === vect_pattern_recog === x.c:41:31: note: vect_recog_mask_conversion_pattern: detected: iftmp.2_10 = _26 != 0 ? iftmp.2_22 : iftmp.2_21; x.c:41:31: note: mask_convers

[Bug tree-optimization/98211] [11 Regression] Wrong code at -O3 since r11-4482-gb626b00823af9ca9

2020-12-09 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98211 Richard Biener changed: What|Removed |Added CC||duanbo3 at huawei dot com,

[Bug tree-optimization/98211] [11 Regression] Wrong code at -O3 since r11-4482-gb626b00823af9ca9

2020-12-10 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98211 --- Comment #7 from Richard Biener --- Hmm, OK, so besides the incomplete bool pattern matching the issue seems to be that while we reject the problematic conversion in vectorizable_conversion it slips through via vectorizable_assignment because

[Bug tree-optimization/98211] [11 Regression] Wrong code at -O3 since r11-4482-gb626b00823af9ca9

2020-12-10 Thread rsandifo at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98211 --- Comment #8 from rsandifo at gcc dot gnu.org --- (In reply to Richard Biener from comment #7) > Hmm, OK, so besides the incomplete bool pattern matching the issue seems to > be that while we reject the problematic conversion in > vectorizable

[Bug tree-optimization/98211] [11 Regression] Wrong code at -O3 since r11-4482-gb626b00823af9ca9

2020-12-10 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98211 --- Comment #9 from CVS Commits --- The master branch has been updated by Richard Biener : https://gcc.gnu.org/g:76c09f2af9d8ab9c760d860626f069d12d86f0a9 commit r11-5901-g76c09f2af9d8ab9c760d860626f069d12d86f0a9 Author: Richard Biener Date:

[Bug tree-optimization/98211] [11 Regression] Wrong code at -O3 since r11-4482-gb626b00823af9ca9

2020-12-10 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98211 Richard Biener changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug tree-optimization/98211] [11 Regression] Wrong code at -O3 since r11-4482-gb626b00823af9ca9

2020-12-10 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98211 --- Comment #11 from Richard Biener --- (In reply to rsand...@gcc.gnu.org from comment #8) > (In reply to Richard Biener from comment #7) > > Hmm, OK, so besides the incomplete bool pattern matching the issue seems to > > be that while we reject