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