334 	if (reg_smin(reg) > S64_MIN) {  in verbose_invalid_scalar()
335 		verbose(env, " smin=%lld", reg_smin(reg));  in verbose_invalid_scalar()
2218 			 max_t(s64, reg_smin(reg), s32_min),  in __mark_reg_s32_range()
3668 	min_off = reg_smin(ptr_reg) + off;  in check_stack_write_var_off()
4051 	min_off = reg_smin(reg) + off;  in check_stack_read_var_off()
4282 			map->value_size, reg_smin(reg) + off, size);  in check_map_access_type()
4288 			map->value_size, reg_smin(reg) + off, size);  in check_map_access_type()
4353 	if (reg_smin(reg) < 0 &&  in check_mem_region_access()
4354 	    (reg_smin(reg) == S64_MIN ||  in check_mem_region_access()
4355 	     (off + reg_smin(reg) != (s64)(s32)(off + reg_smin(reg))) ||  in check_mem_region_access()
4356 	      reg_smin(reg) + off < 0)) {  in check_mem_region_access()
4361 			start = bpf_diag_fmt_s64_sum(env, reg_smin(reg), off);  in check_mem_region_access()
4369 	err = __check_mem_access(env, reg, argno, reg_smin(reg) + off, size,  in check_mem_region_access()
4375 			start = bpf_diag_fmt_s64_sum(env, reg_smin(reg), off);  in check_mem_region_access()
4439 	if (reg_smin(reg) < 0) {  in __check_ptr_off_reg()
4748 		if (reg_smin(reg) + off < p + field->size &&  in check_map_access()
4951 	if (reg_smin(reg) < 0) {  in check_sock_access()
5670 	top_smin_value = ((u64)reg_smin(reg) >> num_bits) << num_bits;  in coerce_reg_to_size_sx()
5678 		init_s64_min = (s8)reg_smin(reg);  in coerce_reg_to_size_sx()
5681 		init_s64_min = (s16)reg_smin(reg);  in coerce_reg_to_size_sx()
5684 		init_s64_min = (s32)reg_smin(reg);  in coerce_reg_to_size_sx()
6217 		    reg_smin(reg) <= -BPF_MAX_VAR_OFF) {  in check_stack_access_within_bounds()
6222 		min_off = reg_smin(reg) + off;  in check_stack_access_within_bounds()
6890 		min_off = reg_smin(reg) + off;  in check_stack_range_initialized()
7086 	if (reg_smin(size_reg) < 0) {  in check_mem_size_reg()
10264 		return range.minval <= reg_smin(reg) && reg_smax(reg) <= range.maxval;  in retval_range_within()
13114 					if (reg_smin(size_reg) < 0)  in check_kfunc_args()
13119 							size_arg, reg_smin(size_reg));  in check_kfunc_args()
14074 	s64 smin = reg_smin(reg);  in check_reg_sane_offset_scalar()
14103 	s64 smin = reg_smin(reg);  in check_reg_sane_offset_ptr()
14145 		ptr_limit = mask_to_left ? reg_smin(ptr_reg) : reg_umax(ptr_reg);  in retrieve_ptr_limit()
14234 	bool off_is_neg = reg_smin(off_reg) < 0;  in sanitize_ptr_alu()
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()
14762 	s64 smin = reg_smin(dst_reg);  in scalar_min_max_mul()
14774 	if (check_mul_overflow(smin, reg_smin(src_reg), &tmp_prod[0]) ||  in scalar_min_max_mul()
14776 	    check_mul_overflow(smax, reg_smin(src_reg), &tmp_prod[2]) ||  in scalar_min_max_mul()
14853 	s64 smin = reg_smin(dst_reg);  in scalar_min_max_sdiv()
14855 	s64 src_val = reg_smin(src_reg); /* non-zero, const divisor */  in scalar_min_max_sdiv()
14966 	s64 src_val = reg_smin(src_reg); /* non-zero, const divisor */  in scalar_min_max_smod()
14986 	if (reg_smin(dst_reg) >= -res_max_abs && reg_smax(dst_reg) <= res_max_abs)  in scalar_min_max_smod()
14990 	if (reg_smin(dst_reg) >= 0) {  in scalar_min_max_smod()
14993 		reg_set_srange64(dst_reg, max(reg_smin(dst_reg), -res_max_abs), 0);  in scalar_min_max_smod()
15287 	reg_set_srange64(dst_reg, reg_smin(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()
16072 	s64 smin1 = is_jmp32 ? (s64)reg_s32_min(reg1) : reg_smin(reg1);  in is_scalar_branch_taken()
16076 	s64 smin2 = is_jmp32 ? (s64)reg_s32_min(reg2) : reg_smin(reg2);  in is_scalar_branch_taken()
16477 			cnum64_intersect_with_srange(&reg2->r64, reg_smin(reg1), S64_MAX);  in regs_refine_cond_op()
16486 			cnum64_intersect_with_srange(&reg2->r64, reg_smin(reg1) + 1, S64_MAX);  in regs_refine_cond_op()