check-backtracking-bundle ( bundle -- )

Vocabulary

compiler.cfg.register-allocation.backtracking

Inputs

bundle

an object

Outputs

None

Definition

USING: accessors compiler.cfg.linear-scan.allocation.state
grouping kernel math namespaces sequences ;

IN: compiler.cfg.register-allocation.backtracking

:: check-backtracking-bundle ( bundle -- )
    check-allocation? get [
        bundle ranges>>
        [ [ second ] [ first ] bi* < ] monotonic?
        [ ]
        [ bundle intervals>> overlapping-backtracking-bundle ]
        if
    ] when ;