check-allocation-evidence ( statistics algorithm features -- )

Vocabulary

compiler.cfg.register-allocation.validation

Inputs

statistics	an object
algorithm	an object
features	an object

Outputs

None

Definition

USING: assocs kernel math sequences ;

IN: compiler.cfg.register-allocation.validation

:: check-allocation-evidence
    ( statistics algorithm features -- )
    "algorithm" statistics at algorithm =
    [ ] [
        "algorithm" "algorithm" statistics at
        invalid-allocation-evidence
    ] if "fallback-count" statistics at 0 =
    [ ] [
        "fallback-count" "fallback-count" statistics at
        invalid-allocation-evidence
    ] if features [| feature |
        feature statistics at :> value value number?
        [ value 0 > ] [ f ] if
        [ ] [ feature value invalid-allocation-evidence ] if
    ] each ;