record-constant-definition ( insn definitions -- )

Vocabulary

compiler.cfg.register-allocation.rematerialization

Inputs

insn	an object
definitions	an object

Outputs

None

Definition

USING: accessors assocs compiler.cfg.def-use
compiler.cfg.instructions compiler.cfg.registers
compiler.cfg.ssa.destruction.leaders cpu.architecture kernel
sequences ;

IN: compiler.cfg.register-allocation.rematerialization

:: record-constant-definition ( insn definitions -- )
    insn defs-vregs [| vreg |
        vreg leader :> key key definitions key?
        [ f ] [
            insn ##load-integer? [
                insn val>> cheap-integer? vreg rep-of int-rep
                eq? and
                [ key insn val>> insn constant-recipe boa ]
                [ f ] if
            ] [ f ] if
        ] if key definitions set-at
    ] each ;