Apply suggestion from @dtcxzyw

Co-authored-by: Yingwei Zheng <[email protected]>

Author: AZero13

llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp

@@ -1171,12 +1171,11 @@ static Value *canonicalizeSaturatedAddSigned(ICmpInst *Cmp, Value *TVal,
   }
 
   if (Pred == ICmpInst::ICMP_SGT &&
-      match(FVal, m_Add(m_Specific(Cmp0), m_APIntAllowPoison(C))) &&
+      match(FVal, m_Add(m_Specific(Cmp0), m_NonNegative(C))) &&
       match(Cmp1, m_SpecificIntAllowPoison(
                       APInt::getSignedMaxValue(
                           Cmp1->getType()->getScalarSizeInBits()) -
-                      *C - 1)) &&
-      !C->isNegative()) {
+                      *C - 1))) {
     // (X > INT_MAX - C - 1) ? INT_MAX : (X + C) --> sadd.sat(X, C)
     return Builder.CreateBinaryIntrinsic(Intrinsic::sadd_sat, Cmp0,
                                          ConstantInt::get(Cmp0->getType(), *C));