basis/compiler/cfg/ssa/destruction/destruction-tests.factor

   1 USING: compiler.cfg.instructions compiler.cfg.registers
   2 compiler.cfg.ssa.destruction compiler.cfg.ssa.destruction.leaders
   3 compiler.cfg.ssa.destruction.private cpu.architecture kernel make namespaces
   4 tools.test ;
   5 IN: compiler.cfg.ssa.destruction.tests
   6
   7 ! cleanup-insn
   8 {
   9     V{ T{ ##copy { src 45 } { dst 47 } { rep double-2-rep } } }
  10 } [
  11     H{ { 45 45 } { 46 45 } { 47 47 } { 100 47 } } leader-map set
  12     ! how can the leader of a vreg have a different representation
  13     ! than the vreg itself?
  14     H{
  15         { 45 double-2-rep }
  16         { 46 double-rep }
  17         { 47 double-rep }
  18         { 100 double-rep }
  19     } representations set
  20     T{ ##parallel-copy { values V{ { 100 46 } } } }
  21     [ cleanup-insn ] V{ } make
  22 ] unit-test
  23
  24 { V{ } } [
  25     T{ ##parallel-copy { values V{ } } }
  26     [ cleanup-insn ] V{ } make
  27 ] unit-test