Lines Matching refs:Prod
798 // Compute Prod = CI * DivRHS. We are essentially solving an equation
802 Constant *Prod = ConstantExpr::getMul(CmpRHS, DivRHS);
807 bool ProdOV = (DivIsSigned ? ConstantExpr::getSDiv(Prod, DivRHS) :
808 ConstantExpr::getUDiv(Prod, DivRHS)) != CmpRHS;
815 ConstantInt *RangeSize = DivI->isExact() ? getOne(Prod) : DivRHS;
829 LoBound = Prod;
843 LoBound = Prod; // e.g. X/5 op 3 --> [15, 20)
846 HiOverflow = AddWithOverflow(HiBound, Prod, RangeSize, true);
849 HiBound = AddOne(Prod);
869 HiBound = AddOne(Prod);
874 LoBound = Prod; // e.g. X/-5 op -3 --> [15, 20)
877 HiOverflow = SubWithOverflow(HiBound, Prod, RangeSize, true);
