anticip
Global stack analysis

Prev:	avail
Next:	dead

Vocabulary
compiler.cfg.stacks.global

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

Definition

IN: compiler.cfg.stacks.global

SINGLETON: anticip

Methods

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

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


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

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