1 ! Copyright (C) 2011 Alex Vondrak.
2 ! See http://factorcode.org/license.txt for BSD license.
3 USING: accessors assocs compiler.cfg
4 compiler.cfg.dataflow-analysis compiler.cfg.def-use hashtables
5 kernel namespaces sequences ;
6 IN: compiler.cfg.gvn.avail
8 ! assoc mapping basic blocks to the set of value numbers that
9 ! are defined in the block
12 ! : defined ( bb -- vns ) bbs>defns get at ;
14 : defined ( bb -- vregs )
15 instructions>> [ defs-vregs ] map concat [ dup ] H{ } map>assoc ;
17 FORWARD-ANALYSIS: avail
19 M: avail-analysis transfer-set drop defined assoc-union ;
21 : available? ( vn -- ? )
22 basic-block get avail-ins get at key? ;
24 : make-available ( insn -- insn )
26 basic-block get avail-ins get [ dupd ?set-at ] change-at ;