constrained-allocator

Vocabulary

compiler.cfg.register-allocation.validation

Definition

IN: compiler.cfg.register-allocation.validation

TUPLE: constrained-allocator delegate registers kernel ;

Methods

USING: accessors combinators compiler.cfg.register-allocation
compiler.cfg.register-allocation.validation
compiler.cfg.register-allocation.verifier kernel namespaces ;

M:: constrained-allocator allocate-cfg
    ( graph allocator -- )
    allocator registers>> :> registers graph registers
    check-validation-register-bank
    active-value-flow-snapshot get :> snapshot snapshot
    [ ] [
        "active-value-flow-snapshot" f
        invalid-allocation-evidence
    ] if
    graph registers allocator kernel>> ( cfg registers -- )
    call-effect
    graph registers snapshot check-validation-allocated-bank ;


USING: accessors compiler.cfg.register-allocation
compiler.cfg.register-allocation.validation ;

M: constrained-allocator allocator-statistics
    delegate>> allocator-statistics ;