compiler.cfg.linear-scan.assignment: correctly compute live registers at GC check points

2009-06-20 15:33:12 -05:00 · 2009-06-20 15:33:12 -05:00 · 886967256e
parent fed8e7f6b7
commit 886967256e
1 changed files with 3 additions and 1 deletions
--- a/basis/compiler/cfg/linear-scan/assignment/assignment.factor
+++ b/basis/compiler/cfg/linear-scan/assignment/assignment.factor
@ -102,7 +102,9 @@ M: vreg-insn assign-registers-in-insn
    >>regs drop ;

 : compute-live-registers ( insn -- regs )
-    active-intervals register-mapping ;
+    [ active-intervals ] [ temp-vregs ] bi
+    '[ vreg>> _ memq? not ] filter
+    register-mapping ;

 : compute-live-spill-slots ( -- spill-slots )
    spill-slots get values [ values ] map concat