compiler.cfg.*: more unit tests

diff --git a/basis/compiler/cfg/dataflow-analysis/dataflow-analysis-tests.factor b/basis/compiler/cfg/dataflow-analysis/dataflow-analysis-tests.factor
new file mode 100644 (file)
index 0000000..02181fb
--- /dev/null
+++ b/basis/compiler/cfg/dataflow-analysis/dataflow-analysis-tests.factor
@@ -0,0 +1,30 @@
+USING: accessors assocs compiler.cfg.dataflow-analysis
+compiler.cfg.dataflow-analysis.private compiler.cfg.rpo compiler.cfg.utilities
+kernel tools.test ;
+IN: compiler.cfg.dataflow-analysis.tests
+
+! run-dataflow-analysis
+TUPLE: im-a-dfa test ;
+
+M: im-a-dfa block-order ( cfg dfa -- bbs )
+    drop post-order ;
+
+M: im-a-dfa ignore-block? ( cfg bb -- ? )
+    2drop f ;
+
+M: im-a-dfa predecessors ( bb dfa -- seq )
+    drop predecessors>> ;
+
+M: im-a-dfa successors ( bb dfa -- seq )
+    drop successors>> ;
+
+M: im-a-dfa join-sets ( sets bb dfa -- set )
+    2drop ;
+
+M: im-a-dfa transfer-set ( in-set bb dfa -- out-set )
+    2drop ;
+
+{ { V{ } } { V{ } } } [
+    { } 0 insns>block block>cfg 10 im-a-dfa boa run-dataflow-analysis
+    [ values ] bi@
+] unit-test

diff --git a/basis/compiler/cfg/def-use/def-use-tests.factor b/basis/compiler/cfg/def-use/def-use-tests.factor
index 791f5ef7551d069067759d7cb6c790b178ff418d..de5bf335b6b1dfcc706491371ff1e76acafcf32d 100644 (file)
--- a/basis/compiler/cfg/def-use/def-use-tests.factor
+++ b/basis/compiler/cfg/def-use/def-use-tests.factor
@@ -6,6 +6,14 @@ compiler.cfg.instructions compiler.cfg.registers compiler.cfg.utilities
 cpu.architecture ;
 IN: compiler.cfg.def-use.tests
 
