Searched refs:reg_u32_max (Results 1 – 3 of 3) sorted by relevance
| /linux/kernel/bpf/ |
| H A D | log.c | 587 {"umax32", reg_u32_max(reg), reg_u32_max(reg) == U32_MAX}, in print_scalar_ranges()
|
| H A D | verifier.c | 2111 reg_u32_max(reg))); in __reg_bound_offset()
5647 reg_set_urange64(reg, reg_u32_min(reg), reg_u32_max(reg)); in zext_32_to_64()
14888 u32 umax = reg_u32_max(dst_reg); in scalar32_min_max_mul()
14891 if (check_mul_overflow(umax, reg_u32_max(src_reg), &umax) || in scalar32_min_max_mul()
14950 reg_u32_max(dst_reg) / src_val); in scalar_min_max_udiv()
15050 if (reg_u32_max(dst_reg) <= res_max)
15053 reg_set_urange32(dst_reg, 0, min(reg_u32_max(dst_reg), res_max)); in scalar_min_max_umod()
15162 u32 umax_val = reg_u32_max(src_reg); in scalar32_min_max_and()
15174 min(reg_u32_max(dst_reg), umax_val)); in scalar_min_max_and()
15282 if (umax_val > 31 || reg_u32_max(dst_re in __scalar32_min_max_lsh()
[all...] |
| /linux/include/linux/ |
| H A D | bpf_verifier.h | 205 static inline u32 reg_u32_max(const struct bpf_reg_state *reg) in reg_u32_max() function
|