check-allocated-intervals ( intervals registers -- )


Vocabulary
compiler.cfg.linear-scan.checker

Inputs
intervalsan object
registersan object


Outputs
None

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

IN: compiler.cfg.linear-scan.checker

:: check-allocated-intervals ( intervals registers -- )
H{ } clone :> groups intervals [| interval |
interval registers check-interval
interval interval interval-reg-class interval reg>>
2array groups push-at
] each groups values [ check-register-ranges ] each ;