Lines Matching defs:Overflow
1018 // (X * Y) / Y -> X if the multiplication does not overflow.
1023 // If the Mul knows it does not overflow, then we are good to go.
1027 // If X has the form X = A / Y then X * Y cannot overflow.
1038 // (X /u C1) /u C2 -> 0 if C1 * C2 overflow
1042 bool Overflow;
1043 C1->getValue().umul_ov(C2->getValue(), Overflow);
1044 if (Overflow)
2637 // icmp (X+Y), X -> icmp Y, 0 for equalities or if there is no overflow.
2644 // icmp X, (X+Y) -> icmp 0, Y for equalities or if there is no overflow.
2651 // icmp (X+Y), (X+Z) -> icmp Y,Z for equalities or if there is no overflow.
