relocate-value-flow-roots ( insn expected state snapshot -- )

Vocabulary

compiler.cfg.register-allocation.verifier

Inputs

insn	an object
expected	an object
state	an object
snapshot	an object

Outputs

None

Definition

USING: accessors assocs cpu.architecture kernel sequences sets ;

IN: compiler.cfg.register-allocation.verifier

:: relocate-value-flow-roots
    ( insn expected state snapshot -- )
    insn gc-map>> [ gc-roots>> ] [ derived-roots>> keys ] bi
    append [ tagged-rep value-flow-locations ] map
    concat :> updated expected roots>> expected derived>> keys
    append [ snapshot aliases>> value-flow-root ] map
    :> moving state keys [| location |
        location updated member?
        [ ]
        [ location state at moving diff location state set-at ]
        if
    ] each ;