Codegen Purity: Hand-Written Assembly Quality at -O0
10 sections
100%
Section 1 Block Merging & CFG Simplification Section 2 Function Attributes Section 3 Arithmetic Correctness Section 4 ARC Closure Lifecycle Section 5 Sum Type Payload Extraction Section 6 Dead Code Pruning Section 7 Constant Deduplication Section 8 Loop IR Quality Section 9 Tail Call Optimization Section 10 Verification
Overview
Achieve hand-written-quality C-level assembly from Ori programs at -O0 by eliminating every known codegen purity deficiency across code journeys 1–12. Functional correctness is already 12/12; this plan targets structural IR quality, attribute precision, and backend parity so debug-mode output does not depend on -O1+ cleanup passes.
Completed
10 sections
Section 1 Complete
Block Merging & CFG Simplification
56/56 tasks
56/56 tasks
Section 2 Complete
Function Attributes
80/80 tasks
80/80 tasks
Section 3 Complete
Arithmetic Correctness
20/20 tasks
20/20 tasks
Section 4 Complete
ARC Closure Lifecycle
19/19 tasks
19/19 tasks
Section 5 Complete
Sum Type Payload Extraction
19/19 tasks
19/19 tasks
Section 6 Complete
Dead Code Pruning
32/32 tasks
32/32 tasks
Section 7 Complete
Constant Deduplication
22/22 tasks
22/22 tasks
Section 8 Complete
Loop IR Quality
66/66 tasks
66/66 tasks
Section 9 Complete
Tail Call Optimization
79/79 tasks
79/79 tasks
Section 10 Complete
Verification
109/109 tasks
109/109 tasks