[Bug tree-optimization/45733] [4.6 Regression] ICE: verify_stmts failed: invalid conversion in gimple call with -fstrict-overflow -ftree-vectorize

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45733

Richard Guenther rguenth at gcc dot gnu.org changed:

   What|Removed |Added

 Status|NEW |ASSIGNED
 AssignedTo|unassigned at gcc dot   |rguenth at gcc dot gnu.org
   |gnu.org |

--- Comment #6 from Richard Guenther rguenth at gcc dot gnu.org 2010-11-04 
11:32:23 UTC ---
I have a patch.

[Bug tree-optimization/45733] [4.6 Regression] ICE: verify_stmts failed: invalid conversion in gimple call with -fstrict-overflow -ftree-vectorize

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45733

--- Comment #7 from Richard Guenther rguenth at gcc dot gnu.org 2010-11-04 
12:42:59 UTC ---
Author: rguenth
Date: Thu Nov  4 12:42:57 2010
New Revision: 166308

URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=166308
Log:
2010-11-04  Richard Guenther  rguent...@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.

Added:
trunk/gcc/testsuite/gcc.dg/pr45733.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-vect-stmts.c

[Bug tree-optimization/45733] [4.6 Regression] ICE: verify_stmts failed: invalid conversion in gimple call with -fstrict-overflow -ftree-vectorize

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45733

Richard Guenther rguenth at gcc dot gnu.org changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED

--- Comment #8 from Richard Guenther rguenth at gcc dot gnu.org 2010-11-04 
12:43:36 UTC ---
Fixed.

[Bug tree-optimization/45733] [4.6 Regression] ICE: verify_stmts failed: invalid conversion in gimple call with -fstrict-overflow -ftree-vectorize

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45733

Richard Guenther rguenth at gcc dot gnu.org changed:

   What|Removed |Added

   Priority|P3  |P1

[Bug tree-optimization/45733] [4.6 Regression] ICE: verify_stmts failed: invalid conversion in gimple call with -fstrict-overflow -ftree-vectorize

[zsojka at seznam dot cz]

--- Comment #1 from zsojka at seznam dot cz  2010-09-20 11:43 ---
Created an attachment (id=21848)
 -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21848action=view)
reduced testcase

$ gcc -O -fstrict-overflow -ftree-vectorize pr45733.c


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45733

[Bug tree-optimization/45733] [4.6 Regression] ICE: verify_stmts failed: invalid conversion in gimple call with -fstrict-overflow -ftree-vectorize

[irar at il dot ibm dot com]

--- Comment #2 from irar at il dot ibm dot com  2010-09-20 12:17 ---
Looks like it is caused by revision 164367:

http://gcc.gnu.org/ml/gcc-cvs/2010-09/msg00661.html


-- 

irar at il dot ibm dot com changed:

   What|Removed |Added

 CC||matz at gcc dot gnu dot org
 Status|UNCONFIRMED |NEW
 Ever Confirmed|0   |1
   Last reconfirmed|-00-00 00:00:00 |2010-09-20 12:17:14
   date||


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45733

[Bug tree-optimization/45733] [4.6 Regression] ICE: verify_stmts failed: invalid conversion in gimple call with -fstrict-overflow -ftree-vectorize

[irar at il dot ibm dot com]

--- Comment #3 from irar at il dot ibm dot com  2010-09-20 13:08 ---
For vector(2) void * we get vec_perm_v2di_u builtin declaration, because the
mode of vector(2) void * is unsigned V2DI.

I wonder if this can happen for every builtin call, and we should convert back
to the original type everywhere?


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45733

[Bug tree-optimization/45733] [4.6 Regression] ICE: verify_stmts failed: invalid conversion in gimple call with -fstrict-overflow -ftree-vectorize

[matz at gcc dot gnu dot org]

--- Comment #4 from matz at gcc dot gnu dot org  2010-09-20 13:17 ---
Yeah, probably some fold_convert is missing in reverse_vec_elements() in case
the type of the args or the return type of the chosen builtin decl don't 
exactly match.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45733

[Bug tree-optimization/45733] [4.6 Regression] ICE: verify_stmts failed: invalid conversion in gimple call with -fstrict-overflow -ftree-vectorize

[hjl dot tools at gmail dot com]

--- Comment #5 from hjl dot tools at gmail dot com  2010-09-20 19:50 ---
(In reply to comment #2)
 Looks like it is caused by revision 164367:
 
 http://gcc.gnu.org/ml/gcc-cvs/2010-09/msg00661.html
 

Revision 164367 is the cause. Revision 164367 also caused PR 45720.
Don't know if they are related.


-- 

hjl dot tools at gmail dot com changed:

   What|Removed |Added

   Target Milestone|--- |4.6.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45733