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 | 2100 reg_u32_max(reg))); in __reg_bound_offset()
5601 reg_set_urange64(reg, reg_u32_min(reg), reg_u32_max(reg)); in zext_32_to_64()
14734 u32 umax = reg_u32_max(dst_reg); in scalar32_min_max_mul()
14737 if (check_mul_overflow(umax, reg_u32_max(src_reg), &umax) || in scalar32_min_max_mul()
14796 reg_u32_max(dst_reg) / src_val); in scalar32_min_max_udiv()
14896 if (reg_u32_max(dst_reg) <= res_max) in scalar32_min_max_umod()
14899 reg_set_urange32(dst_reg, 0, min(reg_u32_max(dst_reg), res_max)); in scalar32_min_max_umod()
15008 u32 umax_val = reg_u32_max(src_reg); in scalar32_min_max_and()
15020 min(reg_u32_max(dst_reg), umax_val)); in scalar32_min_max_and()
15128 if (umax_val > 31 || reg_u32_max(dst_reg) > 1ULL << (31 - umax_val)) in __scalar32_min_max_lsh()
[all …]
|
| /linux/include/linux/ |
| H A D | bpf_verifier.h | 204 static inline u32 reg_u32_max(const struct bpf_reg_state *reg) in reg_u32_max() function
|