re PR tree-optimization/68305 (ICE on valid code at -O3 on x86_64-linux-gnu: tree...

gcc/

	PR tree-optimization/68305
	* tree-vect-slp.c (vect_get_constant_vectors): Support
	COND_EXPR with SSA_NAME as a condition.

gcc/testsuite/

	PR tree-optimization/68305
	* gcc.dg/vect/pr68305.c: New test.

From-SVN: r230252

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d43e6cff9160583d390d559698c37a18dcaea410..b7c3df7830c55d7b99d6a319a36311d50b531528 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2015-11-12  Ilya Enkovich  <enkovich.gnu@gmail.com>
+
+       PR tree-optimization/68305
+       * tree-vect-slp.c (vect_get_constant_vectors): Support
+       COND_EXPR with SSA_NAME as a condition.
+
 2015-11-12  Eric Botcazou  <ebotcazou@adacore.com>
 
        * config/visium/visium-protos.h (notice_update_cc): Delete.

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index d3259b6fa38b87e4c88b209026bf852bf720bac1..c71b979c4c15facd8cf3681a444c06f9cfaa6990 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2015-11-12  Ilya Enkovich  <enkovich.gnu@gmail.com>
+
+       PR tree-optimization/68305
+       * gcc.dg/vect/pr68305.c: New test.
+
 2015-11-12  Eric Botcazou  <ebotcazou@adacore.com>
 
        * gcc.target/i386/pr67265-2.c: New test.

diff --git a/gcc/testsuite/gcc.dg/vect/pr68305.c b/gcc/testsuite/gcc.dg/vect/pr68305.c
new file mode 100644 (file)
index 0000000..fde3db7
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/vect/pr68305.c
@@ -0,0 +1,13 @@
+/* { dg-do compile } */
+/* { dg-additional-options "-O3" } */
+/* { dg-additional-options "-mavx2" { target avx_runtime } } */
+
+int a, b;
+
+void
+fn1 ()
+{
+  int c, d;
+  for (; b; b++)
+    a = a ^ !c ^ !d;
+}

diff --git a/gcc/tree-vect-slp.c b/gcc/tree-vect-slp.c
index 75875f333ada9b0d4d91a9f079cdc80ae9e30351..ab1d40eb5758b766dcaed4021a7283de475f0bf7 100644 (file)
--- a/gcc/tree-vect-slp.c
+++ b/gcc/tree-vect-slp.c
@@ -2740,18 +2740,20 @@ vect_get_constant_vectors (tree op, slp_tree slp_node,
              switch (code)
                {
                  case COND_EXPR:
-                   if (op_num == 0 || op_num == 1)
-                     {
-                       tree cond = gimple_assign_rhs1 (stmt);
+                   {
+                     tree cond = gimple_assign_rhs1 (stmt);
+                     if (TREE_CODE (cond) == SSA_NAME)
+                       op = gimple_op (stmt, op_num + 1);
+                     else if (op_num == 0 || op_num == 1)
                        op = TREE_OPERAND (cond, op_num);
-                     }
-                   else
-                     {
-                       if (op_num == 2)
-                         op = gimple_assign_rhs2 (stmt);
-                       else
-                         op = gimple_assign_rhs3 (stmt);
-                     }
+                     else
+                       {
+                         if (op_num == 2)
+                           op = gimple_assign_rhs2 (stmt);
+                         else
+                           op = gimple_assign_rhs3 (stmt);
+                       }
+                   }
                    break;
 
                  case CALL_EXPR: