[llvm] [ValueTracking] isNonZero trunc of sub of ptr2int's with recursive GEP where pointers are limited to a 32bit alloc. (PR #84933)

[via llvm-commits]

================
@@ -25,6 +26,11 @@ using namespace PatternMatch;
 
 #define DEBUG_TYPE "instcombine"
 
+// Controls the maximum memory allocation to 32-bit or 4GB.
+static cl::opt<bool> PointerAllocationsLimitedto32bit(
+    "alloc-limit-32bit", cl::init(false),
+    cl::desc("A Pointer with max 32bit allocs"));
----------------
bipmis wrote:

I have provided my understanding of this code pattern and dont quite agree that it violates a benchmark rule or criteria.

https://github.com/llvm/llvm-project/pull/84933