Lines Matching defs:LHS
251 #define __bpf_assert_check(LHS, op, RHS) \
252 _Static_assert(sizeof(&(LHS)), "1st argument must be an lvalue expression"); \
253 _Static_assert(sizeof(LHS) == 8, "Only 8-byte integers are supported\n"); \
254 _Static_assert(__builtin_constant_p(__bpf_assert_signed(LHS)), "internal static assert"); \
257 #define __bpf_assert(LHS, op, cons, RHS, VAL) \
261 : : [lhs] "r"(LHS), [rhs] cons(RHS), [value] "ri"(VAL) : ); \
264 #define __bpf_assert_op_sign(LHS, op, cons, RHS, VAL, supp_sign) \
266 __bpf_assert_check(LHS, op, RHS); \
267 if (__bpf_assert_signed(LHS) && !(supp_sign)) \
268 __bpf_assert(LHS, "s" #op, cons, RHS, VAL); \
270 __bpf_assert(LHS, #op, cons, RHS, VAL); \
273 #define __bpf_assert_op(LHS, op, RHS, VAL, supp_sign) \
277 __bpf_assert_op_sign(LHS, op, "r", rhs_var, VAL, supp_sign); \
279 __bpf_assert_op_sign(LHS, op, "i", RHS, VAL, supp_sign); \
289 #define __bpf_cmp(LHS, OP, PRED, RHS, DEFAULT) \
294 :: [lhs] "r"((short)LHS), [rhs] PRED (RHS) :: l_true); \
305 #define _bpf_cmp(LHS, OP, RHS, UNLIKELY) \
307 typeof(LHS) __lhs = (LHS); \
310 _Static_assert(sizeof(&(LHS)), "1st argument must be an lvalue expression"); \
330 #define bpf_cmp_unlikely(LHS, OP, RHS) _bpf_cmp(LHS, OP, RHS, true)
334 #define bpf_cmp_likely(LHS, OP, RHS) \
338 ret = _bpf_cmp(LHS, !=, RHS, false); \
340 ret = _bpf_cmp(LHS, ==, RHS, false); \
342 ret = _bpf_cmp(LHS, >, RHS, false); \
344 ret = _bpf_cmp(LHS, >=, RHS, false); \
346 ret = _bpf_cmp(LHS, <=, RHS, false); \
348 ret = _bpf_cmp(LHS, <, RHS, false); \
527 * Assert that LHS is in the range [BEG, END] (inclusive of both). This
528 * statement updates the known bounds of LHS during verification. Note
530 * data type of LHS.
536 #define bpf_assert_range(LHS, BEG, END) \
539 barrier_var(LHS); \
540 __bpf_assert_op(LHS, >=, BEG, 0, false); \
541 __bpf_assert_op(LHS, <=, END, 0, false); \
545 * Assert that LHS is in the range [BEG, END] (inclusive of both). This
546 * statement updates the known bounds of LHS during verification. Note
548 * data type of LHS.
554 #define bpf_assert_range_with(LHS, BEG, END, value) \
557 barrier_var(LHS); \
558 __bpf_assert_op(LHS, >=, BEG, value, false); \
559 __bpf_assert_op(LHS, <=, END, value, false); \