xref: /OK3568_Linux_fs/kernel/samples/bpf/bpf_insn.h (revision 4882a59341e53eb6f0b4789bf948001014eff981)
1*4882a593Smuzhiyun /* SPDX-License-Identifier: GPL-2.0 */
2*4882a593Smuzhiyun /* eBPF instruction mini library */
3*4882a593Smuzhiyun #ifndef __BPF_INSN_H
4*4882a593Smuzhiyun #define __BPF_INSN_H
5*4882a593Smuzhiyun 
6*4882a593Smuzhiyun struct bpf_insn;
7*4882a593Smuzhiyun 
8*4882a593Smuzhiyun /* ALU ops on registers, bpf_add|sub|...: dst_reg += src_reg */
9*4882a593Smuzhiyun 
10*4882a593Smuzhiyun #define BPF_ALU64_REG(OP, DST, SRC)				\
11*4882a593Smuzhiyun 	((struct bpf_insn) {					\
12*4882a593Smuzhiyun 		.code  = BPF_ALU64 | BPF_OP(OP) | BPF_X,	\
13*4882a593Smuzhiyun 		.dst_reg = DST,					\
14*4882a593Smuzhiyun 		.src_reg = SRC,					\
15*4882a593Smuzhiyun 		.off   = 0,					\
16*4882a593Smuzhiyun 		.imm   = 0 })
17*4882a593Smuzhiyun 
18*4882a593Smuzhiyun #define BPF_ALU32_REG(OP, DST, SRC)				\
19*4882a593Smuzhiyun 	((struct bpf_insn) {					\
20*4882a593Smuzhiyun 		.code  = BPF_ALU | BPF_OP(OP) | BPF_X,		\
21*4882a593Smuzhiyun 		.dst_reg = DST,					\
22*4882a593Smuzhiyun 		.src_reg = SRC,					\
23*4882a593Smuzhiyun 		.off   = 0,					\
24*4882a593Smuzhiyun 		.imm   = 0 })
25*4882a593Smuzhiyun 
26*4882a593Smuzhiyun /* ALU ops on immediates, bpf_add|sub|...: dst_reg += imm32 */
27*4882a593Smuzhiyun 
28*4882a593Smuzhiyun #define BPF_ALU64_IMM(OP, DST, IMM)				\
29*4882a593Smuzhiyun 	((struct bpf_insn) {					\
30*4882a593Smuzhiyun 		.code  = BPF_ALU64 | BPF_OP(OP) | BPF_K,	\
31*4882a593Smuzhiyun 		.dst_reg = DST,					\
32*4882a593Smuzhiyun 		.src_reg = 0,					\
33*4882a593Smuzhiyun 		.off   = 0,					\
34*4882a593Smuzhiyun 		.imm   = IMM })
35*4882a593Smuzhiyun 
36*4882a593Smuzhiyun #define BPF_ALU32_IMM(OP, DST, IMM)				\
37*4882a593Smuzhiyun 	((struct bpf_insn) {					\
38*4882a593Smuzhiyun 		.code  = BPF_ALU | BPF_OP(OP) | BPF_K,		\
39*4882a593Smuzhiyun 		.dst_reg = DST,					\
40*4882a593Smuzhiyun 		.src_reg = 0,					\
41*4882a593Smuzhiyun 		.off   = 0,					\
42*4882a593Smuzhiyun 		.imm   = IMM })
43*4882a593Smuzhiyun 
44*4882a593Smuzhiyun /* Short form of mov, dst_reg = src_reg */
45*4882a593Smuzhiyun 
46*4882a593Smuzhiyun #define BPF_MOV64_REG(DST, SRC)					\
47*4882a593Smuzhiyun 	((struct bpf_insn) {					\
48*4882a593Smuzhiyun 		.code  = BPF_ALU64 | BPF_MOV | BPF_X,		\
49*4882a593Smuzhiyun 		.dst_reg = DST,					\
50*4882a593Smuzhiyun 		.src_reg = SRC,					\
51*4882a593Smuzhiyun 		.off   = 0,					\
52*4882a593Smuzhiyun 		.imm   = 0 })
53*4882a593Smuzhiyun 
54*4882a593Smuzhiyun #define BPF_MOV32_REG(DST, SRC)					\
55*4882a593Smuzhiyun 	((struct bpf_insn) {					\
56*4882a593Smuzhiyun 		.code  = BPF_ALU | BPF_MOV | BPF_X,		\
57*4882a593Smuzhiyun 		.dst_reg = DST,					\
58*4882a593Smuzhiyun 		.src_reg = SRC,					\
59*4882a593Smuzhiyun 		.off   = 0,					\
60*4882a593Smuzhiyun 		.imm   = 0 })
61*4882a593Smuzhiyun 
62*4882a593Smuzhiyun /* Short form of mov, dst_reg = imm32 */
63*4882a593Smuzhiyun 
64*4882a593Smuzhiyun #define BPF_MOV64_IMM(DST, IMM)					\
65*4882a593Smuzhiyun 	((struct bpf_insn) {					\
66*4882a593Smuzhiyun 		.code  = BPF_ALU64 | BPF_MOV | BPF_K,		\
67*4882a593Smuzhiyun 		.dst_reg = DST,					\
68*4882a593Smuzhiyun 		.src_reg = 0,					\
69*4882a593Smuzhiyun 		.off   = 0,					\
70*4882a593Smuzhiyun 		.imm   = IMM })
71*4882a593Smuzhiyun 
72*4882a593Smuzhiyun #define BPF_MOV32_IMM(DST, IMM)					\
73*4882a593Smuzhiyun 	((struct bpf_insn) {					\
74*4882a593Smuzhiyun 		.code  = BPF_ALU | BPF_MOV | BPF_K,		\
75*4882a593Smuzhiyun 		.dst_reg = DST,					\
76*4882a593Smuzhiyun 		.src_reg = 0,					\
77*4882a593Smuzhiyun 		.off   = 0,					\
78*4882a593Smuzhiyun 		.imm   = IMM })
79*4882a593Smuzhiyun 
80*4882a593Smuzhiyun /* BPF_LD_IMM64 macro encodes single 'load 64-bit immediate' insn */
81*4882a593Smuzhiyun #define BPF_LD_IMM64(DST, IMM)					\
82*4882a593Smuzhiyun 	BPF_LD_IMM64_RAW(DST, 0, IMM)
83*4882a593Smuzhiyun 
84*4882a593Smuzhiyun #define BPF_LD_IMM64_RAW(DST, SRC, IMM)				\
85*4882a593Smuzhiyun 	((struct bpf_insn) {					\
86*4882a593Smuzhiyun 		.code  = BPF_LD | BPF_DW | BPF_IMM,		\
87*4882a593Smuzhiyun 		.dst_reg = DST,					\
88*4882a593Smuzhiyun 		.src_reg = SRC,					\
89*4882a593Smuzhiyun 		.off   = 0,					\
90*4882a593Smuzhiyun 		.imm   = (__u32) (IMM) }),			\
91*4882a593Smuzhiyun 	((struct bpf_insn) {					\
92*4882a593Smuzhiyun 		.code  = 0, /* zero is reserved opcode */	\
93*4882a593Smuzhiyun 		.dst_reg = 0,					\
94*4882a593Smuzhiyun 		.src_reg = 0,					\
95*4882a593Smuzhiyun 		.off   = 0,					\
96*4882a593Smuzhiyun 		.imm   = ((__u64) (IMM)) >> 32 })
97*4882a593Smuzhiyun 
98*4882a593Smuzhiyun #ifndef BPF_PSEUDO_MAP_FD
99*4882a593Smuzhiyun # define BPF_PSEUDO_MAP_FD	1
100*4882a593Smuzhiyun #endif
101*4882a593Smuzhiyun 
102*4882a593Smuzhiyun /* pseudo BPF_LD_IMM64 insn used to refer to process-local map_fd */
103*4882a593Smuzhiyun #define BPF_LD_MAP_FD(DST, MAP_FD)				\
104*4882a593Smuzhiyun 	BPF_LD_IMM64_RAW(DST, BPF_PSEUDO_MAP_FD, MAP_FD)
105*4882a593Smuzhiyun 
106*4882a593Smuzhiyun 
107*4882a593Smuzhiyun /* Direct packet access, R0 = *(uint *) (skb->data + imm32) */
108*4882a593Smuzhiyun 
109*4882a593Smuzhiyun #define BPF_LD_ABS(SIZE, IMM)					\
110*4882a593Smuzhiyun 	((struct bpf_insn) {					\
111*4882a593Smuzhiyun 		.code  = BPF_LD | BPF_SIZE(SIZE) | BPF_ABS,	\
112*4882a593Smuzhiyun 		.dst_reg = 0,					\
113*4882a593Smuzhiyun 		.src_reg = 0,					\
114*4882a593Smuzhiyun 		.off   = 0,					\
115*4882a593Smuzhiyun 		.imm   = IMM })
116*4882a593Smuzhiyun 
117*4882a593Smuzhiyun /* Memory load, dst_reg = *(uint *) (src_reg + off16) */
118*4882a593Smuzhiyun 
119*4882a593Smuzhiyun #define BPF_LDX_MEM(SIZE, DST, SRC, OFF)			\
120*4882a593Smuzhiyun 	((struct bpf_insn) {					\
121*4882a593Smuzhiyun 		.code  = BPF_LDX | BPF_SIZE(SIZE) | BPF_MEM,	\
122*4882a593Smuzhiyun 		.dst_reg = DST,					\
123*4882a593Smuzhiyun 		.src_reg = SRC,					\
124*4882a593Smuzhiyun 		.off   = OFF,					\
125*4882a593Smuzhiyun 		.imm   = 0 })
126*4882a593Smuzhiyun 
127*4882a593Smuzhiyun /* Memory store, *(uint *) (dst_reg + off16) = src_reg */
128*4882a593Smuzhiyun 
129*4882a593Smuzhiyun #define BPF_STX_MEM(SIZE, DST, SRC, OFF)			\
130*4882a593Smuzhiyun 	((struct bpf_insn) {					\
131*4882a593Smuzhiyun 		.code  = BPF_STX | BPF_SIZE(SIZE) | BPF_MEM,	\
132*4882a593Smuzhiyun 		.dst_reg = DST,					\
133*4882a593Smuzhiyun 		.src_reg = SRC,					\
134*4882a593Smuzhiyun 		.off   = OFF,					\
135*4882a593Smuzhiyun 		.imm   = 0 })
136*4882a593Smuzhiyun 
137*4882a593Smuzhiyun /* Atomic memory add, *(uint *)(dst_reg + off16) += src_reg */
138*4882a593Smuzhiyun 
139*4882a593Smuzhiyun #define BPF_STX_XADD(SIZE, DST, SRC, OFF)			\
140*4882a593Smuzhiyun 	((struct bpf_insn) {					\
141*4882a593Smuzhiyun 		.code  = BPF_STX | BPF_SIZE(SIZE) | BPF_XADD,	\
142*4882a593Smuzhiyun 		.dst_reg = DST,					\
143*4882a593Smuzhiyun 		.src_reg = SRC,					\
144*4882a593Smuzhiyun 		.off   = OFF,					\
145*4882a593Smuzhiyun 		.imm   = 0 })
146*4882a593Smuzhiyun 
147*4882a593Smuzhiyun /* Memory store, *(uint *) (dst_reg + off16) = imm32 */
148*4882a593Smuzhiyun 
149*4882a593Smuzhiyun #define BPF_ST_MEM(SIZE, DST, OFF, IMM)				\
150*4882a593Smuzhiyun 	((struct bpf_insn) {					\
151*4882a593Smuzhiyun 		.code  = BPF_ST | BPF_SIZE(SIZE) | BPF_MEM,	\
152*4882a593Smuzhiyun 		.dst_reg = DST,					\
153*4882a593Smuzhiyun 		.src_reg = 0,					\
154*4882a593Smuzhiyun 		.off   = OFF,					\
155*4882a593Smuzhiyun 		.imm   = IMM })
156*4882a593Smuzhiyun 
157*4882a593Smuzhiyun /* Conditional jumps against registers, if (dst_reg 'op' src_reg) goto pc + off16 */
158*4882a593Smuzhiyun 
159*4882a593Smuzhiyun #define BPF_JMP_REG(OP, DST, SRC, OFF)				\
160*4882a593Smuzhiyun 	((struct bpf_insn) {					\
161*4882a593Smuzhiyun 		.code  = BPF_JMP | BPF_OP(OP) | BPF_X,		\
162*4882a593Smuzhiyun 		.dst_reg = DST,					\
163*4882a593Smuzhiyun 		.src_reg = SRC,					\
164*4882a593Smuzhiyun 		.off   = OFF,					\
165*4882a593Smuzhiyun 		.imm   = 0 })
166*4882a593Smuzhiyun 
167*4882a593Smuzhiyun /* Like BPF_JMP_REG, but with 32-bit wide operands for comparison. */
168*4882a593Smuzhiyun 
169*4882a593Smuzhiyun #define BPF_JMP32_REG(OP, DST, SRC, OFF)			\
170*4882a593Smuzhiyun 	((struct bpf_insn) {					\
171*4882a593Smuzhiyun 		.code  = BPF_JMP32 | BPF_OP(OP) | BPF_X,	\
172*4882a593Smuzhiyun 		.dst_reg = DST,					\
173*4882a593Smuzhiyun 		.src_reg = SRC,					\
174*4882a593Smuzhiyun 		.off   = OFF,					\
175*4882a593Smuzhiyun 		.imm   = 0 })
176*4882a593Smuzhiyun 
177*4882a593Smuzhiyun /* Conditional jumps against immediates, if (dst_reg 'op' imm32) goto pc + off16 */
178*4882a593Smuzhiyun 
179*4882a593Smuzhiyun #define BPF_JMP_IMM(OP, DST, IMM, OFF)				\
180*4882a593Smuzhiyun 	((struct bpf_insn) {					\
181*4882a593Smuzhiyun 		.code  = BPF_JMP | BPF_OP(OP) | BPF_K,		\
182*4882a593Smuzhiyun 		.dst_reg = DST,					\
183*4882a593Smuzhiyun 		.src_reg = 0,					\
184*4882a593Smuzhiyun 		.off   = OFF,					\
185*4882a593Smuzhiyun 		.imm   = IMM })
186*4882a593Smuzhiyun 
187*4882a593Smuzhiyun /* Like BPF_JMP_IMM, but with 32-bit wide operands for comparison. */
188*4882a593Smuzhiyun 
189*4882a593Smuzhiyun #define BPF_JMP32_IMM(OP, DST, IMM, OFF)			\
190*4882a593Smuzhiyun 	((struct bpf_insn) {					\
191*4882a593Smuzhiyun 		.code  = BPF_JMP32 | BPF_OP(OP) | BPF_K,	\
192*4882a593Smuzhiyun 		.dst_reg = DST,					\
193*4882a593Smuzhiyun 		.src_reg = 0,					\
194*4882a593Smuzhiyun 		.off   = OFF,					\
195*4882a593Smuzhiyun 		.imm   = IMM })
196*4882a593Smuzhiyun 
197*4882a593Smuzhiyun /* Raw code statement block */
198*4882a593Smuzhiyun 
199*4882a593Smuzhiyun #define BPF_RAW_INSN(CODE, DST, SRC, OFF, IMM)			\
200*4882a593Smuzhiyun 	((struct bpf_insn) {					\
201*4882a593Smuzhiyun 		.code  = CODE,					\
202*4882a593Smuzhiyun 		.dst_reg = DST,					\
203*4882a593Smuzhiyun 		.src_reg = SRC,					\
204*4882a593Smuzhiyun 		.off   = OFF,					\
205*4882a593Smuzhiyun 		.imm   = IMM })
206*4882a593Smuzhiyun 
207*4882a593Smuzhiyun /* Program exit */
208*4882a593Smuzhiyun 
209*4882a593Smuzhiyun #define BPF_EXIT_INSN()						\
210*4882a593Smuzhiyun 	((struct bpf_insn) {					\
211*4882a593Smuzhiyun 		.code  = BPF_JMP | BPF_EXIT,			\
212*4882a593Smuzhiyun 		.dst_reg = 0,					\
213*4882a593Smuzhiyun 		.src_reg = 0,					\
214*4882a593Smuzhiyun 		.off   = 0,					\
215*4882a593Smuzhiyun 		.imm   = 0 })
216*4882a593Smuzhiyun 
217*4882a593Smuzhiyun #endif
218