compiler.cfg vocabulary - Factor Documentation

Summary
Low-level control flow graph IR

Words

Tuple classes

Class	Superclass	Slots
basic-block	identity-tuple	id number instructions successors predecessors kill-block? unlikely?
cfg	tuple	entry word label spill-area-size spill-area-align stack-frame frame-pointer? post-order linear-order predecessors-valid? dominance-valid? loops-valid?

Ordinary words

Word	Stack effect
<basic-block>	( -- bb )
<cfg>	( entry word label -- cfg )
cfg-changed	( cfg -- cfg )
predecessors-changed	( cfg -- cfg )
with-cfg	( ..a cfg quot: ( ..a cfg -- ..b ) -- ..b )

Class predicate words

Word	Stack effect
basic-block?	( object -- ? )
cfg?	( object -- ? )

Files

resource:basis/compiler/cfg/cfg.factor
resource:basis/compiler/cfg/cfg-docs.factor

Children from resource:basis

Vocabulary	Summary
compiler.cfg.alias-analysis	Alias analysis for stack operations, array elements and tuple slots
compiler.cfg.block-joining	compiler.cfg.block-joining vocabulary
compiler.cfg.branch-splitting	compiler.cfg.branch-splitting vocabulary
compiler.cfg.build-stack-frame	Computing stack frame size and layout
compiler.cfg.builder	Final stage of compilation generates machine code from dataflow IR
compiler.cfg.checker	compiler.cfg.checker vocabulary
compiler.cfg.comparisons	compiler.cfg.comparisons vocabulary
compiler.cfg.copy-prop	Common code used by several passes to perform copy propagation
compiler.cfg.dataflow-analysis	compiler.cfg.dataflow-analysis vocabulary
compiler.cfg.dce	Dead code elimination
compiler.cfg.debugger	Tools for debugging low-level optimizer
compiler.cfg.def-use	Common code used by several passes for def-use analysis
compiler.cfg.dependence	compiler.cfg.dependence vocabulary
compiler.cfg.dominance	compiler.cfg.dominance vocabulary
compiler.cfg.finalization	compiler.cfg.finalization vocabulary
compiler.cfg.gc-checks	compiler.cfg.gc-checks vocabulary
compiler.cfg.hats	Utility for constructing basic blocks
compiler.cfg.height	Stack height normalization coalesces height changes at start of basic block
compiler.cfg.instructions	Basic block instructions
compiler.cfg.intrinsics	Generating instructions from certain primitives
compiler.cfg.linear-scan	Linear-scan register allocation
compiler.cfg.linearization	compiler.cfg.linearization vocabulary
compiler.cfg.liveness	compiler.cfg.liveness vocabulary
compiler.cfg.loop-detection	compiler.cfg.loop-detection vocabulary
compiler.cfg.optimizer	Top-level harness for CFG optimization
compiler.cfg.parallel-copy	compiler.cfg.parallel-copy vocabulary
compiler.cfg.predecessors	Computing predecessors of basic blocks in CFG
compiler.cfg.registers	Virtual single-assignment registers
compiler.cfg.renaming	compiler.cfg.renaming vocabulary
compiler.cfg.representations	compiler.cfg.representations vocabulary
compiler.cfg.rpo	Reverse post-order linearization of CFG
compiler.cfg.save-contexts	compiler.cfg.save-contexts vocabulary
compiler.cfg.scheduling	compiler.cfg.scheduling vocabulary
compiler.cfg.ssa	compiler.cfg.ssa vocabulary
compiler.cfg.stack-frame	compiler.cfg.stack-frame vocabulary
compiler.cfg.stacks	Generating instructions for accessing the data and retain stacks
compiler.cfg.tco	compiler.cfg.tco vocabulary
compiler.cfg.useless-conditionals	Eliminating unreachable basic blocks and unconditional jumps
compiler.cfg.utilities	Utility words used by CFG optimization
compiler.cfg.value-numbering	Local value numbering for common subexpression elimination
compiler.cfg.write-barrier	Write barrier elimination

Children from resource:extra

Vocabulary	Summary
compiler.cfg.graphviz	compiler.cfg.graphviz vocabulary
compiler.cfg.gvn	Global value numbering for common subexpression elimination