diff options
| author | Richard Biener <rguenther@suse.de> | 2024-04-16 10:46:03 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2024-04-16 12:37:04 +0200 |
| commit | 45a41ace55d0ffb1097e374868242329788ec82a (patch) | |
| tree | b6c58c1b1f2440213ca205a71c53e8a313327ba4 | |
| parent | a7578a077ed8b64b94282aa55faf7037690abbc5 (diff) | |
| download | gcc-45a41ace55d0ffb1097e374868242329788ec82a.zip gcc-45a41ace55d0ffb1097e374868242329788ec82a.tar.gz gcc-45a41ace55d0ffb1097e374868242329788ec82a.tar.bz2 | |
tree-optimization/114733 - neg induction fails for 1 element vectors
The neg induction vectorization code isn't prepared to deal with
single element vectors.
PR tree-optimization/114733
* tree-vect-loop.cc (vectorizable_nonlinear_induction): Reject
neg induction vectorization of single element vectors.
* gcc.dg/vect/pr114733.c: New testcase.
| -rw-r--r-- | gcc/testsuite/gcc.dg/vect/pr114733.c | 20 | ||||
| -rw-r--r-- | gcc/tree-vect-loop.cc | 2 |
2 files changed, 22 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/vect/pr114733.c b/gcc/testsuite/gcc.dg/vect/pr114733.c new file mode 100644 index 0000000..219cbf2 --- /dev/null +++ b/gcc/testsuite/gcc.dg/vect/pr114733.c @@ -0,0 +1,20 @@ +/* { dg-additional-options "-O3" } */ + +#include "tree-vect.h" + +long b = 1; +signed char c; +int d[25]; + +int main() +{ + check_vect (); + for (signed char g = 0; g < 8; g += 1) + for (short h = 0; h < 25; h += 2) { + b *= -1; + c ^= d[h]; + } + if (b != 1) + abort (); + return 0; +} diff --git a/gcc/tree-vect-loop.cc b/gcc/tree-vect-loop.cc index 025319e..431b3e9 100644 --- a/gcc/tree-vect-loop.cc +++ b/gcc/tree-vect-loop.cc @@ -9685,6 +9685,8 @@ vectorizable_nonlinear_induction (loop_vec_info loop_vinfo, switch (induction_type) { case vect_step_op_neg: + if (maybe_eq (TYPE_VECTOR_SUBPARTS (vectype), 1u)) + return false; if (TREE_CODE (init_expr) != INTEGER_CST && TREE_CODE (init_expr) != REAL_CST) { |