1432 				if (reg->u32_max_value != reg->umax_value &&  in print_verifier_state()
1433 				    reg->u32_max_value != U32_MAX)  in print_verifier_state()
1434 					verbose_a("u32_max=%d", (int)(reg->u32_max_value));  in print_verifier_state()
1891 	reg->u32_max_value = (u32)imm;  in ___mark_reg_known()
1913 	reg->u32_max_value = (u32)imm;  in __mark_reg32_known()
2037 	reg->u32_max_value = U32_MAX;  in __mark_reg_unbounded()
2053 	reg->u32_max_value = U32_MAX;  in __mark_reg32_unbounded()
2067 	reg->u32_max_value = min(reg->u32_max_value,  in __update_reg32_bounds()
2101 		reg->s32_max_value = reg->u32_max_value =  in __reg32_deduce_bounds()
2102 			min_t(u32, reg->s32_max_value, reg->u32_max_value);  in __reg32_deduce_bounds()
2108 	if ((s32)reg->u32_max_value >= 0) {  in __reg32_deduce_bounds()
2113 		reg->s32_max_value = reg->u32_max_value =  in __reg32_deduce_bounds()
2114 			min_t(u32, reg->s32_max_value, reg->u32_max_value);  in __reg32_deduce_bounds()
2121 		reg->s32_max_value = reg->u32_max_value;  in __reg32_deduce_bounds()
2173 							  reg->u32_max_value));  in __reg_bound_offset()
2201 	reg->umax_value = reg->u32_max_value;  in __reg_assign_32_into_64()
2257 		reg->u32_max_value = (u32)reg->umax_value;  in __reg_combine_64_into_32()
4237 	       reg->u32_min_value == 0 && reg->u32_max_value == U32_MAX;  in __is_scalar_unbounded()
5854 	reg->u32_max_value = U32_MAX;  in set_sext64_default_val()
5878 		reg->u32_max_value = reg->u32_min_value = u64_cval;  in coerce_reg_to_size_sx()
5908 		reg->umax_value = reg->u32_max_value = s64_max;  in coerce_reg_to_size_sx()
5928 	reg->u32_max_value = U32_MAX;  in set_sext32_default_val()
5946 		reg->u32_min_value = reg->u32_max_value = u32_val;  in coerce_subreg_to_size_sx()
5972 		reg->u32_max_value = (u32)s32_max;  in coerce_subreg_to_size_sx()
9321 		ret_reg->u32_max_value = nr_cpu_ids - 1;  in do_refine_retval_range()
12258 	u32 umax_val = src_reg->u32_max_value;  in scalar32_min_max_add()
12269 	    dst_reg->u32_max_value + umax_val < umax_val) {  in scalar32_min_max_add()
12271 		dst_reg->u32_max_value = U32_MAX;  in scalar32_min_max_add()
12274 		dst_reg->u32_max_value += umax_val;  in scalar32_min_max_add()
12310 	u32 umax_val = src_reg->u32_max_value;  in scalar32_min_max_sub()
12324 		dst_reg->u32_max_value = U32_MAX;  in scalar32_min_max_sub()
12328 		dst_reg->u32_max_value -= umin_val;  in scalar32_min_max_sub()
12365 	u32 umax_val = src_reg->u32_max_value;  in scalar32_min_max_mul()
12375 	if (umax_val > U16_MAX || dst_reg->u32_max_value > U16_MAX) {  in scalar32_min_max_mul()
12381 	dst_reg->u32_max_value *= umax_val;  in scalar32_min_max_mul()
12382 	if (dst_reg->u32_max_value > S32_MAX) {  in scalar32_min_max_mul()
12388 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_mul()
12431 	u32 umax_val = src_reg->u32_max_value;  in scalar32_min_max_and()
12442 	dst_reg->u32_max_value = min(dst_reg->u32_max_value, umax_val);  in scalar32_min_max_and()
12454 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_and()
12511 	dst_reg->u32_max_value = var32_off.value | var32_off.mask;  in scalar32_min_max_or()
12523 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_or()
12577 	dst_reg->u32_max_value = var32_off.value | var32_off.mask;  in scalar32_min_max_xor()
12584 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_xor()
12631 	if (umax_val > 31 || dst_reg->u32_max_value > 1ULL << (31 - umax_val)) {  in __scalar32_min_max_lsh()
12633 		dst_reg->u32_max_value = U32_MAX;  in __scalar32_min_max_lsh()
12636 		dst_reg->u32_max_value <<= umax_val;  in __scalar32_min_max_lsh()
12643 	u32 umax_val = src_reg->u32_max_value;  in scalar32_min_max_lsh()
12707 	u32 umax_val = src_reg->u32_max_value;  in scalar32_min_max_rsh()
12729 	dst_reg->u32_max_value >>= umin_val;  in scalar32_min_max_rsh()
12786 	dst_reg->u32_max_value = U32_MAX;  in scalar32_min_max_arsh()
12847 	u32_max_val = src_reg.u32_max_value;  in adjust_scalar_min_max_vals()
13392 		else if (val < reg->u32_min_value || val > reg->u32_max_value)  in is_branch32_taken()
13398 		else if (val < reg->u32_min_value || val > reg->u32_max_value)  in is_branch32_taken()
13410 		else if (reg->u32_max_value <= val)  in is_branch32_taken()
13420 		if (reg->u32_max_value < val)  in is_branch32_taken()
13434 		else if (reg->u32_max_value < val)  in is_branch32_taken()
13444 		if (reg->u32_max_value <= val)  in is_branch32_taken()
13707 			false_reg->u32_max_value = min(false_reg->u32_max_value,  in reg_set_min_max()
13747 			true_reg->u32_max_value = min(true_reg->u32_max_value,  in reg_set_min_max()
15363 	       old->u32_max_value >= cur->u32_max_value &&  in range_within()