diff options
| author | Richard Biener <rguenther@suse.de> | 2024-03-26 09:11:00 +0100 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2024-03-26 11:05:41 +0100 |
| commit | f4e92d62dccb96ade753f3a8f49be1b5f61c31f1 (patch) | |
| tree | 157fb3b30427a72959eadf73ea44eba3481dfaa1 /gcc/fold-const.cc | |
| parent | 226a220d0056396e825e12435cc0da52cbd5ac56 (diff) | |
| download | gcc-f4e92d62dccb96ade753f3a8f49be1b5f61c31f1.zip gcc-f4e92d62dccb96ade753f3a8f49be1b5f61c31f1.tar.gz gcc-f4e92d62dccb96ade753f3a8f49be1b5f61c31f1.tar.bz2 | |
tree-optimization/114471 - ICE with mismatching vector types
The following fixes too lax verification of vector type compatibility
in vectorizable_operation. When we only have a single vector size then
comparing the number of elements is enough but with SLP we mix those
and thus for operations like BIT_AND_EXPR we need to verify compatible
element types as well. Allow sign changes for ABSU_EXPR though.
PR tree-optimization/114471
* tree-vect-stmts.cc (vectorizable_operation): Verify operand
types are compatible with the result type.
* gcc.dg/vect/pr114471.c: New testcase.
Diffstat (limited to 'gcc/fold-const.cc')
0 files changed, 0 insertions, 0 deletions