Update llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp

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

Author: AZero13

llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp

@@ -1159,12 +1159,11 @@ static Value *canonicalizeSaturatedAddSigned(ICmpInst *Cmp, Value *TVal,
   }
 
   if ((Pred == ICmpInst::ICMP_SGE || 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)) &&
-      !C->isNegative()) {
+                      *C))) {
     // (X > INT_MAX - C) ? INT_MAX : (X + C) --> sadd.sat(X, C)
     // (X >= INT_MAX - C) ? INT_MAX : (X + C) --> sadd.sat(X, C)
     return Builder.CreateBinaryIntrinsic(Intrinsic::sadd_sat, Cmp0,