compute-live-sets-with-insns ( cfg -- )

Vocabulary

compiler.cfg.liveness

Inputs

cfg

an object

Outputs

None

Definition

USING: compiler.cfg.predecessors compiler.cfg.rpo
compiler.cfg.utilities deques dlists kernel ;

IN: compiler.cfg.liveness

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