| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164 |
- /* SPDX-License-Identifier: GPL-2.0 */
- /*
- * The interface that a back-end should provide to bpf_jit_core.c.
- *
- * Copyright (c) 2024 Synopsys Inc.
- * Author: Shahab Vahedi <shahab@synopsys.com>
- */
- #ifndef _ARC_BPF_JIT_H
- #define _ARC_BPF_JIT_H
- #include <linux/bpf.h>
- #include <linux/filter.h>
- /* Print debug info and assert. */
- //#define ARC_BPF_JIT_DEBUG
- /* Determine the address type of the target. */
- #ifdef CONFIG_ISA_ARCV2
- #define ARC_ADDR u32
- #endif
- /*
- * For the translation of some BPF instructions, a temporary register
- * might be needed for some interim data.
- */
- #define JIT_REG_TMP MAX_BPF_JIT_REG
- /*
- * Buffer access: If buffer "b" is not NULL, advance by "n" bytes.
- *
- * This macro must be used in any place that potentially requires a
- * "buf + len". This way, we make sure that the "buf" argument for
- * the underlying "arc_*(buf, ...)" ends up as NULL instead of something
- * like "0+4" or "0+8", etc. Those "arc_*()" functions check their "buf"
- * value to decide if instructions should be emitted or not.
- */
- #define BUF(b, n) (((b) != NULL) ? ((b) + (n)) : (b))
- /************** Functions that the back-end must provide **************/
- /* Extension for 32-bit operations. */
- u8 zext(u8 *buf, u8 rd);
- /***** Moves *****/
- u8 mov_r32(u8 *buf, u8 rd, u8 rs, u8 sign_ext);
- u8 mov_r32_i32(u8 *buf, u8 reg, s32 imm);
- u8 mov_r64(u8 *buf, u8 rd, u8 rs, u8 sign_ext);
- u8 mov_r64_i32(u8 *buf, u8 reg, s32 imm);
- u8 mov_r64_i64(u8 *buf, u8 reg, u32 lo, u32 hi);
- /***** Loads and stores *****/
- u8 load_r(u8 *buf, u8 rd, u8 rs, s16 off, u8 size, bool sign_ext);
- u8 store_r(u8 *buf, u8 rd, u8 rs, s16 off, u8 size);
- u8 store_i(u8 *buf, s32 imm, u8 rd, s16 off, u8 size);
- /***** Addition *****/
- u8 add_r32(u8 *buf, u8 rd, u8 rs);
- u8 add_r32_i32(u8 *buf, u8 rd, s32 imm);
- u8 add_r64(u8 *buf, u8 rd, u8 rs);
- u8 add_r64_i32(u8 *buf, u8 rd, s32 imm);
- /***** Subtraction *****/
- u8 sub_r32(u8 *buf, u8 rd, u8 rs);
- u8 sub_r32_i32(u8 *buf, u8 rd, s32 imm);
- u8 sub_r64(u8 *buf, u8 rd, u8 rs);
- u8 sub_r64_i32(u8 *buf, u8 rd, s32 imm);
- /***** Multiplication *****/
- u8 mul_r32(u8 *buf, u8 rd, u8 rs);
- u8 mul_r32_i32(u8 *buf, u8 rd, s32 imm);
- u8 mul_r64(u8 *buf, u8 rd, u8 rs);
- u8 mul_r64_i32(u8 *buf, u8 rd, s32 imm);
- /***** Division *****/
- u8 div_r32(u8 *buf, u8 rd, u8 rs, bool sign_ext);
- u8 div_r32_i32(u8 *buf, u8 rd, s32 imm, bool sign_ext);
- /***** Remainder *****/
- u8 mod_r32(u8 *buf, u8 rd, u8 rs, bool sign_ext);
- u8 mod_r32_i32(u8 *buf, u8 rd, s32 imm, bool sign_ext);
- /***** Bitwise AND *****/
- u8 and_r32(u8 *buf, u8 rd, u8 rs);
- u8 and_r32_i32(u8 *buf, u8 rd, s32 imm);
- u8 and_r64(u8 *buf, u8 rd, u8 rs);
- u8 and_r64_i32(u8 *buf, u8 rd, s32 imm);
- /***** Bitwise OR *****/
- u8 or_r32(u8 *buf, u8 rd, u8 rs);
- u8 or_r32_i32(u8 *buf, u8 rd, s32 imm);
- u8 or_r64(u8 *buf, u8 rd, u8 rs);
- u8 or_r64_i32(u8 *buf, u8 rd, s32 imm);
- /***** Bitwise XOR *****/
- u8 xor_r32(u8 *buf, u8 rd, u8 rs);
- u8 xor_r32_i32(u8 *buf, u8 rd, s32 imm);
- u8 xor_r64(u8 *buf, u8 rd, u8 rs);
- u8 xor_r64_i32(u8 *buf, u8 rd, s32 imm);
- /***** Bitwise Negate *****/
- u8 neg_r32(u8 *buf, u8 r);
- u8 neg_r64(u8 *buf, u8 r);
- /***** Bitwise left shift *****/
- u8 lsh_r32(u8 *buf, u8 rd, u8 rs);
- u8 lsh_r32_i32(u8 *buf, u8 rd, u8 imm);
- u8 lsh_r64(u8 *buf, u8 rd, u8 rs);
- u8 lsh_r64_i32(u8 *buf, u8 rd, s32 imm);
- /***** Bitwise right shift (logical) *****/
- u8 rsh_r32(u8 *buf, u8 rd, u8 rs);
- u8 rsh_r32_i32(u8 *buf, u8 rd, u8 imm);
- u8 rsh_r64(u8 *buf, u8 rd, u8 rs);
- u8 rsh_r64_i32(u8 *buf, u8 rd, s32 imm);
- /***** Bitwise right shift (arithmetic) *****/
- u8 arsh_r32(u8 *buf, u8 rd, u8 rs);
- u8 arsh_r32_i32(u8 *buf, u8 rd, u8 imm);
- u8 arsh_r64(u8 *buf, u8 rd, u8 rs);
- u8 arsh_r64_i32(u8 *buf, u8 rd, s32 imm);
- /***** Frame related *****/
- u32 mask_for_used_regs(u8 bpf_reg, bool is_call);
- u8 arc_prologue(u8 *buf, u32 usage, u16 frame_size);
- u8 arc_epilogue(u8 *buf, u32 usage, u16 frame_size);
- /***** Jumps *****/
- /*
- * Different sorts of conditions (ARC enum as opposed to BPF_*).
- *
- * Do not change the order of enums here. ARC_CC_SLE+1 is used
- * to determine the number of JCCs.
- */
- enum ARC_CC {
- ARC_CC_UGT = 0, /* unsigned > */
- ARC_CC_UGE, /* unsigned >= */
- ARC_CC_ULT, /* unsigned < */
- ARC_CC_ULE, /* unsigned <= */
- ARC_CC_SGT, /* signed > */
- ARC_CC_SGE, /* signed >= */
- ARC_CC_SLT, /* signed < */
- ARC_CC_SLE, /* signed <= */
- ARC_CC_AL, /* always */
- ARC_CC_EQ, /* == */
- ARC_CC_NE, /* != */
- ARC_CC_SET, /* test */
- ARC_CC_LAST
- };
- /*
- * A few notes:
- *
- * - check_jmp_*() are prerequisites before calling the gen_jmp_*().
- * They return "true" if the jump is possible and "false" otherwise.
- *
- * - The notion of "*_off" is to emphasize that these parameters are
- * merely offsets in the JIT stream and not absolute addresses. One
- * can look at them as addresses if the JIT code would start from
- * address 0x0000_0000. Nonetheless, since the buffer address for the
- * JIT is on a word-aligned address, this works and actually makes
- * things simpler (offsets are in the range of u32 which is more than
- * enough).
- */
- bool check_jmp_32(u32 curr_off, u32 targ_off, u8 cond);
- bool check_jmp_64(u32 curr_off, u32 targ_off, u8 cond);
- u8 gen_jmp_32(u8 *buf, u8 rd, u8 rs, u8 cond, u32 c_off, u32 t_off);
- u8 gen_jmp_64(u8 *buf, u8 rd, u8 rs, u8 cond, u32 c_off, u32 t_off);
- /***** Miscellaneous *****/
- u8 gen_func_call(u8 *buf, ARC_ADDR func_addr, bool external_func);
- u8 arc_to_bpf_return(u8 *buf);
- /*
- * - Perform byte swaps on "rd" based on the "size".
- * - If "force" is set, do it unconditionally. Otherwise, consider the
- * desired "endian"ness and the host endianness.
- * - For data "size"s up to 32 bits, perform a zero-extension if asked
- * by the "do_zext" boolean.
- */
- u8 gen_swap(u8 *buf, u8 rd, u8 size, u8 endian, bool force, bool do_zext);
- #endif /* _ARC_BPF_JIT_H */
|