[PATCH] D18065: Fix bugs in the MemorySSA walker

[Daniel Berlin via llvm-commits]

dberlin added inline comments.

================
Comment at: lib/Transforms/Utils/MemorySSA.cpp:970
@@ +969,3 @@
+      // a valid construct, we still need to handle it, because users can ask
+      // the walker to walk arbitrary IR.
+      ModifyingAccess = FirstDef ? FirstDef : MSSA->getLiveOnEntryDef();
----------------
Errr.
What?

A. In buildMemorySSA, we already detect forward-unreachable-from-entry blocks and mark all definitions as live on entry. So they should never loop anywhere in the case you are listing, because if the loop has no entry, all the defs/uses in it should be to live on entry.

So i don't see how this can happen.
 
However
B.
Because we already handle forward unreachable-from-entry blocks and mark all defs in them as liveonentry in buildmemoryssa,  is there a good reason we shouldn't just detect reverse unreachable-from-entry blocks and do the same?

We can say that MemorySSA has no forward or reverse unreachable blocks, and make the IR sane in them. This is because we have no real IR, and so, at worst, we can do what we do now:

Mark anything in unreachable as live on entry, and remove all phis in unreachable.  We could go one more, and remove all the memory accesses entirely if we wanted to.




http://reviews.llvm.org/D18065