Compiler for a subset of the C language written in Objective Caml. Supports optimizations based on classical data-flow analysis (constant propagation, dead statement elimination), conversions in and out of static single assignment form and optimizations thereupon (constant propagation, loop-invariant code motion).
![[+] expand](/imagery/files/soysauce_blueprint.gif){kind=link}