aboutsummaryrefslogtreecommitdiffhomepage
path: root/ir/cfg.c
Commit message (Collapse)AuthorAgeFilesLines
* cfg: dominator computation should ignore blocks with no predecessors lemon2026-02-191-1/+1
| | | | | | | These didn't show up atp before but with inlining, for example, a noreturn function, they could be introduced. And the pass ordering means they wouldn't have been cleaned up before filldom(). An unreachable block having no dominator makes sense too.
* ir/rpo: sanity checks lemon2026-02-181-4/+7
|
* ir bugfixes lemon2026-01-041-2/+7
|
* ir: implement dominator tree computation lemon2025-11-211-0/+35
|
* ir: barebones IR passes checked contracts lemon2025-11-211-0/+3
|
* cfg: sortrpo delete unreachable blocks with allocas by hoisting them to the ↵ lemon2025-11-211-6/+7
| | | | entry block
* cfg: allow dead blocks with alloca pseudo instrs lemon2025-11-021-2/+7
|
* ir bugfixes lemon2025-10-231-1/+4
|
* Organize source files into directories lemon2025-10-191-0/+43