A workspace defining traits and implementations for SSA (Static Single Assignment) form, CFG (Control Flow Graph) analysis, and code generation utilities.
- Define SSA/CFG traits
- Implement SSA translation and relooping algorithms
- Support various intermediate representations
- Extensive set of crates defined (
ssa-traits,ssa-reloop,cfg-traits)
AI assisted