danog/ir
1
0
Fork 0
mirror of https://github.com/danog/ir.git synced 2024-11-30 04:39:43 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fixed support for irreducible (incomplete) and merged loops

Browse Source
This commit is contained in:
Dmitry Stogov 2023-03-14 19:54:46 +03:00
parent fca6ba0a8a
commit 2b4586fa0b
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
ir_cfg.c
View File

@ -802,11 +802,14 @@ next:
if (!ir_worklist_len(&work)) {
ir_bitset_clear(work.visited, ir_bitset_len(ir_worklist_capasity(&work)));
}
blocks[pred].loop_header = 0; /* support for merged loops */
ir_worklist_push(&work, pred);
} else {
/* Otherwise it's a cross-join edge. See if it's a branch
to an ancestor on the DJ spanning tree. */
irreducible = (entry_times[pred] > entry_times[i] && exit_times[pred] < exit_times[i]);
if (entry_times[pred] > entry_times[i] && exit_times[pred] < exit_times[i]) {
irreducible = 1;
}
}
}
p++;