check-validation-location ( location rep registers -- )

Vocabulary

compiler.cfg.register-allocation.validation

Inputs

location	an object
rep	an object
registers	an object

Outputs

None

Definition

USING: assocs compiler.cfg.instructions cpu.architecture kernel
sequences ;

IN: compiler.cfg.register-allocation.validation

:: check-validation-location ( location rep registers -- )
    location spill-slot?
    [ ] [
        location rep reg-class-of registers at member?
        [ ] [ location rep outside-validation-register-bank ] if
    ] if ;