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


Vocabulary
compiler.cfg.dataflow-analysis.private

Inputs
bban object
in-setsan object
out-setsan object
dfaan object


Outputs
bbsan 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
{ } ? ;