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

[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) {
----------------
goldsteinn wrote:

Fixed (made it a vec test w/ partial nuw where we can prove for the demandedelts).

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