Searched refs:y_t (Results 1 – 1 of 1) sorted by relevance
| /linux/tools/testing/selftests/bpf/prog_tests/ |
| H A D | reg_bounds.c | 457 enum num_t y_t, struct range y) in range_refine_in_halves() argument
473 y_pos = range_intersection(y_t, y, range(x_t, 0, smax)); in range_refine_in_halves()
474 y_neg = range_intersection(y_t, y, range(y_t, smin, neg_one)); in range_refine_in_halves()
475 r_pos = range_intersection(x_t, x_pos, range_cast(y_t, x_t, y_pos)); in range_refine_in_halves()
476 r_neg = range_intersection(x_t, x_neg, range_cast(y_t, x_t, y_neg)); in range_refine_in_halves()
481 static struct range range_refine(enum num_t x_t, struct range x, enum num_t y_t, struct range y) in range_refine() argument
485 if (t_is_32(x_t) == t_is_32(y_t)) in range_refine()
486 x = range_refine_in_halves(x_t, x, y_t, y); in range_refine()
488 y_cast = range_cast(y_t, x_t, y); in range_refine()
499 if (x_t == S64 && y_t == S32 && y_cast.a <= S32_MAX && y_cast.b <= S32_MAX && in range_refine()
[all …]
|