+! compute-insns
+{
+    T{ ##peek f 123 D 0 f }
+} [
+    { T{ ##peek f 123 D 0 } } 0 insns>block block>cfg compute-insns
+    123 insn-of
+] unit-test
+
 V{
     T{ ##peek f 0 D 0 }
     T{ ##peek f 1 D 0 }

diff --git a/basis/compiler/cfg/linear-scan/allocation/spilling/spilling-tests.factor b/basis/compiler/cfg/linear-scan/allocation/spilling/spilling-tests.factor
index 57b3be833697c7793810a7a95ae6257ffa85729d..98c7488347c61e1836424ce0d2b20b6f7de09907 100644 (file)
--- a/basis/compiler/cfg/linear-scan/allocation/spilling/spilling-tests.factor
+++ b/basis/compiler/cfg/linear-scan/allocation/spilling/spilling-tests.factor
@@ -1,11 +1,11 @@
-USING: compiler.cfg.instructions compiler.cfg.linear-scan.allocation.spilling
-compiler.cfg.linear-scan.live-intervals cpu.architecture sequences tools.test ;
+USING: assocs compiler.cfg compiler.cfg.instructions
+compiler.cfg.linear-scan.allocation.spilling
+compiler.cfg.linear-scan.allocation.state
+compiler.cfg.linear-scan.live-intervals compiler.cfg.registers cpu.architecture
+kernel namespaces sequences tools.test ;
 IN: compiler.cfg.linear-scan.allocation.spilling.tests
 
-! last-use-rep
-{
-    double-rep
-} [
+: test-live-interval ( -- live-interval )
     T{ live-interval-state
        { vreg 45 }
        { spill-to T{ spill-slot { n 8 } } }
@@ -19,7 +19,7 @@ IN: compiler.cfg.linear-scan.allocation.spilling.tests
             { seq
               {
                   T{ live-range { from 22 } { to 47 } }
-                        T{ live-range { from 67 } { to 68 } }
+                  T{ live-range { from 67 } { to 68 } }
                   T{ live-range { from 69 } { to 72 } }
               }
             }
@@ -33,5 +33,18 @@ IN: compiler.cfg.linear-scan.allocation.spilling.tests
              }
          }
        }
-    } last-use-rep
+    } ;
+
+! assign-spill
+{ T{ spill-slot f 0 } } [
+    f f <basic-block> <cfg> cfg set
+    H{ } clone spill-slots set
+    H{ { 45 double-2-rep } } representations set
+    test-live-interval assign-spill
+    { 45 8 } spill-slots get at
+] unit-test
+
+! last-use-rep
+{ double-rep } [
+    test-live-interval last-use-rep
 ] unit-test

diff --git a/basis/compiler/cfg/linear-scan/assignment/assignment-tests.factor b/basis/compiler/cfg/linear-scan/assignment/assignment-tests.factor
index 458e05c00ddd40a2983af0360f802c09b501f760..820e3f4af7e3ca025fd156fef9b7ef831c2def58 100644 (file)
--- a/basis/compiler/cfg/linear-scan/assignment/assignment-tests.factor
+++ b/basis/compiler/cfg/linear-scan/assignment/assignment-tests.factor
@@ -1,10 +1,12 @@
 USING: accessors arrays compiler.cfg compiler.cfg.instructions
-compiler.cfg.linear-scan.assignment compiler.cfg.linear-scan.live-intervals
-compiler.cfg.registers compiler.cfg.ssa.destruction.leaders
-compiler.cfg.utilities cpu.architecture cpu.x86.assembler.operands grouping
-heaps kernel make namespaces random sequences sorting tools.test ;
+compiler.cfg.linear-scan.allocation.state compiler.cfg.linear-scan.assignment
+compiler.cfg.linear-scan.live-intervals compiler.cfg.registers
+compiler.cfg.ssa.destruction.leaders compiler.cfg.utilities cpu.architecture
+cpu.x86.assembler.operands grouping heaps kernel make namespaces random
+sequences sorting tools.test ;
 IN: compiler.cfg.linear-scan.assignment.tests
 
+! assign-insn-defs
 {
     T{ ##peek { dst RAX } { loc T{ ds-loc } } { insn# 0 } }
 } [
@@ -14,6 +16,12 @@ IN: compiler.cfg.linear-scan.assignment.tests
     T{ ##peek f 37 D 0 0 } [ assign-insn-defs ] keep
 ] unit-test
 
+! assign-registers
+{ } [
+    V{ T{ ##inc { loc D 3 } { insn# 7 } } } 0 insns>block block>cfg { }
+    assign-registers
+] unit-test
+
 ! assign-registers-in-block
 {
     V{ T{ ##inc { loc T{ ds-loc { n 3 } } } { insn# 7 } } }
@@ -38,6 +46,26 @@ IN: compiler.cfg.linear-scan.assignment.tests
     ] V{ } make
 ] unit-test
 
+! vreg>reg
+{ T{ spill-slot f 16 } } [
+    H{ { 45 double-2-rep } } representations set
+    H{ { 45 45 } } leader-map set
+    H{ { { 45 16 } T{ spill-slot { n 16 } } } } spill-slots set
+    45 vreg>reg
+] unit-test
+
+[
+    ! It gets very strange if the leader of a vreg has a different
+    ! sized representation than the vreg being led.
+    H{
+        { 45 double-2-rep }
+        { 46 double-rep }
+    } representations set
+    H{ { 45 45 } { 46 45 } } leader-map set
+    H{ { { 45 16 } T{ spill-slot { n 16 } } } } spill-slots set
+    46 vreg>reg
+] [ bad-vreg? ] must-fail-with
+
 { { 3 56 } } [
     { { 3 7 } { -1 56 } { -1 3 } } >min-heap [ -1 = ] heap-pop-while
     natural-sort
@@ -48,8 +76,3 @@ IN: compiler.cfg.linear-scan.assignment.tests
     pending-interval-heap set 90 expire-old-intervals
     pending-interval-heap get heap-size
 ] unit-test
-
-{ } [
-    V{ T{ ##inc { loc D 3 } { insn# 7 } } } 0 insns>block block>cfg { }
-    assign-registers
-] unit-test