portal/waffle
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

fix stackifier: forward edge out of loop header to loop tail

Browse source
This commit is contained in:
Chris Fallin 2021-11-20 12:46:10 -08:00
parent c79e6aab05
commit 385f726094
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/backend.rs
View file

@ -25,7 +25,6 @@ enum Region {
/// end (after terminator) of second block. Can be extended past /// end (after terminator) of second block. Can be extended past
/// the end if needed. /// the end if needed.
Backward(OrderedBlockId, OrderedBlockId), Backward(OrderedBlockId, OrderedBlockId),
// TODO: support irreducible CFGs by adding a `BackwardDispatch` // TODO: support irreducible CFGs by adding a `BackwardDispatch`
// region kind whose start is adjusted back to the first loop // region kind whose start is adjusted back to the first loop
// block. BackwardDispatch is contagious, i.e. converts adjacent // block. BackwardDispatch is contagious, i.e. converts adjacent
@ -157,7 +156,7 @@ impl Shape {
regions[i] = Region::Backward(a, b); regions[i] = Region::Backward(a, b);
true true
} }
(Region::Forward(_a, b), Region::Backward(c, d)) if b > c && b <= d => { (Region::Forward(a, b), Region::Backward(c, d)) if b > c && b <= d && a < c => {
panic!("Irreducible CFG"); panic!("Irreducible CFG");
} }
(Region::Forward(a, b), Region::Forward(c, d)) if b == d => { (Region::Forward(a, b), Region::Forward(c, d)) if b == d => {