Handbook
Glossary
define-forward-analysis ( name -- )
Vocabulary
compiler
.
cfg
.
dataflow-analysis
.
private
Inputs
name
an
object
Outputs
None
Definition
USING:
classes.mixin
functors.backend
functors.private
io
io.streams.string
kernel
parser
present
sequences
;
IN:
compiler.cfg.dataflow-analysis.private
::
define-forward-analysis
( name -- )
[
name
present
write
]
with-string-writer
parse-word
:>
name
[
name
present
write
"-ins"
write
]
with-string-writer
parse-word
:>
name-ins
[
name
present
write
"-outs"
write
]
with-string-writer
parse-word
:>
name-outs
[
"compute-"
write
name
present
write
"-sets"
write
]
with-string-writer
create-word-in
:>
compute-name-sets name
\
forward-analysis
add-mixin-instance
compute-name-sets
T{
fake-quotation
{
seq
{
name
run-dataflow-analysis
T{
fake-quotation
{
seq ~array~
}
}
T{
fake-quotation
{
seq ~array~
}
}
bi*
}
}
}
fake-quotations>
first
( cfg -- )
define-declared*
;