Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dlog.c586 {"umin32", reg_u32_min(reg), reg_u32_min(reg) == 0}, in print_scalar_ranges()
H A Dverifier.c2099 tnum_range(reg_u32_min(reg), in __reg_bound_offset()
5601 reg_set_urange64(reg, reg_u32_min(reg), reg_u32_max(reg)); in zext_32_to_64()
14733 u32 umin = reg_u32_min(dst_reg); in scalar32_min_max_mul()
14738 check_mul_overflow(umin, reg_u32_min(src_reg), &umin)) { in scalar32_min_max_mul()
14793 u32 src_val = reg_u32_min(src_reg); /* non-zero, const divisor */ in scalar32_min_max_udiv()
14795 reg_set_urange32(dst_reg, reg_u32_min(dst_reg) / src_val, in scalar32_min_max_udiv()
14889 u32 src_val = reg_u32_min(src_reg); /* non-zero, const divisor */ in scalar32_min_max_umod()
15052 u32 umin_val = reg_u32_min(src_reg); in scalar32_min_max_or()
15063 max(reg_u32_min(dst_reg), umin_val), in scalar32_min_max_or()
15134 reg_set_urange32(dst_reg, reg_u32_min(dst_reg) << umin_val, in __scalar32_min_max_lsh()
[all …]
/linux/include/linux/
H A Dbpf_verifier.h199 static inline u32 reg_u32_min(const struct bpf_reg_state *reg) in reg_u32_min() function