Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dverifier.c14445 u64 umin_val = reg_umin(off_reg), umax_val = reg_umax(off_reg); in adjust_ptr_min_max_vals() local
14454 if ((known && (smin_val != smax_val || umin_val != umax_val)) || in adjust_ptr_min_max_vals()
14455 smin_val > smax_val || umin_val > umax_val) { in adjust_ptr_min_max_vals()
15008 u32 umax_val = reg_u32_max(src_reg); in scalar32_min_max_and() local
15020 min(reg_u32_max(dst_reg), umax_val)); in scalar32_min_max_and()
15028 u64 umax_val = reg_umax(src_reg); in scalar_min_max_and() local
15040 min(reg_umax(dst_reg), umax_val)); in scalar_min_max_and()
15125 u64 umin_val, u64 umax_val) in __scalar32_min_max_lsh() argument
15128 if (umax_val > 31 || reg_u32_max(dst_reg) > 1ULL << (31 - umax_val)) in __scalar32_min_max_lsh()
15135 reg_u32_max(dst_reg) << umax_val); in __scalar32_min_max_lsh()
[all …]