value-flow-locations ( location rep -- locations )

Vocabulary

compiler.cfg.register-allocation.verifier

Inputs

location	an object
rep	an object

Outputs

locations

an object

Definition

USING: accessors arrays compiler.cfg.instructions
cpu.architecture kernel math sequences ;

IN: compiler.cfg.register-allocation.verifier

:: value-flow-locations ( location rep -- locations )
    location spill-slot? [
        rep rep-size <iota>
        [ location n>> + "spill" swap 2array ] map
    ] [ rep reg-class-of location 2array 1array ] if ;