Searched refs:smin (Results 1 – 3 of 3) sorted by relevance
| /linux/include/linux/ |
| H A D | bpf_verifier.h | 209 static inline void reg_set_srange32(struct bpf_reg_state *reg, s32 smin, s32 smax) in reg_set_srange32() argument
211 reg->r32 = cnum32_from_srange(smin, smax); in reg_set_srange32()
219 static inline void reg_set_srange64(struct bpf_reg_state *reg, s64 smin, s64 smax) in reg_set_srange64() argument
221 reg->r64 = cnum64_from_srange(smin, smax); in reg_set_srange64()
|
| /linux/tools/testing/selftests/bpf/prog_tests/ |
| H A D | reg_bounds.c | 448 * sub-ranges: [0, smin] and [smax, -1].
452 * ((x ∩ [smin,-1]) ∩ (y ∩ [smin,-1]))
460 u64 smax, smin, neg_one; in range_refine_in_halves() local
464 smin = (u64)(u32)S32_MIN; in range_refine_in_halves()
468 smin = (u64)S64_MIN; in range_refine_in_halves()
472 x_neg = range_intersection(x_t, x, range(x_t, smin, neg_one)); in range_refine_in_halves()
474 y_neg = range_intersection(y_t, y, range(y_t, smin, neg_one)); in range_refine_in_halves()
947 * comparisons (i.e., initialize umin/umax or smin/smax directly) in load_range_cmp_prog()
1142 * - smin in parse_reg_state()
[all...] |
| /linux/kernel/bpf/ |
| H A D | verifier.c | 14074 s64 smin = reg_smin(reg); in check_reg_sane_offset_scalar() local
14082 if (smin == S64_MIN) { in check_reg_sane_offset_scalar()
14088 if (smin >= BPF_MAX_VAR_OFF || smin <= -BPF_MAX_VAR_OFF) { in check_reg_sane_offset_scalar()
14090 smin, reg_type_str(env, type)); in check_reg_sane_offset_scalar()
14103 s64 smin = reg_smin(reg); in check_reg_sane_offset_ptr() local
14111 if (smin >= BPF_MAX_VAR_OFF || smin <= -BPF_MAX_VAR_OFF) { in check_reg_sane_offset_ptr()
14113 reg_type_str(env, type), smin); in check_reg_sane_offset_ptr()
14731 s32 smin = reg_s32_min(dst_reg); in scalar32_min_max_mul() local
14743 if (check_mul_overflow(smin, reg_s32_min(src_reg), &tmp_prod[0]) || in scalar32_min_max_mul()
14744 check_mul_overflow(smin, reg_s32_max(src_reg), &tmp_prod[1]) || in scalar32_min_max_mul()
[all …]
|