Lines Matching refs:Prod
886 // Compute Prod = CI * DivRHS. We are essentially solving an equation
890 Constant *Prod = ConstantExpr::getMul(CmpRHS, DivRHS);
895 bool ProdOV = (DivIsSigned ? ConstantExpr::getSDiv(Prod, DivRHS) :
896 ConstantExpr::getUDiv(Prod, DivRHS)) != CmpRHS;
903 ConstantInt *RangeSize = DivI->isExact() ? getOne(Prod) : DivRHS;
917 LoBound = Prod;
930 LoBound = Prod; // e.g. X/5 op 3 --> [15, 20)
933 HiOverflow = AddWithOverflow(HiBound, Prod, RangeSize, true);
936 HiBound = AddOne(Prod);
956 HiBound = AddOne(Prod);
961 LoBound = Prod; // e.g. X/-5 op -3 --> [15, 20)
964 HiOverflow = SubWithOverflow(HiBound, Prod, RangeSize, true);
