check-interval ( interval registers -- )

Vocabulary

compiler.cfg.linear-scan.checker

Inputs

interval	an object
registers	an object

Outputs

None

Definition

USING: accessors assocs compiler.cfg.linear-scan.live-intervals
compiler.cfg.linear-scan.ranges kernel sequences ;

IN: compiler.cfg.linear-scan.checker

:: check-interval ( interval registers -- )
    interval ranges>> valid-ranges?
    [ interval invalid-allocated-ranges ] unless
    interval reg>> interval interval-reg-class registers at
    member? [ interval invalid-allocated-register ] unless
    interval uses>> [| use |
        use n>> interval ranges>> ranges-cover?
        [ interval use uncovered-allocated-use ] unless
    ] each ;