public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/55857] New: [4.8 Regression] ICE: verify_ssa failed
@ 2013-01-03 10:37 rguenth at gcc dot gnu.org
2013-01-03 10:45 ` [Bug tree-optimization/55857] " rguenth at gcc dot gnu.org
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2013-01-03 10:37 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55857
Bug #: 55857
Summary: [4.8 Regression] ICE: verify_ssa failed
Classification: Unclassified
Product: gcc
Version: 4.8.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
AssignedTo: unassigned@gcc.gnu.org
ReportedBy: rguenth@gcc.gnu.org
Target: powerpc*-*-*
Created attachment 29076
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29076
preprocessed source
Reproduced with a cross from x86_64:
./cc1 -quiet lpc.i -fpreprocessed -quiet -maltivec -O -ftree-vectorize
lpc.c: In function 'FLAC__lpc_compute_residual_from_qlp_coefficients':
lpc.c:266:6: error: PHI argument is missing for edge 58->56
for PHI node
vect_var_.321_1054 = PHI <(58), vect_var_.315_1052(114)>
lpc.c:266:6: internal compiler error: verify_ssa failed
0xc89f71 verify_ssa(bool)
/space/rguenther/src/svn/trunk/gcc/tree-ssa.c:1050
0xbf6163 verify_loop_closed_ssa(bool)
/space/rguenther/src/svn/trunk/gcc/tree-ssa-loop-manip.c:591
0xbf684b gimple_duplicate_loop_to_header_edge(loop*, edge_def*, unsigned int,
simple_bitmap_def*, edge_def*, vec<edge_def*, va_heap, vl_ptr>*, int)
/space/rguenther/src/svn/trunk/gcc/tree-ssa-loop-manip.c:762
0x6da91d cfg_hook_duplicate_loop_to_header_edge(loop*, edge_def*, unsigned int,
simple_bitmap_def*, edge_def*, vec<edge_def*, va_heap, vl_ptr>*, int)
/space/rguenther/src/svn/trunk/gcc/cfghooks.c:1183
0x6e6651 loop_version(loop*, void*, basic_block_def**, unsigned int, unsigned
int, unsigned int, bool)
/space/rguenther/src/svn/trunk/gcc/cfgloopmanip.c:1685
0xcd31d9 vect_loop_versioning(_loop_vec_info*, unsigned int, bool)
/space/rguenther/src/svn/trunk/gcc/tree-vect-loop-manip.c:2581
0xccae16 vect_transform_loop(_loop_vec_info*)
/space/rguenther/src/svn/trunk/gcc/tree-vect-loop.c:5483
0xcddad4 vectorize_loops()
/space/rguenther/src/svn/trunk/gcc/tree-vectorizer.c:124
0xc0425d tree_vectorize
/space/rguenther/src/svn/trunk/gcc/tree-ssa-loop.c:220
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.
Reducing.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/55857] [4.8 Regression] ICE: verify_ssa failed
2013-01-03 10:37 [Bug tree-optimization/55857] New: [4.8 Regression] ICE: verify_ssa failed rguenth at gcc dot gnu.org
@ 2013-01-03 10:45 ` rguenth at gcc dot gnu.org
2013-01-03 10:51 ` rguenth at gcc dot gnu.org
` (3 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2013-01-03 10:45 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55857
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |ASSIGNED
Keywords| |ice-on-valid-code
Last reconfirmed| |2013-01-03
AssignedTo|unassigned at gcc dot |rguenth at gcc dot gnu.org
|gnu.org |
Ever Confirmed|0 |1
Target Milestone|--- |4.8.0
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> 2013-01-03 10:45:20 UTC ---
Reduced testcase that segfaults instead:
void
foo (int *data, unsigned len, const int qlp_coeff[], int lp, int residual[])
{
int i;
int sum;
for(i = 0; i < (int)len; i++)
{
sum = 0;
sum += qlp_coeff[1] * data[i-2];
sum += qlp_coeff[0] * data[i-1];
residual[i] = data[i] - (sum >> lp);
}
}
> ./cc1 -quiet lpc.3.i -fpreprocessed -quiet -maltivec -O -ftree-vectorize
lpc.3.i: In function 'foo':
lpc.3.i:2:1: internal compiler error: Segmentation fault
foo (int *data, unsigned len, const int qlp_coeff[], int lp, int residual[])
^
0xac3151 crash_signal
/space/rguenther/src/svn/trunk/gcc/toplev.c:334
0xbf5a9b find_uses_to_rename_use
/space/rguenther/src/svn/trunk/gcc/tree-ssa-loop-manip.c:366
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/55857] [4.8 Regression] ICE: verify_ssa failed
2013-01-03 10:37 [Bug tree-optimization/55857] New: [4.8 Regression] ICE: verify_ssa failed rguenth at gcc dot gnu.org
2013-01-03 10:45 ` [Bug tree-optimization/55857] " rguenth at gcc dot gnu.org
@ 2013-01-03 10:51 ` rguenth at gcc dot gnu.org
2013-01-03 12:35 ` rguenth at gcc dot gnu.org
` (2 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2013-01-03 10:51 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55857
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> 2013-01-03 10:50:26 UTC ---
One that reproduces the checking failure:
void foo (int *data, unsigned len, const int qlp_coeff[],
unsigned order, int lp, int residual[])
{
int i;
int sum;
if(order == 2)
for(i = 0; i < (int)len; i++)
{
sum = 0;
sum += qlp_coeff[1] * data[i-2];
sum += qlp_coeff[0] * data[i-1];
residual[i] = data[i] - (sum >> lp);
}
else
for(i = 0; i < (int)len; i++)
residual[i] = data[i] - ((qlp_coeff[0] * data[i-1]) >> lp);
}
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/55857] [4.8 Regression] ICE: verify_ssa failed
2013-01-03 10:37 [Bug tree-optimization/55857] New: [4.8 Regression] ICE: verify_ssa failed rguenth at gcc dot gnu.org
2013-01-03 10:45 ` [Bug tree-optimization/55857] " rguenth at gcc dot gnu.org
2013-01-03 10:51 ` rguenth at gcc dot gnu.org
@ 2013-01-03 12:35 ` rguenth at gcc dot gnu.org
2013-01-03 12:40 ` rguenth at gcc dot gnu.org
2013-01-03 15:57 ` rguenth at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2013-01-03 12:35 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55857
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> 2013-01-03 12:34:39 UTC ---
Author: rguenth
Date: Thu Jan 3 12:34:34 2013
New Revision: 194850
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194850
Log:
2013-01-03 Richard Biener <rguenther@suse.de>
PR tree-optimization/55857
* tree-vect-stmts.c (vectorizable_load): Do not setup
re-alignment for invariant loads.
* gcc.dg/vect/pr55857-1.c: New testcase.
* gcc.dg/vect/pr55857-2.c: Likewise.
Added:
trunk/gcc/testsuite/gcc.dg/vect/pr55857-1.c
trunk/gcc/testsuite/gcc.dg/vect/pr55857-2.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-vect-stmts.c
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/55857] [4.8 Regression] ICE: verify_ssa failed
2013-01-03 10:37 [Bug tree-optimization/55857] New: [4.8 Regression] ICE: verify_ssa failed rguenth at gcc dot gnu.org
` (2 preceding siblings ...)
2013-01-03 12:35 ` rguenth at gcc dot gnu.org
@ 2013-01-03 12:40 ` rguenth at gcc dot gnu.org
2013-01-03 15:57 ` rguenth at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2013-01-03 12:40 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55857
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> 2013-01-03 12:40:29 UTC ---
Fixed.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/55857] [4.8 Regression] ICE: verify_ssa failed
2013-01-03 10:37 [Bug tree-optimization/55857] New: [4.8 Regression] ICE: verify_ssa failed rguenth at gcc dot gnu.org
` (3 preceding siblings ...)
2013-01-03 12:40 ` rguenth at gcc dot gnu.org
@ 2013-01-03 15:57 ` rguenth at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2013-01-03 15:57 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55857
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> 2013-01-03 15:57:25 UTC ---
Author: rguenth
Date: Thu Jan 3 15:57:15 2013
New Revision: 194856
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194856
Log:
2013-01-03 Richard Biener <rguenther@suse.de>
Revert
2013-01-03 Richard Biener <rguenther@suse.de>
PR tree-optimization/55857
* tree-vect-stmts.c (vectorizable_load): Do not setup
re-alignment for invariant loads.
2013-01-02 Richard Biener <rguenther@suse.de>
* tree-vect-stmts.c (vectorizable_load): When vectorizing an
invariant load do not generate a vector load from the scalar
location.
Modified:
trunk/gcc/ChangeLog
trunk/gcc/tree-vect-stmts.c
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2013-01-03 15:57 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-01-03 10:37 [Bug tree-optimization/55857] New: [4.8 Regression] ICE: verify_ssa failed rguenth at gcc dot gnu.org
2013-01-03 10:45 ` [Bug tree-optimization/55857] " rguenth at gcc dot gnu.org
2013-01-03 10:51 ` rguenth at gcc dot gnu.org
2013-01-03 12:35 ` rguenth at gcc dot gnu.org
2013-01-03 12:40 ` rguenth at gcc dot gnu.org
2013-01-03 15:57 ` rguenth 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).