Lines Matching defs:Val2

2274     // sat(sat(X + Val2) + Val) -> sat(X + (Val+Val2))
2275     // sat(sat(X - Val2) - Val) -> sat(X - (Val+Val2))
2276     // if Val and Val2 have the same sign
2279       const APInt *Val, *Val2;
2286           match(Other->getArgOperand(1), m_APInt(Val2))) {
2288           NewVal = Val->uadd_sat(*Val2);
2289         else if (Val->isNonNegative() == Val2->isNonNegative()) {
2291           NewVal = Val->sadd_ov(*Val2, Overflow);