[PATCH] D92723: [BasicAA] Migrate "same base pointer" logic to decomposed GEPs

[Nikita Popov via Phabricator via llvm-commits]

nikic added inline comments.


================
Comment at: llvm/test/Analysis/BasicAA/fallback-mayalias.ll:6
 
 ; CHECK: MayAlias: float* %arrayidxA, float* %arrayidxB
 
----------------
This test started returning NoAlias after this patch. This is correct, but the point of this test is to check for a case that is actually NoAlias, but in a way that BasicAA does not recognize, so I picked out a different case.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D92723