[llvm] [ValueTracking] isNonEqual Pointers with with a recursive GEP (PR #70459)

[Nikita Popov via llvm-commits]

================
@@ -424,3 +424,568 @@ T:
 F:
   br label %T
 }
+
+;Illustrate if 2 pointers are non-equal when one of them is a recursive GEP.
+;Cases which folds to a canonical icmp(ptr1, ptr2)
+define i1 @recursiveGEP_withPtrSub1(ptr noundef %val1) {
----------------
nikic wrote:

Drop all the `noundef`s (assuming they're not relevant).

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