Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dlog.c579 is_snum_decimal((s64)reg_s32_min(reg)) in print_scalar_ranges()
580 ? (s64)reg_s32_min(reg) in print_scalar_ranges()
581 : (u32)reg_s32_min(reg), reg_s32_min(reg) == S32_MIN}, in print_scalar_ranges()
H A Dverifier.c2215 max_t(s32, reg_s32_min(reg), s32_min), in __mark_reg_s32_range()
5731 top_smin_value = ((u32)reg_s32_min(reg) >> num_bits) << num_bits; in coerce_subreg_to_size_sx()
5739 init_s32_min = (s8)reg_s32_min(reg); in coerce_subreg_to_size_sx()
5743 init_s32_min = (s16)reg_s32_min(reg); in coerce_subreg_to_size_sx()
10262 return range.minval <= reg_s32_min(reg) && reg_s32_max(reg) <= range.maxval; in retval_range_within()
14731 s32 smin = reg_s32_min(dst_reg); in scalar32_min_max_mul()
14743 if (check_mul_overflow(smin, reg_s32_min(src_reg), &tmp_prod[0]) || in scalar32_min_max_mul()
14745 check_mul_overflow(smax, reg_s32_min(src_reg), &tmp_prod[2]) || in scalar32_min_max_mul()
14817 s32 smin = reg_s32_min(dst_reg); in scalar32_min_max_sdiv()
14819 s32 src_val = reg_s32_min(src_reg); /* non-zero, const divisor */ in scalar32_min_max_sdiv()
[all …]
/linux/include/linux/
H A Dbpf_verifier.h189 static inline s32 reg_s32_min(const struct bpf_reg_state *reg) in reg_s32_min() function