Searched refs:reg_set_srange64 (Results 1 – 2 of 2) sorted by relevance
| /linux/include/linux/ |
| H A D | bpf_verifier.h | 219 static inline void reg_set_srange64(struct bpf_reg_state *reg, s64 smin, s64 smax) in reg_set_srange64() function
|
| /linux/kernel/bpf/ |
| H A D | verifier.c | 2217 reg_set_srange64(reg, in __mark_reg_s32_range()
5634 reg_set_srange64(reg, S8_MIN, S8_MAX); in set_sext64_default_val()
5637 reg_set_srange64(reg, S16_MIN, S16_MAX); in set_sext64_default_val()
5641 reg_set_srange64(reg, S32_MIN, S32_MAX); in set_sext64_default_val()
5692 reg_set_srange64(reg, s64_min, s64_max); in coerce_reg_to_size_sx()
10379 reg_set_srange64(ret_reg, -MAX_ERRNO, meta->msize_max_value); in do_refine_retval_range()
10407 reg_set_srange64(ret_reg, range.minval, range.maxval); in do_refine_retval_range()
14881 reg_set_srange64(dst_reg, smin, smax); in scalar_min_max_sdiv()
14991 reg_set_srange64(dst_reg, 0, min(reg_smax(dst_reg), res_max_abs)); in scalar_min_max_smod()
14993 reg_set_srange64(dst_reg, max(reg_smin(dst_reg), -res_max_abs), 0); in scalar_min_max_smod()
[all …]
|