Home
last modified time | relevance | path

Searched refs:res_max_abs (Results 1 – 1 of 1) sorted by relevance

/linux/kernel/bpf/
H A Dverifier.c15385 s32 res_max_abs = src_abs - 1; in scalar32_min_max_smod() local
15391 if (*dst_smin >= -res_max_abs && *dst_smax <= res_max_abs) in scalar32_min_max_smod()
15397 *dst_smax = min(*dst_smax, res_max_abs); in scalar32_min_max_smod()
15400 *dst_smin = max(*dst_smin, -res_max_abs); in scalar32_min_max_smod()
15402 *dst_smin = -res_max_abs; in scalar32_min_max_smod()
15403 *dst_smax = res_max_abs; in scalar32_min_max_smod()
15431 s64 res_max_abs = src_abs - 1; in scalar_min_max_smod() local
15437 if (*dst_smin >= -res_max_abs && *dst_smax <= res_max_abs) in scalar_min_max_smod()
15443 *dst_smax = min(*dst_smax, res_max_abs); in scalar_min_max_smod()
15446 *dst_smin = max(*dst_smin, -res_max_abs); in scalar_min_max_smod()
[all …]