##parallel-copy
Basic block instructions

Prev:	##copy
Next:	##peek

Vocabulary
compiler.cfg.instructions

Class description
An instruction for performing multiple copies. It allows for optimizations or (or prunings) if more than one source or destination vreg is the same. They are transformed into ##copy instructions in destruct-ssa. It has the following slots:

values

An assoc mapping source vregs to destinations.

Definition

IN: compiler.cfg.instructions

TUPLE: ##parallel-copy < flushable-insn values insn# ;

Methods

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

M: ##parallel-copy >avail-insn-defs
    [ [ first2 [ ] dip 2array ] map ] change-values drop ;


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

M: ##parallel-copy >avail-insn-uses
    [ [ first2 [ dup >avail-vreg or* ] call 2array ] map ]
    change-values drop ;


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

M: ##parallel-copy assign-insn-defs
    [ [ first2 [ vreg>reg ] dip 2array ] map ] change-values
    drop ;


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

M: ##parallel-copy assign-insn-uses
    [ [ first2 [ vreg>reg ] call 2array ] map ] change-values
    drop ;


USING: accessors assocs compiler.cfg.instructions
compiler.cfg.parallel-copy compiler.cfg.ssa.destruction.leaders
compiler.cfg.ssa.destruction.private kernel make sequences ;

M: ##parallel-copy cleanup-insn
    values>> [ leaders ] assoc-map [ first2 = ] reject
    parallel-copy-rep % ;


USING: accessors compiler.cfg.instructions
compiler.cfg.ssa.destruction.coalescing make ;

M: ##parallel-copy coalesce-later values>> % ;


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

M: ##parallel-copy convert-insn-defs
    [ [ first2 [ converted-value ] dip 2array ] map ]
    change-values drop ;


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

M: ##parallel-copy convert-insn-uses
    [ [ first2 [ converted-value ] call 2array ] map ]
    change-values drop ;


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

M: ##parallel-copy defs-vregs values>> [ first ] map ;


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

M: ##parallel-copy lookup-base-pointer* values>> value-at ;


USING: assocs compiler.cfg.def-use compiler.cfg.instructions
compiler.cfg.ssa.interference.live-ranges.private kernel math
namespaces sequences ;

M: ##parallel-copy record-insn
    [ 2 * ] dip
    [ record-defs ]
    [ uses-vregs [ local-kill-indices get set-at ] with each ]
    2bi ;


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

M: ##parallel-copy rename-insn-defs
    [ [ first2 [ rename-value ] dip 2array ] map ] change-values
    drop ;


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

M: ##parallel-copy rename-insn-uses
    [ [ first2 [ rename-value ] call 2array ] map ]
    change-values drop ;


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

M: ##parallel-copy ssa-rename-insn-defs
    [ [ first2 [ gen-name ] dip 2array ] map ] change-values
    drop ;


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

M: ##parallel-copy ssa-rename-insn-uses
    [ [ first2 [ top-name ] call 2array ] map ] change-values
    drop ;


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

M: ##parallel-copy uses-vregs values>> [ second ] map ;