steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

compiler.cfg.ssa.destruction: a bunch of new docs

db4
Björn Lindqvist 2015-06-13 19:25:31 +02:00
parent b4f881a9be
commit ceff23339c
1 changed files with 17 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
basis/compiler/cfg/ssa/destruction/destruction-docs.factor
View File

@ -2,10 +2,27 @@ USING: compiler.cfg compiler.cfg.instructions
compiler.cfg.ssa.destruction.private help.markup help.syntax ; compiler.cfg.ssa.destruction.private help.markup help.syntax ;
IN: compiler.cfg.ssa.destruction IN: compiler.cfg.ssa.destruction
HELP: class-element-map
{ $var-description "Maps leaders to equivalence class elements." } ;
HELP: cleanup-cfg HELP: cleanup-cfg
{ $values { "cfg" cfg } } { $values { "cfg" cfg } }
{ $description "In this step, " { $link ##parallel-copy } " instructions are substituted with more concreete " { $link ##copy } " instructions. " { $link ##phi } " instructions are removed here." } ; { $description "In this step, " { $link ##parallel-copy } " instructions are substituted with more concreete " { $link ##copy } " instructions. " { $link ##phi } " instructions are removed here." } ;
HELP: copies
{ $var-description "Sequence of copies (tuples of { vreg-dst vreg-src}) that maybe can be eliminated later." }
{ $see-also init-coalescing } ;
HELP: maybe-eliminate-copy
{ $values { "vreg1" "vreg" } { "vreg2" "vreg" } }
{ $description "Eliminate a copy if possible." }
{ $see-also must-eliminate-copy } ;
HELP: must-eliminate-copy
{ $values { "vreg1" "vreg" } { "vreg2" "vreg" } }
{ $description "Eliminates a copy." }
{ $see-also maybe-eliminate-copy } ;
ARTICLE: "compiler.cfg.ssa.destruction" "SSA Destruction" ARTICLE: "compiler.cfg.ssa.destruction" "SSA Destruction"
"Because of the design of the register allocator, this pass has three peculiar properties." "Because of the design of the register allocator, this pass has three peculiar properties."
{ $list { $list