diff --git a/docs/Lexicon.html b/docs/Lexicon.html
index e3d40f7af42..83a653ef3d2 100644
--- a/docs/Lexicon.html
+++ b/docs/Lexicon.html
@@ -60,6 +60,7 @@
- R - |
+ RAUW |
Reassociation |
Root |
@@ -198,6 +199,13 @@ href="http://www.program-transformation.org/Transform/BURG">BURG tool.
+ - RAUW
- 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 def/use chains.
+
- Reassociation
- Rearranging
associative expressions to promote better redundancy elimination and other
optimization. For example, changing (A+B-A) into (B+A-A), permitting it to