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

Vocabulary

compiler.cfg.register-allocation.ssa.bases

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 namespaces ;

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

: compute-ssa-live-sets ( cfg -- )
    init-liveness phi-bases get clone base-pointers set
    dup needs-predecessors dup compute-insns
    post-order <hashed-dlist> [ push-all-front ] keep
    [ liveness-step ] slurp/replenish-deque ;