[PATCH] D67612: [UnrolledInstAnalyzer] Use MSSA to find stored values outside of loop.

[Alina Sbirlea via Phabricator via llvm-commits]

asbirlea added a comment.

MSSA should have already done this verification. The walker will skip over stores that do not clobber the load or other MemoryAccess-es that do not interfere with the load.
So if there is a Store with the same pointer and different offset, the aliasing result for the two should be that they don't alias, and the walker will continue until it finds an access that does clobber the load.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D67612