check-validation-register-bank ( graph registers -- )

Vocabulary

compiler.cfg.register-allocation.validation

Inputs

graph	an object
registers	an object

Outputs

None

Definition

USING: assocs compiler.cfg.linear-scan kernel sequences sets ;

IN: compiler.cfg.register-allocation.validation

:: check-validation-register-bank ( graph registers -- )
    graph admissible-registers :> available registers keys
    available keys set=
    [ ] [ registers invalid-validation-register-bank ] if
    registers [| class bank |
        bank empty? not bank all-unique? and
        bank class available at subset? and
    ] assoc-all?
    [ ] [ registers invalid-validation-register-bank ] if ;