[PATCH] D122671: [BasicAA] Check if V is itself a PHI in isValueEqualInPotentialCycles

[Nikita Popov via Phabricator via llvm-commits]

nikic requested changes to this revision.
nikic added a comment.
This revision now requires changes to proceed.

Reporting NoAlias here is correct -- cross-iteration behavior is outside the purview of AA. Consuming code is responsible for interpreting this correctly, see e.g. the loop invariance checks in MemorySSA and DSE.

Can you share what your original problem was? Possibly some transform makes incorrect assumptions about the meaning of AA results.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D122671