[PATCH] D67562: [MemorySSA] Update MSSA for non-conventional AA.

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

I guess in theory it's possible, for example, for a load to be ModRefInfo::NoModRef because it loads from a readonly global, and to write a pass that depends on the assumption that we won't create a MemoryUse for that load.  (I think we actually create a MemoryUse for that at the moment, but it could change.)

In practice, excluding instructions that don't access memory is probably good enough to cover all the relevant cases for passes that use MemorySSA.


Repository:
  rL LLVM

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D67562/new/

https://reviews.llvm.org/D67562