Home
last modified time | relevance | path

Searched refs:reg_s32_max (Results 1 – 3 of 3) sorted by relevance

/linux/kernel/bpf/
H A Dlog.c583 is_snum_decimal((s64)reg_s32_max(reg)) in print_scalar_ranges()
584 ? (s64)reg_s32_max(reg) in print_scalar_ranges()
585 : (u32)reg_s32_max(reg), reg_s32_max(reg) == S32_MAX}, in print_scalar_ranges()
H A Dverifier.c2227 min_t(s32, reg_s32_max(reg), s32_max)); in __mark_reg_s32_range()
5776 top_smax_value = ((u32)reg_s32_max(reg) >> num_bits) << num_bits; in coerce_subreg_to_size_sx()
5784 init_s32_max = (s8)reg_s32_max(reg); in coerce_subreg_to_size_sx()
5788 init_s32_max = (s16)reg_s32_max(reg); in coerce_subreg_to_size_sx()
10356 return range.minval <= reg_s32_min(reg) && reg_s32_max(reg) <= range.maxval; in retval_range_within()
14886 s32 smax = reg_s32_max(dst_reg); in scalar32_min_max_mul()
14898 check_mul_overflow(smin, reg_s32_max(src_reg), &tmp_prod[1]) || in scalar32_min_max_mul()
14900 check_mul_overflow(smax, reg_s32_max(src_reg), &tmp_prod[3])) { in scalar32_min_max_mul()
14972 s32 smax = reg_s32_max(dst_reg); in scalar32_min_max_sdiv()
15101 if (reg_s32_min(dst_reg) >= -res_max_abs && reg_s32_max(dst_re in scalar32_min_max_smod()
[all...]
/linux/include/linux/
H A Dbpf_verifier.h195 static inline s32 reg_s32_max(const struct bpf_reg_state *reg) in reg_s32_max() function