dead
Global stack analysis

Prev:	anticip
Next:	live

Vocabulary
compiler.cfg.stacks.global

Class description
A stack location is dead at a location if no paths from the location to the exit block read the location before writing it.

Definition

IN: compiler.cfg.stacks.global

SINGLETON: dead

Methods

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

M: dead join-sets 2drop intersect-all ;


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

M: dead transfer-set
    drop [ kills>> ] [ replaces>> ] bi union union ;