+ <dt><a name="RAUW"><b>RAUW</b></a></dt> <dd>An abbreviation for Replace
+ All Uses With. The functions User::replaceUsesOfWith(),
+ Value::replaceAllUsesWith(), and Constant::replaceUsesOfWithOnConstant()
+ implement the replacement of one Value with another by iterating over its
+ def/use chain and fixing up all of the pointers to point to the new value.
+ See also <a href="ProgrammersManual.html#iterate_chains">def/use chains</a>.
+ </dd>