basis/compiler/cfg/parallel-copy/parallel-copy-docs.factor

   1 USING: assocs arrays compiler.cfg compiler.cfg.instructions
   2 compiler.cfg.parallel-copy.private compiler.cfg.registers
   3 help.markup help.syntax kernel math quotations sequences ;
   4 IN: compiler.cfg.parallel-copy
   5
   6 HELP: process-to-do
   7 { $values { "b" object } { "temp" quotation } { "quot" quotation } }
   8 { $description "Note that we check if b = loc(b), not b = loc(pred(b)) as the paper suggests. Confirmed by one of the authors at http://www.reddit.com/comments/93253/some_lecture_notes_on_ssa_form/c0bco4f" } ;
   9
  10 HELP: parallel-copy
  11 { $values { "mapping" { $link assoc } " of { dst src } virtual register pairs" } { "insns" array } }
  12 { $description "Creates " { $link ##copy } " instructions." } ;
  13
  14 HELP: parallel-copy-rep
  15 { $values { "mapping" { $link assoc } " of { dst src } virtual register pairs" } { "insns" array } }
  16 { $description "Creates " { $link ##copy } " instructions. Representation selection must have been run previously." } ;
  17
  18 ARTICLE: "compiler.cfg.parallel-copy" "Parallel copy"
  19 "Revisiting Out-of-SSA Translation for Correctness, Code Quality, and Efficiency http://hal.archives-ouvertes.fr/docs/00/34/99/25/PDF/OutSSA-RR.pdf, Algorithm 1"
  20 $nl
  21 "Generating " { $link ##copy } " instructions:"
  22 { $subsections parallel-copy parallel-copy-rep } ;
  23
  24 ABOUT: "compiler.cfg.parallel-copy"