avail
Global stack analysis

Next:

anticip

Vocabulary
compiler.cfg.stacks.global

Class description
A stack location is available at a location if all paths from the entry block to the location load the location into a register.

Definition

IN: compiler.cfg.stacks.global

SINGLETON: avail

Methods

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

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


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

M: avail transfer-set
    drop [ peeks>> ] [ replaces>> ] bi union union ;