Fix use of variable in saturated add transformation

Author: AZero13

llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp

@@ -1135,7 +1135,7 @@ static Value *canonicalizeSaturatedAddSigned(ICmpInst *Cmp, Value *TVal,
   Value *Cmp0 = Cmp->getOperand(0);
   Value *Cmp1 = Cmp->getOperand(1);
   ICmpInst::Predicate Pred = Cmp->getPredicate();
-  Value *X, *Y;
+  Value *X;
   const APInt *C;
 
   // Canonicalize INT_MAX to true value of the select.
@@ -1209,7 +1209,7 @@ static Value *canonicalizeSaturatedAddSigned(ICmpInst *Cmp, Value *TVal,
       match(FVal, m_c_Add(m_Specific(X), m_Specific(Cmp1)))) {
     // (INT_MAX - X s< Y) ? INT_MAX : (X + Y) --> sadd.sat(X, Y)
     // (INT_MAX - X s< Y) ? INT_MAX : (Y + X) --> sadd.sat(X, Y)
-    return Builder.CreateBinaryIntrinsic(Intrinsic::sadd_sat, X, Y);
+    return Builder.CreateBinaryIntrinsic(Intrinsic::sadd_sat, X, Cmp1);
   }
 
   return nullptr;