-USING: classes compiler.cfg help.markup help.syntax sequences ;
-IN: compiler.cfg.dataflow-analysis
+USING: classes compiler.cfg compiler.cfg.dataflow-analysis
+compiler.cfg.dataflow-analysis.private help.markup help.syntax sequences ;
HELP: predecessors
{ $values { "bb" basic-block } { "dfa" "a dataflow analysis symbol" } { "seq" sequence } }
{ $see-also transfer-set } ;
-<PRIVATE
-
HELP: run-dataflow-analysis
{ $values
{ "cfg" cfg }
}
{ $description "Runs the given dataflow analysis on the cfg." } ;
-PRIVATE>
-
HELP: FORWARD-ANALYSIS:
{ $syntax "FORWARD-ANALYSIS: word" }
{ $values { "word" "name of the compiler pass" } }
-USING: compiler.cfg compiler.cfg.instructions help.markup help.syntax kernel
-layouts math sequences slots.private ;
-IN: compiler.cfg.gc-checks
-
-<PRIVATE
+USING: compiler.cfg compiler.cfg.gc-checks compiler.cfg.gc-checks.private
+compiler.cfg.instructions help.markup help.syntax kernel layouts math sequences
+slots.private ;
HELP: add-gc-checks
{ $values { "insns-seq" "a sequence of instruction sequences" } }
{ $values { "cfg" cfg } }
{ $description "Inserts gc checks in each " { $link basic-block } " in the cfg where they are needed." } ;
-PRIVATE>
-
HELP: process-block
{ $values { "bb" basic-block } }
{ $description "Process a block that needs a gc check. New blocks are allocated and connected for the gc branches." } ;