Searched refs:PosRes (Results 1 – 1 of 1) sorted by relevance
1248 ConstantRange PosRes = getEmpty(); in sdiv() local1251 PosRes = ConstantRange(PosL.Lower.sdiv(PosR.Upper - 1), in sdiv()1274 PosRes = PosRes.unionWith( in sdiv()1289 PosRes = PosRes.unionWith( in sdiv()1294 PosRes = PosRes.unionWith( in sdiv()1312 ConstantRange Res = NegRes.unionWith(PosRes, PreferredRangeType::Signed); in sdiv()