Searched refs:x_t (Results 1 – 1 of 1) sorted by relevance
| /linux-6.12.1/tools/testing/selftests/bpf/prog_tests/ |
| D | reg_bounds.c | 430 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
434 y_cast = range_cast(y_t, x_t, y); in range_refine()
445 if (x_t == S64 && y_t == S32 && y_cast.a <= S32_MAX && y_cast.b <= S32_MAX && in range_refine()
447 return range_improve(x_t, x, y_cast); in range_refine()
454 if (t_is_32(y_t) && !t_is_32(x_t)) { in range_refine()
462 x_swap = range(x_t, swap_low32(x.a, y_cast.a), swap_low32(x.b, y_cast.b)); in range_refine()
463 if (!is_valid_range(x_t, x_swap)) in range_refine()
465 return range_improve(x_t, x, x_swap); in range_refine()
469 return range_improve(x_t, x, y_cast); in range_refine()
|