re PR middle-end/54915 (ICE: verify_gimple failed: type mismatch in vector permute...

2012-10-15  Marc Glisse  <marc.glisse@inria.fr>

	PR tree-optimization/54915

gcc/
	* tree-ssa-forwprop.c (simplify_vector_constructor): Check
	argument's type.

gcc/testsuite/
	* gcc.dg/tree-ssa/pr54915.c: New testcase.

From-SVN: r192461

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 2905d694f77d4a3f4f52711ed794d8928a2b27dc..227a60f577da63a7809907d2f1fd16aecfc04d48 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2012-10-15  Marc Glisse  <marc.glisse@inria.fr>
+
+       PR tree-optimization/54915
+       * tree-ssa-forwprop.c (simplify_vector_constructor): Check
+       argument's type.
+
 2012-10-15  Richard Biener  <rguenther@suse.de>
 
        * data-streamer.h (bp_pack_string_with_length): New function.

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 07a052da7290c2b48025bc215cd1c5bc6f05e164..74e7b1c3fd62c959d9b09045e06dafff36d0ddf8 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2012-10-15  Marc Glisse  <marc.glisse@inria.fr>
+
+       PR tree-optimization/54915
+       * gcc.dg/tree-ssa/pr54915.c: New testcase.
+
 2012-10-15  Richard Guenther  <rguenther@suse.de>
 
        PR tree-optimization/54920

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr54915.c b/gcc/testsuite/gcc.dg/tree-ssa/pr54915.c
new file mode 100644 (file)
index 0000000..1e11df1
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/pr54915.c
@@ -0,0 +1,12 @@
+/* { dg-do compile } */
+/* { dg-options "-O2" } */
+
+typedef double v2df __attribute__ ((__vector_size__ (16)));
+typedef double v4df __attribute__ ((__vector_size__ (32)));
+
+void f (v2df *ret, v4df* xp)
+{
+  v4df x = *xp;
+  v2df xx = { x[2], x[3] };
+  *ret = xx;
+}

diff --git a/gcc/tree-ssa-forwprop.c b/gcc/tree-ssa-forwprop.c
index eb1af4e9e4567dd89e3edfc0698b1fad0959fd1c..b6c5654da011d90aa969c5caa299ea3de54381b6 100644 (file)
--- a/gcc/tree-ssa-forwprop.c
+++ b/gcc/tree-ssa-forwprop.c
@@ -2840,6 +2840,8 @@ simplify_vector_constructor (gimple_stmt_iterator *gsi)
        {
          if (TREE_CODE (ref) != SSA_NAME)
            return false;
+         if (!useless_type_conversion_p (type, TREE_TYPE (ref)))
+           return false;
          orig = ref;
        }
       if (TREE_INT_CST_LOW (TREE_OPERAND (op1, 1)) != elem_size)