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

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Thu Dec 14 06:03:41 PST 2023


================
@@ -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


More information about the llvm-commits mailing list