re PR tree-optimization/45733 (ICE: verify_stmts failed: invalid conversion in gimple...

2010-11-04  Richard Guenther  <rguenther@suse.de>

	PR tree-optimization/45733
	* tree-vect-stmts.c (reverse_vec_elements): Honor the
	permute builtins function return type.

	* gcc.dg/pr45733.c: New testcase.

From-SVN: r166308

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 213846d78d99d10c566bb45eed0ff2f215853463..a2e1cc88391b6a2b2874f9f344e25e2ef75d3999 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2010-11-04  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/45733
+       * tree-vect-stmts.c (reverse_vec_elements): Honor the
+       permute builtins function return type.
+
 2010-10-04  Joern Rennecke  <amylaar@spamcop.net>
 
        PR middle-end/44765

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 66fb730c89124e43dc21a0ef3b822109af786c19..d4bfc69ea3cab349898979b2b4880cd602624676 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2010-11-04  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/45733
+       * gcc.dg/pr45733.c: New testcase.
+
 2010-11-04  Ira Rosen  <irar@il.ibm.com>
 
        PR tree-optimization/46213

diff --git a/gcc/testsuite/gcc.dg/pr45733.c b/gcc/testsuite/gcc.dg/pr45733.c
new file mode 100644 (file)
index 0000000..5c83cd4
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr45733.c
@@ -0,0 +1,13 @@
+/* { dg-do compile } */
+/* { dg-options "-O -fstrict-overflow -ftree-vectorize" } */
+
+typedef __INTPTR_TYPE__ intptr_t;
+
+intptr_t
+foo (void **p, int i)
+{
+  intptr_t x = 0;
+  while (i--)
+    x ^= (intptr_t) p[i];
+  return x;
+}

diff --git a/gcc/tree-vect-stmts.c b/gcc/tree-vect-stmts.c
index 2dbc0353421f336834e9234578d7a6957265bbe8..3d18dfe95c1c335bfe2b7987bba240c07d08250d 100644 (file)
--- a/gcc/tree-vect-stmts.c
+++ b/gcc/tree-vect-stmts.c
@@ -3742,8 +3742,19 @@ reverse_vec_elements (tree x, gimple stmt, gimple_stmt_iterator *gsi)
 
   /* Generate the permute statement.  */
   perm_stmt = gimple_build_call (builtin_decl, 3, x, x, mask_vec);
+  if (!useless_type_conversion_p (vectype,
+                                 TREE_TYPE (TREE_TYPE (builtin_decl))))
+    {
+      tree tem = create_tmp_reg (TREE_TYPE (TREE_TYPE (builtin_decl)), NULL);
+      tem = make_ssa_name (tem, perm_stmt);
+      gimple_call_set_lhs (perm_stmt, tem);
+      vect_finish_stmt_generation (stmt, perm_stmt, gsi);
+      perm_stmt = gimple_build_assign (NULL_TREE,
+                                      build1 (VIEW_CONVERT_EXPR,
+                                              vectype, tem));
+    }
   data_ref = make_ssa_name (perm_dest, perm_stmt);
-  gimple_call_set_lhs (perm_stmt, data_ref);
+  gimple_set_lhs (perm_stmt, data_ref);
   vect_finish_stmt_generation (stmt, perm_stmt, gsi);
 
   return data_ref;