compiler.cfg.dataflow-analysis.private vocabulary
Factor handbook » Vocabulary index

Summary

Metadata

Parents:

compiler.cfg.dataflow-analysis

Words

Mixin classes

backward-analysis

dataflow-analysis

forward-analysis

Ordinary words

Word	Stack effect
<dfa-worklist>	( cfg dfa -- queue )
compute-in-set	( bb out-sets dfa -- set )
compute-out-set	( bb in-sets dfa -- set )
define-analysis	( name -- )
define-backward-analysis	( name -- )
define-forward-analysis	( name -- )
dfa-step	( bb in-sets out-sets dfa -- bbs )
run-dataflow-analysis	( cfg dfa -- in-sets out-sets )
update-in-set	( bb in-sets out-sets dfa -- ? )
update-in/out-set	( bb in-sets out-sets dfa -- ? )
update-out-set	( bb in-sets out-sets dfa -- ? )

Class predicate words

Word	Stack effect
backward-analysis?	( object -- ? )
dataflow-analysis?	( object -- ? )
forward-analysis?	( object -- ? )

Files

resource:basis/compiler/cfg/dataflow-analysis/dataflow-analysis.factor
resource:basis/compiler/cfg/dataflow-analysis/dataflow-analysis-docs.factor
resource:basis/compiler/cfg/dataflow-analysis/dataflow-analysis-tests.factor