2043 	tnum_next = tnum_step(reg->var_off, reg_umin(reg));  in __update_reg64_bounds()
2044 	umin_in_tnum = (reg_umin(reg) & ~reg->var_off.mask) == reg->var_off.value;  in __update_reg64_bounds()
2051 		___mark_reg_known(reg, reg_umin(reg));  in __update_reg64_bounds()
2096 					       tnum_range(reg_umin(reg),  in __reg_bound_offset()
5616 	if ((reg_umin(reg) & ~mask) == (reg_umax(reg) & ~mask))  in coerce_reg_to_size()
5617 		reg_set_urange64(reg, reg_umin(reg) & mask, reg_umax(reg) & mask);  in coerce_reg_to_size()
7093 	if (reg_umin(size_reg) == 0 && !zero_size_allowed) {  in check_mem_size_reg()
7095 			reg_arg_name(env, size_argno), reg_umin(size_reg), reg_umax(size_reg));  in check_mem_size_reg()
14445 	u64 umin_val = reg_umin(off_reg), umax_val = reg_umax(off_reg);  in adjust_ptr_min_max_vals()
14764 	u64 umin = reg_umin(dst_reg);  in scalar_min_max_mul()
14769 	    check_mul_overflow(umin, reg_umin(src_reg), &umin)) {  in scalar_min_max_mul()
14805 	u64 src_val = reg_umin(src_reg); /* non-zero, const divisor */  in scalar_min_max_udiv()
14807 	reg_set_urange64(dst_reg, div64_u64(reg_umin(dst_reg), src_val),  in scalar_min_max_udiv()
14908 	u64 src_val = reg_umin(src_reg); /* non-zero, const divisor */  in scalar_min_max_umod()
15072 	u64 umin_val = reg_umin(src_reg);  in scalar_min_max_or()
15083 			 max(reg_umin(dst_reg), umin_val),  in scalar_min_max_or()
15176 		u = cnum64_from_urange(reg_umin(dst_reg) << umin_val,  in __scalar64_min_max_lsh()
15186 	u64 umin_val = reg_umin(src_reg);  in scalar_min_max_lsh()
15231 	u64 umin_val = reg_umin(src_reg);  in scalar_min_max_rsh()
15248 	reg_set_urange64(dst_reg, reg_umin(dst_reg) >> umax_val,  in scalar_min_max_rsh()
15282 	u64 umin_val = reg_umin(src_reg);  in scalar_min_max_arsh()
15363 		    && reg_umin(src_reg) == reg_umax(src_reg))  in is_safe_to_compute_dst_reg_range()
15492 		if ((alu32 && reg_u32_min(&src_reg) == 0) || (!alu32 && reg_umin(&src_reg) == 0)) {  in adjust_scalar_min_max_vals()
15509 		if ((alu32 && reg_u32_min(&src_reg) == 0) || (!alu32 && reg_umin(&src_reg) == 0))  in adjust_scalar_min_max_vals()
16070 	u64 umin1 = is_jmp32 ? (u64)reg_u32_min(reg1) : reg_umin(reg1);  in is_scalar_branch_taken()
16074 	u64 umin2 = is_jmp32 ? (u64)reg_u32_min(reg2) : reg_umin(reg2);  in is_scalar_branch_taken()
16459 			cnum64_intersect_with_urange(&reg2->r64, reg_umin(reg1), U64_MAX);  in regs_refine_cond_op()
16468 			cnum64_intersect_with_urange(&reg2->r64, reg_umin(reg1) + 1, U64_MAX);  in regs_refine_cond_op()
17984 	u64 min_index = reg_umin(reg);  in indirect_jump_min_max_index()
17989 		verbose(env, "the sum of R%u umin_value %llu is too big\n", regno, reg_umin(reg));  in indirect_jump_min_max_index()