Hobby optimizing compiler for an intentionally usafe C-style system programming language.
compiler static-analysis ssa ast cse tail-call-optimization register-allocation cfg dag ir dfg z3-smt-solver function-inlining instruction-selection peephole-optimization instruction-planning licm
-
Updated
May 7, 2026 - C