diff options
| author | Richard Biener <rguenther@suse.de> | 2021-11-30 14:08:19 +0100 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2021-11-30 15:01:25 +0100 |
| commit | 0194d92c35ca8b3aa850b805d9becb4491cf6bec (patch) | |
| tree | a4009cca2cc467eb5bbe664febb8e261b4d8c0d3 /gcc/tree-if-conv.c | |
| parent | 7e846b0f13b8a111484eb3a330044726b9d7ad79 (diff) | |
| download | gcc-0194d92c35ca8b3aa850b805d9becb4491cf6bec.zip gcc-0194d92c35ca8b3aa850b805d9becb4491cf6bec.tar.gz gcc-0194d92c35ca8b3aa850b805d9becb4491cf6bec.tar.bz2 | |
tree-optimization/103489 - fix ICE when bool pattern recog fails
bool pattern recog currently does not handle cycles correctly
and when it fails we can ICE later vectorizing PHIs with
mismatched bool and non-bool vector types. The following avoids
blindly trusting bool pattern recog here and verifies things
more thoroughly in vectorizable_phi. A bool pattern recog fix
is for GCC 13.
2021-11-30 Richard Biener <rguenther@suse.de>
PR tree-optimization/103489
* tree-vect-loop.c (vectorizable_phi): Verify argument
vector type compatibility to mitigate bool pattern recog
bug.
* gcc.dg/torture/pr103489.c: New testcase.
Diffstat (limited to 'gcc/tree-if-conv.c')
0 files changed, 0 insertions, 0 deletions