diff mbox series

tree-optimization/114733 - neg induction fails for 1 element vectors

Message ID 20240416103654.4316F3858282@sourceware.org
State New
Headers show
Series tree-optimization/114733 - neg induction fails for 1 element vectors | expand

Commit Message

Richard Biener April 16, 2024, 10:36 a.m. UTC 
The neg induction vectorization code isn't prepared to deal with
single element vectors.

Bootstrapped and tested on x86_64-unknown-linux-gnu, pushed.

Richard.

	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.
---
 gcc/testsuite/gcc.dg/vect/pr114733.c | 20 ++++++++++++++++++++
 gcc/tree-vect-loop.cc                |  2 ++
 2 files changed, 22 insertions(+)
 create mode 100644 gcc/testsuite/gcc.dg/vect/pr114733.c
diff mbox series

Patch

diff --git a/gcc/testsuite/gcc.dg/vect/pr114733.c b/gcc/testsuite/gcc.dg/vect/pr114733.c
new file mode 100644
index 00000000000..219cbf20469
--- /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 025319e0cb1..431b3e9492c 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)
 	{