Lines Matching refs:Prod

1212   // Compute Prod = CI * DivRHS. We are essentially solving an equation
1216   Constant *Prod = ConstantExpr::getMul(CmpRHS, DivRHS);
1221   bool ProdOV = (DivIsSigned ? ConstantExpr::getSDiv(Prod, DivRHS) :
1222                  ConstantExpr::getUDiv(Prod, DivRHS)) != CmpRHS;
1229   ConstantInt *RangeSize = DivI->isExact() ? getOne(Prod) : DivRHS;
1243     LoBound = Prod;
1256       LoBound = Prod;     // e.g.   X/5 op 3 --> [15, 20)
1259         HiOverflow = AddWithOverflow(HiBound, Prod, RangeSize, true);
1262       HiBound = AddOne(Prod);
1282       HiBound = AddOne(Prod);
1287       LoBound = Prod;       // e.g. X/-5 op -3  --> [15, 20)
1290         HiOverflow = SubWithOverflow(HiBound, Prod, RangeSize, true);