Lines Matching defs:NegR

1372   ConstantRange NegR = RHS.intersectWith(NegFilter);
1380   if (!NegL.isEmptySet() && !NegR.isEmptySet()) {
1387     APInt Lo = (NegL.Upper - 1).sdiv(NegR.Lower);
1388     if (NegL.Lower.isMinSignedValue() && NegR.Upper.isZero()) {
1391       if (!NegR.Lower.isAllOnes()) {
1398           AdjNegRUpper = NegR.Upper - 1;
1417                           AdjNegLLower.sdiv(NegR.Upper - 1) + 1));
1421           ConstantRange(std::move(Lo), NegL.Lower.sdiv(NegR.Upper - 1) + 1));
1426   if (!PosL.isEmptySet() && !NegR.isEmptySet())
1428     NegRes = ConstantRange((PosL.Upper - 1).sdiv(NegR.Upper - 1),
1429                            PosL.Lower.sdiv(NegR.Lower) + 1);
1441   if (contains(Zero) && (!PosR.isEmptySet() || !NegR.isEmptySet()))