Lines Matching defs:Prod
2842 // Compute Prod = C * C2. We are essentially solving an equation of
2846 APInt Prod = C * *C2;
2851 bool ProdOV = (DivIsSigned ? Prod.sdiv(*C2) : Prod.udiv(*C2)) != C;
2869 LoBound = Prod;
2882 LoBound = Prod; // e.g. X/5 op 3 --> [15, 20)
2885 HiOverflow = addWithOverflow(HiBound, Prod, RangeSize, true);
2888 HiBound = Prod + 1;
2908 HiBound = Prod + 1;
2914 LoBound = Prod; // e.g. X/-5 op -3 --> [15, 20)
2917 HiOverflow = subWithOverflow(HiBound, Prod, RangeSize, true);