Searched refs:PosRes (Results 1 – 2 of 2) sorted by relevance
1065 ConstantRange PosRes = getEmpty(); in sdiv() local1068 PosRes = ConstantRange(PosL.Lower.sdiv(PosR.Upper - 1), in sdiv()1091 PosRes = PosRes.unionWith( in sdiv()1106 PosRes = PosRes.unionWith( in sdiv()1111 PosRes = PosRes.unionWith( in sdiv()1129 ConstantRange Res = NegRes.unionWith(PosRes, PreferredRangeType::Signed); in sdiv()
1131 ConstantRange PosRes = getEmpty(); in sdiv() local1134 PosRes = ConstantRange(PosL.Lower.sdiv(PosR.Upper - 1), in sdiv()1157 PosRes = PosRes.unionWith( in sdiv()1172 PosRes = PosRes.unionWith( in sdiv()1177 PosRes = PosRes.unionWith( in sdiv()1195 ConstantRange Res = NegRes.unionWith(PosRes, PreferredRangeType::Signed); in sdiv()