* [Bug tree-optimization/20612] ICE in verify_ssa for -ftree-loop-linear
2005-03-24 0:26 [Bug tree-optimization/20612] New: ICE in verify_ssa for -ftree-loop-linear janis at gcc dot gnu dot org
@ 2005-03-24 0:27 ` janis at gcc dot gnu dot org
2005-03-24 0:53 ` pinskia at gcc dot gnu dot org
` (8 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: janis at gcc dot gnu dot org @ 2005-03-24 0:27 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From janis at gcc dot gnu dot org 2005-03-24 00:27 -------
Created an attachment (id=8440)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8440&action=view)
minimized testcase
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20612
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug tree-optimization/20612] ICE in verify_ssa for -ftree-loop-linear
2005-03-24 0:26 [Bug tree-optimization/20612] New: ICE in verify_ssa for -ftree-loop-linear janis at gcc dot gnu dot org
2005-03-24 0:27 ` [Bug tree-optimization/20612] " janis at gcc dot gnu dot org
@ 2005-03-24 0:53 ` pinskia at gcc dot gnu dot org
2005-03-24 4:04 ` pinskia at gcc dot gnu dot org
` (7 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-03-24 0:53 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-03-24 00:52 -------
There are only two patches during that time frame could have caused this:
+2005-03-01 Daniel Berlin <dberlin@dberlin.org>
+
+ * Makefile.in (tree-ssa-sink.o): New.
and:
+2005-03-01 Zdenek Dvorak <dvorakz@suse.cz>
+
+ * cfgloop.c (flow_loop_entry_edges_find, flow_loop_exit_edges_find,
+ flow_loop_pre_header_scan, flow_loop_pre_header_find,
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20612
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug tree-optimization/20612] ICE in verify_ssa for -ftree-loop-linear
2005-03-24 0:26 [Bug tree-optimization/20612] New: ICE in verify_ssa for -ftree-loop-linear janis at gcc dot gnu dot org
2005-03-24 0:27 ` [Bug tree-optimization/20612] " janis at gcc dot gnu dot org
2005-03-24 0:53 ` pinskia at gcc dot gnu dot org
@ 2005-03-24 4:04 ` pinskia at gcc dot gnu dot org
2005-03-24 4:19 ` dberlin at gcc dot gnu dot org
` (6 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-03-24 4:04 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-03-24 04:04 -------
And easy winner is:
+2005-03-01 Daniel Berlin <dberlin@dberlin.org>
+
+ * Makefile.in (tree-ssa-sink.o): New.
using -fno-tree-sink causes no ICE.
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |dberlin at gcc dot gnu dot
| |org, pinskia at gcc dot gnu
| |dot org
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Keywords| |ice-on-valid-code
Last reconfirmed|0000-00-00 00:00:00 |2005-03-24 04:04:27
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20612
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug tree-optimization/20612] ICE in verify_ssa for -ftree-loop-linear
2005-03-24 0:26 [Bug tree-optimization/20612] New: ICE in verify_ssa for -ftree-loop-linear janis at gcc dot gnu dot org
` (2 preceding siblings ...)
2005-03-24 4:04 ` pinskia at gcc dot gnu dot org
@ 2005-03-24 4:19 ` dberlin at gcc dot gnu dot org
2005-03-24 4:21 ` dberlin at gcc dot gnu dot org
` (5 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: dberlin at gcc dot gnu dot org @ 2005-03-24 4:19 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From dberlin at gcc dot gnu dot org 2005-03-24 04:19 -------
I know what's up
--
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |dberlin at gcc dot gnu dot
|dot org |org
Status|NEW |ASSIGNED
Last reconfirmed|2005-03-24 04:04:27 |2005-03-24 04:19:13
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20612
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug tree-optimization/20612] ICE in verify_ssa for -ftree-loop-linear
2005-03-24 0:26 [Bug tree-optimization/20612] New: ICE in verify_ssa for -ftree-loop-linear janis at gcc dot gnu dot org
` (3 preceding siblings ...)
2005-03-24 4:19 ` dberlin at gcc dot gnu dot org
@ 2005-03-24 4:21 ` dberlin at gcc dot gnu dot org
2005-03-24 4:32 ` dberlin at gcc dot gnu dot org
` (4 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: dberlin at gcc dot gnu dot org @ 2005-03-24 4:21 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From dberlin at gcc dot gnu dot org 2005-03-24 04:21 -------
To add some more detail:
We sink the iv increment because it wasn't used in the old exit test.
However, the exit test we want to generate wants to use it, but because we sunk
it, it no longer dominates the right block.
The easy fix here is to take the iv var, increment it on our own (instead of
trying to use the pre-inc'ed version), and just let rednudancy elimination sort
the rest out :)
--
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |SUSPENDED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20612
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug tree-optimization/20612] ICE in verify_ssa for -ftree-loop-linear
2005-03-24 0:26 [Bug tree-optimization/20612] New: ICE in verify_ssa for -ftree-loop-linear janis at gcc dot gnu dot org
` (4 preceding siblings ...)
2005-03-24 4:21 ` dberlin at gcc dot gnu dot org
@ 2005-03-24 4:32 ` dberlin at gcc dot gnu dot org
2005-03-24 18:51 ` janis at gcc dot gnu dot org
` (3 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: dberlin at gcc dot gnu dot org @ 2005-03-24 4:32 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From dberlin at gcc dot gnu dot org 2005-03-24 04:32 -------
i accidently marked it suspended :(
--
What |Removed |Added
----------------------------------------------------------------------------
Status|SUSPENDED |ASSIGNED
Last reconfirmed|2005-03-24 04:19:13 |2005-03-24 04:32:49
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20612
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug tree-optimization/20612] ICE in verify_ssa for -ftree-loop-linear
2005-03-24 0:26 [Bug tree-optimization/20612] New: ICE in verify_ssa for -ftree-loop-linear janis at gcc dot gnu dot org
` (5 preceding siblings ...)
2005-03-24 4:32 ` dberlin at gcc dot gnu dot org
@ 2005-03-24 18:51 ` janis at gcc dot gnu dot org
2005-04-11 18:55 ` cvs-commit at gcc dot gnu dot org
` (2 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: janis at gcc dot gnu dot org @ 2005-03-24 18:51 UTC (permalink / raw)
To: gcc-bugs
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 665 bytes --]
------- Additional Comments From janis at gcc dot gnu dot org 2005-03-24 18:51 -------
I tried the patch with a biarch powerpc64-linux compiler; sixtrack now
works with "-m32 -O2 -ftree-loop-linear" but the swim compile dies in a
new place:
/home/janis/tools/gcc-mline-20050323-20612/bin/gfortran -c -o swim.o
-m32 -O2 -ftree-loop-linear swim.f
swim.f: In function MAIN__:
swim.f:46: internal compiler error: in get_loop_body, at cfgloop.c:819
This ought to be reproducible with a vanilla powerpc-linux cross compiler
but I haven't tried that and won't have time to play with this for a few
days.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20612
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug tree-optimization/20612] ICE in verify_ssa for -ftree-loop-linear
2005-03-24 0:26 [Bug tree-optimization/20612] New: ICE in verify_ssa for -ftree-loop-linear janis at gcc dot gnu dot org
` (6 preceding siblings ...)
2005-03-24 18:51 ` janis at gcc dot gnu dot org
@ 2005-04-11 18:55 ` cvs-commit at gcc dot gnu dot org
2005-04-11 19:13 ` dberlin at gcc dot gnu dot org
2005-04-20 2:18 ` pinskia at gcc dot gnu dot org
9 siblings, 0 replies; 11+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2005-04-11 18:55 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From cvs-commit at gcc dot gnu dot org 2005-04-11 18:55 -------
Subject: Bug 20612
CVSROOT: /cvs/gcc
Module name: gcc
Changes by: dberlin@gcc.gnu.org 2005-04-11 18:55:47
Modified files:
gcc : ChangeLog lambda-code.c
Log message:
2005-04-11 Daniel Berlin <dberlin@dberlin.org>
Fix PR tree-optimization/20612
* lambda-code.c (lambda_loopnest_to_gcc_loopnest): Fix increment
handling
(perfect_nestify): preheaderbb is *not* part of loop of the
old destination.
Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.8233&r2=2.8234
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/lambda-code.c.diff?cvsroot=gcc&r1=2.32&r2=2.33
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20612
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug tree-optimization/20612] ICE in verify_ssa for -ftree-loop-linear
2005-03-24 0:26 [Bug tree-optimization/20612] New: ICE in verify_ssa for -ftree-loop-linear janis at gcc dot gnu dot org
` (7 preceding siblings ...)
2005-04-11 18:55 ` cvs-commit at gcc dot gnu dot org
@ 2005-04-11 19:13 ` dberlin at gcc dot gnu dot org
2005-04-20 2:18 ` pinskia at gcc dot gnu dot org
9 siblings, 0 replies; 11+ messages in thread
From: dberlin at gcc dot gnu dot org @ 2005-04-11 19:13 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From dberlin at gcc dot gnu dot org 2005-04-11 19:13 -------
Fixed
--
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20612
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug tree-optimization/20612] ICE in verify_ssa for -ftree-loop-linear
2005-03-24 0:26 [Bug tree-optimization/20612] New: ICE in verify_ssa for -ftree-loop-linear janis at gcc dot gnu dot org
` (8 preceding siblings ...)
2005-04-11 19:13 ` dberlin at gcc dot gnu dot org
@ 2005-04-20 2:18 ` pinskia at gcc dot gnu dot org
9 siblings, 0 replies; 11+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-04-20 2:18 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |4.1.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20612
^ permalink raw reply [flat|nested] 11+ messages in thread