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

[Yingwei Zheng via llvm-commits]

================
@@ -2816,6 +2816,20 @@ static bool isKnownNonZeroFromOperator(const Operator *I,
       case Intrinsic::bswap:
       case Intrinsic::ctpop:
         return isKnownNonZero(II->getArgOperand(0), DemandedElts, Depth, Q);
+      case Intrinsic::usub_sat: {
+        KnownBits XKnown =
+            computeKnownBits(II->getArgOperand(0), DemandedElts, Depth, Q);
----------------
dtcxzyw wrote:

Please check the compile-time impact of this change.

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