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