T0b1/regalloc2
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix crit-edge detection logic in CFGInfo analysis

Browse Source
This commit is contained in:
Chris Fallin
2021-05-09 01:06:59 -07:00
parent b9e89885c4
commit 095a883814
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/cfg.rs
View File

@@ -72,10 +72,12 @@ impl CFGInfo {
block_entry[block.index()] = ProgPoint::before(f.block_insns(block).first());
block_exit[block.index()] = ProgPoint::after(f.block_insns(block).last());
if f.block_preds(block).len() > 1 {
let preds = f.block_preds(block).len() + if block == f.entry_block() { 1 } else { 0 };
if preds > 1 {
for (i, &pred) in f.block_preds(block).iter().enumerate() {
// Check critical edge condition.
if f.block_succs(pred).len() > 1 {
let succs = f.block_succs(pred).len();
if succs > 1 {
return Err(RegAllocError::CritEdge(pred, block));
}
pred_pos[pred.index()] = i;