re PR middle-end/71279 (ICE on trunk gcc with knl target)

gcc/

	PR middle-end/71279
	* fold-const.c (fold_ternary_loc): Don't fold VEC_COND_EXPR
	into comparison.

gcc/testsuite/

	PR middle-end/71279
	* gcc.dg/pr71279.c: New test.

From-SVN: r236810

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index fd03e8c4e60625f9faf20fd24f32caccc3f6a841..b598a4eff746c93fe0f5f42e2fadc9ab8e6f3294 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2016-05-27  Ilya Enkovich  <ilya.enkovich@intel.com>
+
+       PR middle-end/71279
+       * fold-const.c (fold_ternary_loc): Don't fold VEC_COND_EXPR
+       into comparison.
+
 2016-05-27  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
 
        * config/aarch64/aarch64-modes.def (CC_ZESWP, CC_SESWP): Delete.

diff --git a/gcc/fold-const.c b/gcc/fold-const.c
index 556fc73a33ddf2688a4ef88a75c37b98a48bd415..5058746c4eb84e2fb3b9c18ccf489a2467439ee9 100644 (file)
--- a/gcc/fold-const.c
+++ b/gcc/fold-const.c
@@ -11515,9 +11515,9 @@ fold_ternary_loc (location_t loc, enum tree_code code, tree type,
       /* Convert A ? 0 : 1 to !A.  This prefers the use of NOT_EXPR
         over COND_EXPR in cases such as floating point comparisons.  */
       if (integer_zerop (op1)
-         && (code == VEC_COND_EXPR ? integer_all_onesp (op2)
-                                   : (integer_onep (op2)
-                                      && !VECTOR_TYPE_P (type)))
+         && code == COND_EXPR
+         && integer_onep (op2)
+         && !VECTOR_TYPE_P (type)
          && truth_value_p (TREE_CODE (arg0)))
        return pedantic_non_lvalue_loc (loc,
                                    fold_convert_loc (loc, type,

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index f046e40c8d26ae83106b2c2a68b5e65ee2449106..a9593257eba10d8f6665661a0794af6fd4468070 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2016-05-27  Ilya Enkovich  <ilya.enkovich@intel.com>
+
+       PR middle-end/71279
+       * gcc.dg/pr71279.c: New test.
+
 2016-05-26  Michael Meissner  <meissner@linux.vnet.ibm.com>
 
        * gcc.target/powerpc/p9-minmax-1.c: New tests for ISA 3.0

diff --git a/gcc/testsuite/gcc.dg/pr71279.c b/gcc/testsuite/gcc.dg/pr71279.c
new file mode 100644 (file)
index 0000000..4ecc84b
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr71279.c
@@ -0,0 +1,14 @@
+/* PR middle-end/71279 */
+/* { dg-do compile } */
+/* { dg-options "-O3" } */
+/* { dg-additional-options "-march=knl" { target { i?86-*-* x86_64-*-* } } } */
+
+extern int a, b;
+long c[1][1][1];
+long d[1][1];
+
+void fn1 ()
+{
+  for (int e = 0; e < b; e = e + 1)
+    *(e + **c) = (a && *d[1]) - 1;
+}