re PR tree-optimization/71478 (ICE in tree-ssa-reassoc.c after r236564)

gcc/testsuite/ChangeLog:

2016-06-11  Kugan Vivekanandarajah  <kuganv@linaro.org>

	PR middle-end/71478
	* gcc.dg/pr71478.c: New test.

gcc/ChangeLog:

2016-06-11  Kugan Vivekanandarajah  <kuganv@linaro.org>

	PR middle-end/71478
	* tree-ssa-reassoc.c (reassociate_bb): Remove (-1) from ops list for
	vector integer type.

From-SVN: r237318

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 0af20baea1fd94c178a38d7991f9255a9ca6f752..508ff0eb0bca0dd3035ec97087baef1099530104 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2016-06-11  Kugan Vivekanandarajah  <kuganv@linaro.org>
+
+       PR middle-end/71478
+       * tree-ssa-reassoc.c (reassociate_bb): Remove (-1) from ops list for
+       vector integer type.
+
 2016-06-10  Jakub Jelinek  <jakub@redhat.com>
 
        PR middle-end/71494

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index c35bcb69d5261249047d8b9aab67a0882ac262e2..deeeff54bb8f68e64d5064e4bfc8f6f4c4c053b8 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2016-06-11  Kugan Vivekanandarajah  <kuganv@linaro.org>
+
+       PR middle-end/71478
+       * gcc.dg/pr71478.c: New test.
+
 2016-06-10  Jakub Jelinek  <jakub@redhat.com>
 
        PR middle-end/71494

diff --git a/gcc/testsuite/gcc.dg/pr71478.c b/gcc/testsuite/gcc.dg/pr71478.c
new file mode 100644 (file)
index 0000000..5a34807
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr71478.c
@@ -0,0 +1,21 @@
+/* PR middle-end/71478 */
+/* { dg-require-effective-target vect_int } */
+/* { dg-do compile } */
+/* { dg-options "-O3" } */
+
+typedef unsigned int __attribute__ ((vector_size (8))) uv2si;
+typedef int __attribute__ ((vector_size (8))) v2si;
+
+uv2si bar (v2si);
+
+uv2si
+foo (void)
+{
+  v2si x = (v2si) (0x00007fff80008000UL);
+  v2si y = (v2si) (0x8f997fff00000000UL);
+  uv2si z = x >= y;
+  uv2si k = bar (x);
+  uv2si j = k * __builtin_shuffle (z, z, (uv2si) {1, 3});
+  return k * j;
+}
+

diff --git a/gcc/tree-ssa-reassoc.c b/gcc/tree-ssa-reassoc.c
index 36b34d37380628a3bc825eba7881973c3dfd4a81..e32d503bfeffc3817d03d80546ea9a86fb5dc6a7 100644 (file)
--- a/gcc/tree-ssa-reassoc.c
+++ b/gcc/tree-ssa-reassoc.c
@@ -5303,8 +5303,7 @@ reassociate_bb (basic_block bb)
                  && rhs_code == MULT_EXPR)
                {
                  last = ops.last ();
-                 if (((TREE_CODE (last->op) == INTEGER_CST
-                       && integer_minus_onep (last->op))
+                 if ((integer_minus_onep (last->op)
                       || real_minus_onep (last->op))
                      && !HONOR_SNANS (TREE_TYPE (lhs))
                      && (!HONOR_SIGNED_ZEROS (TREE_TYPE (lhs))