Hi,
The case has already been fixed by my unsigned improvement for scev/niter, and
it can be vectorized successfully. This patch simply adds a test for it.
Test result checked on x86_64. Is it OK?
Thanks,
bin
gcc/testsuite/ChangeLog
2016-08-02 Bin Cheng <bin.ch...@arm.com>
PR tree-optimization/33707
* gcc.dg/vect/pr33707.c: New test.diff --git a/gcc/testsuite/gcc.dg/vect/pr33707.c
b/gcc/testsuite/gcc.dg/vect/pr33707.c
new file mode 100644
index 0000000..b553142
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/vect/pr33707.c
@@ -0,0 +1,12 @@
+/* { dg-do compile } */
+/* { dg-require-effective-target vect_int } */
+
+int
+foo (char *a, unsigned n)
+{
+ int i;
+ a[0] = 0;
+ for (i = 16; i < n; i++)
+ a[i] = a[i-16];
+}
+/* { dg-final { scan-tree-dump "vectorized 1 loops" "vect" } } */
