- , raPatchedCmm = code_patched }
-
- return ( code_nat
- , maybeToList stat1 ++ [stat] ++ debug_codeGraphs
+ , raPatched = code_patched
+ , raSpillClean = code_spillclean
+ , raFinal = code_final
+ , raSRMs = foldl addSRM (0, 0, 0) $ map countSRMs code_spillclean }
+
+ return ( code_final
+ , if dump
+ then [stat] ++ maybeToList stat1 ++ debug_codeGraphs
+ else []