##box
Basic block instructions

Prev:	##alien-invoke
Next:	##box-alien

Vocabulary
compiler.cfg.instructions

Class description
This instruction boxes a value into a tagged pointer.

See also
%box

Definition

IN: compiler.cfg.instructions

TUPLE: ##box < foldable-insn dst src boxer rep gc-map insn# ;

Methods

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

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


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

M: ##box >avail-insn-uses
    [ dup >avail-vreg or* ] change-src drop ;


USING: accessors arrays compiler.cfg.gvn.expressions
compiler.cfg.gvn.graph compiler.cfg.instructions kernel
sequences.private ;

M: ##box >expr
    \ ##box swap [ src>> vreg>vn ] keep [ boxer>> ] keep
    [ rep>> ] keep [ gc-map>> ] keep drop 5 f <array> 4 swap
    [ set-array-nth ] keep 3 swap [ set-array-nth ] keep 2 swap
    [ set-array-nth ] keep 1 swap [ set-array-nth ] keep 0 swap
    [ set-array-nth ] keep ;


USING: accessors arrays compiler.cfg.instructions
compiler.cfg.value-numbering.expressions
compiler.cfg.value-numbering.graph kernel sequences.private ;

M: ##box >expr
    \ ##box swap [ src>> vreg>vn ] keep [ boxer>> ] keep
    [ rep>> ] keep [ gc-map>> ] keep drop 5 f <array> 4 swap
    [ set-array-nth ] keep 3 swap [ set-array-nth ] keep 2 swap
    [ set-array-nth ] keep 1 swap [ set-array-nth ] keep 0 swap
    [ set-array-nth ] keep ;


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

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


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

M: ##box assign-insn-uses [ vreg>reg ] change-src drop ;


USING: compiler.cfg.build-stack-frame compiler.cfg.instructions
kernel ;

M: ##box compute-stack-frame* drop vm-frame-required ;


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

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


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

M: ##box convert-insn-uses [ converted-value ] change-src drop ;


USING: compiler.cfg.instructions
compiler.cfg.representations.preferred cpu.architecture kernel ;

M: ##box defs-vreg-reps drop { tagged-rep } ;


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

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


USING: accessors compiler.cfg.instructions compiler.codegen
cpu.architecture kernel ;

M: ##box generate-insn
    [ dst>> ] keep [ src>> ] keep [ boxer>> ] keep
    [ rep>> ] keep [ gc-map>> ] keep drop %box ;


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

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


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

M: ##box rename-insn-uses [ rename-value ] change-src drop ;


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

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


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

M: ##box ssa-rename-insn-uses [ top-name ] change-src drop ;


USING: accessors arrays compiler.cfg.instructions
compiler.cfg.representations.preferred ;

M: ##box uses-vreg-reps rep>> 1array ;


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

M: ##box uses-vregs src>> 1array ;