<dfa-worklist> ( cfg dfa -- queue )

Vocabulary

compiler.cfg.dataflow-analysis.private

Inputs

cfg	an object
dfa	an object

Outputs

queue

an object

Definition

USING: compiler.cfg.dataflow-analysis deques dlists kernel ;

IN: compiler.cfg.dataflow-analysis.private

: <dfa-worklist> ( cfg dfa -- queue )
    block-order <hashed-dlist> [ push-all-front ] keep ;