338 	if (reg_smax(reg) < S64_MAX) {  in verbose_invalid_scalar()
339 		verbose(env, " smax=%lld", reg_smax(reg));  in verbose_invalid_scalar()
2219 			 min_t(s64, reg_smax(reg), s32_max));  in __mark_reg_s32_range()
3669 	max_off = reg_smax(ptr_reg) + off + size;  in check_stack_write_var_off()
4052 	max_off = reg_smax(reg) + off;  in check_stack_read_var_off()
5669 	top_smax_value = ((u64)reg_smax(reg) >> num_bits) << num_bits;  in coerce_reg_to_size_sx()
5677 		init_s64_max = (s8)reg_smax(reg);  in coerce_reg_to_size_sx()
5680 		init_s64_max = (s16)reg_smax(reg);  in coerce_reg_to_size_sx()
5683 		init_s64_max = (s32)reg_smax(reg);  in coerce_reg_to_size_sx()
6216 		if (reg_smax(reg) >= BPF_MAX_VAR_OFF ||  in check_stack_access_within_bounds()
6223 		max_off = reg_smax(reg) + off + access_size;  in check_stack_access_within_bounds()
6891 		max_off = reg_smax(reg) + off;  in check_stack_range_initialized()
10264 		return range.minval <= reg_smin(reg) && reg_smax(reg) <= range.maxval;  in retval_range_within()
14253 		    (reg_smin(off_reg) < 0) != (reg_smax(off_reg) < 0))  in sanitize_ptr_alu()
14444 	s64 smin_val = reg_smin(off_reg), smax_val = reg_smax(off_reg);  in adjust_ptr_min_max_vals()
14763 	s64 smax = reg_smax(dst_reg);  in scalar_min_max_mul()
14775 	    check_mul_overflow(smin, reg_smax(src_reg), &tmp_prod[1]) ||  in scalar_min_max_mul()
14777 	    check_mul_overflow(smax, reg_smax(src_reg), &tmp_prod[3])) {  in scalar_min_max_mul()
14854 	s64 smax = reg_smax(dst_reg);  in scalar_min_max_sdiv()
14986 	if (reg_smin(dst_reg) >= -res_max_abs && reg_smax(dst_reg) <= res_max_abs)  in scalar_min_max_smod()
14991 		reg_set_srange64(dst_reg, 0, min(reg_smax(dst_reg), res_max_abs));  in scalar_min_max_smod()
14992 	} else if (reg_smax(dst_reg) <= 0) {  in scalar_min_max_smod()
15288 			 reg_smax(dst_reg) >> umin_val);  in scalar_min_max_arsh()
15362 		    && reg_smin(src_reg) == reg_smax(src_reg)  in is_safe_to_compute_dst_reg_range()
15406 	if (reg_smin(dst_reg) == -1 && reg_smax(dst_reg) == 0)  in maybe_fork_scalars()
16073 	s64 smax1 = is_jmp32 ? (s64)reg_s32_max(reg1) : reg_smax(reg1);  in is_scalar_branch_taken()
16077 	s64 smax2 = is_jmp32 ? (s64)reg_s32_max(reg2) : reg_smax(reg2);  in is_scalar_branch_taken()
16476 			cnum64_intersect_with_srange(&reg1->r64, S64_MIN, reg_smax(reg2));  in regs_refine_cond_op()
16485 			cnum64_intersect_with_srange(&reg1->r64, S64_MIN, reg_smax(reg2) - 1);  in regs_refine_cond_op()