backward-analysis

Vocabulary

compiler.cfg.dataflow-analysis.private

Definition

USING: compiler.cfg.stacks.global ;

IN: compiler.cfg.dataflow-analysis.private

MIXIN: backward-analysis
INSTANCE: anticip backward-analysis
INSTANCE: live backward-analysis
INSTANCE: dead backward-analysis

Methods

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

M: backward-analysis block-order drop post-order ;


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

M: backward-analysis predecessors drop successors>> ;


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

M: backward-analysis successors drop predecessors>> ;