- Added more info about what we refer as a clobber in MSSA.
- Added more info about MemoryDefs and how there is a single Def chain.
- The doc portrayed MSSA as modeling the heap while it is modeling the whole memory, so I changed the wording to not be heap-specific.
Thank you for the documentation improvements, much appreciated!
Looks good with a few nits inline.
It is not heap-specific.
s/the use can't be hoisted outside/the use can't be hoisted outside alone.
(It's possible they can be hoisted together; promotion to scalars does this.)