validation-register-bank ( graph integer-count float-count -- registers )

Vocabulary

compiler.cfg.register-allocation.validation

Inputs

graph	an object
integer-count	an object
float-count	an object

Outputs

registers

an object

Definition

USING: assocs compiler.cfg.linear-scan cpu.architecture kernel
math.order sequences ;

IN: compiler.cfg.register-allocation.validation

:: validation-register-bank
    ( graph integer-count float-count -- registers )
    graph admissible-registers [| class bank |
        class bank class int-regs eq?
        integer-count float-count ? bank length min head
    ] assoc-map ;