Vocabulary
compiler.cfg.instructions

Class description
A special kind of instruction used to mark control flow. It is inserted by the compiler.cfg.ssa.construction vocab. It has the following slots:

inputs	An assoc containing as keys the blocks/block numbers where the vreg was defined and as values the vreg. Why care about the blocks?
dst	A merged vreg for the value.

Definition

IN: compiler.cfg.instructions

TUPLE: ##phi < flushable-insn dst inputs insn# ;

Methods

USING: accessors compiler.cfg.gvn.avail
compiler.cfg.instructions kernel ;

M: ##phi >avail-insn-defs [ ] change-dst drop ;

USING: accessors assocs compiler.cfg.gvn.avail
compiler.cfg.instructions kernel ;

M: ##phi >avail-insn-uses
[ [ dup >avail-vreg swap or ] assoc-map ] change-inputs drop
;

USING: accessors assocs compiler.cfg
compiler.cfg.gvn.expressions compiler.cfg.gvn.graph
compiler.cfg.instructions namespaces sequences ;

M: ##phi >expr
inputs>> values [ vreg>vn ] map
basic-block get number>> prefix ##phi prefix ;

USING: accessors compiler.cfg.instructions
compiler.cfg.linear-scan.assignment kernel ;

M: ##phi assign-insn-defs [ vreg>reg ] change-dst drop ;

USING: accessors assocs compiler.cfg.instructions
compiler.cfg.linear-scan.assignment kernel ;

M: ##phi assign-insn-uses
[ [ vreg>reg ] assoc-map ] change-inputs drop ;

USING: compiler.cfg.instructions
compiler.cfg.ssa.destruction.private kernel ;

M: ##phi cleanup-insn drop ;

USING: accessors assocs compiler.cfg.instructions
compiler.cfg.ssa.destruction.coalescing kernel sorting ;

M: ##phi coalesce-now
[ dst>> ] [ inputs>> values ] bi zip-scalar
natural-sort t try-eliminate-copies ;

USING: compiler.cfg.instructions
compiler.cfg.representations.rewrite make ;

M: ##phi conversions-for-insn , ;

USING: accessors compiler.cfg.instructions
compiler.cfg.representations.rewrite kernel ;

M: ##phi convert-insn-defs [ converted-value ] change-dst drop ;

USING: accessors assocs compiler.cfg.instructions
compiler.cfg.representations.rewrite kernel ;

M: ##phi convert-insn-uses
[ [ converted-value ] assoc-map ] change-inputs drop ;

USING: accessors arrays compiler.cfg.def-use
compiler.cfg.instructions ;

M: ##phi defs-vregs dst>> 1array ;

USING: compiler.cfg.gc-checks.private compiler.cfg.instructions
;

M: ##phi gc-check-offsets* gc-check-here ;

USING: accessors assocs compiler.cfg.gvn compiler.cfg.gvn.graph
compiler.cfg.instructions grouping kernel sequences ;

M: ##phi gcse
dup inputs>> values [ vreg>vn ] map sift dup all-equal?
[ [ first ?eliminate ] unless-empty ]
[ drop eliminate-redundancy ] if ;

USING: accessors assocs compiler.cfg.debugger
compiler.cfg.instructions generic kernel ;

M: ##phi insn.
clone [ [ [ number>> ] dip ] assoc-map ] change-inputs
M\ ##phi insn. (call-next-method) ;

USING: compiler.cfg.instructions
compiler.cfg.ssa.interference.live-ranges.private ;

M: ##phi record-insn record-defs ;

USING: accessors compiler.cfg.instructions compiler.cfg.renaming
kernel ;

M: ##phi rename-insn-defs [ rename-value ] change-dst drop ;

USING: accessors assocs compiler.cfg.instructions
compiler.cfg.renaming kernel ;

M: ##phi rename-insn-uses
[ [ rename-value ] assoc-map ] change-inputs drop ;

USING: accessors compiler.cfg.instructions
compiler.cfg.ssa.construction.private kernel ;

M: ##phi ssa-rename-insn-defs [ gen-name ] change-dst drop ;

USING: accessors assocs compiler.cfg.instructions
compiler.cfg.ssa.construction.private kernel ;

M: ##phi ssa-rename-insn-uses
[ [ top-name ] assoc-map ] change-inputs drop ;

USING: accessors assocs compiler.cfg.copy-prop.private
compiler.cfg.instructions generic kernel sequences ;

M: ##phi update-insn
dup M\ ##phi update-insn (call-next-method) drop
[ dst>> ] [ inputs>> values ] bi [ = not ] with any? ;

USING: accessors assocs compiler.cfg.def-use
compiler.cfg.instructions ;

M: ##phi uses-vregs inputs>> values ;

USING: accessors assocs compiler.cfg.gvn compiler.cfg.gvn.graph
compiler.cfg.instructions grouping kernel sequences ;

M: ##phi value-number
dup inputs>> values [ vreg>vn ] map sift dup all-equal?
[ [ drop ] [ first redundant-instruction ] if-empty ]
[ drop check-redundancy ] if ;

USING: accessors assocs compiler.cfg.instructions
compiler.cfg.representations.coalescing disjoint-sets kernel ;

M: ##phi visit-insn
[ [ inputs>> values ] [ dst>> ] bi ] dip equate-all-with ;

USING: accessors assocs compiler.cfg.copy-prop.private
compiler.cfg.instructions grouping kernel namespaces sequences ;

M: ##phi visit-insn
[ dst>> ] [ inputs>> values [ resolve ] map ] bi
dup phis get key?
[ redundant-phi ] [
dup sift dup all-equal?
[ nip useless-phi ] [ drop record-phi ] if
] if ;

USING: compiler.cfg.instructions compiler.cfg.liveness ;

M: ##phi visit-insn kill-defs ;