compcertssa/compcertssa

CompCertSSA is built on top of the C CompCert verified compiler. It adds an SSA-based middle-end at the RTL level, and includes conversion to SSA, SSA-based optimizations, and destruction of SSA.

Last synced at: 7 months ago - Stars: 0 - Forks: 2