[llvm] [ValueTracking] Add support for overflow detection functions is `isKnownNonZero` (PR #87701)

[Yingwei Zheng via llvm-commits]

================
@@ -166,3 +165,293 @@ A:
 B:
   ret i1 0
 }
+
+declare void @use.i1(i1)
+declare void @use.i8(i1)
+define i1 @extract_value_uadd(i8 %xx, i8 %yy) {
----------------
dtcxzyw wrote:

IIRC it has been handled by InstCombine: https://godbolt.org/z/noTd3P4oo

Could you please add some tests that cannot be simplified by InstCombine?


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