[PATCH] D23854: [LoopAccessAnalysis] Recognize geps that include s/zexts as consecutive memory accesses.

[Balaram Makam via llvm-commits]

bmakam added inline comments.

================
Comment at: lib/Analysis/LoopAccessAnalysis.cpp:1112
@@ +1111,3 @@
+    APInt KnownOne(BitWidth, 0);
+    computeKnownBits(OpA, KnownZero, KnownOne, DL, 0, nullptr, OpA, DT);
+    KnownZero &= ~APInt::getHighBitsSet(BitWidth, 1);
----------------
I think it is very rare we ever reach this code. In my testing on spec2k* I did not find any instance.


https://reviews.llvm.org/D23854