[Bug tree-optimization/97706] [11 Regression] ICE with LTO at -O3: verify_gimple failed (incompatible types in 'PHI' argument 0)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97706 Richard Biener changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug tree-optimization/97706] [11 Regression] ICE with LTO at -O3: verify_gimple failed (incompatible types in 'PHI' argument 0)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97706 --- Comment #10 from CVS Commits --- The master branch has been updated by Richard Biener : https://gcc.gnu.org/g:22175d0dc6a89ddd630f19d0f32a2d1ddb046807 commit r11-4787-g22175d0dc6a89ddd630f19d0f32a2d1ddb046807 Author: Richard Biener Date:

[Bug tree-optimization/97706] [11 Regression] ICE with LTO at -O3: verify_gimple failed (incompatible types in 'PHI' argument 0)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97706 --- Comment #9 from CVS Commits --- The master branch has been updated by Richard Biener : https://gcc.gnu.org/g:7307d8e10727aea8069c0e47e64a7a9b8588a22e commit r11-4776-g7307d8e10727aea8069c0e47e64a7a9b8588a22e Author: Richard Biener Date:

[Bug tree-optimization/97706] [11 Regression] ICE with LTO at -O3: verify_gimple failed (incompatible types in 'PHI' argument 0)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97706 --- Comment #8 from Richard Biener --- OK, so we'd indeed need to handle PHIs in vect_recog_bool_pattern which might turn out a bit complicated. I'm not a fan of pattern detection for SLP vectorization anyway so I'll see what to do here.

[Bug tree-optimization/97706] [11 Regression] ICE with LTO at -O3: verify_gimple failed (incompatible types in 'PHI' argument 0)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97706 --- Comment #7 from Richard Biener --- OK, so for the stores in the loop we end up with a bool pattern for the store we don't support (eh): t.i:24:14: note: Starting SLP discovery for t.i:24:14: note: VIEW_CONVERT_EXPR(arr[0]) = patt_88;

[Bug tree-optimization/97706] [11 Regression] ICE with LTO at -O3: verify_gimple failed (incompatible types in 'PHI' argument 0)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97706 --- Comment #6 from Richard Biener --- I guess we're missing what usually is done by bool patterns here, namely adding a conversion from the mask vector type produced by the comparison to the value vector type. A simple workaround would be to

[Bug tree-optimization/97706] [11 Regression] ICE with LTO at -O3: verify_gimple failed (incompatible types in 'PHI' argument 0)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97706 Richard Biener changed: What|Removed |Added Status|NEW |ASSIGNED --- Comment #5 from Richard

[Bug tree-optimization/97706] [11 Regression] ICE with LTO at -O3: verify_gimple failed (incompatible types in 'PHI' argument 0)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97706 Martin Liška changed: What|Removed |Added Status|WAITING |NEW CC|

[Bug tree-optimization/97706] [11 Regression] ICE with LTO at -O3: verify_gimple failed (incompatible types in 'PHI' argument 0)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97706 Richard Biener changed: What|Removed |Added CC||rguenth at gcc dot gnu.org,

[Bug tree-optimization/97706] [11 Regression] ICE with LTO at -O3: verify_gimple failed (incompatible types in 'PHI' argument 0)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97706 Richard Biener changed: What|Removed |Added Status|ASSIGNED|WAITING --- Comment #2 from Richard

[Bug tree-optimization/97706] [11 Regression] ICE with LTO at -O3: verify_gimple failed (incompatible types in 'PHI' argument 0)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97706 Richard Biener changed: What|Removed |Added Last reconfirmed||2020-11-04 Ever confirmed|0

[Bug tree-optimization/97706] [11 Regression] ICE with LTO at -O3: verify_gimple failed (incompatible types in 'PHI' argument 0)

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97706 Alex Coplan changed: What|Removed |Added Target Milestone|--- |11.0