##phi
Basic block instructions

Prev:	##no-tco
Next:	##return

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: compiler.cfg.instructions compiler.cfg.liveness ;

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


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 ;