tree-optimization/108782 - nested first order recurrence vectorization
Checks
Commit Message
First order recurrence vectorization isn't possible for nested
loops.
Bootstrapped and tested on x86_64-unknown-linux-gnu, pushed.
PR tree-optimization/108782
* tree-vect-loop.cc (vect_phi_first_order_recurrence_p):
Make sure we're not vectorizing an inner loop.
* gcc.dg/torture/pr108782.c: New testcase.
---
gcc/testsuite/gcc.dg/torture/pr108782.c | 21 +++++++++++++++++++++
gcc/tree-vect-loop.cc | 4 ++++
2 files changed, 25 insertions(+)
create mode 100644 gcc/testsuite/gcc.dg/torture/pr108782.c
new file mode 100644
@@ -0,0 +1,21 @@
+/* { dg-do compile } */
+/* { dg-additional-options "-fno-tree-copy-prop" } */
+
+int m;
+
+__attribute__ ((simd)) int
+foo (void)
+{
+ unsigned a;
+ int b = 0;
+
+ m = a = 1;
+ while (a != 0)
+ {
+ b = m;
+ m = 2;
+ ++a;
+ }
+
+ return b;
+}
@@ -538,6 +538,10 @@ static bool
vect_phi_first_order_recurrence_p (loop_vec_info loop_vinfo, class loop *loop,
gphi *phi)
{
+ /* A nested cycle isn't vectorizable as first order recurrence. */
+ if (LOOP_VINFO_LOOP (loop_vinfo) != loop)
+ return false;
+
/* Ensure the loop latch definition is from within the loop. */
edge latch = loop_latch_edge (loop);
tree ldef = PHI_ARG_DEF_FROM_EDGE (phi, latch);