916 				if (reg->s32_max_value != reg->smax_value &&  in print_verifier_state()
917 				    reg->s32_max_value != S32_MAX)  in print_verifier_state()
918 					verbose_a("s32_max=%d", (int)(reg->s32_max_value));  in print_verifier_state()
1344 	reg->s32_max_value = (s32)imm;  in ___mark_reg_known()
1364 	reg->s32_max_value = (s32)imm;  in __mark_reg32_known()
1457 	reg->s32_max_value = S32_MAX;  in __mark_reg_unbounded()
1473 	reg->s32_max_value = S32_MAX;  in __mark_reg32_unbounded()
1486 	reg->s32_max_value = min_t(s32, reg->s32_max_value,  in __update_reg32_bounds()
1520 	if (reg->s32_min_value >= 0 || reg->s32_max_value < 0) {  in __reg32_deduce_bounds()
1523 		reg->s32_max_value = reg->u32_max_value =  in __reg32_deduce_bounds()
1524 			min_t(u32, reg->s32_max_value, reg->u32_max_value);  in __reg32_deduce_bounds()
1535 		reg->s32_max_value = reg->u32_max_value =  in __reg32_deduce_bounds()
1536 			min_t(u32, reg->s32_max_value, reg->u32_max_value);  in __reg32_deduce_bounds()
1543 		reg->s32_max_value = reg->u32_max_value;  in __reg32_deduce_bounds()
1630 	    __reg32_bound_s64(reg->s32_max_value)) {  in __reg_assign_32_into_64()
1632 		reg->smax_value = reg->s32_max_value;  in __reg_assign_32_into_64()
1675 		reg->s32_max_value = (s32)reg->smax_value;  in __reg_combine_64_into_32()
2996 	       reg->s32_min_value == S32_MIN && reg->s32_max_value == S32_MAX &&  in __is_scalar_unbounded()
7062 	ret_reg->s32_max_value = meta->msize_max_value;  in do_refine_retval_range()
8450 	s32 smax_val = src_reg->s32_max_value;  in scalar32_min_max_add()
8455 	    signed_add32_overflows(dst_reg->s32_max_value, smax_val)) {  in scalar32_min_max_add()
8457 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_add()
8460 		dst_reg->s32_max_value += smax_val;  in scalar32_min_max_add()
8502 	s32 smax_val = src_reg->s32_max_value;  in scalar32_min_max_sub()
8507 	    signed_sub32_overflows(dst_reg->s32_max_value, smin_val)) {  in scalar32_min_max_sub()
8510 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_sub()
8513 		dst_reg->s32_max_value -= smin_val;  in scalar32_min_max_sub()
8579 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_mul()
8582 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_mul()
8642 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_and()
8648 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_and()
8711 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_or()
8717 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_or()
8778 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_xor()
8781 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_xor()
8823 	dst_reg->s32_max_value = S32_MAX;  in __scalar32_min_max_lsh()
8862 	if (umin_val == 32 && umax_val == 32 && dst_reg->s32_max_value >= 0)  in __scalar64_min_max_lsh()
8863 		dst_reg->smax_value = (s64)dst_reg->s32_max_value << 32;  in __scalar64_min_max_lsh()
8919 	dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_rsh()
8972 	dst_reg->s32_max_value = (u32)(((s32)dst_reg->s32_max_value) >> umin_val);  in scalar32_min_max_arsh()
9039 	s32_max_val = src_reg.s32_max_value;  in adjust_scalar_min_max_vals()
9545 		else if (reg->s32_max_value <= sval)  in is_branch32_taken()
9555 		if (reg->s32_max_value < sval)  in is_branch32_taken()
9569 		else if (reg->s32_max_value < sval)  in is_branch32_taken()
9579 		if (reg->s32_max_value <= sval)  in is_branch32_taken()
9852 			false_reg->s32_max_value = min(false_reg->s32_max_value, false_smax);  in reg_set_min_max()
9891 			true_reg->s32_max_value = min(true_reg->s32_max_value, true_smax);  in reg_set_min_max()
11390 	       old->s32_max_value >= cur->s32_max_value;  in range_within()