1129   ConstantRange NegR = RHS.intersectWith(NegFilter);  in sdiv()  local
1137   if (!NegL.isEmptySet() && !NegR.isEmptySet()) {  in sdiv()
1144     APInt Lo = (NegL.Upper - 1).sdiv(NegR.Lower);  in sdiv()
1145     if (NegL.Lower.isMinSignedValue() && NegR.Upper.isNullValue()) {  in sdiv()
1148       if (!NegR.Lower.isAllOnesValue()) {  in sdiv()
1155           AdjNegRUpper = NegR.Upper - 1;  in sdiv()
1174                           AdjNegLLower.sdiv(NegR.Upper - 1) + 1));  in sdiv()
1178           ConstantRange(std::move(Lo), NegL.Lower.sdiv(NegR.Upper - 1) + 1));  in sdiv()
1183   if (!PosL.isEmptySet() && !NegR.isEmptySet())  in sdiv()
1185     NegRes = ConstantRange((PosL.Upper - 1).sdiv(NegR.Upper - 1),  in sdiv()
1186                            PosL.Lower.sdiv(NegR.Lower) + 1);  in sdiv()
1198   if (contains(Zero) && (!PosR.isEmptySet() || !NegR.isEmptySet()))  in sdiv()