apply unary op to both sides of (vec_cond x cst1 cst2)

2019-05-31  Marc Glisse  <marc.glisse@inria.fr>

gcc/
	* match.pd (~(vec?cst1:cst2)): New transformation.

gcc/testsuite/
	* g++.dg/tree-ssa/cprop-vcond.C: New file.

From-SVN: r271817

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 67cfc44f19b2e7468a30961b226362e7bfb60d59..832ec727959966c3378f46da6e51289b0f258b08 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2019-05-31  Marc Glisse  <marc.glisse@inria.fr>
+
+       * match.pd (~(vec?cst1:cst2)): New transformation.
+
 2019-05-31  Marc Glisse  <marc.glisse@inria.fr>
 
        * match.pd (X/[ex]D<Y/[ex]D): Handle negative denominator.

diff --git a/gcc/match.pd b/gcc/match.pd
index 99ffb16c872556d4052d9c6ca0300697d1c68277..02e0471dd4efdd17fd53baa852975a7f36cfae94 100644 (file)
--- a/gcc/match.pd
+++ b/gcc/match.pd
@@ -2920,6 +2920,21 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
   (if (integer_zerop (@0))
    @2)))
 
+/* Sink unary operations to constant branches, but only if we do fold it to
+   constants.  */
+(for op (negate bit_not abs absu)
+ (simplify
+  (op (vec_cond @0 VECTOR_CST@1 VECTOR_CST@2))
+  (with
+   {
+     tree cst1, cst2;
+     cst1 = const_unop (op, type, @1);
+     if (cst1)
+       cst2 = const_unop (op, type, @2);
+   }
+   (if (cst1 && cst2)
+    (vec_cond @0 { cst1; } { cst2; })))))
+
 /* Simplification moved from fold_cond_expr_with_comparison.  It may also
    be extended.  */
 /* This pattern implements two kinds simplification:

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 5893b18a2efc0276830617bc1d2ad351eb1baad8..31edc62cdcde7327f56a793f01137e67efd99eef 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2019-05-31  Marc Glisse  <marc.glisse@inria.fr>
+
+       * g++.dg/tree-ssa/cprop-vcond.C: New file.
+
 2019-05-31  Marc Glisse  <marc.glisse@inria.fr>
 
        * gcc.dg/tree-ssa/cmpexactdiv-3.c: New file.

diff --git a/gcc/testsuite/g++.dg/tree-ssa/cprop-vcond.C b/gcc/testsuite/g++.dg/tree-ssa/cprop-vcond.C
new file mode 100644 (file)
index 0000000..7d62cff
--- /dev/null
+++ b/gcc/testsuite/g++.dg/tree-ssa/cprop-vcond.C
@@ -0,0 +1,12 @@
+/* { dg-do compile } */
+/* { dg-options "-O -fdump-tree-forwprop1-raw" } */
+
+typedef long vec __attribute__((vector_size(2*sizeof(long))));
+void f(vec*v){
+  vec t = { 5, 16 };
+  vec f = { 27, -11 };
+  vec r = *v ? t : f;
+  *v = -r;
+}
+
+/* { dg-final { scan-tree-dump-not "negate_expr" "forwprop1" } } */