dfa-step ( bb in-sets out-sets dfa -- bbs )

Vocabulary

compiler.cfg.dataflow-analysis.private

Inputs

bb	an object
in-sets	an object
out-sets	an object
dfa	an object

Outputs

bbs

an object

Definition

USING: compiler.cfg.dataflow-analysis kernel ;

IN: compiler.cfg.dataflow-analysis.private

:: dfa-step ( bb in-sets out-sets dfa -- bbs )
    bb in-sets out-sets dfa update-in/out-set bb dfa successors
    { } ? ;