Searched refs:umax_val (Results 1 – 1 of 1) sorted by relevance
16296 u64 umin_val = reg_umin(off_reg), umax_val = reg_umax(off_reg); in is_scalar_branch_taken() 16311 if ((known && (smin_val != smax_val || umin_val != umax_val)) || in is_scalar_branch_taken() 16312 smin_val > smax_val || umin_val > umax_val) { in is_scalar_branch_taken() 16885 u32 umax_val = reg_u32_max(src_reg); in collect_linked_regs() 16897 min(reg_u32_max(dst_reg), umax_val)); in collect_linked_regs() 16905 u64 umax_val = reg_umax(src_reg);16917 min(reg_umax(dst_reg), umax_val)); in sync_linked_regs() 17002 u64 umin_val, u64 umax_val) in check_cond_jmp_op() 17005 if (umax_val > 31 || reg_u32_max(dst_reg) > 1ULL << (31 - umax_val)) in check_cond_jmp_op() 14586 u64 umin_val = reg_umin(off_reg), umax_val = reg_umax(off_reg); adjust_ptr_min_max_vals() local 15162 u32 umax_val = reg_u32_max(src_reg); scalar32_min_max_and() local 15182 u64 umax_val = reg_umax(src_reg); scalar_min_max_and() local 15279 __scalar32_min_max_lsh(struct bpf_reg_state * dst_reg,u64 umin_val,u64 umax_val) __scalar32_min_max_lsh() argument 15295 u32 umax_val = reg_u32_max(src_reg); scalar32_min_max_lsh() local 15311 __scalar64_min_max_lsh(struct bpf_reg_state * dst_reg,u64 umin_val,u64 umax_val) __scalar64_min_max_lsh() argument 15339 u64 umax_val = reg_umax(src_reg); scalar_min_max_lsh() local 15355 u32 umax_val = reg_u32_max(src_reg); scalar32_min_max_rsh() local 15384 u64 umax_val = reg_umax(src_reg); scalar_min_max_rsh() local [all...]