[PATCH] D7864: This patch introduces MemorySSA, a virtual SSA form for memory.Details on what it looks like are in MemorySSA.h

[Philip Reames via llvm-commits]

reames accepted this revision.
reames added a reviewer: reames.
reames added a comment.
This revision is now accepted and ready to land.

Explicitly LGTM as well.  I'm really looking forward to having this in tree so that we can start experimenting and iterating on top of it.

I don't think we're going to be ready to switch the default for a while yet, but being able to iterate and work through the bugs in tree is going to be very empowering and will likely speedup progress.

p.s. What's your planned next step?  I'd suggest implementing a very simple pass which just runs obvious peepholes over the MemorySSA representation.  (e.g. a MemCombine pass).  My suspicion is that will be a good way to stress the implementation and might even be profitable enough to just turn on by default.  In particular, a pass that got the easy forms of cross block DSE would be very useful..


http://reviews.llvm.org/D7864