spill-available ( new pair -- )


Vocabulary
compiler.cfg.linear-scan.allocation.spilling

Inputs
newa live-interval-state
pair2-tuple of score and register


Outputs
None

Word description
A register would become fully available if all active and inactive intervals using it were split and spilled.

Definition
USING: compiler.cfg.linear-scan.allocation.state kernel
sequences ;

IN: compiler.cfg.linear-scan.allocation.spilling

: spill-available ( new pair -- )
[ first spill-intersecting ] [ register-available ] 2bi ;