value-flow-alias ( destination source aliases -- )

Vocabulary

compiler.cfg.register-allocation.verifier

Inputs

destination	an object
source	an object
aliases	an object

Outputs

None

Definition

USING: assocs kernel ;

IN: compiler.cfg.register-allocation.verifier

:: value-flow-alias ( destination source aliases -- )
    destination aliases value-flow-root
    :> dst source aliases value-flow-root :> src dst src =
    [ ] [ src dst aliases set-at ] if ;