run-dataflow-analysis ( cfg dfa -- in-sets out-sets )

Vocabulary

compiler.cfg.dataflow-analysis.private

Inputs

cfg	a cfg
dfa	a dataflow analysis symbol

Outputs

in-sets	inputs
out-sets	outputs

Word description

Runs the given dataflow analysis on the cfg.

Definition

USING: compiler.cfg.predecessors compiler.cfg.utilities kernel ;

IN: compiler.cfg.dataflow-analysis.private

:: run-dataflow-analysis ( cfg dfa -- in-sets out-sets )
    H{ } clone :> in-sets
    H{ } clone :> out-sets cfg needs-predecessors
    cfg dfa <dfa-worklist>
    [ in-sets out-sets dfa dfa-step ] slurp/replenish-deque
    in-sets out-sets ; inline