Lines Matching defs:NegR
1358 ConstantRange NegR = RHS.intersectWith(NegFilter);
1366 if (!NegL.isEmptySet() && !NegR.isEmptySet()) {
1373 APInt Lo = (NegL.Upper - 1).sdiv(NegR.Lower);
1374 if (NegL.Lower.isMinSignedValue() && NegR.Upper.isZero()) {
1377 if (!NegR.Lower.isAllOnes()) {
1384 AdjNegRUpper = NegR.Upper - 1;
1403 AdjNegLLower.sdiv(NegR.Upper - 1) + 1));
1407 ConstantRange(std::move(Lo), NegL.Lower.sdiv(NegR.Upper - 1) + 1));
1412 if (!PosL.isEmptySet() && !NegR.isEmptySet())
1414 NegRes = ConstantRange((PosL.Upper - 1).sdiv(NegR.Upper - 1),
1415 PosL.Lower.sdiv(NegR.Lower) + 1);
1427 if (contains(Zero) && (!PosR.isEmptySet() || !NegR.isEmptySet()))