snapshot-value-flow-instruction ( insn -- snapshot )

Vocabulary

compiler.cfg.register-allocation.verifier

Inputs

insn

an object

Outputs

snapshot

an object

Definition

USING: accessors assocs combinators compiler.cfg.def-use
compiler.cfg.instructions kernel ;

IN: compiler.cfg.register-allocation.verifier

: snapshot-value-flow-instruction ( insn -- snapshot )
    {
        [ uses-vregs value-flow-operands ]
        [ defs-vregs value-flow-operands ]
        [ temp-vregs value-flow-operands ]
        [
            dup gc-map-insn?
            [ gc-map>> gc-roots>> clone ] [ drop f ] if
        ]
        [
            dup gc-map-insn?
            [ gc-map>> derived-roots>> H{ } assoc-clone-like ]
            [ drop f ] if
        ]
        [ dup ##load-integer? [ val>> ] [ drop f ] if ]
    } cleave value-flow-instruction boa ;