basis/compiler/cfg/linear-scan/debugger/debugger.factor

   1 ! Copyright (C) 2008, 2009 Slava Pestov.
   2 ! See http://factorcode.org/license.txt for BSD license.
   3 USING: accessors kernel sequences sets arrays math strings fry
   4 namespaces prettyprint compiler.cfg.linear-scan.live-intervals
   5 compiler.cfg.linear-scan.allocation compiler.cfg assocs ;
   6 IN: compiler.cfg.linear-scan.debugger
   7
   8 : check-linear-scan ( live-intervals machine-registers -- )
   9     [
  10         [ clone ] map dup [ [ vreg>> ] keep ] H{ } map>assoc
  11         live-intervals set
  12         f
  13     ] dip
  14     allocate-registers drop ;
  15
  16 : picture ( uses -- str )
  17     dup last 1 + CHAR: space <string>
  18     [ '[ CHAR: * swap _ set-nth ] each ] keep ;
  19
  20 : interval-picture ( interval -- str )
  21     [ uses>> picture ]
  22     [ vreg>> unparse ]
  23     bi 2array ;
  24
  25 : live-intervals. ( seq -- )
  26     [ interval-picture ] map simple-table. ;