- , raPatchedCmm :: [LiveCmmTop] -- ^ code after register allocation
- , raFinalCmm :: [NatCmmTop] } -- ^ final code
+ , raPatched :: [LiveCmmTop] -- ^ code with vregs replaced by hregs
+ , raSpillClean :: [LiveCmmTop] -- ^ code with unneeded spill/reloads cleaned out
+ , raFinal :: [NatCmmTop] } -- ^ final code