[PATCH] D109746: [AA] Teach BasicAA to recognize basic GEP range information.

[Nikita Popov via Phabricator via llvm-commits]

nikic added inline comments.


================
Comment at: llvm/test/Analysis/BasicAA/sequential-gep.ll:130
+  %known_in_1_5 = load i32, i32* %q, !range !0
+  %gep = getelementptr i32, i32* %p, i32 %known_in_1_5
   %gep.16 = bitcast i32* %gep to i16*
----------------
This doesn't really preserve the spirit of the test. Would it be possible to adjust the range metadata instead, to something like `!{ i32 1, i32 0 }`, to get a range that only excludes zero?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D109746