check-register-ranges ( intervals -- )

Vocabulary

compiler.cfg.linear-scan.checker

Inputs

intervals

an object

Outputs

None

Definition

USING: accessors kernel math sequences sorting ;

IN: compiler.cfg.linear-scan.checker

:: check-register-ranges ( intervals -- )
    intervals
    [| interval | interval ranges>> [ interval suffix ] map ]
    map concat [ first ] sort-by :> ranges f :> previous! ranges 
    [| range |
        previous [
            range first previous second <= [
                previous third range third
                overlapping-allocated-ranges
            ] when
        ] when range previous!
    ] each ;