diff --git a/basis/compiler/cfg/gc-checks/gc-checks-tests.factor b/basis/compiler/cfg/gc-checks/gc-checks-tests.factor index 698caa5e68..d8745c0784 100644 --- a/basis/compiler/cfg/gc-checks/gc-checks-tests.factor +++ b/basis/compiler/cfg/gc-checks/gc-checks-tests.factor @@ -42,13 +42,12 @@ V{ [ V{ - T{ ##gc-map f V{ 0 } V{ 3 } { 0 1 2 } } - T{ ##call-gc } + T{ ##call-gc f T{ gc-map } } T{ ##branch } } ] [ - V{ D 0 R 3 } { 0 1 2 } instructions>> + instructions>> ] unit-test 30 \ vreg-counter set-global @@ -82,7 +81,7 @@ V{ [ ] [ cfg get needs-predecessors drop ] unit-test -[ ] [ { D 1 R 2 } { 10 20 } V{ } 31337 3 get (insert-gc-check) ] unit-test +[ ] [ V{ } 31337 3 get (insert-gc-check) ] unit-test [ t ] [ 1 get successors>> first gc-check? ] unit-test @@ -146,8 +145,7 @@ H{ [ V{ - T{ ##gc-map f V{ 0 1 2 } V{ } { 2 } } - T{ ##call-gc } + T{ ##call-gc f T{ gc-map } } T{ ##branch } } ] [ 2 get predecessors>> second instructions>> ] unit-test diff --git a/basis/compiler/cfg/ssa/interference/interference-tests.factor b/basis/compiler/cfg/ssa/interference/interference-tests.factor index 4e3da1c6dc..36c03bc6af 100644 --- a/basis/compiler/cfg/ssa/interference/interference-tests.factor +++ b/basis/compiler/cfg/ssa/interference/interference-tests.factor @@ -182,7 +182,7 @@ V{ V{ T{ ##save-context f 77 78 } - T{ ##call-gc f { } } + T{ ##call-gc f T{ gc-map } } T{ ##branch } } 2 test-bb diff --git a/basis/compiler/cfg/stacks/uninitialized/uninitialized-tests.factor b/basis/compiler/cfg/stacks/uninitialized/uninitialized-tests.factor index 61c3cd67d1..fb9c833136 100644 --- a/basis/compiler/cfg/stacks/uninitialized/uninitialized-tests.factor +++ b/basis/compiler/cfg/stacks/uninitialized/uninitialized-tests.factor @@ -29,8 +29,8 @@ V{ [ ] [ test-uninitialized ] unit-test -[ V{ D 0 D 1 D 2 } ] [ 1 get uninitialized-locs ] unit-test -[ V{ R 0 } ] [ 2 get uninitialized-locs ] unit-test +[ { B{ 0 0 0 } B{ } } ] [ 1 get uninitialized-in ] unit-test +[ { B{ 1 1 1 } B{ 0 } } ] [ 2 get uninitialized-in ] unit-test ! When merging, if a location is uninitialized in one branch and ! initialized in another, we have to consider it uninitialized, @@ -57,4 +57,4 @@ V{ [ ] [ test-uninitialized ] unit-test -[ V{ D 0 } ] [ 3 get uninitialized-locs ] unit-test +[ { B{ 0 } B{ } } ] [ 3 get uninitialized-in ] unit-test