1 files changed, 40 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gcc.dg/tree-ssa/forwprop-27.c b/gcc-4.9/gcc/testsuite/gcc.dg/tree-ssa/forwprop-27.c
new file mode 100644
index 000000000..9e1b0763b
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.dg/tree-ssa/forwprop-27.c
@@ -0,0 +1,40 @@
+/* { dg-do compile } */
+/* { dg-options "-O -fdump-tree-forwprop1" } */
+
+typedef int V __attribute__((vector_size(2*sizeof(int))));
+typedef __complex__ int C;
+
+void f (V *v1, V *v2){
+  V w1 = *v1;
+  V x1 = ~w1;
+  *v1 = x1 + 1;
+  V w2 = *v2;
+  V x2 = ~w2;
+  *v2 = x2 + w2;
+}
+
+void g (V *v1, V *v2){
+  V c1 = { 5, -10 };
+  V c2 = { 32, 13 };
+  *v1 = (*v1|c1)&c2;
+  *v2 = (*v2^c1)^c2;
+}
+
+void h (C *v1, C *v2){
+  C w = *v2;
+  C x = *v1 - w;
+  *v1 = x + w;
+}
+
+void i (V *v1, V *v2){
+  V c1 = { 5, -10 };
+  V c2 = { 32, 13 };
+  *v1 = (*v1-c1)+c2;
+  *v2 = (c1-*v2)+c2;
+}
+
+/* { dg-final { scan-tree-dump-not "\\\+" "forwprop1"} } */
+/* { dg-final { scan-tree-dump "{ 0, 4 }" "forwprop1"} } */
+/* { dg-final { scan-tree-dump "{ 37, -5 }" "forwprop1"} } */
+/* { dg-final { cleanup-tree-dump "forwprop1" } } */
+