Handbook
Glossary
block-order ( cfg dfa -- bbs )
Vocabulary
compiler
.
cfg
.
dataflow-analysis
Inputs
cfg
an
object
dfa
an
object
Outputs
bbs
an
object
Definition
IN:
compiler.cfg.dataflow-analysis
GENERIC:
block-order
( cfg dfa -- bbs )
Methods
USING:
compiler.cfg.dataflow-analysis
compiler.cfg.dataflow-analysis.private
compiler.cfg.rpo
kernel
;
M:
backward-analysis
block-order
drop
post-order
;
USING:
compiler.cfg.dataflow-analysis
compiler.cfg.dataflow-analysis.private
compiler.cfg.rpo
kernel
;
M:
forward-analysis
block-order
drop
reverse-post-order
;