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()
15135 				 reg_u32_max(dst_reg) << umax_val);  in __scalar32_min_max_lsh()
15141 	u32 umax_val = reg_u32_max(src_reg);  in scalar32_min_max_lsh()
15201 	u32 umax_val = reg_u32_max(src_reg);  in scalar32_min_max_rsh()
15221 			 reg_u32_max(dst_reg) >> umin_val);  in scalar32_min_max_rsh()
15358 		    && reg_u32_min(src_reg) == reg_u32_max(src_reg))  in is_safe_to_compute_dst_reg_range()
16071 	u64 umax1 = is_jmp32 ? (u64)reg_u32_max(reg1) : reg_umax(reg1);  in is_scalar_branch_taken()
16075 	u64 umax2 = is_jmp32 ? (u64)reg_u32_max(reg2) : reg_umax(reg2);  in is_scalar_branch_taken()
16122 			if (reg_u32_min(reg1) > reg_u32_max(reg2) ||  in is_scalar_branch_taken()
16123 			    reg_u32_max(reg1) < reg_u32_min(reg2))  in is_scalar_branch_taken()
16148 			if (reg_u32_min(reg1) > reg_u32_max(reg2) ||  in is_scalar_branch_taken()
16149 			    reg_u32_max(reg1) < reg_u32_min(reg2))  in is_scalar_branch_taken()
16455 			cnum32_intersect_with_urange(&reg1->r32, 0, reg_u32_max(reg2));  in regs_refine_cond_op()
16464 			cnum32_intersect_with_urange(&reg1->r32, 0, reg_u32_max(reg2) - 1);  in regs_refine_cond_op()