1 ! Copyright (C) 2011 Alex Vondrak.
2 ! See http://factorcode.org/license.txt for BSD license.
3 USING: accessors assocs hashtables kernel namespaces sequences
6 compiler.cfg.dataflow-analysis
9 compiler.cfg.predecessors
11 FROM: namespaces => set ;
12 IN: compiler.cfg.gvn.avail
14 : defined ( bb -- vregs )
15 instructions>> [ defs-vregs ] map concat unique ;
17 ! This doesn't propagate across "kill blocks". Not sure if
18 ! that's right, though I may as well assume as much.
20 FORWARD-ANALYSIS: avail
22 M: avail-analysis transfer-set drop defined assoc-union ;
24 ! Strict idea of availability, for now. Would like to see if
25 ! searching the VN congruence classes for the smallest
26 ! available vn would work at all / better.
28 : available? ( vn -- ? )
29 final-iteration? get [
30 basic-block get avail-in key?
33 : available-uses? ( insn -- ? )
34 uses-vregs [ available? ] all? ;
36 : with-available-uses? ( quot -- ? )
37 [ available-uses? ] bi and ; inline
39 : make-available ( insn -- insn )
41 basic-block get avail-ins get [ dupd clone ?set-at ] change-at ;