USING: accessors compiler.cfg compiler.cfg.debugger
compiler.cfg.def-use compiler.cfg.dominance
compiler.cfg.instructions compiler.cfg.liveness.ssa
compiler.cfg.registers compiler.cfg.predecessors
compiler.cfg.ssa.interference
compiler.cfg.ssa.interference.live-ranges cpu.architecture
kernel namespaces tools.test ;
IN: compiler.cfg.ssa.interference.tests

: test-interference ( -- )
    cfg new 0 get >>entry
    compute-ssa-live-sets
    compute-predecessors
    dup compute-def-use
    dup compute-dominance
    compute-live-ranges ;

V{
    T{ ##peek f V int-regs 0 D 0 }
    T{ ##peek f V int-regs 2 D 0 }
    T{ ##copy f V int-regs 1 V int-regs 0 }
    T{ ##copy f V int-regs 3 V int-regs 2 }
    T{ ##branch }
} 0 test-bb

V{
    T{ ##peek f V int-regs 4 D 0 }
    T{ ##peek f V int-regs 5 D 0 }
    T{ ##replace f V int-regs 3 D 0 }
    T{ ##peek f V int-regs 6 D 0 }
    T{ ##replace f V int-regs 5 D 0 }
    T{ ##return }
} 1 test-bb

0 1 edge

[ ] [ test-interference ] unit-test

[ f ] [ V int-regs 0 V int-regs 1 interferes? ] unit-test
[ f ] [ V int-regs 1 V int-regs 0 interferes? ] unit-test
[ f ] [ V int-regs 2 V int-regs 3 interferes? ] unit-test
[ f ] [ V int-regs 3 V int-regs 2 interferes? ] unit-test
[ t ] [ V int-regs 0 V int-regs 2 interferes? ] unit-test
[ t ] [ V int-regs 2 V int-regs 0 interferes? ] unit-test
[ f ] [ V int-regs 1 V int-regs 3 interferes? ] unit-test
[ f ] [ V int-regs 3 V int-regs 1 interferes? ] unit-test
[ t ] [ V int-regs 3 V int-regs 4 interferes? ] unit-test
[ t ] [ V int-regs 4 V int-regs 3 interferes? ] unit-test
[ t ] [ V int-regs 3 V int-regs 5 interferes? ] unit-test
[ t ] [ V int-regs 5 V int-regs 3 interferes? ] unit-test
[ f ] [ V int-regs 3 V int-regs 6 interferes? ] unit-test
[ f ] [ V int-regs 6 V int-regs 3 interferes? ] unit-test