1423 				if (reg->s32_min_value != reg->smin_value &&  in print_verifier_state()
1424 				    reg->s32_min_value != S32_MIN)  in print_verifier_state()
1425 					verbose_a("s32_min=%d", (int)(reg->s32_min_value));  in print_verifier_state()
1888 	reg->s32_min_value = (s32)imm;  in ___mark_reg_known()
1910 	reg->s32_min_value = (s32)imm;  in __mark_reg32_known()
2034 	reg->s32_min_value = S32_MIN;  in __mark_reg_unbounded()
2050 	reg->s32_min_value = S32_MIN;  in __mark_reg32_unbounded()
2061 	reg->s32_min_value = max_t(s32, reg->s32_min_value,  in __update_reg32_bounds()
2098 	if (reg->s32_min_value >= 0 || reg->s32_max_value < 0) {  in __reg32_deduce_bounds()
2099 		reg->s32_min_value = reg->u32_min_value =  in __reg32_deduce_bounds()
2100 			max_t(u32, reg->s32_min_value, reg->u32_min_value);  in __reg32_deduce_bounds()
2112 		reg->s32_min_value = reg->u32_min_value;  in __reg32_deduce_bounds()
2119 		reg->s32_min_value = reg->u32_min_value =  in __reg32_deduce_bounds()
2120 			max_t(u32, reg->s32_min_value, reg->u32_min_value);  in __reg32_deduce_bounds()
2207 	if (__reg32_bound_s64(reg->s32_min_value) &&  in __reg_assign_32_into_64()
2209 		reg->smin_value = reg->s32_min_value;  in __reg_assign_32_into_64()
2252 		reg->s32_min_value = (s32)reg->smin_value;  in __reg_combine_64_into_32()
4236 	       reg->s32_min_value == S32_MIN && reg->s32_max_value == S32_MAX &&  in __is_scalar_unbounded()
5842 		reg->smin_value = reg->s32_min_value = S8_MIN;  in set_sext64_default_val()
5845 		reg->smin_value = reg->s32_min_value = S16_MIN;  in set_sext64_default_val()
5849 		reg->smin_value = reg->s32_min_value = S32_MIN;  in set_sext64_default_val()
5877 		reg->s32_max_value = reg->s32_min_value = u64_cval;  in coerce_reg_to_size_sx()
5905 		reg->smin_value = reg->s32_min_value = s64_min;  in coerce_reg_to_size_sx()
5920 		reg->s32_min_value = S8_MIN;  in set_sext32_default_val()
5924 		reg->s32_min_value = S16_MIN;  in set_sext32_default_val()
5945 		reg->s32_min_value = reg->s32_max_value = u32_val;  in coerce_subreg_to_size_sx()
5951 	top_smin_value = ((u32)reg->s32_min_value >> num_bits) << num_bits;  in coerce_subreg_to_size_sx()
5959 		init_s32_min = (s8)reg->s32_min_value;  in coerce_subreg_to_size_sx()
5963 		init_s32_min = (s16)reg->s32_min_value;  in coerce_subreg_to_size_sx()
5969 		reg->s32_min_value = s32_min;  in coerce_subreg_to_size_sx()
9316 		ret_reg->s32_min_value = -MAX_ERRNO;  in do_refine_retval_range()
9327 		ret_reg->s32_min_value = 0;  in do_refine_retval_range()
12255 	s32 smin_val = src_reg->s32_min_value;  in scalar32_min_max_add()
12260 	if (signed_add32_overflows(dst_reg->s32_min_value, smin_val) ||  in scalar32_min_max_add()
12262 		dst_reg->s32_min_value = S32_MIN;  in scalar32_min_max_add()
12265 		dst_reg->s32_min_value += smin_val;  in scalar32_min_max_add()
12307 	s32 smin_val = src_reg->s32_min_value;  in scalar32_min_max_sub()
12312 	if (signed_sub32_overflows(dst_reg->s32_min_value, smax_val) ||  in scalar32_min_max_sub()
12315 		dst_reg->s32_min_value = S32_MIN;  in scalar32_min_max_sub()
12318 		dst_reg->s32_min_value -= smax_val;  in scalar32_min_max_sub()
12363 	s32 smin_val = src_reg->s32_min_value;  in scalar32_min_max_mul()
12367 	if (smin_val < 0 || dst_reg->s32_min_value < 0) {  in scalar32_min_max_mul()
12384 		dst_reg->s32_min_value = S32_MIN;  in scalar32_min_max_mul()
12387 		dst_reg->s32_min_value = dst_reg->u32_min_value;  in scalar32_min_max_mul()
12430 	s32 smin_val = src_reg->s32_min_value;  in scalar32_min_max_and()
12443 	if (dst_reg->s32_min_value < 0 || smin_val < 0) {  in scalar32_min_max_and()
12447 		dst_reg->s32_min_value = S32_MIN;  in scalar32_min_max_and()
12453 		dst_reg->s32_min_value = dst_reg->u32_min_value;  in scalar32_min_max_and()
12499 	s32 smin_val = src_reg->s32_min_value;  in scalar32_min_max_or()
12512 	if (dst_reg->s32_min_value < 0 || smin_val < 0) {  in scalar32_min_max_or()
12516 		dst_reg->s32_min_value = S32_MIN;  in scalar32_min_max_or()
12522 		dst_reg->s32_min_value = dst_reg->u32_min_value;  in scalar32_min_max_or()
12568 	s32 smin_val = src_reg->s32_min_value;  in scalar32_min_max_xor()
12579 	if (dst_reg->s32_min_value >= 0 && smin_val >= 0) {  in scalar32_min_max_xor()
12583 		dst_reg->s32_min_value = dst_reg->u32_min_value;  in scalar32_min_max_xor()
12586 		dst_reg->s32_min_value = S32_MIN;  in scalar32_min_max_xor()
12628 	dst_reg->s32_min_value = S32_MIN;  in __scalar32_min_max_lsh()
12673 	if (umin_val == 32 && umax_val == 32 && dst_reg->s32_min_value >= 0)  in __scalar64_min_max_lsh()
12674 		dst_reg->smin_value = (s64)dst_reg->s32_min_value << 32;  in __scalar64_min_max_lsh()
12724 	dst_reg->s32_min_value = S32_MIN;  in scalar32_min_max_rsh()
12777 	dst_reg->s32_min_value = (u32)(((s32)dst_reg->s32_min_value) >> umin_val);  in scalar32_min_max_arsh()
12844 	s32_min_val = src_reg.s32_min_value;  in adjust_scalar_min_max_vals()
13414 		if (reg->s32_min_value > sval)  in is_branch32_taken()
13428 		else if (reg->s32_min_value >= sval)  in is_branch32_taken()
13438 		if (reg->s32_min_value >= sval)  in is_branch32_taken()
13452 		else if (reg->s32_min_value > sval)  in is_branch32_taken()
13728 			true_reg->s32_min_value = max(true_reg->s32_min_value, true_smin);  in reg_set_min_max()
13765 			false_reg->s32_min_value = max(false_reg->s32_min_value, false_smin);  in reg_set_min_max()
15364 	       old->s32_min_value <= cur->s32_min_value &&  in range_within()