Lines Matching defs:SignedMin

1363   APInt SignedMin = APInt::getSignedMinValue(getBitWidth());
1367                          : ConstantRange(APInt(getBitWidth(), 1), SignedMin);
1368   ConstantRange NegFilter(SignedMin, Zero);
1383     // We need to deal with one tricky case here: SignedMin / -1 is UB on the
1385     // (For APInts the operation is well-defined and yields SignedMin.) We
1386     // handle this by dropping either SignedMin from the LHS or -1 from the RHS.
1394           // Negative part of [-1, X] without -1 is [SignedMin, X].
1404       // Remove SignedMin from the RHS. Skip if it's the only element, as this
1406       if (NegL.Upper != SignedMin + 1) {
1408         if (Upper == SignedMin + 1)
1409           // Negative part of [X, SignedMin] without SignedMin is [X, -1].
1412           // [SignedMin, X] without SignedMin is [SignedMin + 1, X].
1955     // If SignedMin is not poison, then it is included in the result range.
1964   // Skip SignedMin if it is poison.
1966     // The range may become empty if it *only* contains SignedMin.
2161   APInt SignedMin = APInt::getSignedMinValue(getBitWidth());
2170       Max.slt(SignedMin - OtherMax))
2177       Min.slt(SignedMin - OtherMin))
2207   APInt SignedMin = APInt::getSignedMinValue(getBitWidth());
2216       Max.slt(SignedMin + OtherMin))
2223       Min.slt(SignedMin + OtherMax))