1240   APInt SignedMin = APInt::getSignedMinValue(getBitWidth());  in sdiv()  local
1244                          : ConstantRange(APInt(getBitWidth(), 1), SignedMin);  in sdiv()
1245   ConstantRange NegFilter(SignedMin, Zero);  in sdiv()
1283       if (NegL.Upper != SignedMin + 1) {  in sdiv()
1285         if (Upper == SignedMin + 1)  in sdiv()
1697   APInt SignedMin = APInt::getSignedMinValue(getBitWidth());  in signedAddMayOverflow()  local
1706       Max.slt(SignedMin - OtherMax))  in signedAddMayOverflow()
1713       Min.slt(SignedMin - OtherMin))  in signedAddMayOverflow()
1743   APInt SignedMin = APInt::getSignedMinValue(getBitWidth());  in signedSubMayOverflow()  local
1752       Max.slt(SignedMin + OtherMin))  in signedSubMayOverflow()
1759       Min.slt(SignedMin + OtherMax))  in signedSubMayOverflow()