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