live
Global stack analysis

Prev:	dead
Next:	pending

Vocabulary
compiler.cfg.stacks.global

Class description
A stack location is live at a location if some path from the location to an exit block will read the stack location before writing it.

Definition

IN: compiler.cfg.stacks.global

SINGLETON: live

Methods

USING: compiler.cfg.dataflow-analysis compiler.cfg.stacks.global
kernel sets ;

M: live join-sets 2drop union-all ;


USING: compiler.cfg.dataflow-analysis compiler.cfg.stacks.global
kernel ;

M: live transfer-set drop transfer-peeked-locs ;