interval-region-blocks ( interval -- blocks )

Vocabulary

compiler.cfg.register-allocation.greedy

Inputs

interval

an object

Outputs

blocks

an object

Definition

USING: accessors compiler.cfg.linear-scan.live-intervals
compiler.cfg.loop-detection kernel math math.functions
math.order namespaces sequences vectors ;

IN: compiler.cfg.register-allocation.greedy

:: interval-region-blocks ( interval -- blocks )
    greedy-blocks get [| bb |
        interval bb ranges-in-block :> ranges ranges empty?
        [ f ] [
            interval uses>> [| use |
                use n>> bb block-from >= use n>> bb block-to <=
                and
            ] filter
            >vector :> uses bb ranges uses 8 bb loop-nesting-at
            3 min ^ greedy-region-block boa
        ] if
    ] map sift ;