diff options
| author | Richard Guenther <rguenther@suse.de> | 2010-11-04 12:42:57 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2010-11-04 12:42:57 +0000 |
| commit | 2a2651b797f11a4dbe0fb9d9e75a7ca672f934de (patch) | |
| tree | ccda1c1f02abf3b791d60aa9ead2d5e0fd2251a3 /gcc | |
| parent | bf9412cda74bd81b71a2d459fae173a4ed974c07 (diff) | |
| download | gcc-2a2651b797f11a4dbe0fb9d9e75a7ca672f934de.zip gcc-2a2651b797f11a4dbe0fb9d9e75a7ca672f934de.tar.gz gcc-2a2651b797f11a4dbe0fb9d9e75a7ca672f934de.tar.bz2 | |
re PR tree-optimization/45733 (ICE: verify_stmts failed: invalid conversion in gimple call with -fstrict-overflow -ftree-vectorize)
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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr45733.c | 13 | ||||
| -rw-r--r-- | gcc/tree-vect-stmts.c | 13 |
4 files changed, 36 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 213846d..a2e1cc8 100644 --- 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 66fb730..d4bfc69 100644 --- 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 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 2dbc035..3d18dfe 100644 --- 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; |