[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