finish-local-product ( interval -- product )


Vocabulary
compiler.cfg.register-allocation.greedy

Inputs
intervalan object


Outputs
productan object


Definition
USING: accessors compiler.cfg.linear-scan.allocation.spilling
compiler.cfg.linear-scan.live-intervals kernel ;

IN: compiler.cfg.register-allocation.greedy

:: finish-local-product ( interval -- product )
interval spill-after :> product product spill-to>> product
live-interval-end product last-use n>> = not or
[ product spill-before ] [ product ] if ;