1249   ConstantRange NegR = RHS.intersectWith(NegFilter);  in sdiv()  local
1257   if (!NegL.isEmptySet() && !NegR.isEmptySet()) {  in sdiv()
1264     APInt Lo = (NegL.Upper - 1).sdiv(NegR.Lower);  in sdiv()
1265     if (NegL.Lower.isMinSignedValue() && NegR.Upper.isZero()) {  in sdiv()
1268       if (!NegR.Lower.isAllOnes()) {  in sdiv()
1275           AdjNegRUpper = NegR.Upper - 1;  in sdiv()
1294                           AdjNegLLower.sdiv(NegR.Upper - 1) + 1));  in sdiv()
1298           ConstantRange(std::move(Lo), NegL.Lower.sdiv(NegR.Upper - 1) + 1));  in sdiv()
1303   if (!PosL.isEmptySet() && !NegR.isEmptySet())  in sdiv()
1305     NegRes = ConstantRange((PosL.Upper - 1).sdiv(NegR.Upper - 1),  in sdiv()
1306                            PosL.Lower.sdiv(NegR.Lower) + 1);  in sdiv()
1318   if (contains(Zero) && (!PosR.isEmptySet() || !NegR.isEmptySet()))  in sdiv()