Searched refs:V_LT (Results 1 – 12 of 12) sorted by relevance
84 V_LT = static_cast<unsigned>(VR_LT), enumerator105 V_LT_INF = V_LT | V_OVERFLOW,111 V_LT_PLUS_INFINITY = V_LT | static_cast<unsigned>(VC_PLUS_INFINITY),
219 case V_LT: in convert_real()228 case V_LT: in convert_real()231 return V_LT; in convert_real()252 case V_LT: in convert_real()263 PPL_ASSERT(r != V_LT && r != V_GT); in convert_real()329 case V_LT: in convert_real()341 case V_LT: in convert_integer()
40 return V_LT; in round_lt_mpz()48 return V_LT; in round_gt_mpz()89 return inf ? V_EQ_MINUS_INFINITY : V_LT; in classify_mpz()372 return (mpz_divisible_p(n, d) != 0) ? V_EQ : V_LT; in PPL_SPECIALIZE_ASSIGN()448 return (mpz_divisible_p(n, d) != 0) ? V_EQ : V_LT; in PPL_SPECIALIZE_MUL()539 return (mpz_divisible_2exp_p(n, exp) != 0) ? V_EQ : V_LT; in PPL_SPECIALIZE_MUL_2EXP()
69 case V_LT: in upper_extend()194 case V_LT: in Interval()355 case V_LT: in operator >>()
36 case V_LT: in throw_result_exception()
132 return V_LT; in round_lt_int_no_overflow()140 return V_LT; in round_gt_int_no_overflow()161 return V_LT; in round_lt_int()177 return V_LT; in round_gt_int()208 return inf ? V_EQ_MINUS_INFINITY : V_LT; in PPL_SPECIALIZE_COPY()216 return V_LT; in PPL_SPECIALIZE_COPY()
170 return V_LT; in classify_float()279 return V_LT; in round_lt_float()287 return V_LT; in round_gt_float()319 return V_LT; in result_relation()
49 return inf ? V_EQ_MINUS_INFINITY : V_LT; in classify_mpq()
261 case V_LT: in build()
494 case V_LT: in adjust_boundary()
2556 case V_LT: in propagate_constraint_check_result()
7743 return V_LT;7772 return V_LT;9945 return V_LT;10995 return V_LT;15880 case V_LT:15990 case V_LT:16002 case V_LT:19295 case V_LT:19420 case V_LT:19581 case V_LT:[all …]