1980 	reg->s32_max_value = (s32)imm;  in ___mark_reg_known()
2002 	reg->s32_max_value = (s32)imm;  in __mark_reg32_known()
2132 	reg->s32_max_value = S32_MAX;  in __mark_reg_unbounded()
2148 	reg->s32_max_value = S32_MAX;  in __mark_reg32_unbounded()
2161 	reg->s32_max_value = min_t(s32, reg->s32_max_value,  in __update_reg32_bounds()
2220 			reg->s32_max_value = min_t(s32, reg->s32_max_value, (s32)reg->umax_value);  in __reg32_deduce_bounds()
2232 			reg->s32_max_value = min_t(s32, reg->s32_max_value, (s32)reg->smax_value);  in __reg32_deduce_bounds()
2251 		reg->s32_max_value = min_t(s32, reg->s32_max_value, (s32)reg->umax_value);  in __reg32_deduce_bounds()
2256 		reg->s32_max_value = min_t(s32, reg->s32_max_value, (s32)reg->smax_value);  in __reg32_deduce_bounds()
2263 		reg->s32_max_value = min_t(s32, reg->s32_max_value, reg->u32_max_value);  in __reg32_deduce_bounds()
2269 	if ((u32)reg->s32_min_value <= (u32)reg->s32_max_value) {  in __reg32_deduce_bounds()
2271 		reg->u32_max_value = min_t(u32, reg->s32_max_value, reg->u32_max_value);  in __reg32_deduce_bounds()
2387 	if ((u32)reg->s32_min_value <= (u32)reg->s32_max_value) {  in __reg_deduce_mixed_bounds()
2390 		new_umax = (reg->umax_value & ~0xffffffffULL) | (u32)reg->s32_max_value;  in __reg_deduce_mixed_bounds()
2395 		new_smax = (reg->smax_value & ~0xffffffffULL) | (u32)reg->s32_max_value;  in __reg_deduce_mixed_bounds()
2431 		reg->smax_value = reg->s32_max_value;  in __reg_deduce_mixed_bounds()
2433 		reg->umax_value = reg->s32_max_value;  in __reg_deduce_mixed_bounds()
2483 	    reg->s32_min_value > reg->s32_max_value) {  in reg_bounds_sanity_check()
2504 		    reg->s32_min_value != sval32 || reg->s32_max_value != sval32) {  in reg_bounds_sanity_check()
2517 		reg->s32_min_value, reg->s32_max_value,  in reg_bounds_sanity_check()
2540 	    __reg32_bound_s64(reg->s32_max_value)) {  in __reg_assign_32_into_64()
2542 		reg->smax_value = reg->s32_max_value;  in __reg_assign_32_into_64()
2598 	reg->s32_max_value = min_t(s32, reg->s32_max_value, s32_max);  in __mark_reg_s32_range()
6649 		reg->smax_value = reg->s32_max_value = S8_MAX;  in set_sext64_default_val()
6652 		reg->smax_value = reg->s32_max_value = S16_MAX;  in set_sext64_default_val()
6656 		reg->smax_value = reg->s32_max_value = S32_MAX;  in set_sext64_default_val()
6683 		reg->s32_max_value = reg->s32_min_value = u64_cval;  in coerce_reg_to_size_sx()
6712 		reg->s32_max_value = reg->smax_value = s64_max;  in coerce_reg_to_size_sx()
6727 		reg->s32_max_value = S8_MAX;  in set_sext32_default_val()
6731 		reg->s32_max_value = S16_MAX;  in set_sext32_default_val()
6752 		reg->s32_min_value = reg->s32_max_value = u32_val;  in coerce_subreg_to_size_sx()
6757 	top_smax_value = ((u32)reg->s32_max_value >> num_bits) << num_bits;  in coerce_subreg_to_size_sx()
6765 		init_s32_max = (s8)reg->s32_max_value;  in coerce_subreg_to_size_sx()
6769 		init_s32_max = (s16)reg->s32_max_value;  in coerce_subreg_to_size_sx()
6777 		reg->s32_max_value = s32_max;  in coerce_subreg_to_size_sx()
10535 		return range.minval <= reg->s32_min_value && reg->s32_max_value <= range.maxval;  in retval_range_within()
10648 		ret_reg->s32_max_value = meta->msize_max_value;  in do_refine_retval_range()
10657 		ret_reg->s32_max_value = nr_cpu_ids - 1;  in do_refine_retval_range()
14107 	s32 *dst_smax = &dst_reg->s32_max_value;  in scalar32_min_max_add()
14112 	    check_add_overflow(*dst_smax, src_reg->s32_max_value, dst_smax)) {  in scalar32_min_max_add()
14147 	s32 *dst_smax = &dst_reg->s32_max_value;  in scalar32_min_max_sub()
14151 	if (check_sub_overflow(*dst_smin, src_reg->s32_max_value, dst_smin) ||  in scalar32_min_max_sub()
14197 	s32 *dst_smax = &dst_reg->s32_max_value;  in scalar32_min_max_mul()
14209 	    check_mul_overflow(*dst_smin, src_reg->s32_max_value, &tmp_prod[1]) ||  in scalar32_min_max_mul()
14211 	    check_mul_overflow(*dst_smax, src_reg->s32_max_value, &tmp_prod[3])) {  in scalar32_min_max_mul()
14273 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_and()
14276 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_and()
14336 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_or()
14339 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_or()
14396 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_xor()
14399 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_xor()
14440 	dst_reg->s32_max_value = S32_MAX;  in __scalar32_min_max_lsh()
14479 	if (umin_val == 32 && umax_val == 32 && dst_reg->s32_max_value >= 0)  in __scalar64_min_max_lsh()
14480 		dst_reg->smax_value = (s64)dst_reg->s32_max_value << 32;  in __scalar64_min_max_lsh()
14536 	dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_rsh()
14589 	dst_reg->s32_max_value = (u32)(((s32)dst_reg->s32_max_value) >> umin_val);  in scalar32_min_max_arsh()
14638 		    && src_reg->s32_min_value == src_reg->s32_max_value  in is_safe_to_compute_dst_reg_range()
15235 	s64 smax1 = is_jmp32 ? (s64)reg1->s32_max_value : reg1->smax_value;  in is_scalar_branch_taken()
15239 	s64 smax2 = is_jmp32 ? (s64)reg2->s32_max_value : reg2->smax_value;  in is_scalar_branch_taken()
15261 			if (reg1->s32_min_value > reg2->s32_max_value ||  in is_scalar_branch_taken()
15262 			    reg1->s32_max_value < reg2->s32_min_value)  in is_scalar_branch_taken()
15285 			if (reg1->s32_min_value > reg2->s32_max_value ||  in is_scalar_branch_taken()
15286 			    reg1->s32_max_value < reg2->s32_min_value)  in is_scalar_branch_taken()
15516 			reg1->s32_max_value = min(reg1->s32_max_value, reg2->s32_max_value);  in regs_refine_cond_op()
15520 			reg2->s32_max_value = reg1->s32_max_value;  in regs_refine_cond_op()
15565 			if (reg1->s32_max_value == (s32)val)  in regs_refine_cond_op()
15566 				reg1->s32_max_value--;  in regs_refine_cond_op()
15636 			reg1->s32_max_value = min(reg1->s32_max_value, reg2->s32_max_value);  in regs_refine_cond_op()
15645 			reg1->s32_max_value = min(reg1->s32_max_value, reg2->s32_max_value - 1);  in regs_refine_cond_op()
17687 	       old->s32_max_value >= cur->s32_max_value;  in range_within()