diff options
| author | Richard Biener <rguenther@suse.de> | 2022-04-04 10:31:15 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2022-04-04 11:34:25 +0200 |
| commit | 3eda57b4ae50b5fe57c174556f1daf3bd9a46b09 (patch) | |
| tree | 4b06fc51771ddd8fdd4386eddbb87111f982f517 | |
| parent | eaaf77dd85c333b116111bb1ae6c080154a4e411 (diff) | |
| download | gcc-3eda57b4ae50b5fe57c174556f1daf3bd9a46b09.zip gcc-3eda57b4ae50b5fe57c174556f1daf3bd9a46b09.tar.gz gcc-3eda57b4ae50b5fe57c174556f1daf3bd9a46b09.tar.bz2 | |
tree-optimization/105132 - add missing checking in vectorizable_operation
The following adds missing verification that the input vectors
have the same number of elements for vectorizable_operation.
2022-04-04 Richard Biener <rguenther@suse.de>
PR tree-optimization/105132
* tree-vect-stmts.cc (vectorizable_operation): Check that
the input vectors have the same number of elements.
* gcc.dg/torture/pr105132.c: New testcase.
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr105132.c | 12 | ||||
| -rw-r--r-- | gcc/tree-vect-stmts.cc | 6 |
2 files changed, 18 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/torture/pr105132.c b/gcc/testsuite/gcc.dg/torture/pr105132.c new file mode 100644 index 0000000..f8f0b16 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr105132.c @@ -0,0 +1,12 @@ +/* { dg-do compile } */ +/* { dg-additional-options "-march=skylake-avx512" { target x86_64-*-* i?86-*-* } } */ + +short a; +extern int b[]; +int c; +void d(long f[][5][5][17], int g[][5][5][17]) { + for (short e = 0; e < 17; e++) { + a = g[19][2][3][e]; + b[e] = c & (f[3][2][3][e] && g[19][2][3][e]); + } +} diff --git a/gcc/tree-vect-stmts.cc b/gcc/tree-vect-stmts.cc index f7449a7..f6fc7e1 100644 --- a/gcc/tree-vect-stmts.cc +++ b/gcc/tree-vect-stmts.cc @@ -6133,6 +6133,9 @@ vectorizable_operation (vec_info *vinfo, "use not simple.\n"); return false; } + if (vectype2 + && maybe_ne (nunits_out, TYPE_VECTOR_SUBPARTS (vectype2))) + return false; } if (op_type == ternary_op) { @@ -6144,6 +6147,9 @@ vectorizable_operation (vec_info *vinfo, "use not simple.\n"); return false; } + if (vectype3 + && maybe_ne (nunits_out, TYPE_VECTOR_SUBPARTS (vectype3))) + return false; } /* Multiple types in SLP are handled by creating the appropriate number of |