compute-ssa-live-sets-preserving-gc ( cfg -- )

Vocabulary

compiler.cfg.register-allocation.ssa.liveness

Inputs

cfg

an object

Outputs

None

Definition

USING: compiler.cfg.def-use compiler.cfg.liveness
compiler.cfg.predecessors compiler.cfg.rpo
compiler.cfg.utilities deques dlists kernel ;

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

: compute-ssa-live-sets-preserving-gc ( cfg -- )
    init-liveness dup needs-predecessors dup compute-insns
    post-order <hashed-dlist> [ push-all-front ] keep
    [ preserved-ssa-liveness-step ] slurp/replenish-deque ;