Lines Matching refs:Overflow
1033 // (X * Y) / Y -> X if the multiplication does not overflow.
1038 // If the Mul knows it does not overflow, then we are good to go.
1042 // If X has the form X = A / Y then X * Y cannot overflow.
1053 // (X /u C1) /u C2 -> 0 if C1 * C2 overflow
1057 bool Overflow;
1058 C1->getValue().umul_ov(C2->getValue(), Overflow);
1059 if (Overflow)
2611 // icmp (X+Y), X -> icmp Y, 0 for equalities or if there is no overflow.
2618 // icmp X, (X+Y) -> icmp 0, Y for equalities or if there is no overflow.
2625 // icmp (X+Y), (X+Z) -> icmp Y,Z for equalities or if there is no overflow.
