Searched refs:res_max_abs (Results 1 – 1 of 1) sorted by relevance
| /linux/kernel/bpf/ |
| H A D | verifier.c | 15095 s32 res_max_abs = src_abs - 1; in scalar32_min_max_smod() local
15101 if (reg_s32_min(dst_reg) >= -res_max_abs && reg_s32_max(dst_reg) <= res_max_abs) in scalar32_min_max_smod()
15106 reg_set_srange32(dst_reg, 0, min(reg_s32_max(dst_reg), res_max_abs)); in scalar32_min_max_smod()
15108 reg_set_srange32(dst_reg, max(reg_s32_min(dst_reg), -res_max_abs), 0); in scalar32_min_max_smod()
15110 reg_set_srange32(dst_reg, -res_max_abs, res_max_abs); in scalar32_min_max_smod()
15134 s64 res_max_abs = src_abs - 1; in scalar_min_max_smod() local
15140 if (reg_smin(dst_reg) >= -res_max_abs && reg_smax(dst_reg) <= res_max_abs) in scalar_min_max_smod()
15145 reg_set_srange64(dst_reg, 0, min(reg_smax(dst_reg), res_max_abs)); in scalar_min_max_smod()
15147 reg_set_srange64(dst_reg, max(reg_smin(dst_reg), -res_max_abs), 0); in scalar_min_max_smod()
15149 reg_set_srange64(dst_reg, -res_max_abs, res_max_abs); in scalar_min_max_smod()
|