compute-live-sets ( cfg -- )

Vocabulary

compiler.cfg.liveness

Inputs

cfg

a cfg

Outputs

None

Word description

Main entry point for vocab. Pass must only be run after representation selection. In this pass gc-roots are set.

Definition

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

IN: compiler.cfg.liveness

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