forward-analysis

Vocabulary

compiler.cfg.dataflow-analysis.private

Definition

USING: compiler.cfg.gvn.avail compiler.cfg.stacks.global
compiler.cfg.stacks.padding ;

IN: compiler.cfg.dataflow-analysis.private

MIXIN: forward-analysis
INSTANCE: avail forward-analysis
INSTANCE: pending forward-analysis
INSTANCE: padding forward-analysis
INSTANCE: avail forward-analysis

Methods

USING: compiler.cfg.dataflow-analysis
compiler.cfg.dataflow-analysis.private compiler.cfg.rpo kernel ;

M: forward-analysis block-order drop reverse-post-order ;


USING: accessors compiler.cfg.dataflow-analysis
compiler.cfg.dataflow-analysis.private kernel ;

M: forward-analysis predecessors drop predecessors>> ;


USING: accessors compiler.cfg.dataflow-analysis
compiler.cfg.dataflow-analysis.private kernel ;

M: forward-analysis successors drop successors>> ;