compute-phase-ssa-intervals-with-locations ( cfg fixed-locations -- intervals/sync-points )


Vocabulary
compiler.cfg.register-allocation.ssa.phases

Inputs
cfgan object
fixed-locationsan object


Outputs
intervals/sync-pointsan object


Definition
USING: assocs compiler.cfg.linear-scan.live-intervals
compiler.cfg.linearization compiler.cfg.register-allocation.ssa
kernel namespaces sequences ;

IN: compiler.cfg.register-allocation.ssa.phases

:: compute-phase-ssa-intervals-with-locations
( cfg fixed-locations -- intervals/sync-points )
H{ } clone live-intervals set
H{ } clone phi-entry-positions set
cfg linearization-order <reversed>
[ compute-phase-ssa-block ] each
live-intervals get values fixed-locations
ssa-register-intervals dup [ finish-live-interval ] each
cfg cfg>sync-points append ;