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

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

No meaningful regressions: https://llvm-compile-time-tracker.com/compare.php?from=beded9b9ceab19f81320c7cf5e3600a7745c8f05&to=969c66811ee0e1df663503e353b4381e3b7df0b4&stat=instructions:u

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