692 				if (reg->u32_min_value != reg->umin_value &&  in print_verifier_state()
693 				    reg->u32_min_value != U32_MIN)  in print_verifier_state()
695 						(int)(reg->u32_min_value));  in print_verifier_state()
1083 	reg->u32_min_value = (u32)imm;  in ___mark_reg_known()
1103 	reg->u32_min_value = (u32)imm;  in __mark_reg32_known()
1218 	reg->u32_min_value = 0;  in __mark_reg_unbounded()
1234 	reg->u32_min_value = 0;  in __mark_reg32_unbounded()
1248 	reg->u32_min_value = max_t(u32, reg->u32_min_value, (u32)var32_off.value);  in __update_reg32_bounds()
1281 		reg->s32_min_value = reg->u32_min_value =  in __reg32_deduce_bounds()
1282 			max_t(u32, reg->s32_min_value, reg->u32_min_value);  in __reg32_deduce_bounds()
1294 		reg->s32_min_value = reg->u32_min_value;  in __reg32_deduce_bounds()
1297 	} else if ((s32)reg->u32_min_value < 0) {  in __reg32_deduce_bounds()
1301 		reg->s32_min_value = reg->u32_min_value =  in __reg32_deduce_bounds()
1302 			max_t(u32, reg->s32_min_value, reg->u32_min_value);  in __reg32_deduce_bounds()
1354 						tnum_range(reg->u32_min_value,  in __reg_bound_offset()
1362 	reg->umin_value = reg->u32_min_value;  in __reg_assign_32_into_64()
1426 		reg->u32_min_value = (u32)reg->umin_value;  in __reg_combine_64_into_32()
2611 	       reg->u32_min_value == 0 && reg->u32_max_value == U32_MAX;  in __is_scalar_unbounded()
7189 	u32 umin_val = src_reg->u32_min_value;  in scalar32_min_max_add()
7200 	if (dst_reg->u32_min_value + umin_val < umin_val ||  in scalar32_min_max_add()
7202 		dst_reg->u32_min_value = 0;  in scalar32_min_max_add()
7205 		dst_reg->u32_min_value += umin_val;  in scalar32_min_max_add()
7241 	u32 umin_val = src_reg->u32_min_value;  in scalar32_min_max_sub()
7253 	if (dst_reg->u32_min_value < umax_val) {  in scalar32_min_max_sub()
7255 		dst_reg->u32_min_value = 0;  in scalar32_min_max_sub()
7259 		dst_reg->u32_min_value -= umax_val;  in scalar32_min_max_sub()
7296 	u32 umin_val = src_reg->u32_min_value;  in scalar32_min_max_mul()
7312 	dst_reg->u32_min_value *= umin_val;  in scalar32_min_max_mul()
7319 		dst_reg->s32_min_value = dst_reg->u32_min_value;  in scalar32_min_max_mul()
7373 	dst_reg->u32_min_value = var32_off.value;  in scalar32_min_max_and()
7385 		dst_reg->s32_min_value = dst_reg->u32_min_value;  in scalar32_min_max_and()
7432 	u32 umin_val = src_reg->u32_min_value;  in scalar32_min_max_or()
7442 	dst_reg->u32_min_value = max(dst_reg->u32_min_value, umin_val);  in scalar32_min_max_or()
7454 		dst_reg->s32_min_value = dst_reg->u32_min_value;  in scalar32_min_max_or()
7508 	dst_reg->u32_min_value = var32_off.value;  in scalar32_min_max_xor()
7515 		dst_reg->s32_min_value = dst_reg->u32_min_value;  in scalar32_min_max_xor()
7564 		dst_reg->u32_min_value = 0;  in __scalar32_min_max_lsh()
7567 		dst_reg->u32_min_value <<= umin_val;  in __scalar32_min_max_lsh()
7576 	u32 umin_val = src_reg->u32_min_value;  in scalar32_min_max_lsh()
7640 	u32 umin_val = src_reg->u32_min_value;  in scalar32_min_max_rsh()
7660 	dst_reg->u32_min_value >>= umax_val;  in scalar32_min_max_rsh()
7704 	u64 umin_val = src_reg->u32_min_value;  in scalar32_min_max_arsh()
7717 	dst_reg->u32_min_value = 0;  in scalar32_min_max_arsh()
7778 	u32_min_val = src_reg.u32_min_value;  in adjust_scalar_min_max_vals()
8290 		if (reg->u32_min_value > val)  in is_branch32_taken()
8304 		else if (reg->u32_min_value >= val)  in is_branch32_taken()
8314 		if (reg->u32_min_value >= val)  in is_branch32_taken()
8328 		else if (reg->u32_min_value > val)  in is_branch32_taken()
8580 			true_reg->u32_min_value = max(true_reg->u32_min_value,  in reg_set_min_max()
8616 			false_reg->u32_min_value = max(false_reg->u32_min_value,  in reg_set_min_max()
10066 	       old->u32_min_value <= cur->u32_min_value &&  in range_within()