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.

dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 2