[PATCH] D81004: [MemorySSA] Skip phi translation for phis in cycles (WIP).

[Alina Sbirlea via Phabricator via llvm-commits]

asbirlea added a comment.

I think the solution need to be at the traversal level in MSSA. It's correct to do the phi translation for the predecessor `entry` and return NoAlias. It's also correct to go on the backedge and find no other aliasing accesses inside the loop (loop is defined here as finding the starting point of the walk, in this case the phi). It is not however correct to merge the two paths and claim NoAlias. 
I'm still working out the proper solution.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D81004