Searched refs:PosL (Results 1 – 2 of 2) sorted by relevance
1060 ConstantRange PosL = 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()1117 if (!PosL.isEmptySet() && !NegR.isEmptySet()) in sdiv()1119 NegRes = ConstantRange((PosL.Upper - 1).sdiv(NegR.Upper - 1), in sdiv()1120 PosL.Lower.sdiv(NegR.Lower) + 1); in sdiv()
1126 ConstantRange PosL = 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()1183 if (!PosL.isEmptySet() && !NegR.isEmptySet()) in sdiv()1185 NegRes = ConstantRange((PosL.Upper - 1).sdiv(NegR.Upper - 1), in sdiv()1186 PosL.Lower.sdiv(NegR.Lower) + 1); in sdiv()