{ $values { "bb" basic-block } { "?" "a boolean" } }
{ $description "Whether the block can be joined with its predecessor or not." } ;
+HELP: join-blocks
+{ $values { "cfg" cfg } }
+{ $description "A compiler pass when optimizing the cfg." } ;
+
ARTICLE: "compiler.cfg.block-joining" "Block Joining"
"Joining blocks that are not calls and are connected by a single CFG edge. This pass does not update " { $link ##phi } " nodes and should therefore only run before stack analysis." ;
}
{ $see-also call-height } ;
+HELP: emit-loop-call
+{ $values { "basic-block" basic-block } }
+{ $description "Sets the given block as the successor of the current block. Then ends the block." } ;
+
HELP: emit-node
{ $values { "node" node } }
{ $description "Emits CFG instructions for the given SSA node." } ;
--- /dev/null
+USING: compiler.cfg help.markup help.syntax math sequences ;
+IN: compiler.cfg.dce
+
+HELP: eliminate-dead-code
+{ $values { "cfg" cfg } }
+{ $description "Even though we don't use predecessors directly, we depend on the predecessors pass updating phi nodes to remove dead inputs." } ;
+
+ARTICLE: "compiler.cfg.dce" "Dead code elimination"
+"Eliminates dead code." ;
+
+ABOUT: "compiler.cfg.dce"
: eliminate-dead-code ( cfg -- )
init-dead-code
- ! Even though we don't use predecessors directly, we depend
- ! on the predecessors pass updating phi nodes to remove dead
- ! inputs.
{
[ needs-predecessors ]
[ [ [ build-liveness-graph ] each ] simple-analysis ]
<PRIVATE
-HELP: insert-gc-checks
-{ $values { "cfg" cfg } }
-{ $description "Inserts gc checks in each " { $link basic-block } " in the cfg where they are needed." } ;
-
-HELP: insert-gc-check?
-{ $values { "bb" basic-block } { "?" "a boolean" } }
-{ $description "Whether to insert a gc check in the block or not." } ;
-
-HELP: blocks-with-gc
-{ $values { "cfg" cfg } { "bbs" "a " { $link sequence } " of " { $link basic-block } } }
-{ $description "Lists all basic blocks in the cfg that needs gc checks." } ;
-
-HELP: allocation-size*
-{ $values { "insn" insn } { "n" number } }
-{ $description "Number of bytes allocated by the given instruction." } ;
-
HELP: allocation-size
{ $values { "insns" { $link sequence } " of " { $link insn } } { "n" number } }
-{ $description "Calculates the total number of bytes allocated by the block." }
+{ $description "Calculates the total number of bytes allocated by the instructions in a block." }
{ $examples
{ $unchecked-example
"USING: accessors compiler.cfg.debugger compiler.cfg.gc-checks.private kernel prettyprint sequences ;"
}
} ;
-PRIVATE>
+HELP: allocation-size*
+{ $values { "insn" insn } { "n" number } }
+{ $description "Number of bytes allocated by the given instruction." } ;
-ARTICLE: "compiler.cfg.gc-checks" "Garbage collection check insertion"
-"This pass runs after representation selection, since it needs to know which vregs can contain tagged pointers." ;
+HELP: blocks-with-gc
+{ $values { "cfg" cfg } { "bbs" "a " { $link sequence } " of " { $link basic-block } } }
+{ $description "Lists all basic blocks in the cfg that needs gc checks." } ;
+
+HELP: gc-check-offsets
+{ $values { "insns" sequence } { "seq" sequence } }
+{ $description "A basic block is divided into sections by " { $link ##call } " and " { $link ##phi } " instructions. For every section with at least one allocation, record the offset of its first instruction in a sequence." } ;
+
+HELP: insert-gc-check?
+{ $values { "bb" basic-block } { "?" "a boolean" } }
+{ $description "Whether to insert a gc check in the block or not." } ;
+
+HELP: insert-gc-checks
+{ $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." } ;
+
+
+ARTICLE: "compiler.cfg.gc-checks" "Garbage collection check insertion"
+"This pass runs after representation selection, since it needs to know which vregs can contain tagged pointers." ;
+
+ABOUT: "compiler.cfg.gc-checks"
M: insn gc-check-offsets* 2drop ;
: gc-check-offsets ( insns -- seq )
- ! A basic block is divided into sections by call and phi
- ! instructions. For every section with at least one
- ! allocation, record the offset of its first instruction
- ! in a sequence.
[
[ 0 f ] dip
[ gc-check-offsets* ] each-index
PRIVATE>
-:: insert-gc-checks ( cfg -- )
- cfg blocks-with-gc [
- cfg needs-predecessors
- [ process-block ] each
- cfg cfg-changed
- ] unless-empty ;
+: insert-gc-checks ( cfg -- )
+ [ needs-predecessors ]
+ [ blocks-with-gc [ process-block ] each ]
+ [ cfg-changed ] tri ;
--- /dev/null
+USING: compiler.tree help.markup help.syntax ;
+IN: compiler.cfg.intrinsics.allot
+
+HELP: emit-<tuple-boa>
+{ $values { "node" node } }
+{ $description "Emits optimized cfg instructions for building and allocating tuples." } ;
+
+ARTICLE: "compiler.cfg.intrinsics.allot" "Generating instructions for inline memory allocation"
+"Generating instructions for inline memory allocation" ;
+
+ABOUT: "compiler.cfg.intrinsics.allot"
{ $see-also height-state } ;
HELP: end-stack-analysis
-{ $description "Ends the stack analysis of the current cfg." } ;
+{ $description "Ends the stack analysis of the current cfg. This is the last step of the cfg construction (but comes before all optimization passes)." } ;
HELP: adjust-d
{ $values { "n" number } }
{ "vregs" "a " { $link sequence } " of vregs" }
{ "loc-class" "either " { $link ds-loc } " or " { $link rs-loc } }
}
-{ $description "Stores one or more virtual register values on the data or retain stack. The " { $link replace-mapping } " dynamic variable is modified but the " { $link height-state } " is not touched" } ;
+{ $description "Stores one or more virtual register values on the data or retain stack. The " { $link replaces } " dynamic variable is modified but the " { $link height-state } " is not touched" } ;
HELP: 2inputs
{ $values { "vreg1" "a vreg" } { "vreg2" "a vreg" } }
projects / factor.git / commitdiff