[llvm] [ValueTracking] Add support for `usub.sat` in `isKnownNonZero (PR #87700)

[via llvm-commits]

================
@@ -882,11 +882,7 @@ define i1 @usub_sat_nonzero(i8 %xx, i8 %yy, i8 %ind) {
 ; CHECK-LABEL: @usub_sat_nonzero(
 ; CHECK-NEXT:    [[Y_ULT_31:%.*]] = icmp ult i8 [[YY:%.*]], 31
 ; CHECK-NEXT:    call void @llvm.assume(i1 [[Y_ULT_31]])
-; CHECK-NEXT:    [[XO:%.*]] = or i8 [[XX:%.*]], 34
----------------
goldsteinn wrote:

You are right, I forgot :)

I'll close this and push a comment

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