Hello,
recent patches have let optimizations move from forwprop2 to forwprop1.
The attached checks that this remains the case. (copyprop1 is the first
pass after forwprop1 that does a dce-like cleanup)
Only manually tested for now, will check better if it is accepted.
2012-09-15 Marc Glisse <marc.gli...@inria.fr>
* gcc.dg/tree-ssa/forwprop-19.c: Check in forwprop1.
* gcc.dg/tree-ssa/forwprop-20.c: Check in forwprop1.
* gcc.dg/tree-ssa/forwprop-21.c: Check in copyprop1.
* gcc.dg/tree-ssa/forwprop-22.c: Check in copyprop1.
--
Marc GlisseIndex: testsuite/gcc.dg/tree-ssa/forwprop-19.c
===================================================================
--- testsuite/gcc.dg/tree-ssa/forwprop-19.c (revision 191308)
+++ testsuite/gcc.dg/tree-ssa/forwprop-19.c (working copy)
@@ -1,15 +1,15 @@
/* { dg-do compile } */
-/* { dg-options "-O -fdump-tree-forwprop2" } */
+/* { dg-options "-O -fdump-tree-forwprop1" } */
typedef int vec __attribute__((vector_size (4 * sizeof (int))));
void f (vec *x1, vec *x2)
{
vec m = { 1, 2, 3, 0 };
vec n = { 3, 0, 1, 2 };
vec y = __builtin_shuffle (*x1, *x2, n);
vec z = __builtin_shuffle (y, m);
*x1 = z;
}
-/* { dg-final { scan-tree-dump-not "VEC_PERM_EXPR" "forwprop2" } } */
-/* { dg-final { cleanup-tree-dump "forwprop2" } } */
+/* { dg-final { scan-tree-dump-not "VEC_PERM_EXPR" "forwprop1" } } */
+/* { dg-final { cleanup-tree-dump "forwprop1" } } */
Index: testsuite/gcc.dg/tree-ssa/forwprop-20.c
===================================================================
--- testsuite/gcc.dg/tree-ssa/forwprop-20.c (revision 191308)
+++ testsuite/gcc.dg/tree-ssa/forwprop-20.c (working copy)
@@ -1,13 +1,13 @@
/* { dg-do compile } */
/* { dg-require-effective-target double64 } */
-/* { dg-options "-O2 -fdump-tree-optimized" } */
+/* { dg-options "-O -fdump-tree-forwprop1" } */
#include <stdint.h>
/* All of these optimizations happen for unsupported vector modes as a
consequence of the lowering pass. We need to test with a vector mode
that is supported by default on at least some architectures, or make
the test target specific so we can pass a flag like -mavx. */
typedef double vecf __attribute__ ((vector_size (2 * sizeof (double))));
typedef int64_t veci __attribute__ ((vector_size (2 * sizeof (int64_t))));
@@ -59,12 +59,12 @@ void k (vecf* r)
}
void l (double d, vecf* r)
{
vecf x = { -d, 5 };
vecf y = { d, 4 };
veci m = { 2, 0 };
*r = __builtin_shuffle (x, y, m); // { d, -d }
}
-/* { dg-final { scan-tree-dump-not "VEC_PERM_EXPR" "optimized" } } */
-/* { dg-final { cleanup-tree-dump "optimized" } } */
+/* { dg-final { scan-tree-dump-not "VEC_PERM_EXPR" "forwprop1" } } */
+/* { dg-final { cleanup-tree-dump "forwprop1" } } */
Index: testsuite/gcc.dg/tree-ssa/forwprop-21.c
===================================================================
--- testsuite/gcc.dg/tree-ssa/forwprop-21.c (revision 191308)
+++ testsuite/gcc.dg/tree-ssa/forwprop-21.c (working copy)
@@ -1,13 +1,16 @@
/* { dg-do compile } */
-/* { dg-options "-O -fdump-tree-optimized" } */
+/* { dg-options "-O -fdump-tree-copyprop1" } */
typedef int v4si __attribute__ ((vector_size (4 * sizeof(int))));
int
test (v4si *x, v4si *y)
{
v4si m = { 2, 3, 6, 5 };
v4si z = __builtin_shuffle (*x, *y, m);
return z[2];
}
-/* { dg-final { scan-tree-dump-not "VEC_PERM_EXPR" "optimized" } } */
-/* { dg-final { cleanup-tree-dump "optimized" } } */
+
+/* Optimization in forwprop1, cleanup in copyprop1. */
+
+/* { dg-final { scan-tree-dump-not "VEC_PERM_EXPR" "copyprop1" } } */
+/* { dg-final { cleanup-tree-dump "copyprop1" } } */
Index: testsuite/gcc.dg/tree-ssa/forwprop-22.c
===================================================================
--- testsuite/gcc.dg/tree-ssa/forwprop-22.c (revision 191308)
+++ testsuite/gcc.dg/tree-ssa/forwprop-22.c (working copy)
@@ -1,18 +1,20 @@
/* { dg-do compile } */
/* { dg-require-effective-target vect_double } */
/* { dg-require-effective-target vect_perm } */
-/* { dg-options "-O -fdump-tree-optimized" } */
+/* { dg-options "-O -fdump-tree-copyprop1" } */
typedef double vec __attribute__((vector_size (2 * sizeof (double))));
void f (vec *px, vec *y, vec *z)
{
vec x = *px;
vec t1 = { x[1], x[0] };
vec t2 = { x[0], x[1] };
*y = t1;
*z = t2;
}
-/* { dg-final { scan-tree-dump-times "VEC_PERM_EXPR" 1 "optimized" } } */
-/* { dg-final { scan-tree-dump-not "BIT_FIELD_REF" "optimized" } } */
-/* { dg-final { cleanup-tree-dump "optimized" } } */
+/* Optimization in forwprop1, cleanup in copyprop1. */
+
+/* { dg-final { scan-tree-dump-times "VEC_PERM_EXPR" 1 "copyprop1" } } */
+/* { dg-final { scan-tree-dump-not "BIT_FIELD_REF" "copyprop1" } } */
+/* { dg-final { cleanup-tree-dump "copyprop1" } } */
