public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/38953] New: [graphite] loop closed SSA not maintained by graphite code generation
@ 2009-01-24 0:32 spop at gcc dot gnu dot org
2009-01-24 0:48 ` [Bug tree-optimization/38953] " spop at gcc dot gnu dot org
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: spop at gcc dot gnu dot org @ 2009-01-24 0:32 UTC (permalink / raw)
To: gcc-bugs
This problem happened in the graphite branch where after the graphite
pass we scheduled a pass of loop invariant motion (LIM). LIM does
expect to see the loop closed SSA form, but that property is not
maintained by the code generator of graphite. The testcase is
extracted from the polyhedron benchmark aermod.f90 and it failed on
graphite branch when compiled with -O3 that implies -floop-block and
-fgraphite-identity.
--
Summary: [graphite] loop closed SSA not maintained by graphite
code generation
Product: gcc
Version: 4.4.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
AssignedTo: spop at gcc dot gnu dot org
ReportedBy: spop at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38953
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/38953] [graphite] loop closed SSA not maintained by graphite code generation
2009-01-24 0:32 [Bug tree-optimization/38953] New: [graphite] loop closed SSA not maintained by graphite code generation spop at gcc dot gnu dot org
@ 2009-01-24 0:48 ` spop at gcc dot gnu dot org
2009-01-24 1:00 ` spop at gcc dot gnu dot org
` (3 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: spop at gcc dot gnu dot org @ 2009-01-24 0:48 UTC (permalink / raw)
To: gcc-bugs
------- Comment #1 from spop at gcc dot gnu dot org 2009-01-24 00:47 -------
Created an attachment (id=17172)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=17172&action=view)
patch
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38953
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/38953] [graphite] loop closed SSA not maintained by graphite code generation
2009-01-24 0:32 [Bug tree-optimization/38953] New: [graphite] loop closed SSA not maintained by graphite code generation spop at gcc dot gnu dot org
2009-01-24 0:48 ` [Bug tree-optimization/38953] " spop at gcc dot gnu dot org
2009-01-24 1:00 ` spop at gcc dot gnu dot org
@ 2009-01-24 1:00 ` spop at gcc dot gnu dot org
2009-02-05 21:45 ` spop at gcc dot gnu dot org
2009-02-09 20:35 ` spop at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: spop at gcc dot gnu dot org @ 2009-01-24 1:00 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from spop at gcc dot gnu dot org 2009-01-24 01:00 -------
Subject: Bug 38953
Author: spop
Date: Sat Jan 24 00:59:51 2009
New Revision: 143599
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143599
Log:
2009-01-24 Sebastian Pop <sebastian.pop@amd.com>
PR tree-optimization/38953
* graphite.c (graphite_verify): Add a call to verify_loop_closed_ssa.
(scop_adjust_phis_for_liveouts): Initialize false_i to zero.
(gloog): Split the exit of the scop when the scop exit is a loop exit.
(graphite_transform_loops): Only call cleanup_tree_cfg if gloog
changed the CFG.
* gfortran.dg/graphite/pr38953.f90: New.
Added:
trunk/gcc/testsuite/gfortran.dg/graphite/pr38953.f90
Modified:
trunk/gcc/ChangeLog
trunk/gcc/graphite.c
trunk/gcc/testsuite/ChangeLog
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38953
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/38953] [graphite] loop closed SSA not maintained by graphite code generation
2009-01-24 0:32 [Bug tree-optimization/38953] New: [graphite] loop closed SSA not maintained by graphite code generation spop at gcc dot gnu dot org
2009-01-24 0:48 ` [Bug tree-optimization/38953] " spop at gcc dot gnu dot org
@ 2009-01-24 1:00 ` spop at gcc dot gnu dot org
2009-01-24 1:00 ` spop at gcc dot gnu dot org
` (2 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: spop at gcc dot gnu dot org @ 2009-01-24 1:00 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from spop at gcc dot gnu dot org 2009-01-24 01:00 -------
Fixed.
--
spop at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38953
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/38953] [graphite] loop closed SSA not maintained by graphite code generation
2009-01-24 0:32 [Bug tree-optimization/38953] New: [graphite] loop closed SSA not maintained by graphite code generation spop at gcc dot gnu dot org
` (2 preceding siblings ...)
2009-01-24 1:00 ` spop at gcc dot gnu dot org
@ 2009-02-05 21:45 ` spop at gcc dot gnu dot org
2009-02-09 20:35 ` spop at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: spop at gcc dot gnu dot org @ 2009-02-05 21:45 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from spop at gcc dot gnu dot org 2009-02-05 21:45 -------
Subject: Bug 38953
Author: spop
Date: Thu Feb 5 21:44:57 2009
New Revision: 143972
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143972
Log:
2009-02-05 Sebastian Pop <sebastian.pop@amd.com>
PR middle-end/38953
* graphite.c (if_region_set_false_region): After moving a region
in the false branch of a condition, remove the empty dummy basic block.
(gloog): Remove wrong fix for PR38953.
Modified:
branches/graphite/gcc/ChangeLog.graphite
branches/graphite/gcc/graphite.c
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38953
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/38953] [graphite] loop closed SSA not maintained by graphite code generation
2009-01-24 0:32 [Bug tree-optimization/38953] New: [graphite] loop closed SSA not maintained by graphite code generation spop at gcc dot gnu dot org
` (3 preceding siblings ...)
2009-02-05 21:45 ` spop at gcc dot gnu dot org
@ 2009-02-09 20:35 ` spop at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: spop at gcc dot gnu dot org @ 2009-02-09 20:35 UTC (permalink / raw)
To: gcc-bugs
------- Comment #5 from spop at gcc dot gnu dot org 2009-02-09 20:35 -------
Subject: Bug 38953
Author: spop
Date: Mon Feb 9 20:35:09 2009
New Revision: 144042
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=144042
Log:
2009-02-09 Sebastian Pop <sebastian.pop@amd.com>
PR middle-end/38953
* graphite.c (if_region_set_false_region): After moving a region
in the false branch of a condition, remove the empty dummy basic block.
(gloog): Remove wrong fix for PR38953.
Modified:
trunk/gcc/ChangeLog
trunk/gcc/graphite.c
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38953
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2009-02-09 20:35 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2009-01-24 0:32 [Bug tree-optimization/38953] New: [graphite] loop closed SSA not maintained by graphite code generation spop at gcc dot gnu dot org
2009-01-24 0:48 ` [Bug tree-optimization/38953] " spop at gcc dot gnu dot org
2009-01-24 1:00 ` spop at gcc dot gnu dot org
2009-01-24 1:00 ` spop at gcc dot gnu dot org
2009-02-05 21:45 ` spop at gcc dot gnu dot org
2009-02-09 20:35 ` spop at gcc dot gnu dot 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).