Searched refs:PosR (Results 1 – 2 of 2) sorted by relevance
1062 ConstantRange PosR = RHS.intersectWith(PosFilter); in sdiv() local1066 if (!PosL.isEmptySet() && !PosR.isEmptySet()) in sdiv()1068 PosRes = ConstantRange(PosL.Lower.sdiv(PosR.Upper - 1), in sdiv()1069 (PosL.Upper - 1).sdiv(PosR.Lower) + 1); in sdiv()1122 if (!NegL.isEmptySet() && !PosR.isEmptySet()) in sdiv()1125 ConstantRange(NegL.Lower.sdiv(PosR.Lower), in sdiv()1126 (NegL.Upper - 1).sdiv(PosR.Upper - 1) + 1)); in sdiv()1132 if (contains(Zero) && (!PosR.isEmptySet() || !NegR.isEmptySet())) in sdiv()
1128 ConstantRange PosR = RHS.intersectWith(PosFilter); in sdiv() local1132 if (!PosL.isEmptySet() && !PosR.isEmptySet()) in sdiv()1134 PosRes = ConstantRange(PosL.Lower.sdiv(PosR.Upper - 1), in sdiv()1135 (PosL.Upper - 1).sdiv(PosR.Lower) + 1); in sdiv()1188 if (!NegL.isEmptySet() && !PosR.isEmptySet()) in sdiv()1191 ConstantRange(NegL.Lower.sdiv(PosR.Lower), in sdiv()1192 (NegL.Upper - 1).sdiv(PosR.Upper - 1) + 1)); in sdiv()1198 if (contains(Zero) && (!PosR.isEmptySet() || !NegR.isEmptySet())) in sdiv()