Searched refs:NegR (Results 1 – 1 of 1) sorted by relevance
1063 ConstantRange NegR = RHS.intersectWith(NegFilter); in sdiv() local1071 if (!NegL.isEmptySet() && !NegR.isEmptySet()) { in sdiv()1078 APInt Lo = (NegL.Upper - 1).sdiv(NegR.Lower); in sdiv()1079 if (NegL.Lower.isMinSignedValue() && NegR.Upper.isNullValue()) { in sdiv()1082 if (!NegR.Lower.isAllOnesValue()) { in sdiv()1089 AdjNegRUpper = NegR.Upper - 1; in sdiv()1108 AdjNegLLower.sdiv(NegR.Upper - 1) + 1)); in sdiv()1112 ConstantRange(std::move(Lo), NegL.Lower.sdiv(NegR.Upper - 1) + 1)); in sdiv()1117 if (!PosL.isEmptySet() && !NegR.isEmptySet()) in sdiv()1119 NegRes = ConstantRange((PosL.Upper - 1).sdiv(NegR.Upper - 1), in sdiv()[all …]