basis/compiler/cfg/renaming/functor/functor.factor

   1 ! Copyright (C) 2009 Slava Pestov.
   2 ! See http://factorcode.org/license.txt for BSD license.
   3 USING: accessors arrays assocs fry functors generic.parser
   4 kernel lexer namespaces parser sequences slots words sets
   5 compiler.cfg.def-use compiler.cfg.instructions
   6 compiler.cfg.instructions.syntax ;
   7 IN: compiler.cfg.renaming.functor
   8
   9 : slot-change-quot ( slots quot -- quot' )
  10     '[ [ _ ] dip changer-word [ ] 2sequence ] map [ ] join
  11     [ drop ] append ;
  12
  13 FUNCTOR: define-renaming ( NAME DEF-QUOT USE-QUOT TEMP-QUOT -- )
  14
  15 rename-insn-defs DEFINES ${NAME}-insn-defs
  16 rename-insn-uses DEFINES ${NAME}-insn-uses
  17 rename-insn-temps DEFINES ${NAME}-insn-temps
  18
  19 WHERE
  20
  21 GENERIC: rename-insn-defs ( insn -- )
  22
  23 insn-classes get [
  24     [ \ rename-insn-defs create-method-in ]
  25     [ insn-def-slot dup [ name>> 1array ] when DEF-QUOT slot-change-quot ] bi
  26     define
  27 ] each
  28
  29 GENERIC: rename-insn-uses ( insn -- )
  30
  31 insn-classes get { ##phi } diff [
  32     [ \ rename-insn-uses create-method-in ]
  33     [ insn-use-slots [ name>> ] map USE-QUOT slot-change-quot ] bi
  34     define
  35 ] each
  36
  37 M: ##phi rename-insn-uses
  38     [ USE-QUOT assoc-map ] change-inputs drop ;
  39
  40 GENERIC: rename-insn-temps ( insn -- )
  41
  42 insn-classes get [
  43     [ \ rename-insn-temps create-method-in ]
  44     [ insn-temp-slots [ name>> ] map TEMP-QUOT slot-change-quot ] bi
  45     define
  46 ] each
  47
  48 ;FUNCTOR
  49
  50 SYNTAX: RENAMING: scan scan-object scan-object scan-object define-renaming ;