spill-partially-available ( new pair -- )


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

Inputs
newa live-interval-state
pairregister availability status


Outputs
None

Word description
A register would be available for part of the new interval's lifetime if all active and inactive intervals using that register were split and spilled.

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

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

: spill-partially-available ( new pair -- )
[ second 1 - split-for-spill [ add-unhandled ] when* ] keep
[ spill-available ] curry when* ;