predecessors ( 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 predecessors for a block. It's purpose is to facilitate backward analysis in which the blocks successors are seen as the predecessors.

Definition

IN: compiler.cfg.dataflow-analysis

GENERIC: predecessors ( bb dfa -- seq )

Methods

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: forward-analysis predecessors drop predecessors>> ;