Re: Tighten forwprop1 testing

[Richard Guenther <richard dot guenther at gmail dot com>]

On Fri, Sep 14, 2012 at 9:30 PM, Marc Glisse <marc.glisse@inria.fr> wrote:
> 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.

Ok.

Thanks,
Richard.

> 2012-09-15  Marc Glisse  <marc.glisse@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 Glisse
> Index: 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" } } */
>