From 34a13a521e3fc6f46fcaf2f158d20e66874e99fd Mon Sep 17 00:00:00 2001
From: Marc Glisse <marc.glisse@inria.fr>
Date: Fri, 31 May 2019 19:04:20 +0200
Subject: [PATCH] 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
---
 gcc/ChangeLog                               |  4 ++++
 gcc/match.pd                                | 15 +++++++++++++++
 gcc/testsuite/ChangeLog                     |  4 ++++
 gcc/testsuite/g++.dg/tree-ssa/cprop-vcond.C | 12 ++++++++++++
 4 files changed, 35 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/tree-ssa/cprop-vcond.C

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 67cfc44f19b..832ec727959 100644
--- 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 99ffb16c872..02e0471dd4e 100644
--- 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 5893b18a2ef..31edc62cdcd 100644
--- 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
index 00000000000..7d62cff1a17
--- /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" } } */
-- 
2.30.2