aboutsummaryrefslogtreecommitdiffhomepage
path: root/ir/cfg.c
Commit message (Collapse)AuthorAgeFilesLines
* cfg: dominator computation should ignore blocks with no predecessorslemon2026-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 checkslemon2026-02-181-4/+7
|
* ir bugfixeslemon2026-01-041-2/+7
|
* ir: implement dominator tree computationlemon2025-11-211-0/+35
|
* ir: barebones IR passes checked contractslemon2025-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 instrslemon2025-11-021-2/+7
|
* ir bugfixeslemon2025-10-231-1/+4
|
* Organize source files into directorieslemon2025-10-191-0/+43