[llvm] r279032 - [Docs] More MemorySSA doc updates!

[George Burgess IV via llvm-commits]

Author: gbiv
Date: Wed Aug 17 21:56:05 2016
New Revision: 279032

URL: http://llvm.org/viewvc/llvm-project?rev=279032&view=rev
Log:
[Docs] More MemorySSA doc updates!

Thanks again to Michael Kuperstein for the feedback.

Modified:
    llvm/trunk/docs/MemorySSA.rst

Modified: llvm/trunk/docs/MemorySSA.rst
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/docs/MemorySSA.rst?rev=279032&r1=279031&r2=279032&view=diff
==============================================================================
--- llvm/trunk/docs/MemorySSA.rst (original)
+++ llvm/trunk/docs/MemorySSA.rst Wed Aug 17 21:56:05 2016
@@ -53,16 +53,16 @@ concrete operation. As such, ``BasicBloc
 inside ``MemorySSA``, whereas ``Instruction``\ s are mapped to ``MemoryUse``\ s
 and ``MemoryDef``\ s.
 
-Note also that in SSA, Phi nodes merge must-reach definitions (that
-is, definite new versions of variables).  In MemorySSA, PHI nodes merge
-may-reach definitions (that is, until disambiguated, the versions that
-reach a phi node may or may not clobber a given variable)
+Note also that in SSA, Phi nodes merge must-reach definitions (that is,
+definitions that *must* be new versions of variables). In MemorySSA, PHI nodes
+merge may-reach definitions (that is, until disambiguated, the versions that
+reach a phi node may or may not clobber a given variable).
 
 ``MemoryUse``\ s are operations which use but don't modify memory. An example of
 a ``MemoryUse`` is a ``load``, or a ``readonly`` function call.
 
 ``MemoryDef``\ s are operations which may either modify memory, or which
-otherwise clobber memory in unquantifiable ways. Examples of ``MemoryDef``\ s
+introduce some kind of ordering constraints. Examples of ``MemoryDef``\ s
 include ``store``\ s, function calls, ``load``\ s with ``acquire`` (or higher)
 ordering, volatile operations, memory fences, etc.