basis/compiler/cfg/loop-detection/loop-detection-tests.factor

   1 USING: compiler.cfg compiler.cfg.loop-detection
   2 compiler.cfg.predecessors
   3 compiler.cfg.debugger
   4 tools.test kernel namespaces accessors ;
   5 IN: compiler.cfg.loop-detection.tests
   6
   7 V{ } 0 test-bb
   8 V{ } 1 test-bb
   9 V{ } 2 test-bb
  10
  11 0 { 1 2 } edges
  12 2 0 edge
  13
  14 : test-loop-detection ( -- ) cfg new 0 get >>entry needs-loops drop ;
  15
  16 [ ] [ test-loop-detection ] unit-test
  17
  18 [ 1 ] [ 0 get loop-nesting-at ] unit-test
  19 [ 0 ] [ 1 get loop-nesting-at ] unit-test
  20 [ 1 ] [ 2 get loop-nesting-at ] unit-test