[Bug middle-end/37372] New: [graphite] SCoP detection splits bbs / Define SCoPs with single entry and exit edge

[grosser at gcc dot gnu dot org]

During SCoP detection we split bbs (e.g. in "scopdet_edge_info"), but the SCoP
detection should only detect SCoPs and not modify anything.
Also it splits bbs in inner loops, that do not need to be splitted.

Bb splitting was introduced to make SCoPs entry/exit defined by a single edge.
That is a great idea to simplify code generation, but we should ensure this in
a later cleanup pass. (May be just before code generation)


-- 
           Summary: [graphite] SCoP detection splits bbs / Define SCoPs with
                    single entry and exit edge
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: grosser at gcc dot gnu dot org
        ReportedBy: grosser at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37372