[PATCH] D114112: [SCEVAA] Avoid forming malformed pointer diff expressions

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

In D114112#3138430 <https://reviews.llvm.org/D114112#3138430>, @efriedma wrote:

> Do we have some documentation that indicates what we expect alias() to return in the case where instructionCouldExistWitthOperands fails?

Not quite sure what you're asking.  If we have two pointers, the conservative result should always be MayAlias.  Is that what you meant?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D114112