public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug middle-end/54915] New: [4.8 Regression] ICE: verify_gimple failed: type mismatch in vector permute expression
@ 2012-10-12 18:19 zsojka at seznam dot cz
2012-10-12 18:38 ` [Bug middle-end/54915] " dominiq at lps dot ens.fr
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: zsojka at seznam dot cz @ 2012-10-12 18:19 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54915
Bug #: 54915
Summary: [4.8 Regression] ICE: verify_gimple failed: type
mismatch in vector permute expression
Classification: Unclassified
Product: gcc
Version: 4.8.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: middle-end
AssignedTo: unassigned@gcc.gnu.org
ReportedBy: zsojka@seznam.cz
Created attachment 28434
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28434
reduced testcase (from gcc.target/i386/vect-rebuild.c)
Compiler output:
$ gcc -O testcase.c
testcase.c: In function 'h':
testcase.c:4:6: note: The ABI for passing parameters with 32-byte alignment has
changed in GCC 4.6
v2df h (v4df x)
^
testcase.c:8:1: error: type mismatch in vector permute expression
}
^
v2df
v4df
v4df
vector(2) unsigned long
xx_4 = VEC_PERM_EXPR <x_6(D), x_6(D), { 2, 3 }>;
testcase.c:8:1: internal compiler error: verify_gimple failed
linux-vdso.so.1: No such file or directory
0xa07e1c verify_gimple_in_cfg(function*)
/mnt/svn/gcc-trunk/gcc/tree-cfg.c:4727
0x8ff5c8 execute_function_todo
/mnt/svn/gcc-trunk/gcc/passes.c:1956
0x90030d execute_todo
/mnt/svn/gcc-trunk/gcc/passes.c:1989
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
Tested revisions:
r192388 - crash
r191586 - crash
4.7 r191640 - OK
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug middle-end/54915] [4.8 Regression] ICE: verify_gimple failed: type mismatch in vector permute expression
2012-10-12 18:19 [Bug middle-end/54915] New: [4.8 Regression] ICE: verify_gimple failed: type mismatch in vector permute expression zsojka at seznam dot cz
@ 2012-10-12 18:38 ` dominiq at lps dot ens.fr
2012-10-12 18:43 ` glisse at gcc dot gnu.org
` (3 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: dominiq at lps dot ens.fr @ 2012-10-12 18:38 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54915
Dominique d'Humieres <dominiq at lps dot ens.fr> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2012-10-12
Ever Confirmed|0 |1
--- Comment #1 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2012-10-12 18:37:55 UTC ---
Revision 191175, 2012-09-11, is OK; revision 191247, 2012-09-13 (configured
with --enable-checking=release) gives
pr54915.c:4:6: internal compiler error: in fold_convert_loc, at
fold-const.c:1990
Candidate revision 191198?
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug middle-end/54915] [4.8 Regression] ICE: verify_gimple failed: type mismatch in vector permute expression
2012-10-12 18:19 [Bug middle-end/54915] New: [4.8 Regression] ICE: verify_gimple failed: type mismatch in vector permute expression zsojka at seznam dot cz
2012-10-12 18:38 ` [Bug middle-end/54915] " dominiq at lps dot ens.fr
@ 2012-10-12 18:43 ` glisse at gcc dot gnu.org
2012-10-15 9:52 ` rguenth at gcc dot gnu.org
` (2 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: glisse at gcc dot gnu.org @ 2012-10-12 18:43 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54915
Marc Glisse <glisse at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot |glisse at gcc dot gnu.org
|gnu.org |
--- Comment #2 from Marc Glisse <glisse at gcc dot gnu.org> 2012-10-12 18:42:50 UTC ---
Uh, it does look like I am not checking the size of the RHS anywhere :-(
Sorry about that, I'll fix it ASAP.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug middle-end/54915] [4.8 Regression] ICE: verify_gimple failed: type mismatch in vector permute expression
2012-10-12 18:19 [Bug middle-end/54915] New: [4.8 Regression] ICE: verify_gimple failed: type mismatch in vector permute expression zsojka at seznam dot cz
2012-10-12 18:38 ` [Bug middle-end/54915] " dominiq at lps dot ens.fr
2012-10-12 18:43 ` glisse at gcc dot gnu.org
@ 2012-10-15 9:52 ` rguenth at gcc dot gnu.org
2012-10-15 14:38 ` glisse at gcc dot gnu.org
2012-10-15 14:41 ` glisse at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2012-10-15 9:52 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54915
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |4.8.0
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug middle-end/54915] [4.8 Regression] ICE: verify_gimple failed: type mismatch in vector permute expression
2012-10-12 18:19 [Bug middle-end/54915] New: [4.8 Regression] ICE: verify_gimple failed: type mismatch in vector permute expression zsojka at seznam dot cz
` (2 preceding siblings ...)
2012-10-15 9:52 ` rguenth at gcc dot gnu.org
@ 2012-10-15 14:38 ` glisse at gcc dot gnu.org
2012-10-15 14:41 ` glisse at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: glisse at gcc dot gnu.org @ 2012-10-15 14:38 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54915
--- Comment #3 from Marc Glisse <glisse at gcc dot gnu.org> 2012-10-15 14:38:09 UTC ---
Author: glisse
Date: Mon Oct 15 14:38:04 2012
New Revision: 192461
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=192461
Log:
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.
Added:
trunk/gcc/testsuite/gcc.dg/tree-ssa/pr54915.c (with props)
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-ssa-forwprop.c
Propchange: trunk/gcc/testsuite/gcc.dg/tree-ssa/pr54915.c
('svn:eol-style' added)
Propchange: trunk/gcc/testsuite/gcc.dg/tree-ssa/pr54915.c
('svn:keywords' added)
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug middle-end/54915] [4.8 Regression] ICE: verify_gimple failed: type mismatch in vector permute expression
2012-10-12 18:19 [Bug middle-end/54915] New: [4.8 Regression] ICE: verify_gimple failed: type mismatch in vector permute expression zsojka at seznam dot cz
` (3 preceding siblings ...)
2012-10-15 14:38 ` glisse at gcc dot gnu.org
@ 2012-10-15 14:41 ` glisse at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: glisse at gcc dot gnu.org @ 2012-10-15 14:41 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54915
Marc Glisse <glisse at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #4 from Marc Glisse <glisse at gcc dot gnu.org> 2012-10-15 14:41:07 UTC ---
Thanks for reporting the issue.
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2012-10-15 14:41 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-10-12 18:19 [Bug middle-end/54915] New: [4.8 Regression] ICE: verify_gimple failed: type mismatch in vector permute expression zsojka at seznam dot cz
2012-10-12 18:38 ` [Bug middle-end/54915] " dominiq at lps dot ens.fr
2012-10-12 18:43 ` glisse at gcc dot gnu.org
2012-10-15 9:52 ` rguenth at gcc dot gnu.org
2012-10-15 14:38 ` glisse at gcc dot gnu.org
2012-10-15 14:41 ` glisse at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).