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

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 273dca71e258c764b364121247d650e70fd8e0cb..cf33d453ef70f9c3773f0c6b97251db6c4379b39 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+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

diff --git a/gcc/gimple-match-head.c b/gcc/gimple-match-head.c
index 75f478cc6f51c1dda50a34dc2d25f1666b87bb19..6c26f79e7d678f5b0c5d2f4632a44cd0361e3b3e 100644 (file)
--- a/gcc/gimple-match-head.c
+++ b/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;

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index b28a986107dab3cd6362a461f32c725a05e2d726..5b0c237e3203a2c89f83afcb633e97403817b17d 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+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).

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/operand-equal-2.c b/gcc/testsuite/gcc.dg/tree-ssa/operand-equal-2.c
index 46fa323b4d70a208688d2a257c4d26c798b30221..1f12b9c00737b3cfe6deee74fd97d24a484438e6 100644 (file)
--- a/gcc/testsuite/gcc.dg/tree-ssa/operand-equal-2.c
+++ b/gcc/testsuite/gcc.dg/tree-ssa/operand-equal-2.c
@@ -1,5 +1,5 @@
 /* { 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"} } */