re PR tree-optimization/68248 (ICE on valid code at -O3 on x86_64-linux-gnu in…

re PR tree-optimization/68248 (ICE on valid code at -O3 on x86_64-linux-gnu in uniform_vector_p, at tree.c:10807)

2015-11-09  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/68248
	* tree-vect-generic.c (expand_vector_operations_1): Handle
	scalar rhs2.

	* gcc.dg/torture/pr68248.c: New testcase.

From-SVN: r230021

gcc/ChangeLog

 2015-11-09  Richard Biener  <rguenther@suse.de>
 
+	PR tree-optimization/68248
+	* tree-vect-generic.c (expand_vector_operations_1): Handle
+	scalar rhs2.
+
+2015-11-09  Richard Biener  <rguenther@suse.de>
+
 	PR tree-optimization/56118
 	* tree-vectorizer.h (vect_find_last_scalar_stmt_in_slp): Declare.
 	* tree-vect-slp.c (vect_find_last_scalar_stmt_in_slp): Export.

gcc/testsuite/ChangeLog

 2015-11-09  Richard Biener  <rguenther@suse.de>
 
+	PR tree-optimization/68248
+	* gcc.dg/torture/pr68248.c: New testcase.
+
+2015-11-09  Richard Biener  <rguenther@suse.de>
+
 	PR tree-optimization/56118
 	* gcc.dg/vect/no-tree-sra-bb-slp-pr50730.c: Adjust.
 

gcc/testsuite/gcc.dg/torture/pr68248.c

+/* { dg-do compile } */
+
+int a, b, c, d;
+
+int
+fn1 (int p1)
+{
+  return a > 0 ? p1 : p1 >> a;
+}
+
+void
+fn2 ()
+{
+  char e;
+  for (; c; c++)
+    {
+      e = fn1 (!d ^ 2);
+      b ^= e;
+    }
+}

gcc/tree-vect-generic.c

@@ -1527,6 +1527,8 @@ expand_vector_operations_1 (gimple_stmt_iterator *gsi)
   tree srhs1, srhs2 = NULL_TREE;
   if ((srhs1 = ssa_uniform_vector_p (rhs1)) != NULL_TREE
       && (rhs2 == NULL_TREE
+	  || (! VECTOR_TYPE_P (TREE_TYPE (rhs2))
+	      && (srhs2 = rhs2))
 	  || (srhs2 = ssa_uniform_vector_p (rhs2)) != NULL_TREE)
       /* As we query direct optabs restrict to non-convert operations.  */
       && TYPE_MODE (TREE_TYPE (type)) == TYPE_MODE (TREE_TYPE (srhs1)))