[PATCH] D92694: [BasicAA] Fix a bug with relational reasoning across iterations

[Philip Reames via Phabricator via llvm-commits]

reames added inline comments.


================
Comment at: llvm/test/Analysis/BasicAA/phi-aa.ll:179
+; CHECK: MayAlias:  i32* %arrayidx13, i32* %phi
+; CHECK: MayAlias:  i32* %arrayidx5, i32* %phi
+; CHECK: NoAlias:   i32* %arrayidx13, i32* %arrayidx5
----------------
Previously, we'd (falsely) conclude that %phi noalias %arrayidx5.  Since the value of %idx can vary across iterations, this is wrong.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D92694