successors ( bb dfa -- seq )

Vocabulary

compiler.cfg.dataflow-analysis

Inputs

bb	a basic-block
dfa	a dataflow analysis symbol

Outputs

seq	a sequence

Word description

Generic word that returns the successors for a block. It's purpose is to facilitate backward analysis in which the blocks predecessors are seen as the successors.

Definition

IN: compiler.cfg.dataflow-analysis

GENERIC: successors ( bb dfa -- seq )

Methods

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

M: backward-analysis successors drop predecessors>> ;


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

M: forward-analysis successors drop successors>> ;