   }
 } ;
 
-HELP: temp-vregs
-{ $values { "insn" insn } { "seq" sequence } }
-{ $description "Returns the sequence of temporary vregs used by this instruction." } ;
+ARTICLE: "compiler.cfg.def-use" "Common code used by several passes for def-use analysis"
+"The " { $vocab-link "compiler.cfg.def-use" } " contains tools to correlate SSA instructions with virtual registers defined or used by them."
+$nl
+"Vregs for a given instruction:"
+{ $subsections
+  defs-vregs
+  temp-vregs
+  uses-vregs
+} ;
+
+ABOUT: "compiler.cfg.def-use"

USING: compiler.cfg.instructions help.markup help.syntax sequences ;
IN: compiler.cfg.def-use

HELP: defs-vregs
{ $values { "insn" insn } { "seq" sequence } }

  }
} ;

HELP: insn-of
{ $values { "vreg" "virtual register" } { "insn" insn } }
{ $description "Maps the vreg to the instruction that defined it." } ;

HELP: temp-vregs
{ $values { "insn" insn } { "seq" sequence } }
{ $description "Returns the sequence of temporary vregs used by this instruction." } ;

HELP: uses-vregs
{ $values { "insn" insn } { "seq" sequence } }
{ $description "Returns the sequence of vregs used by this instruction." }
