gimple-match-head.c (gimple_simplify): Allow VECTOR_CSTs in simplifying VEC_COND_EXPR conditions.

2015-10-28  Richard Biener  <rguenther@suse.de>

	* gimple-match-head.c (gimple_simplify): Allow VECTOR_CSTs
	in simplifying VEC_COND_EXPR conditions.

	* gcc.dg/tree-ssa/operand-equal-2.c: Adjust.

From-SVN: r229492

gcc/ChangeLog

+2015-10-28  Richard Biener  <rguenther@suse.de>
+
+	* gimple-match-head.c (gimple_simplify): Allow VECTOR_CSTs
+	in simplifying VEC_COND_EXPR conditions.
+
 2015-10-28  Tom de Vries  <tom@codesourcery.com>
 
 	* tree-ssa-structalias.c (intra_create_variable_infos): Don't iterate

gcc/gimple-match-head.c

@@ -708,7 +708,8 @@ gimple_simplify (gimple *stmt,
 			    rhs1 = build2 (rcode2, TREE_TYPE (rhs1),
 					   ops2[0], ops2[1]);
 			  else if (rcode2 == SSA_NAME
-				   || rcode2 == INTEGER_CST)
+				   || rcode2 == INTEGER_CST
+				   || rcode2 == VECTOR_CST)
 			    rhs1 = ops2[0];
 			  else
 			    valueized = false;

gcc/testsuite/ChangeLog

+2015-10-28  Richard Biener  <rguenther@suse.de>
+
+	* gcc.dg/tree-ssa/operand-equal-2.c: Adjust.
+
 2015-10-28  Tom de Vries  <tom@codesourcery.com>
 
 	* gcc.dg/tree-ssa/pta-callused.c: Update to scan for CALLUSED(id).

gcc/testsuite/gcc.dg/tree-ssa/operand-equal-2.c

 /* { dg-do compile } */
-/* { dg-options "-O2 -fdump-tree-forwprop1" } */
+/* { dg-options "-O -fdump-tree-fre1" } */
 
 typedef char __attribute__ ((vector_size (4))) v4qi;
 
@@ -9,4 +9,4 @@ void ret(char a)
   v4qi c={a,a,a,a},d={a,a,a,a};
   v = (c!=d);
 }
-/* { dg-final { scan-tree-dump "v = . 0, 0, 0, 0 ." "forwprop2"} } */
+/* { dg-final { scan-tree-dump "v = . 0, 0, 0, 0 ." "fre1"} } */