Searched refs:NegR (Results 1 – 1 of 1) sorted by relevance
1146 ConstantRange NegR = RHS.intersectWith(NegFilter); in sdiv() local1154 if (!NegL.isEmptySet() && !NegR.isEmptySet()) { in sdiv()1161 APInt Lo = (NegL.Upper - 1).sdiv(NegR.Lower); in sdiv()1162 if (NegL.Lower.isMinSignedValue() && NegR.Upper.isNullValue()) { in sdiv()1165 if (!NegR.Lower.isAllOnesValue()) { in sdiv()1172 AdjNegRUpper = NegR.Upper - 1; in sdiv()1191 AdjNegLLower.sdiv(NegR.Upper - 1) + 1)); in sdiv()1195 ConstantRange(std::move(Lo), NegL.Lower.sdiv(NegR.Upper - 1) + 1)); in sdiv()1200 if (!PosL.isEmptySet() && !NegR.isEmptySet()) in sdiv()1202 NegRes = ConstantRange((PosL.Upper - 1).sdiv(NegR.Upper - 1), in sdiv()[all …]