pending
Global stack analysis

Prev:

live

Vocabulary
compiler.cfg.stacks.global

Class description
A stack location is pending at a location if all paths from the entry block to the location write the location.

Definition

IN: compiler.cfg.stacks.global

SINGLETON: pending

Methods

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

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


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

M: pending transfer-set drop replaces>> union ;