compile-validation-cfg ( graph allocator -- word )

Vocabulary

compiler.cfg.register-allocation.validation

Inputs

graph	an object
allocator	an object

Outputs

word

an object

Definition

USING: assocs compiler.cfg compiler.cfg.build-stack-frame
compiler.cfg.linear-scan.allocation.state
compiler.cfg.linear-scan.numbering
compiler.cfg.register-allocation
compiler.cfg.register-allocation.verifier compiler.codegen
compiler.units hashtables kernel namespaces words ;

IN: compiler.cfg.register-allocation.validation

:: compile-validation-cfg ( graph allocator -- word )
    graph cfg set allocator register-allocator set
    t check-allocation? set t check-numbering? set
    value-flow-verifier-enabled?
    [ ] [ "value-flow-verifier" f invalid-allocation-evidence ]
    if graph allocate-registers graph build-stack-frame gensym
    [ graph generate ] dip
    [ associate >alist t t modify-code-heap ] keep ;