simplify-rtx.c (simplify_ternary_operation): Add simplification for (!c) != {0,....

[gcc]

2015-07-15  Bill Schmidt  <wschmidt@linux.vnet.ibm.com>

	* simplify-rtx.c (simplify_ternary_operation): Add simplification
	for (!c) != {0,...,0} ? a : b for vector modes.

[gcc/testsuite]

2015-07-15  Bill Schmidt  <wschmidt@linux.vnet.ibm.com>

	* gcc.target/powerpc/vec-cmp-sel.c: New test.

From-SVN: r225840

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index a2ce483c774f7ec9a7c278b4600633f189b28cbb..babf07f4901858c42c3ea7d07cecd9dc6e8ee6e7 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2015-07-15  Bill Schmidt  <wschmidt@linux.vnet.ibm.com>
+
+       * simplify-rtx.c (simplify_ternary_operation): Add simplification
+       for (!c) != {0,...,0} ? a : b for vector modes.
+
 2015-07-15  Paolo Bonzini  <bonzini@gnu.org>
            Martin Jambor  <mjambor@suse.cz>
 

diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c
index 91e4b9ca0cea75ff9e4d72940aba31e821be6d17..fde99445e54d6f755d10e3fee1624df650e4581e 100644 (file)
--- a/gcc/simplify-rtx.c
+++ b/gcc/simplify-rtx.c
@@ -5247,6 +5247,32 @@ simplify_ternary_operation (enum rtx_code code, machine_mode mode,
                  && rtx_equal_p (XEXP (op0, 1), op1))))
        return op2;
 
+      /* Convert (!c) != {0,...,0} ? a : b into
+         c != {0,...,0} ? b : a for vector modes.  */
+      if (VECTOR_MODE_P (GET_MODE (op1))
+         && GET_CODE (op0) == NE
+         && GET_CODE (XEXP (op0, 0)) == NOT
+         && GET_CODE (XEXP (op0, 1)) == CONST_VECTOR)
+       {
+         rtx cv = XEXP (op0, 1);
+         int nunits = CONST_VECTOR_NUNITS (cv);
+         bool ok = true;
+         for (int i = 0; i < nunits; ++i)
+           if (CONST_VECTOR_ELT (cv, i) != const0_rtx)
+             {
+               ok = false;
+               break;
+             }
+         if (ok)
+           {
+             rtx new_op0 = gen_rtx_NE (GET_MODE (op0),
+                                       XEXP (XEXP (op0, 0), 0),
+                                       XEXP (op0, 1));
+             rtx retval = gen_rtx_IF_THEN_ELSE (mode, new_op0, op2, op1);
+             return retval;
+           }
+       }
+
       if (COMPARISON_P (op0) && ! side_effects_p (op0))
        {
          machine_mode cmp_mode = (GET_MODE (XEXP (op0, 0)) == VOIDmode

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index f8ff300032d46a5d38acab4239af4a812f48f61e..84ee717791328d7e19418c4423ae1848a9dba7a6 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2015-07-15  Bill Schmidt  <wschmidt@linux.vnet.ibm.com>
+
+       * gcc.target/powerpc/vec-cmp-sel.c: New test.
+
 2015-07-15  Richard Biener  <rguenther@suse.de>
 
        * lib/objc-torture.exp (OBJC_TORTURE_OPTIONS): Remove

diff --git a/gcc/testsuite/gcc.target/powerpc/vec-cmp-sel.c b/gcc/testsuite/gcc.target/powerpc/vec-cmp-sel.c
new file mode 100644 (file)
index 0000000..2888216
--- /dev/null
+++ b/gcc/testsuite/gcc.target/powerpc/vec-cmp-sel.c
@@ -0,0 +1,20 @@
+/* { dg-do compile { target powerpc64*-*-* } } */
+/* { dg-require-effective-target powerpc_p8vector_ok } */
+/* { dg-options "-maltivec -O2" } */
+/* { dg-final { scan-assembler "vcmpgtsd" } } */
+/* { dg-final { scan-assembler-not "xxlnor" } } */
+
+/* Test code in simplify-rtx.c that converts
+     (!c) != {0,...,0} ? a : b
+   into
+     c != {0,...,0} ? b : a  */
+
+#include <altivec.h>
+
+vector signed long long foo () {
+  vector signed long long x = { 25399, -12900 };
+  vector signed long long y = { 12178, -9987 };
+  vector bool long long b = vec_cmpge (x, y);
+  vector signed long long z = vec_sel (y, x, b);
+  return z;
+}