From 1aa6c9a0d538812370d499b274f69cdeedbc4c26 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Tue, 21 Jul 2009 22:25:19 -0500 Subject: [PATCH] compiler.cfg: Fix unit tests --- .../cfg/dominance/dominance-tests.factor | 4 ++-- .../phi-elimination-tests.factor | 23 +++++++------------ .../value-numbering-tests.factor | 11 --------- 3 files changed, 10 insertions(+), 28 deletions(-) diff --git a/basis/compiler/cfg/dominance/dominance-tests.factor b/basis/compiler/cfg/dominance/dominance-tests.factor index b87f668d88..210d5614c2 100644 --- a/basis/compiler/cfg/dominance/dominance-tests.factor +++ b/basis/compiler/cfg/dominance/dominance-tests.factor @@ -36,8 +36,8 @@ V{ } 5 test-bb [ { 4 } ] [ 1 get dom-frontier [ number>> ] map ] unit-test [ { 4 } ] [ 2 get dom-frontier [ number>> ] map ] unit-test -[ f ] [ 0 get dom-frontier ] unit-test -[ f ] [ 4 get dom-frontier ] unit-test +[ { } ] [ 0 get dom-frontier ] unit-test +[ { } ] [ 4 get dom-frontier ] unit-test ! Example from the paper V{ } 0 test-bb diff --git a/basis/compiler/cfg/phi-elimination/phi-elimination-tests.factor b/basis/compiler/cfg/phi-elimination/phi-elimination-tests.factor index 79d1797720..22afc0b32b 100644 --- a/basis/compiler/cfg/phi-elimination/phi-elimination-tests.factor +++ b/basis/compiler/cfg/phi-elimination/phi-elimination-tests.factor @@ -36,27 +36,20 @@ V{ test-diamond +3 vreg-counter set-global + [ ] [ cfg new 0 get >>entry eliminate-phis drop ] unit-test -[let | n! [ f ] | - -[ ] [ 2 get successors>> first instructions>> first dst>> n>> n! ] unit-test - -[ t ] [ - T{ ##copy f V int-regs n V int-regs 1 } - 2 get successors>> first instructions>> first = +[ T{ ##copy f V int-regs 4 V int-regs 1 } ] [ + 2 get successors>> first instructions>> first ] unit-test -[ t ] [ - T{ ##copy f V int-regs n V int-regs 2 } - 3 get successors>> first instructions>> first = +[ T{ ##copy f V int-regs 4 V int-regs 2 } ] [ + 3 get successors>> first instructions>> first ] unit-test -[ t ] [ - T{ ##copy f V int-regs 3 V int-regs n } - 4 get instructions>> first = +[ T{ ##copy f V int-regs 3 V int-regs 4 } ] [ + 4 get instructions>> first ] unit-test -] - [ 3 ] [ 4 get instructions>> length ] unit-test diff --git a/basis/compiler/cfg/value-numbering/value-numbering-tests.factor b/basis/compiler/cfg/value-numbering/value-numbering-tests.factor index 62ed4a7eb3..bd2bb692b7 100644 --- a/basis/compiler/cfg/value-numbering/value-numbering-tests.factor +++ b/basis/compiler/cfg/value-numbering/value-numbering-tests.factor @@ -1218,17 +1218,6 @@ test-diamond [ t ] [ 1 get successors>> first 3 get eq? ] unit-test -[let | n! [ f ] | - -[ ] [ 2 get successors>> first instructions>> first src>> n>> n! ] unit-test - -[ t ] [ - T{ ##copy f V int-regs n V int-regs 2 } - 3 get successors>> first instructions>> first = -] unit-test - -] - [ 3 ] [ 4 get instructions>> length ] unit-test V{