| /* 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 */ |