922 				if (reg->u32_max_value != reg->umax_value &&  in print_verifier_state()
923 				    reg->u32_max_value != U32_MAX)  in print_verifier_state()
924 					verbose_a("u32_max=%d", (int)(reg->u32_max_value));  in print_verifier_state()
1342 	reg->u32_max_value = (u32)imm;  in ___mark_reg_known()
1362 	reg->u32_max_value = (u32)imm;  in __mark_reg32_known()
1455 	reg->u32_max_value = U32_MAX;  in __mark_reg_unbounded()
1471 	reg->u32_max_value = U32_MAX;  in __mark_reg32_unbounded()
1485 	reg->u32_max_value = min(reg->u32_max_value,  in __update_reg32_bounds()
1519 		reg->s32_max_value = reg->u32_max_value =  in __reg32_deduce_bounds()
1520 			min_t(u32, reg->s32_max_value, reg->u32_max_value);  in __reg32_deduce_bounds()
1526 	if ((s32)reg->u32_max_value >= 0) {  in __reg32_deduce_bounds()
1531 		reg->s32_max_value = reg->u32_max_value =  in __reg32_deduce_bounds()
1532 			min_t(u32, reg->s32_max_value, reg->u32_max_value);  in __reg32_deduce_bounds()
1539 		reg->s32_max_value = reg->u32_max_value;  in __reg32_deduce_bounds()
1591 							   reg->u32_max_value));  in __reg_bound_offset()
1619 	reg->umax_value = reg->u32_max_value;  in __reg_assign_32_into_64()
1675 		reg->u32_max_value = (u32)reg->umax_value;  in __reg_combine_64_into_32()
2986 	       reg->u32_min_value == 0 && reg->u32_max_value == U32_MAX;  in __is_scalar_unbounded()
8435 	u32 umax_val = src_reg->u32_max_value;  in scalar32_min_max_add()
8446 	    dst_reg->u32_max_value + umax_val < umax_val) {  in scalar32_min_max_add()
8448 		dst_reg->u32_max_value = U32_MAX;  in scalar32_min_max_add()
8451 		dst_reg->u32_max_value += umax_val;  in scalar32_min_max_add()
8487 	u32 umax_val = src_reg->u32_max_value;  in scalar32_min_max_sub()
8501 		dst_reg->u32_max_value = U32_MAX;  in scalar32_min_max_sub()
8505 		dst_reg->u32_max_value -= umin_val;  in scalar32_min_max_sub()
8542 	u32 umax_val = src_reg->u32_max_value;  in scalar32_min_max_mul()
8552 	if (umax_val > U16_MAX || dst_reg->u32_max_value > U16_MAX) {  in scalar32_min_max_mul()
8558 	dst_reg->u32_max_value *= umax_val;  in scalar32_min_max_mul()
8559 	if (dst_reg->u32_max_value > S32_MAX) {  in scalar32_min_max_mul()
8565 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_mul()
8608 	u32 umax_val = src_reg->u32_max_value;  in scalar32_min_max_and()
8619 	dst_reg->u32_max_value = min(dst_reg->u32_max_value, umax_val);  in scalar32_min_max_and()
8631 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_and()
8688 	dst_reg->u32_max_value = var32_off.value | var32_off.mask;  in scalar32_min_max_or()
8700 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_or()
8754 	dst_reg->u32_max_value = var32_off.value | var32_off.mask;  in scalar32_min_max_xor()
8761 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_xor()
8808 	if (umax_val > 31 || dst_reg->u32_max_value > 1ULL << (31 - umax_val)) {  in __scalar32_min_max_lsh()
8810 		dst_reg->u32_max_value = U32_MAX;  in __scalar32_min_max_lsh()
8813 		dst_reg->u32_max_value <<= umax_val;  in __scalar32_min_max_lsh()
8820 	u32 umax_val = src_reg->u32_max_value;  in scalar32_min_max_lsh()
8884 	u32 umax_val = src_reg->u32_max_value;  in scalar32_min_max_rsh()
8906 	dst_reg->u32_max_value >>= umin_val;  in scalar32_min_max_rsh()
8963 	dst_reg->u32_max_value = U32_MAX;  in scalar32_min_max_arsh()
9024 	u32_max_val = src_reg.u32_max_value;  in adjust_scalar_min_max_vals()
9517 		else if (reg->u32_max_value <= val)  in is_branch32_taken()
9527 		if (reg->u32_max_value < val)  in is_branch32_taken()
9541 		else if (reg->u32_max_value < val)  in is_branch32_taken()
9551 		if (reg->u32_max_value <= val)  in is_branch32_taken()
9810 			false_reg->u32_max_value = min(false_reg->u32_max_value,  in reg_set_min_max()
9850 			true_reg->u32_max_value = min(true_reg->u32_max_value,  in reg_set_min_max()
11366 	       old->u32_max_value >= cur->u32_max_value &&  in range_within()