record-value-flow-rematerialization ( original insn -- )

Vocabulary

compiler.cfg.register-allocation.verifier

Inputs

original	an object
insn	an object

Outputs

None

Definition

USING: accessors assocs compiler.cfg.instructions kernel math
namespaces ;

IN: compiler.cfg.register-allocation.verifier

:: record-value-flow-rematerialization ( original insn -- )
    active-value-flow-snapshot get [| snapshot |
        original snapshot instructions>> at :> expected expected 
        [
            expected constant>> integer? insn ##load-integer?
            and [ expected constant>> insn val>> = ] [ f ] if
        ] [ f ] if
        [ ]
        [ original insn invalid-allocation-rematerialization ]
        if expected insn snapshot instructions>> set-at
    ] when* ;