This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug middle-end/37372] [graphite] SCoP detection splits bbs / Define SCoPs with single entry and exit edge
- From: "spop at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 11 Sep 2008 16:47:20 -0000
- Subject: [Bug middle-end/37372] [graphite] SCoP detection splits bbs / Define SCoPs with single entry and exit edge
- References: <bug-37372-15673@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #2 from spop at gcc dot gnu dot org 2008-09-11 16:47 -------
Jan proposed to switch to a different algorithm for detecting scops
based on the fact that scops are single entry, single exit regions.
Instead of detecting scops from the innermost to the outermost, we
should instead build a tree of SESE regions, then from the outermost
SESE ask whether the region contains side effects, in which case we
can walk down to an inner SESE region that does not contain side
effects. When a SESE does not contain side effects, and does contain
interesting code for graphite, i.e. loops, we do build a scop for it.
We are working on an implementation of this algorithm.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37372