Searched refs:s32_min (Results 1 – 2 of 2) sorted by relevance
| /linux/tools/testing/selftests/bpf/progs/ |
| H A D | verifier_linked_scalars.c | 239 [s32_min]"i"(INT_MIN) in scalars_sync_delta_overflow()
|
| /linux/kernel/bpf/ |
| H A D | verifier.c | 2220 s32 s32_min, in __mark_reg_s32_range() argument
2226 max_t(s32, reg_s32_min(reg), s32_min), in __mark_reg_s32_range()
2229 max_t(s64, reg_smin(reg), s32_min), in __mark_reg_s32_range()
5760 s32 init_s32_max, init_s32_min, s32_max, s32_min, u32_val; in coerce_subreg_to_size_sx() local
5792 s32_min = min(init_s32_max, init_s32_min); in coerce_subreg_to_size_sx()
5794 if ((s32_min >= 0) == (s32_max >= 0)) { in coerce_subreg_to_size_sx()
5795 reg_set_srange32(reg, s32_min, s32_max); in coerce_subreg_to_size_sx()
5796 reg->var_off = tnum_subreg(tnum_range(s32_min, s32_max)); in coerce_subreg_to_size_sx()
|