1d9ae7f2bSJakub Kicinski /*
2854dc87dSJiong Wang  * Copyright (C) 2016-2017 Netronome Systems, Inc.
3d9ae7f2bSJakub Kicinski  *
4d9ae7f2bSJakub Kicinski  * This software is dual licensed under the GNU General License Version 2,
5d9ae7f2bSJakub Kicinski  * June 1991 as shown in the file COPYING in the top-level directory of this
6d9ae7f2bSJakub Kicinski  * source tree or the BSD 2-Clause License provided below.  You have the
7d9ae7f2bSJakub Kicinski  * option to license this software under the complete terms of either license.
8d9ae7f2bSJakub Kicinski  *
9d9ae7f2bSJakub Kicinski  * The BSD 2-Clause License:
10d9ae7f2bSJakub Kicinski  *
11d9ae7f2bSJakub Kicinski  *     Redistribution and use in source and binary forms, with or
12d9ae7f2bSJakub Kicinski  *     without modification, are permitted provided that the following
13d9ae7f2bSJakub Kicinski  *     conditions are met:
14d9ae7f2bSJakub Kicinski  *
15d9ae7f2bSJakub Kicinski  *      1. Redistributions of source code must retain the above
16d9ae7f2bSJakub Kicinski  *         copyright notice, this list of conditions and the following
17d9ae7f2bSJakub Kicinski  *         disclaimer.
18d9ae7f2bSJakub Kicinski  *
19d9ae7f2bSJakub Kicinski  *      2. Redistributions in binary form must reproduce the above
20d9ae7f2bSJakub Kicinski  *         copyright notice, this list of conditions and the following
21d9ae7f2bSJakub Kicinski  *         disclaimer in the documentation and/or other materials
22d9ae7f2bSJakub Kicinski  *         provided with the distribution.
23d9ae7f2bSJakub Kicinski  *
24d9ae7f2bSJakub Kicinski  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
25d9ae7f2bSJakub Kicinski  * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
26d9ae7f2bSJakub Kicinski  * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
27d9ae7f2bSJakub Kicinski  * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
28d9ae7f2bSJakub Kicinski  * BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN
29d9ae7f2bSJakub Kicinski  * ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
30d9ae7f2bSJakub Kicinski  * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
31d9ae7f2bSJakub Kicinski  * SOFTWARE.
32d9ae7f2bSJakub Kicinski  */
33d9ae7f2bSJakub Kicinski 
34d9ae7f2bSJakub Kicinski #define pr_fmt(fmt)	"NFP net bpf: " fmt
35d9ae7f2bSJakub Kicinski 
360d49eaf4SJakub Kicinski #include <linux/bug.h>
37d9ae7f2bSJakub Kicinski #include <linux/kernel.h>
38d9ae7f2bSJakub Kicinski #include <linux/bpf.h>
39d9ae7f2bSJakub Kicinski #include <linux/filter.h>
40d9ae7f2bSJakub Kicinski #include <linux/pkt_cls.h>
41d9ae7f2bSJakub Kicinski #include <linux/unistd.h>
42d9ae7f2bSJakub Kicinski 
43d9ae7f2bSJakub Kicinski #include "main.h"
44d9ae7f2bSJakub Kicinski #include "../nfp_asm.h"
45d9ae7f2bSJakub Kicinski 
46d9ae7f2bSJakub Kicinski /* --- NFP prog --- */
47d9ae7f2bSJakub Kicinski /* Foreach "multiple" entries macros provide pos and next<n> pointers.
48d9ae7f2bSJakub Kicinski  * It's safe to modify the next pointers (but not pos).
49d9ae7f2bSJakub Kicinski  */
50d9ae7f2bSJakub Kicinski #define nfp_for_each_insn_walk2(nfp_prog, pos, next)			\
51d9ae7f2bSJakub Kicinski 	for (pos = list_first_entry(&(nfp_prog)->insns, typeof(*pos), l), \
52d9ae7f2bSJakub Kicinski 	     next = list_next_entry(pos, l);			\
53d9ae7f2bSJakub Kicinski 	     &(nfp_prog)->insns != &pos->l &&			\
54d9ae7f2bSJakub Kicinski 	     &(nfp_prog)->insns != &next->l;			\
55d9ae7f2bSJakub Kicinski 	     pos = nfp_meta_next(pos),				\
56d9ae7f2bSJakub Kicinski 	     next = nfp_meta_next(pos))
57d9ae7f2bSJakub Kicinski 
58d9ae7f2bSJakub Kicinski #define nfp_for_each_insn_walk3(nfp_prog, pos, next, next2)		\
59d9ae7f2bSJakub Kicinski 	for (pos = list_first_entry(&(nfp_prog)->insns, typeof(*pos), l), \
60d9ae7f2bSJakub Kicinski 	     next = list_next_entry(pos, l),			\
61d9ae7f2bSJakub Kicinski 	     next2 = list_next_entry(next, l);			\
62d9ae7f2bSJakub Kicinski 	     &(nfp_prog)->insns != &pos->l &&			\
63d9ae7f2bSJakub Kicinski 	     &(nfp_prog)->insns != &next->l &&			\
64d9ae7f2bSJakub Kicinski 	     &(nfp_prog)->insns != &next2->l;			\
65d9ae7f2bSJakub Kicinski 	     pos = nfp_meta_next(pos),				\
66d9ae7f2bSJakub Kicinski 	     next = nfp_meta_next(pos),				\
67d9ae7f2bSJakub Kicinski 	     next2 = nfp_meta_next(next))
68d9ae7f2bSJakub Kicinski 
69d9ae7f2bSJakub Kicinski static bool
70d9ae7f2bSJakub Kicinski nfp_meta_has_prev(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
71d9ae7f2bSJakub Kicinski {
72d9ae7f2bSJakub Kicinski 	return meta->l.prev != &nfp_prog->insns;
73d9ae7f2bSJakub Kicinski }
74d9ae7f2bSJakub Kicinski 
75d9ae7f2bSJakub Kicinski static void nfp_prog_push(struct nfp_prog *nfp_prog, u64 insn)
76d9ae7f2bSJakub Kicinski {
77d9ae7f2bSJakub Kicinski 	if (nfp_prog->__prog_alloc_len == nfp_prog->prog_len) {
78d9ae7f2bSJakub Kicinski 		nfp_prog->error = -ENOSPC;
79d9ae7f2bSJakub Kicinski 		return;
80d9ae7f2bSJakub Kicinski 	}
81d9ae7f2bSJakub Kicinski 
82d9ae7f2bSJakub Kicinski 	nfp_prog->prog[nfp_prog->prog_len] = insn;
83d9ae7f2bSJakub Kicinski 	nfp_prog->prog_len++;
84d9ae7f2bSJakub Kicinski }
85d9ae7f2bSJakub Kicinski 
86d9ae7f2bSJakub Kicinski static unsigned int nfp_prog_current_offset(struct nfp_prog *nfp_prog)
87d9ae7f2bSJakub Kicinski {
882314fe9eSJakub Kicinski 	return nfp_prog->prog_len;
89d9ae7f2bSJakub Kicinski }
90d9ae7f2bSJakub Kicinski 
910d49eaf4SJakub Kicinski static bool
920d49eaf4SJakub Kicinski nfp_prog_confirm_current_offset(struct nfp_prog *nfp_prog, unsigned int off)
930d49eaf4SJakub Kicinski {
940d49eaf4SJakub Kicinski 	/* If there is a recorded error we may have dropped instructions;
950d49eaf4SJakub Kicinski 	 * that doesn't have to be due to translator bug, and the translation
960d49eaf4SJakub Kicinski 	 * will fail anyway, so just return OK.
970d49eaf4SJakub Kicinski 	 */
980d49eaf4SJakub Kicinski 	if (nfp_prog->error)
990d49eaf4SJakub Kicinski 		return true;
1000d49eaf4SJakub Kicinski 	return !WARN_ON_ONCE(nfp_prog_current_offset(nfp_prog) != off);
1010d49eaf4SJakub Kicinski }
1020d49eaf4SJakub Kicinski 
103d9ae7f2bSJakub Kicinski /* --- Emitters --- */
104d9ae7f2bSJakub Kicinski static void
105d9ae7f2bSJakub Kicinski __emit_cmd(struct nfp_prog *nfp_prog, enum cmd_tgt_map op,
106b556ddd9SJakub Kicinski 	   u8 mode, u8 xfer, u8 areg, u8 breg, u8 size, enum cmd_ctx_swap ctx,
107b556ddd9SJakub Kicinski 	   bool indir)
108d9ae7f2bSJakub Kicinski {
109d9ae7f2bSJakub Kicinski 	u64 insn;
110d9ae7f2bSJakub Kicinski 
111d9ae7f2bSJakub Kicinski 	insn =	FIELD_PREP(OP_CMD_A_SRC, areg) |
112d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_CMD_CTX, ctx) |
113d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_CMD_B_SRC, breg) |
114d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_CMD_TOKEN, cmd_tgt_act[op].token) |
115d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_CMD_XFER, xfer) |
116d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_CMD_CNT, size) |
117b556ddd9SJakub Kicinski 		FIELD_PREP(OP_CMD_SIG, ctx != CMD_CTX_NO_SWAP) |
118d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_CMD_TGT_CMD, cmd_tgt_act[op].tgt_cmd) |
1195468a8b9SJakub Kicinski 		FIELD_PREP(OP_CMD_INDIR, indir) |
120d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_CMD_MODE, mode);
121d9ae7f2bSJakub Kicinski 
122d9ae7f2bSJakub Kicinski 	nfp_prog_push(nfp_prog, insn);
123d9ae7f2bSJakub Kicinski }
124d9ae7f2bSJakub Kicinski 
125d9ae7f2bSJakub Kicinski static void
1265468a8b9SJakub Kicinski emit_cmd_any(struct nfp_prog *nfp_prog, enum cmd_tgt_map op, u8 mode, u8 xfer,
127b556ddd9SJakub Kicinski 	     swreg lreg, swreg rreg, u8 size, enum cmd_ctx_swap ctx, bool indir)
128d9ae7f2bSJakub Kicinski {
129d9ae7f2bSJakub Kicinski 	struct nfp_insn_re_regs reg;
130d9ae7f2bSJakub Kicinski 	int err;
131d9ae7f2bSJakub Kicinski 
132d9ae7f2bSJakub Kicinski 	err = swreg_to_restricted(reg_none(), lreg, rreg, &reg, false);
133d9ae7f2bSJakub Kicinski 	if (err) {
134d9ae7f2bSJakub Kicinski 		nfp_prog->error = err;
135d9ae7f2bSJakub Kicinski 		return;
136d9ae7f2bSJakub Kicinski 	}
137d9ae7f2bSJakub Kicinski 	if (reg.swap) {
138d9ae7f2bSJakub Kicinski 		pr_err("cmd can't swap arguments\n");
139d9ae7f2bSJakub Kicinski 		nfp_prog->error = -EFAULT;
140d9ae7f2bSJakub Kicinski 		return;
141d9ae7f2bSJakub Kicinski 	}
142995e101fSJakub Kicinski 	if (reg.dst_lmextn || reg.src_lmextn) {
143995e101fSJakub Kicinski 		pr_err("cmd can't use LMextn\n");
144995e101fSJakub Kicinski 		nfp_prog->error = -EFAULT;
145995e101fSJakub Kicinski 		return;
146995e101fSJakub Kicinski 	}
147d9ae7f2bSJakub Kicinski 
148b556ddd9SJakub Kicinski 	__emit_cmd(nfp_prog, op, mode, xfer, reg.areg, reg.breg, size, ctx,
1495468a8b9SJakub Kicinski 		   indir);
1505468a8b9SJakub Kicinski }
1515468a8b9SJakub Kicinski 
1525468a8b9SJakub Kicinski static void
1535468a8b9SJakub Kicinski emit_cmd(struct nfp_prog *nfp_prog, enum cmd_tgt_map op, u8 mode, u8 xfer,
154b556ddd9SJakub Kicinski 	 swreg lreg, swreg rreg, u8 size, enum cmd_ctx_swap ctx)
1555468a8b9SJakub Kicinski {
156b556ddd9SJakub Kicinski 	emit_cmd_any(nfp_prog, op, mode, xfer, lreg, rreg, size, ctx, false);
157d9ae7f2bSJakub Kicinski }
158d9ae7f2bSJakub Kicinski 
159d9ae7f2bSJakub Kicinski static void
1609879a381SJiong Wang emit_cmd_indir(struct nfp_prog *nfp_prog, enum cmd_tgt_map op, u8 mode, u8 xfer,
161b556ddd9SJakub Kicinski 	       swreg lreg, swreg rreg, u8 size, enum cmd_ctx_swap ctx)
1629879a381SJiong Wang {
163b556ddd9SJakub Kicinski 	emit_cmd_any(nfp_prog, op, mode, xfer, lreg, rreg, size, ctx, true);
1649879a381SJiong Wang }
1659879a381SJiong Wang 
1669879a381SJiong Wang static void
167d9ae7f2bSJakub Kicinski __emit_br(struct nfp_prog *nfp_prog, enum br_mask mask, enum br_ev_pip ev_pip,
168d9ae7f2bSJakub Kicinski 	  enum br_ctx_signal_state css, u16 addr, u8 defer)
169d9ae7f2bSJakub Kicinski {
170d9ae7f2bSJakub Kicinski 	u16 addr_lo, addr_hi;
171d9ae7f2bSJakub Kicinski 	u64 insn;
172d9ae7f2bSJakub Kicinski 
173d9ae7f2bSJakub Kicinski 	addr_lo = addr & (OP_BR_ADDR_LO >> __bf_shf(OP_BR_ADDR_LO));
174d9ae7f2bSJakub Kicinski 	addr_hi = addr != addr_lo;
175d9ae7f2bSJakub Kicinski 
176d9ae7f2bSJakub Kicinski 	insn = OP_BR_BASE |
177d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_BR_MASK, mask) |
178d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_BR_EV_PIP, ev_pip) |
179d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_BR_CSS, css) |
180d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_BR_DEFBR, defer) |
181d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_BR_ADDR_LO, addr_lo) |
182d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_BR_ADDR_HI, addr_hi);
183d9ae7f2bSJakub Kicinski 
184d9ae7f2bSJakub Kicinski 	nfp_prog_push(nfp_prog, insn);
185d9ae7f2bSJakub Kicinski }
186d9ae7f2bSJakub Kicinski 
1872314fe9eSJakub Kicinski static void
1882314fe9eSJakub Kicinski emit_br_relo(struct nfp_prog *nfp_prog, enum br_mask mask, u16 addr, u8 defer,
1892314fe9eSJakub Kicinski 	     enum nfp_relo_type relo)
190d9ae7f2bSJakub Kicinski {
1912314fe9eSJakub Kicinski 	if (mask == BR_UNC && defer > 2) {
192d9ae7f2bSJakub Kicinski 		pr_err("BUG: branch defer out of bounds %d\n", defer);
193d9ae7f2bSJakub Kicinski 		nfp_prog->error = -EFAULT;
194d9ae7f2bSJakub Kicinski 		return;
195d9ae7f2bSJakub Kicinski 	}
1962314fe9eSJakub Kicinski 
1972314fe9eSJakub Kicinski 	__emit_br(nfp_prog, mask,
1982314fe9eSJakub Kicinski 		  mask != BR_UNC ? BR_EV_PIP_COND : BR_EV_PIP_UNCOND,
1992314fe9eSJakub Kicinski 		  BR_CSS_NONE, addr, defer);
2002314fe9eSJakub Kicinski 
2012314fe9eSJakub Kicinski 	nfp_prog->prog[nfp_prog->prog_len - 1] |=
2022314fe9eSJakub Kicinski 		FIELD_PREP(OP_RELO_TYPE, relo);
203d9ae7f2bSJakub Kicinski }
204d9ae7f2bSJakub Kicinski 
205d9ae7f2bSJakub Kicinski static void
206d9ae7f2bSJakub Kicinski emit_br(struct nfp_prog *nfp_prog, enum br_mask mask, u16 addr, u8 defer)
207d9ae7f2bSJakub Kicinski {
2082314fe9eSJakub Kicinski 	emit_br_relo(nfp_prog, mask, addr, defer, RELO_BR_REL);
209d9ae7f2bSJakub Kicinski }
210d9ae7f2bSJakub Kicinski 
211d9ae7f2bSJakub Kicinski static void
212d9ae7f2bSJakub Kicinski __emit_immed(struct nfp_prog *nfp_prog, u16 areg, u16 breg, u16 imm_hi,
213d9ae7f2bSJakub Kicinski 	     enum immed_width width, bool invert,
214995e101fSJakub Kicinski 	     enum immed_shift shift, bool wr_both,
215995e101fSJakub Kicinski 	     bool dst_lmextn, bool src_lmextn)
216d9ae7f2bSJakub Kicinski {
217d9ae7f2bSJakub Kicinski 	u64 insn;
218d9ae7f2bSJakub Kicinski 
219d9ae7f2bSJakub Kicinski 	insn = OP_IMMED_BASE |
220d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_IMMED_A_SRC, areg) |
221d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_IMMED_B_SRC, breg) |
222d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_IMMED_IMM, imm_hi) |
223d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_IMMED_WIDTH, width) |
224d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_IMMED_INV, invert) |
225d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_IMMED_SHIFT, shift) |
226995e101fSJakub Kicinski 		FIELD_PREP(OP_IMMED_WR_AB, wr_both) |
227995e101fSJakub Kicinski 		FIELD_PREP(OP_IMMED_SRC_LMEXTN, src_lmextn) |
228995e101fSJakub Kicinski 		FIELD_PREP(OP_IMMED_DST_LMEXTN, dst_lmextn);
229d9ae7f2bSJakub Kicinski 
230d9ae7f2bSJakub Kicinski 	nfp_prog_push(nfp_prog, insn);
231d9ae7f2bSJakub Kicinski }
232d9ae7f2bSJakub Kicinski 
233d9ae7f2bSJakub Kicinski static void
234b3f868dfSJakub Kicinski emit_immed(struct nfp_prog *nfp_prog, swreg dst, u16 imm,
235d9ae7f2bSJakub Kicinski 	   enum immed_width width, bool invert, enum immed_shift shift)
236d9ae7f2bSJakub Kicinski {
237d9ae7f2bSJakub Kicinski 	struct nfp_insn_ur_regs reg;
238d9ae7f2bSJakub Kicinski 	int err;
239d9ae7f2bSJakub Kicinski 
240b3f868dfSJakub Kicinski 	if (swreg_type(dst) == NN_REG_IMM) {
241d9ae7f2bSJakub Kicinski 		nfp_prog->error = -EFAULT;
242d9ae7f2bSJakub Kicinski 		return;
243d9ae7f2bSJakub Kicinski 	}
244d9ae7f2bSJakub Kicinski 
245d9ae7f2bSJakub Kicinski 	err = swreg_to_unrestricted(dst, dst, reg_imm(imm & 0xff), &reg);
246d9ae7f2bSJakub Kicinski 	if (err) {
247d9ae7f2bSJakub Kicinski 		nfp_prog->error = err;
248d9ae7f2bSJakub Kicinski 		return;
249d9ae7f2bSJakub Kicinski 	}
250d9ae7f2bSJakub Kicinski 
2513239e7bbSJiong Wang 	/* Use reg.dst when destination is No-Dest. */
2523239e7bbSJiong Wang 	__emit_immed(nfp_prog,
2533239e7bbSJiong Wang 		     swreg_type(dst) == NN_REG_NONE ? reg.dst : reg.areg,
2543239e7bbSJiong Wang 		     reg.breg, imm >> 8, width, invert, shift,
2553239e7bbSJiong Wang 		     reg.wr_both, reg.dst_lmextn, reg.src_lmextn);
256d9ae7f2bSJakub Kicinski }
257d9ae7f2bSJakub Kicinski 
258d9ae7f2bSJakub Kicinski static void
259d9ae7f2bSJakub Kicinski __emit_shf(struct nfp_prog *nfp_prog, u16 dst, enum alu_dst_ab dst_ab,
260d9ae7f2bSJakub Kicinski 	   enum shf_sc sc, u8 shift,
261995e101fSJakub Kicinski 	   u16 areg, enum shf_op op, u16 breg, bool i8, bool sw, bool wr_both,
262995e101fSJakub Kicinski 	   bool dst_lmextn, bool src_lmextn)
263d9ae7f2bSJakub Kicinski {
264d9ae7f2bSJakub Kicinski 	u64 insn;
265d9ae7f2bSJakub Kicinski 
266d9ae7f2bSJakub Kicinski 	if (!FIELD_FIT(OP_SHF_SHIFT, shift)) {
267d9ae7f2bSJakub Kicinski 		nfp_prog->error = -EFAULT;
268d9ae7f2bSJakub Kicinski 		return;
269d9ae7f2bSJakub Kicinski 	}
270d9ae7f2bSJakub Kicinski 
271d9ae7f2bSJakub Kicinski 	if (sc == SHF_SC_L_SHF)
272d9ae7f2bSJakub Kicinski 		shift = 32 - shift;
273d9ae7f2bSJakub Kicinski 
274d9ae7f2bSJakub Kicinski 	insn = OP_SHF_BASE |
275d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_SHF_A_SRC, areg) |
276d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_SHF_SC, sc) |
277d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_SHF_B_SRC, breg) |
278d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_SHF_I8, i8) |
279d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_SHF_SW, sw) |
280d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_SHF_DST, dst) |
281d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_SHF_SHIFT, shift) |
282d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_SHF_OP, op) |
283d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_SHF_DST_AB, dst_ab) |
284995e101fSJakub Kicinski 		FIELD_PREP(OP_SHF_WR_AB, wr_both) |
285995e101fSJakub Kicinski 		FIELD_PREP(OP_SHF_SRC_LMEXTN, src_lmextn) |
286995e101fSJakub Kicinski 		FIELD_PREP(OP_SHF_DST_LMEXTN, dst_lmextn);
287d9ae7f2bSJakub Kicinski 
288d9ae7f2bSJakub Kicinski 	nfp_prog_push(nfp_prog, insn);
289d9ae7f2bSJakub Kicinski }
290d9ae7f2bSJakub Kicinski 
291d9ae7f2bSJakub Kicinski static void
292b3f868dfSJakub Kicinski emit_shf(struct nfp_prog *nfp_prog, swreg dst,
293b3f868dfSJakub Kicinski 	 swreg lreg, enum shf_op op, swreg rreg, enum shf_sc sc, u8 shift)
294d9ae7f2bSJakub Kicinski {
295d9ae7f2bSJakub Kicinski 	struct nfp_insn_re_regs reg;
296d9ae7f2bSJakub Kicinski 	int err;
297d9ae7f2bSJakub Kicinski 
298d9ae7f2bSJakub Kicinski 	err = swreg_to_restricted(dst, lreg, rreg, &reg, true);
299d9ae7f2bSJakub Kicinski 	if (err) {
300d9ae7f2bSJakub Kicinski 		nfp_prog->error = err;
301d9ae7f2bSJakub Kicinski 		return;
302d9ae7f2bSJakub Kicinski 	}
303d9ae7f2bSJakub Kicinski 
304d9ae7f2bSJakub Kicinski 	__emit_shf(nfp_prog, reg.dst, reg.dst_ab, sc, shift,
305995e101fSJakub Kicinski 		   reg.areg, op, reg.breg, reg.i8, reg.swap, reg.wr_both,
306995e101fSJakub Kicinski 		   reg.dst_lmextn, reg.src_lmextn);
307d9ae7f2bSJakub Kicinski }
308d9ae7f2bSJakub Kicinski 
309d9ae7f2bSJakub Kicinski static void
310d9ae7f2bSJakub Kicinski __emit_alu(struct nfp_prog *nfp_prog, u16 dst, enum alu_dst_ab dst_ab,
311995e101fSJakub Kicinski 	   u16 areg, enum alu_op op, u16 breg, bool swap, bool wr_both,
312995e101fSJakub Kicinski 	   bool dst_lmextn, bool src_lmextn)
313d9ae7f2bSJakub Kicinski {
314d9ae7f2bSJakub Kicinski 	u64 insn;
315d9ae7f2bSJakub Kicinski 
316d9ae7f2bSJakub Kicinski 	insn = OP_ALU_BASE |
317d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_ALU_A_SRC, areg) |
318d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_ALU_B_SRC, breg) |
319d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_ALU_DST, dst) |
320d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_ALU_SW, swap) |
321d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_ALU_OP, op) |
322d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_ALU_DST_AB, dst_ab) |
323995e101fSJakub Kicinski 		FIELD_PREP(OP_ALU_WR_AB, wr_both) |
324995e101fSJakub Kicinski 		FIELD_PREP(OP_ALU_SRC_LMEXTN, src_lmextn) |
325995e101fSJakub Kicinski 		FIELD_PREP(OP_ALU_DST_LMEXTN, dst_lmextn);
326d9ae7f2bSJakub Kicinski 
327d9ae7f2bSJakub Kicinski 	nfp_prog_push(nfp_prog, insn);
328d9ae7f2bSJakub Kicinski }
329d9ae7f2bSJakub Kicinski 
330d9ae7f2bSJakub Kicinski static void
331b3f868dfSJakub Kicinski emit_alu(struct nfp_prog *nfp_prog, swreg dst,
332b3f868dfSJakub Kicinski 	 swreg lreg, enum alu_op op, swreg rreg)
333d9ae7f2bSJakub Kicinski {
334d9ae7f2bSJakub Kicinski 	struct nfp_insn_ur_regs reg;
335d9ae7f2bSJakub Kicinski 	int err;
336d9ae7f2bSJakub Kicinski 
337d9ae7f2bSJakub Kicinski 	err = swreg_to_unrestricted(dst, lreg, rreg, &reg);
338d9ae7f2bSJakub Kicinski 	if (err) {
339d9ae7f2bSJakub Kicinski 		nfp_prog->error = err;
340d9ae7f2bSJakub Kicinski 		return;
341d9ae7f2bSJakub Kicinski 	}
342d9ae7f2bSJakub Kicinski 
343d9ae7f2bSJakub Kicinski 	__emit_alu(nfp_prog, reg.dst, reg.dst_ab,
344995e101fSJakub Kicinski 		   reg.areg, op, reg.breg, reg.swap, reg.wr_both,
345995e101fSJakub Kicinski 		   reg.dst_lmextn, reg.src_lmextn);
346d9ae7f2bSJakub Kicinski }
347d9ae7f2bSJakub Kicinski 
348d9ae7f2bSJakub Kicinski static void
349d9ae7f2bSJakub Kicinski __emit_ld_field(struct nfp_prog *nfp_prog, enum shf_sc sc,
350d9ae7f2bSJakub Kicinski 		u8 areg, u8 bmask, u8 breg, u8 shift, bool imm8,
351995e101fSJakub Kicinski 		bool zero, bool swap, bool wr_both,
352995e101fSJakub Kicinski 		bool dst_lmextn, bool src_lmextn)
353d9ae7f2bSJakub Kicinski {
354d9ae7f2bSJakub Kicinski 	u64 insn;
355d9ae7f2bSJakub Kicinski 
356d9ae7f2bSJakub Kicinski 	insn = OP_LDF_BASE |
357d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_LDF_A_SRC, areg) |
358d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_LDF_SC, sc) |
359d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_LDF_B_SRC, breg) |
360d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_LDF_I8, imm8) |
361d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_LDF_SW, swap) |
362d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_LDF_ZF, zero) |
363d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_LDF_BMASK, bmask) |
364d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_LDF_SHF, shift) |
365995e101fSJakub Kicinski 		FIELD_PREP(OP_LDF_WR_AB, wr_both) |
366995e101fSJakub Kicinski 		FIELD_PREP(OP_LDF_SRC_LMEXTN, src_lmextn) |
367995e101fSJakub Kicinski 		FIELD_PREP(OP_LDF_DST_LMEXTN, dst_lmextn);
368d9ae7f2bSJakub Kicinski 
369d9ae7f2bSJakub Kicinski 	nfp_prog_push(nfp_prog, insn);
370d9ae7f2bSJakub Kicinski }
371d9ae7f2bSJakub Kicinski 
372d9ae7f2bSJakub Kicinski static void
373bc8c80a8SJakub Kicinski emit_ld_field_any(struct nfp_prog *nfp_prog, swreg dst, u8 bmask, swreg src,
374bc8c80a8SJakub Kicinski 		  enum shf_sc sc, u8 shift, bool zero)
375d9ae7f2bSJakub Kicinski {
376d9ae7f2bSJakub Kicinski 	struct nfp_insn_re_regs reg;
377d9ae7f2bSJakub Kicinski 	int err;
378d9ae7f2bSJakub Kicinski 
3792de1be1dSJakub Kicinski 	/* Note: ld_field is special as it uses one of the src regs as dst */
3802de1be1dSJakub Kicinski 	err = swreg_to_restricted(dst, dst, src, &reg, true);
381d9ae7f2bSJakub Kicinski 	if (err) {
382d9ae7f2bSJakub Kicinski 		nfp_prog->error = err;
383d9ae7f2bSJakub Kicinski 		return;
384d9ae7f2bSJakub Kicinski 	}
385d9ae7f2bSJakub Kicinski 
386d9ae7f2bSJakub Kicinski 	__emit_ld_field(nfp_prog, sc, reg.areg, bmask, reg.breg, shift,
387995e101fSJakub Kicinski 			reg.i8, zero, reg.swap, reg.wr_both,
388995e101fSJakub Kicinski 			reg.dst_lmextn, reg.src_lmextn);
389d9ae7f2bSJakub Kicinski }
390d9ae7f2bSJakub Kicinski 
391d9ae7f2bSJakub Kicinski static void
392b3f868dfSJakub Kicinski emit_ld_field(struct nfp_prog *nfp_prog, swreg dst, u8 bmask, swreg src,
393d9ae7f2bSJakub Kicinski 	      enum shf_sc sc, u8 shift)
394d9ae7f2bSJakub Kicinski {
395bc8c80a8SJakub Kicinski 	emit_ld_field_any(nfp_prog, dst, bmask, src, sc, shift, false);
396d9ae7f2bSJakub Kicinski }
397d9ae7f2bSJakub Kicinski 
3982df03a50SJakub Kicinski static void
3992df03a50SJakub Kicinski __emit_lcsr(struct nfp_prog *nfp_prog, u16 areg, u16 breg, bool wr, u16 addr,
4002df03a50SJakub Kicinski 	    bool dst_lmextn, bool src_lmextn)
4012df03a50SJakub Kicinski {
4022df03a50SJakub Kicinski 	u64 insn;
4032df03a50SJakub Kicinski 
4042df03a50SJakub Kicinski 	insn = OP_LCSR_BASE |
4052df03a50SJakub Kicinski 		FIELD_PREP(OP_LCSR_A_SRC, areg) |
4062df03a50SJakub Kicinski 		FIELD_PREP(OP_LCSR_B_SRC, breg) |
4072df03a50SJakub Kicinski 		FIELD_PREP(OP_LCSR_WRITE, wr) |
4082df03a50SJakub Kicinski 		FIELD_PREP(OP_LCSR_ADDR, addr) |
4092df03a50SJakub Kicinski 		FIELD_PREP(OP_LCSR_SRC_LMEXTN, src_lmextn) |
4102df03a50SJakub Kicinski 		FIELD_PREP(OP_LCSR_DST_LMEXTN, dst_lmextn);
4112df03a50SJakub Kicinski 
4122df03a50SJakub Kicinski 	nfp_prog_push(nfp_prog, insn);
4132df03a50SJakub Kicinski }
4142df03a50SJakub Kicinski 
4152df03a50SJakub Kicinski static void emit_csr_wr(struct nfp_prog *nfp_prog, swreg src, u16 addr)
4162df03a50SJakub Kicinski {
4172df03a50SJakub Kicinski 	struct nfp_insn_ur_regs reg;
4182df03a50SJakub Kicinski 	int err;
4192df03a50SJakub Kicinski 
4202df03a50SJakub Kicinski 	/* This instruction takes immeds instead of reg_none() for the ignored
4212df03a50SJakub Kicinski 	 * operand, but we can't encode 2 immeds in one instr with our normal
4222df03a50SJakub Kicinski 	 * swreg infra so if param is an immed, we encode as reg_none() and
4232df03a50SJakub Kicinski 	 * copy the immed to both operands.
4242df03a50SJakub Kicinski 	 */
4252df03a50SJakub Kicinski 	if (swreg_type(src) == NN_REG_IMM) {
4262df03a50SJakub Kicinski 		err = swreg_to_unrestricted(reg_none(), src, reg_none(), &reg);
4272df03a50SJakub Kicinski 		reg.breg = reg.areg;
4282df03a50SJakub Kicinski 	} else {
4292df03a50SJakub Kicinski 		err = swreg_to_unrestricted(reg_none(), src, reg_imm(0), &reg);
4302df03a50SJakub Kicinski 	}
4312df03a50SJakub Kicinski 	if (err) {
4322df03a50SJakub Kicinski 		nfp_prog->error = err;
4332df03a50SJakub Kicinski 		return;
4342df03a50SJakub Kicinski 	}
4352df03a50SJakub Kicinski 
4362df03a50SJakub Kicinski 	__emit_lcsr(nfp_prog, reg.areg, reg.breg, true, addr / 4,
4372df03a50SJakub Kicinski 		    false, reg.src_lmextn);
4382df03a50SJakub Kicinski }
4392df03a50SJakub Kicinski 
4401c03e03fSJakub Kicinski static void emit_nop(struct nfp_prog *nfp_prog)
4411c03e03fSJakub Kicinski {
4421c03e03fSJakub Kicinski 	__emit_immed(nfp_prog, UR_REG_IMM, UR_REG_IMM, 0, 0, 0, 0, 0, 0, 0);
4431c03e03fSJakub Kicinski }
4441c03e03fSJakub Kicinski 
445d9ae7f2bSJakub Kicinski /* --- Wrappers --- */
446d9ae7f2bSJakub Kicinski static bool pack_immed(u32 imm, u16 *val, enum immed_shift *shift)
447d9ae7f2bSJakub Kicinski {
448d9ae7f2bSJakub Kicinski 	if (!(imm & 0xffff0000)) {
449d9ae7f2bSJakub Kicinski 		*val = imm;
450d9ae7f2bSJakub Kicinski 		*shift = IMMED_SHIFT_0B;
451d9ae7f2bSJakub Kicinski 	} else if (!(imm & 0xff0000ff)) {
452d9ae7f2bSJakub Kicinski 		*val = imm >> 8;
453d9ae7f2bSJakub Kicinski 		*shift = IMMED_SHIFT_1B;
454d9ae7f2bSJakub Kicinski 	} else if (!(imm & 0x0000ffff)) {
455d9ae7f2bSJakub Kicinski 		*val = imm >> 16;
456d9ae7f2bSJakub Kicinski 		*shift = IMMED_SHIFT_2B;
457d9ae7f2bSJakub Kicinski 	} else {
458d9ae7f2bSJakub Kicinski 		return false;
459d9ae7f2bSJakub Kicinski 	}
460d9ae7f2bSJakub Kicinski 
461d9ae7f2bSJakub Kicinski 	return true;
462d9ae7f2bSJakub Kicinski }
463d9ae7f2bSJakub Kicinski 
464b3f868dfSJakub Kicinski static void wrp_immed(struct nfp_prog *nfp_prog, swreg dst, u32 imm)
465d9ae7f2bSJakub Kicinski {
466d9ae7f2bSJakub Kicinski 	enum immed_shift shift;
467d9ae7f2bSJakub Kicinski 	u16 val;
468d9ae7f2bSJakub Kicinski 
469d9ae7f2bSJakub Kicinski 	if (pack_immed(imm, &val, &shift)) {
470d9ae7f2bSJakub Kicinski 		emit_immed(nfp_prog, dst, val, IMMED_WIDTH_ALL, false, shift);
471d9ae7f2bSJakub Kicinski 	} else if (pack_immed(~imm, &val, &shift)) {
472d9ae7f2bSJakub Kicinski 		emit_immed(nfp_prog, dst, val, IMMED_WIDTH_ALL, true, shift);
473d9ae7f2bSJakub Kicinski 	} else {
474d9ae7f2bSJakub Kicinski 		emit_immed(nfp_prog, dst, imm & 0xffff, IMMED_WIDTH_ALL,
475d9ae7f2bSJakub Kicinski 			   false, IMMED_SHIFT_0B);
476d9ae7f2bSJakub Kicinski 		emit_immed(nfp_prog, dst, imm >> 16, IMMED_WIDTH_WORD,
477d9ae7f2bSJakub Kicinski 			   false, IMMED_SHIFT_2B);
478d9ae7f2bSJakub Kicinski 	}
479d9ae7f2bSJakub Kicinski }
480d9ae7f2bSJakub Kicinski 
48177a3d311SJakub Kicinski static void
48277a3d311SJakub Kicinski wrp_immed_relo(struct nfp_prog *nfp_prog, swreg dst, u32 imm,
48377a3d311SJakub Kicinski 	       enum nfp_relo_type relo)
48477a3d311SJakub Kicinski {
48577a3d311SJakub Kicinski 	if (imm > 0xffff) {
48677a3d311SJakub Kicinski 		pr_err("relocation of a large immediate!\n");
48777a3d311SJakub Kicinski 		nfp_prog->error = -EFAULT;
48877a3d311SJakub Kicinski 		return;
48977a3d311SJakub Kicinski 	}
49077a3d311SJakub Kicinski 	emit_immed(nfp_prog, dst, imm, IMMED_WIDTH_ALL, false, IMMED_SHIFT_0B);
49177a3d311SJakub Kicinski 
49277a3d311SJakub Kicinski 	nfp_prog->prog[nfp_prog->prog_len - 1] |=
49377a3d311SJakub Kicinski 		FIELD_PREP(OP_RELO_TYPE, relo);
49477a3d311SJakub Kicinski }
49577a3d311SJakub Kicinski 
496d9ae7f2bSJakub Kicinski /* ur_load_imm_any() - encode immediate or use tmp register (unrestricted)
497d9ae7f2bSJakub Kicinski  * If the @imm is small enough encode it directly in operand and return
498d9ae7f2bSJakub Kicinski  * otherwise load @imm to a spare register and return its encoding.
499d9ae7f2bSJakub Kicinski  */
500b3f868dfSJakub Kicinski static swreg ur_load_imm_any(struct nfp_prog *nfp_prog, u32 imm, swreg tmp_reg)
501d9ae7f2bSJakub Kicinski {
502d9ae7f2bSJakub Kicinski 	if (FIELD_FIT(UR_REG_IMM_MAX, imm))
503d9ae7f2bSJakub Kicinski 		return reg_imm(imm);
504d9ae7f2bSJakub Kicinski 
505d9ae7f2bSJakub Kicinski 	wrp_immed(nfp_prog, tmp_reg, imm);
506d9ae7f2bSJakub Kicinski 	return tmp_reg;
507d9ae7f2bSJakub Kicinski }
508d9ae7f2bSJakub Kicinski 
509d9ae7f2bSJakub Kicinski /* re_load_imm_any() - encode immediate or use tmp register (restricted)
510d9ae7f2bSJakub Kicinski  * If the @imm is small enough encode it directly in operand and return
511d9ae7f2bSJakub Kicinski  * otherwise load @imm to a spare register and return its encoding.
512d9ae7f2bSJakub Kicinski  */
513b3f868dfSJakub Kicinski static swreg re_load_imm_any(struct nfp_prog *nfp_prog, u32 imm, swreg tmp_reg)
514d9ae7f2bSJakub Kicinski {
515d9ae7f2bSJakub Kicinski 	if (FIELD_FIT(RE_REG_IMM_MAX, imm))
516d9ae7f2bSJakub Kicinski 		return reg_imm(imm);
517d9ae7f2bSJakub Kicinski 
518d9ae7f2bSJakub Kicinski 	wrp_immed(nfp_prog, tmp_reg, imm);
519d9ae7f2bSJakub Kicinski 	return tmp_reg;
520d9ae7f2bSJakub Kicinski }
521d9ae7f2bSJakub Kicinski 
522ff42bb9fSJakub Kicinski static void wrp_nops(struct nfp_prog *nfp_prog, unsigned int count)
523ff42bb9fSJakub Kicinski {
524ff42bb9fSJakub Kicinski 	while (count--)
525ff42bb9fSJakub Kicinski 		emit_nop(nfp_prog);
526ff42bb9fSJakub Kicinski }
527ff42bb9fSJakub Kicinski 
528c000dfb5SJakub Kicinski static void wrp_mov(struct nfp_prog *nfp_prog, swreg dst, swreg src)
529c000dfb5SJakub Kicinski {
530c000dfb5SJakub Kicinski 	emit_alu(nfp_prog, dst, reg_none(), ALU_OP_NONE, src);
531c000dfb5SJakub Kicinski }
532c000dfb5SJakub Kicinski 
533d9ae7f2bSJakub Kicinski static void wrp_reg_mov(struct nfp_prog *nfp_prog, u16 dst, u16 src)
534d9ae7f2bSJakub Kicinski {
535c000dfb5SJakub Kicinski 	wrp_mov(nfp_prog, reg_both(dst), reg_b(src));
536d9ae7f2bSJakub Kicinski }
537d9ae7f2bSJakub Kicinski 
5389879a381SJiong Wang /* wrp_reg_subpart() - load @field_len bytes from @offset of @src, write the
5399879a381SJiong Wang  * result to @dst from low end.
5409879a381SJiong Wang  */
5419879a381SJiong Wang static void
5429879a381SJiong Wang wrp_reg_subpart(struct nfp_prog *nfp_prog, swreg dst, swreg src, u8 field_len,
5439879a381SJiong Wang 		u8 offset)
5449879a381SJiong Wang {
5459879a381SJiong Wang 	enum shf_sc sc = offset ? SHF_SC_R_SHF : SHF_SC_NONE;
5469879a381SJiong Wang 	u8 mask = (1 << field_len) - 1;
5479879a381SJiong Wang 
5489879a381SJiong Wang 	emit_ld_field_any(nfp_prog, dst, mask, src, sc, offset * 8, true);
5499879a381SJiong Wang }
5509879a381SJiong Wang 
55191ff69e8SJiong Wang /* wrp_reg_or_subpart() - load @field_len bytes from low end of @src, or the
55291ff69e8SJiong Wang  * result to @dst from offset, there is no change on the other bits of @dst.
55391ff69e8SJiong Wang  */
55491ff69e8SJiong Wang static void
55591ff69e8SJiong Wang wrp_reg_or_subpart(struct nfp_prog *nfp_prog, swreg dst, swreg src,
55691ff69e8SJiong Wang 		   u8 field_len, u8 offset)
55791ff69e8SJiong Wang {
55891ff69e8SJiong Wang 	enum shf_sc sc = offset ? SHF_SC_L_SHF : SHF_SC_NONE;
55991ff69e8SJiong Wang 	u8 mask = ((1 << field_len) - 1) << offset;
56091ff69e8SJiong Wang 
56191ff69e8SJiong Wang 	emit_ld_field(nfp_prog, dst, mask, src, sc, 32 - offset * 8);
56291ff69e8SJiong Wang }
56391ff69e8SJiong Wang 
5643dd43c33SJakub Kicinski static void
5653dd43c33SJakub Kicinski addr40_offset(struct nfp_prog *nfp_prog, u8 src_gpr, swreg offset,
5663dd43c33SJakub Kicinski 	      swreg *rega, swreg *regb)
5673dd43c33SJakub Kicinski {
5683dd43c33SJakub Kicinski 	if (offset == reg_imm(0)) {
5693dd43c33SJakub Kicinski 		*rega = reg_a(src_gpr);
5703dd43c33SJakub Kicinski 		*regb = reg_b(src_gpr + 1);
5713dd43c33SJakub Kicinski 		return;
5723dd43c33SJakub Kicinski 	}
5733dd43c33SJakub Kicinski 
5743dd43c33SJakub Kicinski 	emit_alu(nfp_prog, imm_a(nfp_prog), reg_a(src_gpr), ALU_OP_ADD, offset);
5753dd43c33SJakub Kicinski 	emit_alu(nfp_prog, imm_b(nfp_prog), reg_b(src_gpr + 1), ALU_OP_ADD_C,
5763dd43c33SJakub Kicinski 		 reg_imm(0));
5773dd43c33SJakub Kicinski 	*rega = imm_a(nfp_prog);
5783dd43c33SJakub Kicinski 	*regb = imm_b(nfp_prog);
5793dd43c33SJakub Kicinski }
5803dd43c33SJakub Kicinski 
5819879a381SJiong Wang /* NFP has Command Push Pull bus which supports bluk memory operations. */
5829879a381SJiong Wang static int nfp_cpp_memcpy(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
5839879a381SJiong Wang {
5849879a381SJiong Wang 	bool descending_seq = meta->ldst_gather_len < 0;
5859879a381SJiong Wang 	s16 len = abs(meta->ldst_gather_len);
5869879a381SJiong Wang 	swreg src_base, off;
5873dd43c33SJakub Kicinski 	bool src_40bit_addr;
5889879a381SJiong Wang 	unsigned int i;
5899879a381SJiong Wang 	u8 xfer_num;
5909879a381SJiong Wang 
5919879a381SJiong Wang 	off = re_load_imm_any(nfp_prog, meta->insn.off, imm_b(nfp_prog));
5923dd43c33SJakub Kicinski 	src_40bit_addr = meta->ptr.type == PTR_TO_MAP_VALUE;
5939879a381SJiong Wang 	src_base = reg_a(meta->insn.src_reg * 2);
5949879a381SJiong Wang 	xfer_num = round_up(len, 4) / 4;
5959879a381SJiong Wang 
5963dd43c33SJakub Kicinski 	if (src_40bit_addr)
5973dd43c33SJakub Kicinski 		addr40_offset(nfp_prog, meta->insn.src_reg, off, &src_base,
5983dd43c33SJakub Kicinski 			      &off);
5993dd43c33SJakub Kicinski 
6008c900538SJiong Wang 	/* Setup PREV_ALU fields to override memory read length. */
6018c900538SJiong Wang 	if (len > 32)
6028c900538SJiong Wang 		wrp_immed(nfp_prog, reg_none(),
6038c900538SJiong Wang 			  CMD_OVE_LEN | FIELD_PREP(CMD_OV_LEN, xfer_num - 1));
6048c900538SJiong Wang 
6059879a381SJiong Wang 	/* Memory read from source addr into transfer-in registers. */
6063dd43c33SJakub Kicinski 	emit_cmd_any(nfp_prog, CMD_TGT_READ32_SWAP,
6073dd43c33SJakub Kicinski 		     src_40bit_addr ? CMD_MODE_40b_BA : CMD_MODE_32b, 0,
608b556ddd9SJakub Kicinski 		     src_base, off, xfer_num - 1, CMD_CTX_SWAP, len > 32);
6099879a381SJiong Wang 
6109879a381SJiong Wang 	/* Move from transfer-in to transfer-out. */
6119879a381SJiong Wang 	for (i = 0; i < xfer_num; i++)
6129879a381SJiong Wang 		wrp_mov(nfp_prog, reg_xfer(i), reg_xfer(i));
6139879a381SJiong Wang 
6149879a381SJiong Wang 	off = re_load_imm_any(nfp_prog, meta->paired_st->off, imm_b(nfp_prog));
6159879a381SJiong Wang 
6169879a381SJiong Wang 	if (len <= 8) {
6179879a381SJiong Wang 		/* Use single direct_ref write8. */
6189879a381SJiong Wang 		emit_cmd(nfp_prog, CMD_TGT_WRITE8_SWAP, CMD_MODE_32b, 0,
6199879a381SJiong Wang 			 reg_a(meta->paired_st->dst_reg * 2), off, len - 1,
620b556ddd9SJakub Kicinski 			 CMD_CTX_SWAP);
6218c900538SJiong Wang 	} else if (len <= 32 && IS_ALIGNED(len, 4)) {
6229879a381SJiong Wang 		/* Use single direct_ref write32. */
6239879a381SJiong Wang 		emit_cmd(nfp_prog, CMD_TGT_WRITE32_SWAP, CMD_MODE_32b, 0,
6249879a381SJiong Wang 			 reg_a(meta->paired_st->dst_reg * 2), off, xfer_num - 1,
625b556ddd9SJakub Kicinski 			 CMD_CTX_SWAP);
6268c900538SJiong Wang 	} else if (len <= 32) {
6279879a381SJiong Wang 		/* Use single indirect_ref write8. */
6289879a381SJiong Wang 		wrp_immed(nfp_prog, reg_none(),
6299879a381SJiong Wang 			  CMD_OVE_LEN | FIELD_PREP(CMD_OV_LEN, len - 1));
6309879a381SJiong Wang 		emit_cmd_indir(nfp_prog, CMD_TGT_WRITE8_SWAP, CMD_MODE_32b, 0,
6319879a381SJiong Wang 			       reg_a(meta->paired_st->dst_reg * 2), off,
632b556ddd9SJakub Kicinski 			       len - 1, CMD_CTX_SWAP);
6338c900538SJiong Wang 	} else if (IS_ALIGNED(len, 4)) {
6348c900538SJiong Wang 		/* Use single indirect_ref write32. */
6358c900538SJiong Wang 		wrp_immed(nfp_prog, reg_none(),
6368c900538SJiong Wang 			  CMD_OVE_LEN | FIELD_PREP(CMD_OV_LEN, xfer_num - 1));
6378c900538SJiong Wang 		emit_cmd_indir(nfp_prog, CMD_TGT_WRITE32_SWAP, CMD_MODE_32b, 0,
6388c900538SJiong Wang 			       reg_a(meta->paired_st->dst_reg * 2), off,
639b556ddd9SJakub Kicinski 			       xfer_num - 1, CMD_CTX_SWAP);
6408c900538SJiong Wang 	} else if (len <= 40) {
6418c900538SJiong Wang 		/* Use one direct_ref write32 to write the first 32-bytes, then
6428c900538SJiong Wang 		 * another direct_ref write8 to write the remaining bytes.
6438c900538SJiong Wang 		 */
6448c900538SJiong Wang 		emit_cmd(nfp_prog, CMD_TGT_WRITE32_SWAP, CMD_MODE_32b, 0,
6458c900538SJiong Wang 			 reg_a(meta->paired_st->dst_reg * 2), off, 7,
646b556ddd9SJakub Kicinski 			 CMD_CTX_SWAP);
6478c900538SJiong Wang 
6488c900538SJiong Wang 		off = re_load_imm_any(nfp_prog, meta->paired_st->off + 32,
6498c900538SJiong Wang 				      imm_b(nfp_prog));
6508c900538SJiong Wang 		emit_cmd(nfp_prog, CMD_TGT_WRITE8_SWAP, CMD_MODE_32b, 8,
6518c900538SJiong Wang 			 reg_a(meta->paired_st->dst_reg * 2), off, len - 33,
652b556ddd9SJakub Kicinski 			 CMD_CTX_SWAP);
6538c900538SJiong Wang 	} else {
6548c900538SJiong Wang 		/* Use one indirect_ref write32 to write 4-bytes aligned length,
6558c900538SJiong Wang 		 * then another direct_ref write8 to write the remaining bytes.
6568c900538SJiong Wang 		 */
6578c900538SJiong Wang 		u8 new_off;
6588c900538SJiong Wang 
6598c900538SJiong Wang 		wrp_immed(nfp_prog, reg_none(),
6608c900538SJiong Wang 			  CMD_OVE_LEN | FIELD_PREP(CMD_OV_LEN, xfer_num - 2));
6618c900538SJiong Wang 		emit_cmd_indir(nfp_prog, CMD_TGT_WRITE32_SWAP, CMD_MODE_32b, 0,
6628c900538SJiong Wang 			       reg_a(meta->paired_st->dst_reg * 2), off,
663b556ddd9SJakub Kicinski 			       xfer_num - 2, CMD_CTX_SWAP);
6648c900538SJiong Wang 		new_off = meta->paired_st->off + (xfer_num - 1) * 4;
6658c900538SJiong Wang 		off = re_load_imm_any(nfp_prog, new_off, imm_b(nfp_prog));
6668c900538SJiong Wang 		emit_cmd(nfp_prog, CMD_TGT_WRITE8_SWAP, CMD_MODE_32b,
6678c900538SJiong Wang 			 xfer_num - 1, reg_a(meta->paired_st->dst_reg * 2), off,
668b556ddd9SJakub Kicinski 			 (len & 0x3) - 1, CMD_CTX_SWAP);
6699879a381SJiong Wang 	}
6709879a381SJiong Wang 
6719879a381SJiong Wang 	/* TODO: The following extra load is to make sure data flow be identical
6729879a381SJiong Wang 	 *  before and after we do memory copy optimization.
6739879a381SJiong Wang 	 *
6749879a381SJiong Wang 	 *  The load destination register is not guaranteed to be dead, so we
6759879a381SJiong Wang 	 *  need to make sure it is loaded with the value the same as before
6769879a381SJiong Wang 	 *  this transformation.
6779879a381SJiong Wang 	 *
6789879a381SJiong Wang 	 *  These extra loads could be removed once we have accurate register
6799879a381SJiong Wang 	 *  usage information.
6809879a381SJiong Wang 	 */
6819879a381SJiong Wang 	if (descending_seq)
6829879a381SJiong Wang 		xfer_num = 0;
6839879a381SJiong Wang 	else if (BPF_SIZE(meta->insn.code) != BPF_DW)
6849879a381SJiong Wang 		xfer_num = xfer_num - 1;
6859879a381SJiong Wang 	else
6869879a381SJiong Wang 		xfer_num = xfer_num - 2;
6879879a381SJiong Wang 
6889879a381SJiong Wang 	switch (BPF_SIZE(meta->insn.code)) {
6899879a381SJiong Wang 	case BPF_B:
6909879a381SJiong Wang 		wrp_reg_subpart(nfp_prog, reg_both(meta->insn.dst_reg * 2),
6919879a381SJiong Wang 				reg_xfer(xfer_num), 1,
6929879a381SJiong Wang 				IS_ALIGNED(len, 4) ? 3 : (len & 3) - 1);
6939879a381SJiong Wang 		break;
6949879a381SJiong Wang 	case BPF_H:
6959879a381SJiong Wang 		wrp_reg_subpart(nfp_prog, reg_both(meta->insn.dst_reg * 2),
6969879a381SJiong Wang 				reg_xfer(xfer_num), 2, (len & 3) ^ 2);
6979879a381SJiong Wang 		break;
6989879a381SJiong Wang 	case BPF_W:
6999879a381SJiong Wang 		wrp_mov(nfp_prog, reg_both(meta->insn.dst_reg * 2),
7009879a381SJiong Wang 			reg_xfer(0));
7019879a381SJiong Wang 		break;
7029879a381SJiong Wang 	case BPF_DW:
7039879a381SJiong Wang 		wrp_mov(nfp_prog, reg_both(meta->insn.dst_reg * 2),
7049879a381SJiong Wang 			reg_xfer(xfer_num));
7059879a381SJiong Wang 		wrp_mov(nfp_prog, reg_both(meta->insn.dst_reg * 2 + 1),
7069879a381SJiong Wang 			reg_xfer(xfer_num + 1));
7079879a381SJiong Wang 		break;
7089879a381SJiong Wang 	}
7099879a381SJiong Wang 
7109879a381SJiong Wang 	if (BPF_SIZE(meta->insn.code) != BPF_DW)
7119879a381SJiong Wang 		wrp_immed(nfp_prog, reg_both(meta->insn.dst_reg * 2 + 1), 0);
7129879a381SJiong Wang 
7139879a381SJiong Wang 	return 0;
7149879a381SJiong Wang }
7159879a381SJiong Wang 
716d9ae7f2bSJakub Kicinski static int
7170a793977SJakub Kicinski data_ld(struct nfp_prog *nfp_prog, swreg offset, u8 dst_gpr, int size)
718d9ae7f2bSJakub Kicinski {
719d9ae7f2bSJakub Kicinski 	unsigned int i;
720d9ae7f2bSJakub Kicinski 	u16 shift, sz;
721d9ae7f2bSJakub Kicinski 
722d9ae7f2bSJakub Kicinski 	/* We load the value from the address indicated in @offset and then
723d9ae7f2bSJakub Kicinski 	 * shift out the data we don't need.  Note: this is big endian!
724d9ae7f2bSJakub Kicinski 	 */
7250a793977SJakub Kicinski 	sz = max(size, 4);
726d9ae7f2bSJakub Kicinski 	shift = size < 4 ? 4 - size : 0;
727d9ae7f2bSJakub Kicinski 
7280a793977SJakub Kicinski 	emit_cmd(nfp_prog, CMD_TGT_READ8, CMD_MODE_32b, 0,
729b556ddd9SJakub Kicinski 		 pptr_reg(nfp_prog), offset, sz - 1, CMD_CTX_SWAP);
7300a793977SJakub Kicinski 
7310a793977SJakub Kicinski 	i = 0;
7320a793977SJakub Kicinski 	if (shift)
7330a793977SJakub Kicinski 		emit_shf(nfp_prog, reg_both(dst_gpr), reg_none(), SHF_OP_NONE,
7340a793977SJakub Kicinski 			 reg_xfer(0), SHF_SC_R_SHF, shift * 8);
7350a793977SJakub Kicinski 	else
7360a793977SJakub Kicinski 		for (; i * 4 < size; i++)
7370a793977SJakub Kicinski 			wrp_mov(nfp_prog, reg_both(dst_gpr + i), reg_xfer(i));
7380a793977SJakub Kicinski 
7390a793977SJakub Kicinski 	if (i < 2)
7400a793977SJakub Kicinski 		wrp_immed(nfp_prog, reg_both(dst_gpr + 1), 0);
7410a793977SJakub Kicinski 
7420a793977SJakub Kicinski 	return 0;
7430a793977SJakub Kicinski }
7440a793977SJakub Kicinski 
7450a793977SJakub Kicinski static int
7463dd43c33SJakub Kicinski data_ld_host_order(struct nfp_prog *nfp_prog, u8 dst_gpr,
7473dd43c33SJakub Kicinski 		   swreg lreg, swreg rreg, int size, enum cmd_mode mode)
7482ca71441SJakub Kicinski {
7492ca71441SJakub Kicinski 	unsigned int i;
7502ca71441SJakub Kicinski 	u8 mask, sz;
7512ca71441SJakub Kicinski 
7523dd43c33SJakub Kicinski 	/* We load the value from the address indicated in rreg + lreg and then
7532ca71441SJakub Kicinski 	 * mask out the data we don't need.  Note: this is little endian!
7542ca71441SJakub Kicinski 	 */
7552ca71441SJakub Kicinski 	sz = max(size, 4);
7562ca71441SJakub Kicinski 	mask = size < 4 ? GENMASK(size - 1, 0) : 0;
7572ca71441SJakub Kicinski 
7583dd43c33SJakub Kicinski 	emit_cmd(nfp_prog, CMD_TGT_READ32_SWAP, mode, 0,
759b556ddd9SJakub Kicinski 		 lreg, rreg, sz / 4 - 1, CMD_CTX_SWAP);
7602ca71441SJakub Kicinski 
7612ca71441SJakub Kicinski 	i = 0;
7622ca71441SJakub Kicinski 	if (mask)
7632ca71441SJakub Kicinski 		emit_ld_field_any(nfp_prog, reg_both(dst_gpr), mask,
7642ca71441SJakub Kicinski 				  reg_xfer(0), SHF_SC_NONE, 0, true);
7652ca71441SJakub Kicinski 	else
7662ca71441SJakub Kicinski 		for (; i * 4 < size; i++)
7672ca71441SJakub Kicinski 			wrp_mov(nfp_prog, reg_both(dst_gpr + i), reg_xfer(i));
7682ca71441SJakub Kicinski 
7692ca71441SJakub Kicinski 	if (i < 2)
7702ca71441SJakub Kicinski 		wrp_immed(nfp_prog, reg_both(dst_gpr + 1), 0);
7712ca71441SJakub Kicinski 
7722ca71441SJakub Kicinski 	return 0;
7732ca71441SJakub Kicinski }
7742ca71441SJakub Kicinski 
7752ca71441SJakub Kicinski static int
7763dd43c33SJakub Kicinski data_ld_host_order_addr32(struct nfp_prog *nfp_prog, u8 src_gpr, swreg offset,
7773dd43c33SJakub Kicinski 			  u8 dst_gpr, u8 size)
7783dd43c33SJakub Kicinski {
7793dd43c33SJakub Kicinski 	return data_ld_host_order(nfp_prog, dst_gpr, reg_a(src_gpr), offset,
7803dd43c33SJakub Kicinski 				  size, CMD_MODE_32b);
7813dd43c33SJakub Kicinski }
7823dd43c33SJakub Kicinski 
7833dd43c33SJakub Kicinski static int
7843dd43c33SJakub Kicinski data_ld_host_order_addr40(struct nfp_prog *nfp_prog, u8 src_gpr, swreg offset,
7853dd43c33SJakub Kicinski 			  u8 dst_gpr, u8 size)
7863dd43c33SJakub Kicinski {
7873dd43c33SJakub Kicinski 	swreg rega, regb;
7883dd43c33SJakub Kicinski 
7893dd43c33SJakub Kicinski 	addr40_offset(nfp_prog, src_gpr, offset, &rega, &regb);
7903dd43c33SJakub Kicinski 
7913dd43c33SJakub Kicinski 	return data_ld_host_order(nfp_prog, dst_gpr, rega, regb,
7923dd43c33SJakub Kicinski 				  size, CMD_MODE_40b_BA);
7933dd43c33SJakub Kicinski }
7943dd43c33SJakub Kicinski 
7953dd43c33SJakub Kicinski static int
7960a793977SJakub Kicinski construct_data_ind_ld(struct nfp_prog *nfp_prog, u16 offset, u16 src, u8 size)
7970a793977SJakub Kicinski {
7980a793977SJakub Kicinski 	swreg tmp_reg;
7990a793977SJakub Kicinski 
800d9ae7f2bSJakub Kicinski 	/* Calculate the true offset (src_reg + imm) */
801d9ae7f2bSJakub Kicinski 	tmp_reg = ur_load_imm_any(nfp_prog, offset, imm_b(nfp_prog));
8020a793977SJakub Kicinski 	emit_alu(nfp_prog, imm_both(nfp_prog), reg_a(src), ALU_OP_ADD, tmp_reg);
8030a793977SJakub Kicinski 
804d9ae7f2bSJakub Kicinski 	/* Check packet length (size guaranteed to fit b/c it's u8) */
805d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, imm_a(nfp_prog),
806d9ae7f2bSJakub Kicinski 		 imm_a(nfp_prog), ALU_OP_ADD, reg_imm(size));
807d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_none(),
80818e53b6cSJakub Kicinski 		 plen_reg(nfp_prog), ALU_OP_SUB, imm_a(nfp_prog));
809e84797feSJakub Kicinski 	emit_br_relo(nfp_prog, BR_BLO, BR_OFF_RELO, 0, RELO_BR_GO_ABORT);
8100a793977SJakub Kicinski 
811d9ae7f2bSJakub Kicinski 	/* Load data */
8120a793977SJakub Kicinski 	return data_ld(nfp_prog, imm_b(nfp_prog), 0, size);
813d9ae7f2bSJakub Kicinski }
814d9ae7f2bSJakub Kicinski 
815d9ae7f2bSJakub Kicinski static int construct_data_ld(struct nfp_prog *nfp_prog, u16 offset, u8 size)
816d9ae7f2bSJakub Kicinski {
8170a793977SJakub Kicinski 	swreg tmp_reg;
8180a793977SJakub Kicinski 
8190a793977SJakub Kicinski 	/* Check packet length */
8200a793977SJakub Kicinski 	tmp_reg = ur_load_imm_any(nfp_prog, offset + size, imm_a(nfp_prog));
8210a793977SJakub Kicinski 	emit_alu(nfp_prog, reg_none(), plen_reg(nfp_prog), ALU_OP_SUB, tmp_reg);
822e84797feSJakub Kicinski 	emit_br_relo(nfp_prog, BR_BLO, BR_OFF_RELO, 0, RELO_BR_GO_ABORT);
8230a793977SJakub Kicinski 
8240a793977SJakub Kicinski 	/* Load data */
8250a793977SJakub Kicinski 	tmp_reg = re_load_imm_any(nfp_prog, offset, imm_b(nfp_prog));
8260a793977SJakub Kicinski 	return data_ld(nfp_prog, tmp_reg, 0, size);
827d9ae7f2bSJakub Kicinski }
828d9ae7f2bSJakub Kicinski 
829e663fe38SJakub Kicinski static int
830e663fe38SJakub Kicinski data_stx_host_order(struct nfp_prog *nfp_prog, u8 dst_gpr, swreg offset,
831e663fe38SJakub Kicinski 		    u8 src_gpr, u8 size)
832e663fe38SJakub Kicinski {
833e663fe38SJakub Kicinski 	unsigned int i;
834e663fe38SJakub Kicinski 
835e663fe38SJakub Kicinski 	for (i = 0; i * 4 < size; i++)
836e663fe38SJakub Kicinski 		wrp_mov(nfp_prog, reg_xfer(i), reg_a(src_gpr + i));
837e663fe38SJakub Kicinski 
838e663fe38SJakub Kicinski 	emit_cmd(nfp_prog, CMD_TGT_WRITE8_SWAP, CMD_MODE_32b, 0,
839b556ddd9SJakub Kicinski 		 reg_a(dst_gpr), offset, size - 1, CMD_CTX_SWAP);
840e663fe38SJakub Kicinski 
841e663fe38SJakub Kicinski 	return 0;
842e663fe38SJakub Kicinski }
843e663fe38SJakub Kicinski 
844e663fe38SJakub Kicinski static int
845e663fe38SJakub Kicinski data_st_host_order(struct nfp_prog *nfp_prog, u8 dst_gpr, swreg offset,
846e663fe38SJakub Kicinski 		   u64 imm, u8 size)
847e663fe38SJakub Kicinski {
848e663fe38SJakub Kicinski 	wrp_immed(nfp_prog, reg_xfer(0), imm);
849e663fe38SJakub Kicinski 	if (size == 8)
850e663fe38SJakub Kicinski 		wrp_immed(nfp_prog, reg_xfer(1), imm >> 32);
851e663fe38SJakub Kicinski 
852e663fe38SJakub Kicinski 	emit_cmd(nfp_prog, CMD_TGT_WRITE8_SWAP, CMD_MODE_32b, 0,
853b556ddd9SJakub Kicinski 		 reg_a(dst_gpr), offset, size - 1, CMD_CTX_SWAP);
854e663fe38SJakub Kicinski 
855e663fe38SJakub Kicinski 	return 0;
856e663fe38SJakub Kicinski }
857e663fe38SJakub Kicinski 
858ee9133a8SJakub Kicinski typedef int
859ee9133a8SJakub Kicinski (*lmem_step)(struct nfp_prog *nfp_prog, u8 gpr, u8 gpr_byte, s32 off,
8602df03a50SJakub Kicinski 	     unsigned int size, bool first, bool new_gpr, bool last, bool lm3,
8612df03a50SJakub Kicinski 	     bool needs_inc);
862a82b23fbSJakub Kicinski 
863a82b23fbSJakub Kicinski static int
864a82b23fbSJakub Kicinski wrp_lmem_load(struct nfp_prog *nfp_prog, u8 dst, u8 dst_byte, s32 off,
8652df03a50SJakub Kicinski 	      unsigned int size, bool first, bool new_gpr, bool last, bool lm3,
8662df03a50SJakub Kicinski 	      bool needs_inc)
867a82b23fbSJakub Kicinski {
8682df03a50SJakub Kicinski 	bool should_inc = needs_inc && new_gpr && !last;
869a82b23fbSJakub Kicinski 	u32 idx, src_byte;
870a82b23fbSJakub Kicinski 	enum shf_sc sc;
871a82b23fbSJakub Kicinski 	swreg reg;
872a82b23fbSJakub Kicinski 	int shf;
873a82b23fbSJakub Kicinski 	u8 mask;
874a82b23fbSJakub Kicinski 
875a82b23fbSJakub Kicinski 	if (WARN_ON_ONCE(dst_byte + size > 4 || off % 4 + size > 4))
876a82b23fbSJakub Kicinski 		return -EOPNOTSUPP;
877a82b23fbSJakub Kicinski 
878a82b23fbSJakub Kicinski 	idx = off / 4;
879a82b23fbSJakub Kicinski 
880a82b23fbSJakub Kicinski 	/* Move the entire word */
881a82b23fbSJakub Kicinski 	if (size == 4) {
8822df03a50SJakub Kicinski 		wrp_mov(nfp_prog, reg_both(dst),
8832df03a50SJakub Kicinski 			should_inc ? reg_lm_inc(3) : reg_lm(lm3 ? 3 : 0, idx));
884a82b23fbSJakub Kicinski 		return 0;
885a82b23fbSJakub Kicinski 	}
886a82b23fbSJakub Kicinski 
8872df03a50SJakub Kicinski 	if (WARN_ON_ONCE(lm3 && idx > RE_REG_LM_IDX_MAX))
8882df03a50SJakub Kicinski 		return -EOPNOTSUPP;
8892df03a50SJakub Kicinski 
890a82b23fbSJakub Kicinski 	src_byte = off % 4;
891a82b23fbSJakub Kicinski 
892a82b23fbSJakub Kicinski 	mask = (1 << size) - 1;
893a82b23fbSJakub Kicinski 	mask <<= dst_byte;
894a82b23fbSJakub Kicinski 
895a82b23fbSJakub Kicinski 	if (WARN_ON_ONCE(mask > 0xf))
896a82b23fbSJakub Kicinski 		return -EOPNOTSUPP;
897a82b23fbSJakub Kicinski 
898a82b23fbSJakub Kicinski 	shf = abs(src_byte - dst_byte) * 8;
899a82b23fbSJakub Kicinski 	if (src_byte == dst_byte) {
900a82b23fbSJakub Kicinski 		sc = SHF_SC_NONE;
901a82b23fbSJakub Kicinski 	} else if (src_byte < dst_byte) {
902a82b23fbSJakub Kicinski 		shf = 32 - shf;
903a82b23fbSJakub Kicinski 		sc = SHF_SC_L_SHF;
904a82b23fbSJakub Kicinski 	} else {
905a82b23fbSJakub Kicinski 		sc = SHF_SC_R_SHF;
906a82b23fbSJakub Kicinski 	}
907a82b23fbSJakub Kicinski 
908a82b23fbSJakub Kicinski 	/* ld_field can address fewer indexes, if offset too large do RMW.
909a82b23fbSJakub Kicinski 	 * Because we RMV twice we waste 2 cycles on unaligned 8 byte writes.
910a82b23fbSJakub Kicinski 	 */
911a82b23fbSJakub Kicinski 	if (idx <= RE_REG_LM_IDX_MAX) {
9122df03a50SJakub Kicinski 		reg = reg_lm(lm3 ? 3 : 0, idx);
913a82b23fbSJakub Kicinski 	} else {
914a82b23fbSJakub Kicinski 		reg = imm_a(nfp_prog);
9159a90c83cSJakub Kicinski 		/* If it's not the first part of the load and we start a new GPR
9169a90c83cSJakub Kicinski 		 * that means we are loading a second part of the LMEM word into
9179a90c83cSJakub Kicinski 		 * a new GPR.  IOW we've already looked that LMEM word and
9189a90c83cSJakub Kicinski 		 * therefore it has been loaded into imm_a().
9199a90c83cSJakub Kicinski 		 */
9209a90c83cSJakub Kicinski 		if (first || !new_gpr)
921a82b23fbSJakub Kicinski 			wrp_mov(nfp_prog, reg, reg_lm(0, idx));
922a82b23fbSJakub Kicinski 	}
923a82b23fbSJakub Kicinski 
924a82b23fbSJakub Kicinski 	emit_ld_field_any(nfp_prog, reg_both(dst), mask, reg, sc, shf, new_gpr);
925a82b23fbSJakub Kicinski 
9262df03a50SJakub Kicinski 	if (should_inc)
9272df03a50SJakub Kicinski 		wrp_mov(nfp_prog, reg_none(), reg_lm_inc(3));
9282df03a50SJakub Kicinski 
929a82b23fbSJakub Kicinski 	return 0;
930a82b23fbSJakub Kicinski }
931ee9133a8SJakub Kicinski 
932ee9133a8SJakub Kicinski static int
933ee9133a8SJakub Kicinski wrp_lmem_store(struct nfp_prog *nfp_prog, u8 src, u8 src_byte, s32 off,
9342df03a50SJakub Kicinski 	       unsigned int size, bool first, bool new_gpr, bool last, bool lm3,
9352df03a50SJakub Kicinski 	       bool needs_inc)
936ee9133a8SJakub Kicinski {
9372df03a50SJakub Kicinski 	bool should_inc = needs_inc && new_gpr && !last;
938ee9133a8SJakub Kicinski 	u32 idx, dst_byte;
939ee9133a8SJakub Kicinski 	enum shf_sc sc;
940ee9133a8SJakub Kicinski 	swreg reg;
941ee9133a8SJakub Kicinski 	int shf;
942ee9133a8SJakub Kicinski 	u8 mask;
943ee9133a8SJakub Kicinski 
944ee9133a8SJakub Kicinski 	if (WARN_ON_ONCE(src_byte + size > 4 || off % 4 + size > 4))
945ee9133a8SJakub Kicinski 		return -EOPNOTSUPP;
946ee9133a8SJakub Kicinski 
947ee9133a8SJakub Kicinski 	idx = off / 4;
948ee9133a8SJakub Kicinski 
949ee9133a8SJakub Kicinski 	/* Move the entire word */
950ee9133a8SJakub Kicinski 	if (size == 4) {
9512df03a50SJakub Kicinski 		wrp_mov(nfp_prog,
9522df03a50SJakub Kicinski 			should_inc ? reg_lm_inc(3) : reg_lm(lm3 ? 3 : 0, idx),
9532df03a50SJakub Kicinski 			reg_b(src));
954ee9133a8SJakub Kicinski 		return 0;
955ee9133a8SJakub Kicinski 	}
956ee9133a8SJakub Kicinski 
9572df03a50SJakub Kicinski 	if (WARN_ON_ONCE(lm3 && idx > RE_REG_LM_IDX_MAX))
9582df03a50SJakub Kicinski 		return -EOPNOTSUPP;
9592df03a50SJakub Kicinski 
960ee9133a8SJakub Kicinski 	dst_byte = off % 4;
961ee9133a8SJakub Kicinski 
962ee9133a8SJakub Kicinski 	mask = (1 << size) - 1;
963ee9133a8SJakub Kicinski 	mask <<= dst_byte;
964ee9133a8SJakub Kicinski 
965ee9133a8SJakub Kicinski 	if (WARN_ON_ONCE(mask > 0xf))
966ee9133a8SJakub Kicinski 		return -EOPNOTSUPP;
967ee9133a8SJakub Kicinski 
968ee9133a8SJakub Kicinski 	shf = abs(src_byte - dst_byte) * 8;
969ee9133a8SJakub Kicinski 	if (src_byte == dst_byte) {
970ee9133a8SJakub Kicinski 		sc = SHF_SC_NONE;
971ee9133a8SJakub Kicinski 	} else if (src_byte < dst_byte) {
972ee9133a8SJakub Kicinski 		shf = 32 - shf;
973ee9133a8SJakub Kicinski 		sc = SHF_SC_L_SHF;
974ee9133a8SJakub Kicinski 	} else {
975ee9133a8SJakub Kicinski 		sc = SHF_SC_R_SHF;
976ee9133a8SJakub Kicinski 	}
977ee9133a8SJakub Kicinski 
978ee9133a8SJakub Kicinski 	/* ld_field can address fewer indexes, if offset too large do RMW.
979ee9133a8SJakub Kicinski 	 * Because we RMV twice we waste 2 cycles on unaligned 8 byte writes.
980ee9133a8SJakub Kicinski 	 */
981ee9133a8SJakub Kicinski 	if (idx <= RE_REG_LM_IDX_MAX) {
9822df03a50SJakub Kicinski 		reg = reg_lm(lm3 ? 3 : 0, idx);
983ee9133a8SJakub Kicinski 	} else {
984ee9133a8SJakub Kicinski 		reg = imm_a(nfp_prog);
9859a90c83cSJakub Kicinski 		/* Only first and last LMEM locations are going to need RMW,
9869a90c83cSJakub Kicinski 		 * the middle location will be overwritten fully.
9879a90c83cSJakub Kicinski 		 */
9889a90c83cSJakub Kicinski 		if (first || last)
989ee9133a8SJakub Kicinski 			wrp_mov(nfp_prog, reg, reg_lm(0, idx));
990ee9133a8SJakub Kicinski 	}
991ee9133a8SJakub Kicinski 
992ee9133a8SJakub Kicinski 	emit_ld_field(nfp_prog, reg, mask, reg_b(src), sc, shf);
993ee9133a8SJakub Kicinski 
9949a90c83cSJakub Kicinski 	if (new_gpr || last) {
995ee9133a8SJakub Kicinski 		if (idx > RE_REG_LM_IDX_MAX)
996ee9133a8SJakub Kicinski 			wrp_mov(nfp_prog, reg_lm(0, idx), reg);
9972df03a50SJakub Kicinski 		if (should_inc)
9982df03a50SJakub Kicinski 			wrp_mov(nfp_prog, reg_none(), reg_lm_inc(3));
9999a90c83cSJakub Kicinski 	}
1000ee9133a8SJakub Kicinski 
1001ee9133a8SJakub Kicinski 	return 0;
1002ee9133a8SJakub Kicinski }
1003ee9133a8SJakub Kicinski 
1004ee9133a8SJakub Kicinski static int
1005ee9133a8SJakub Kicinski mem_op_stack(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
1006b14157eeSJakub Kicinski 	     unsigned int size, unsigned int ptr_off, u8 gpr, u8 ptr_gpr,
1007b14157eeSJakub Kicinski 	     bool clr_gpr, lmem_step step)
1008ee9133a8SJakub Kicinski {
1009d3488480SJakub Kicinski 	s32 off = nfp_prog->stack_depth + meta->insn.off + ptr_off;
10109a90c83cSJakub Kicinski 	bool first = true, last;
10112df03a50SJakub Kicinski 	bool needs_inc = false;
10122df03a50SJakub Kicinski 	swreg stack_off_reg;
1013a82b23fbSJakub Kicinski 	u8 prev_gpr = 255;
1014ee9133a8SJakub Kicinski 	u32 gpr_byte = 0;
10152df03a50SJakub Kicinski 	bool lm3 = true;
1016ee9133a8SJakub Kicinski 	int ret;
1017ee9133a8SJakub Kicinski 
1018b14157eeSJakub Kicinski 	if (meta->ptr_not_const) {
1019b14157eeSJakub Kicinski 		/* Use of the last encountered ptr_off is OK, they all have
1020b14157eeSJakub Kicinski 		 * the same alignment.  Depend on low bits of value being
1021b14157eeSJakub Kicinski 		 * discarded when written to LMaddr register.
1022b14157eeSJakub Kicinski 		 */
1023b14157eeSJakub Kicinski 		stack_off_reg = ur_load_imm_any(nfp_prog, meta->insn.off,
1024b14157eeSJakub Kicinski 						stack_imm(nfp_prog));
1025b14157eeSJakub Kicinski 
1026b14157eeSJakub Kicinski 		emit_alu(nfp_prog, imm_b(nfp_prog),
1027b14157eeSJakub Kicinski 			 reg_a(ptr_gpr), ALU_OP_ADD, stack_off_reg);
1028b14157eeSJakub Kicinski 
1029b14157eeSJakub Kicinski 		needs_inc = true;
1030b14157eeSJakub Kicinski 	} else if (off + size <= 64) {
10312df03a50SJakub Kicinski 		/* We can reach bottom 64B with LMaddr0 */
10322df03a50SJakub Kicinski 		lm3 = false;
10332df03a50SJakub Kicinski 	} else if (round_down(off, 32) == round_down(off + size - 1, 32)) {
10342df03a50SJakub Kicinski 		/* We have to set up a new pointer.  If we know the offset
10352df03a50SJakub Kicinski 		 * and the entire access falls into a single 32 byte aligned
10362df03a50SJakub Kicinski 		 * window we won't have to increment the LM pointer.
10372df03a50SJakub Kicinski 		 * The 32 byte alignment is imporant because offset is ORed in
10382df03a50SJakub Kicinski 		 * not added when doing *l$indexN[off].
10392df03a50SJakub Kicinski 		 */
10402df03a50SJakub Kicinski 		stack_off_reg = ur_load_imm_any(nfp_prog, round_down(off, 32),
10412df03a50SJakub Kicinski 						stack_imm(nfp_prog));
10422df03a50SJakub Kicinski 		emit_alu(nfp_prog, imm_b(nfp_prog),
10432df03a50SJakub Kicinski 			 stack_reg(nfp_prog), ALU_OP_ADD, stack_off_reg);
10442df03a50SJakub Kicinski 
10452df03a50SJakub Kicinski 		off %= 32;
10462df03a50SJakub Kicinski 	} else {
10472df03a50SJakub Kicinski 		stack_off_reg = ur_load_imm_any(nfp_prog, round_down(off, 4),
10482df03a50SJakub Kicinski 						stack_imm(nfp_prog));
10492df03a50SJakub Kicinski 
10502df03a50SJakub Kicinski 		emit_alu(nfp_prog, imm_b(nfp_prog),
10512df03a50SJakub Kicinski 			 stack_reg(nfp_prog), ALU_OP_ADD, stack_off_reg);
10522df03a50SJakub Kicinski 
10532df03a50SJakub Kicinski 		needs_inc = true;
10542df03a50SJakub Kicinski 	}
10552df03a50SJakub Kicinski 	if (lm3) {
10562df03a50SJakub Kicinski 		emit_csr_wr(nfp_prog, imm_b(nfp_prog), NFP_CSR_ACT_LM_ADDR3);
10572df03a50SJakub Kicinski 		/* For size < 4 one slot will be filled by zeroing of upper. */
10582df03a50SJakub Kicinski 		wrp_nops(nfp_prog, clr_gpr && size < 8 ? 2 : 3);
10592df03a50SJakub Kicinski 	}
10602df03a50SJakub Kicinski 
1061a82b23fbSJakub Kicinski 	if (clr_gpr && size < 8)
1062a82b23fbSJakub Kicinski 		wrp_immed(nfp_prog, reg_both(gpr + 1), 0);
1063a82b23fbSJakub Kicinski 
1064ee9133a8SJakub Kicinski 	while (size) {
1065ee9133a8SJakub Kicinski 		u32 slice_end;
1066ee9133a8SJakub Kicinski 		u8 slice_size;
1067ee9133a8SJakub Kicinski 
1068ee9133a8SJakub Kicinski 		slice_size = min(size, 4 - gpr_byte);
1069ee9133a8SJakub Kicinski 		slice_end = min(off + slice_size, round_up(off + 1, 4));
1070ee9133a8SJakub Kicinski 		slice_size = slice_end - off;
1071ee9133a8SJakub Kicinski 
10729a90c83cSJakub Kicinski 		last = slice_size == size;
10739a90c83cSJakub Kicinski 
10742df03a50SJakub Kicinski 		if (needs_inc)
10752df03a50SJakub Kicinski 			off %= 4;
10762df03a50SJakub Kicinski 
1077a82b23fbSJakub Kicinski 		ret = step(nfp_prog, gpr, gpr_byte, off, slice_size,
10782df03a50SJakub Kicinski 			   first, gpr != prev_gpr, last, lm3, needs_inc);
1079ee9133a8SJakub Kicinski 		if (ret)
1080ee9133a8SJakub Kicinski 			return ret;
1081ee9133a8SJakub Kicinski 
1082a82b23fbSJakub Kicinski 		prev_gpr = gpr;
10839a90c83cSJakub Kicinski 		first = false;
10849a90c83cSJakub Kicinski 
1085ee9133a8SJakub Kicinski 		gpr_byte += slice_size;
1086ee9133a8SJakub Kicinski 		if (gpr_byte >= 4) {
1087ee9133a8SJakub Kicinski 			gpr_byte -= 4;
1088ee9133a8SJakub Kicinski 			gpr++;
1089ee9133a8SJakub Kicinski 		}
1090ee9133a8SJakub Kicinski 
1091ee9133a8SJakub Kicinski 		size -= slice_size;
1092ee9133a8SJakub Kicinski 		off += slice_size;
1093ee9133a8SJakub Kicinski 	}
1094ee9133a8SJakub Kicinski 
1095ee9133a8SJakub Kicinski 	return 0;
1096ee9133a8SJakub Kicinski }
1097ee9133a8SJakub Kicinski 
1098d9ae7f2bSJakub Kicinski static void
1099d9ae7f2bSJakub Kicinski wrp_alu_imm(struct nfp_prog *nfp_prog, u8 dst, enum alu_op alu_op, u32 imm)
1100d9ae7f2bSJakub Kicinski {
1101b3f868dfSJakub Kicinski 	swreg tmp_reg;
1102d9ae7f2bSJakub Kicinski 
1103d9ae7f2bSJakub Kicinski 	if (alu_op == ALU_OP_AND) {
1104d9ae7f2bSJakub Kicinski 		if (!imm)
1105d9ae7f2bSJakub Kicinski 			wrp_immed(nfp_prog, reg_both(dst), 0);
1106d9ae7f2bSJakub Kicinski 		if (!imm || !~imm)
1107d9ae7f2bSJakub Kicinski 			return;
1108d9ae7f2bSJakub Kicinski 	}
1109d9ae7f2bSJakub Kicinski 	if (alu_op == ALU_OP_OR) {
1110d9ae7f2bSJakub Kicinski 		if (!~imm)
1111d9ae7f2bSJakub Kicinski 			wrp_immed(nfp_prog, reg_both(dst), ~0U);
1112d9ae7f2bSJakub Kicinski 		if (!imm || !~imm)
1113d9ae7f2bSJakub Kicinski 			return;
1114d9ae7f2bSJakub Kicinski 	}
1115d9ae7f2bSJakub Kicinski 	if (alu_op == ALU_OP_XOR) {
1116d9ae7f2bSJakub Kicinski 		if (!~imm)
1117d9ae7f2bSJakub Kicinski 			emit_alu(nfp_prog, reg_both(dst), reg_none(),
11185d42ced1SJiong Wang 				 ALU_OP_NOT, reg_b(dst));
1119d9ae7f2bSJakub Kicinski 		if (!imm || !~imm)
1120d9ae7f2bSJakub Kicinski 			return;
1121d9ae7f2bSJakub Kicinski 	}
1122d9ae7f2bSJakub Kicinski 
1123d9ae7f2bSJakub Kicinski 	tmp_reg = ur_load_imm_any(nfp_prog, imm, imm_b(nfp_prog));
1124d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_both(dst), reg_a(dst), alu_op, tmp_reg);
1125d9ae7f2bSJakub Kicinski }
1126d9ae7f2bSJakub Kicinski 
1127d9ae7f2bSJakub Kicinski static int
1128d9ae7f2bSJakub Kicinski wrp_alu64_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
1129d9ae7f2bSJakub Kicinski 	      enum alu_op alu_op, bool skip)
1130d9ae7f2bSJakub Kicinski {
1131d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
1132d9ae7f2bSJakub Kicinski 	u64 imm = insn->imm; /* sign extend */
1133d9ae7f2bSJakub Kicinski 
1134d9ae7f2bSJakub Kicinski 	if (skip) {
1135d9ae7f2bSJakub Kicinski 		meta->skip = true;
1136d9ae7f2bSJakub Kicinski 		return 0;
1137d9ae7f2bSJakub Kicinski 	}
1138d9ae7f2bSJakub Kicinski 
1139d9ae7f2bSJakub Kicinski 	wrp_alu_imm(nfp_prog, insn->dst_reg * 2, alu_op, imm & ~0U);
1140d9ae7f2bSJakub Kicinski 	wrp_alu_imm(nfp_prog, insn->dst_reg * 2 + 1, alu_op, imm >> 32);
1141d9ae7f2bSJakub Kicinski 
1142d9ae7f2bSJakub Kicinski 	return 0;
1143d9ae7f2bSJakub Kicinski }
1144d9ae7f2bSJakub Kicinski 
1145d9ae7f2bSJakub Kicinski static int
1146d9ae7f2bSJakub Kicinski wrp_alu64_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
1147d9ae7f2bSJakub Kicinski 	      enum alu_op alu_op)
1148d9ae7f2bSJakub Kicinski {
1149d9ae7f2bSJakub Kicinski 	u8 dst = meta->insn.dst_reg * 2, src = meta->insn.src_reg * 2;
1150d9ae7f2bSJakub Kicinski 
1151d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_both(dst), reg_a(dst), alu_op, reg_b(src));
1152d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_both(dst + 1),
1153d9ae7f2bSJakub Kicinski 		 reg_a(dst + 1), alu_op, reg_b(src + 1));
1154d9ae7f2bSJakub Kicinski 
1155d9ae7f2bSJakub Kicinski 	return 0;
1156d9ae7f2bSJakub Kicinski }
1157d9ae7f2bSJakub Kicinski 
1158d9ae7f2bSJakub Kicinski static int
1159d9ae7f2bSJakub Kicinski wrp_alu32_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
1160d9ae7f2bSJakub Kicinski 	      enum alu_op alu_op, bool skip)
1161d9ae7f2bSJakub Kicinski {
1162d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
1163d9ae7f2bSJakub Kicinski 
1164d9ae7f2bSJakub Kicinski 	if (skip) {
1165d9ae7f2bSJakub Kicinski 		meta->skip = true;
1166d9ae7f2bSJakub Kicinski 		return 0;
1167d9ae7f2bSJakub Kicinski 	}
1168d9ae7f2bSJakub Kicinski 
1169d9ae7f2bSJakub Kicinski 	wrp_alu_imm(nfp_prog, insn->dst_reg * 2, alu_op, insn->imm);
1170d9ae7f2bSJakub Kicinski 	wrp_immed(nfp_prog, reg_both(insn->dst_reg * 2 + 1), 0);
1171d9ae7f2bSJakub Kicinski 
1172d9ae7f2bSJakub Kicinski 	return 0;
1173d9ae7f2bSJakub Kicinski }
1174d9ae7f2bSJakub Kicinski 
1175d9ae7f2bSJakub Kicinski static int
1176d9ae7f2bSJakub Kicinski wrp_alu32_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
1177d9ae7f2bSJakub Kicinski 	      enum alu_op alu_op)
1178d9ae7f2bSJakub Kicinski {
1179d9ae7f2bSJakub Kicinski 	u8 dst = meta->insn.dst_reg * 2, src = meta->insn.src_reg * 2;
1180d9ae7f2bSJakub Kicinski 
1181d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_both(dst), reg_a(dst), alu_op, reg_b(src));
1182d9ae7f2bSJakub Kicinski 	wrp_immed(nfp_prog, reg_both(meta->insn.dst_reg * 2 + 1), 0);
1183d9ae7f2bSJakub Kicinski 
1184d9ae7f2bSJakub Kicinski 	return 0;
1185d9ae7f2bSJakub Kicinski }
1186d9ae7f2bSJakub Kicinski 
1187d9ae7f2bSJakub Kicinski static void
1188d9ae7f2bSJakub Kicinski wrp_test_reg_one(struct nfp_prog *nfp_prog, u8 dst, enum alu_op alu_op, u8 src,
1189d9ae7f2bSJakub Kicinski 		 enum br_mask br_mask, u16 off)
1190d9ae7f2bSJakub Kicinski {
1191d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_none(), reg_a(dst), alu_op, reg_b(src));
1192d9ae7f2bSJakub Kicinski 	emit_br(nfp_prog, br_mask, off, 0);
1193d9ae7f2bSJakub Kicinski }
1194d9ae7f2bSJakub Kicinski 
1195d9ae7f2bSJakub Kicinski static int
1196d9ae7f2bSJakub Kicinski wrp_test_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
1197d9ae7f2bSJakub Kicinski 	     enum alu_op alu_op, enum br_mask br_mask)
1198d9ae7f2bSJakub Kicinski {
1199d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
1200d9ae7f2bSJakub Kicinski 
1201d9ae7f2bSJakub Kicinski 	wrp_test_reg_one(nfp_prog, insn->dst_reg * 2, alu_op,
1202d9ae7f2bSJakub Kicinski 			 insn->src_reg * 2, br_mask, insn->off);
1203d9ae7f2bSJakub Kicinski 	wrp_test_reg_one(nfp_prog, insn->dst_reg * 2 + 1, alu_op,
1204d9ae7f2bSJakub Kicinski 			 insn->src_reg * 2 + 1, br_mask, insn->off);
1205d9ae7f2bSJakub Kicinski 
1206d9ae7f2bSJakub Kicinski 	return 0;
1207d9ae7f2bSJakub Kicinski }
1208d9ae7f2bSJakub Kicinski 
1209d9ae7f2bSJakub Kicinski static int
1210d9ae7f2bSJakub Kicinski wrp_cmp_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
1211d9ae7f2bSJakub Kicinski 	    enum br_mask br_mask, bool swap)
1212d9ae7f2bSJakub Kicinski {
1213d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
1214d9ae7f2bSJakub Kicinski 	u64 imm = insn->imm; /* sign extend */
1215d9ae7f2bSJakub Kicinski 	u8 reg = insn->dst_reg * 2;
1216b3f868dfSJakub Kicinski 	swreg tmp_reg;
1217d9ae7f2bSJakub Kicinski 
1218d9ae7f2bSJakub Kicinski 	tmp_reg = ur_load_imm_any(nfp_prog, imm & ~0U, imm_b(nfp_prog));
1219d9ae7f2bSJakub Kicinski 	if (!swap)
1220d9ae7f2bSJakub Kicinski 		emit_alu(nfp_prog, reg_none(), reg_a(reg), ALU_OP_SUB, tmp_reg);
1221d9ae7f2bSJakub Kicinski 	else
1222d9ae7f2bSJakub Kicinski 		emit_alu(nfp_prog, reg_none(), tmp_reg, ALU_OP_SUB, reg_a(reg));
1223d9ae7f2bSJakub Kicinski 
1224d9ae7f2bSJakub Kicinski 	tmp_reg = ur_load_imm_any(nfp_prog, imm >> 32, imm_b(nfp_prog));
1225d9ae7f2bSJakub Kicinski 	if (!swap)
1226d9ae7f2bSJakub Kicinski 		emit_alu(nfp_prog, reg_none(),
1227d9ae7f2bSJakub Kicinski 			 reg_a(reg + 1), ALU_OP_SUB_C, tmp_reg);
1228d9ae7f2bSJakub Kicinski 	else
1229d9ae7f2bSJakub Kicinski 		emit_alu(nfp_prog, reg_none(),
1230d9ae7f2bSJakub Kicinski 			 tmp_reg, ALU_OP_SUB_C, reg_a(reg + 1));
1231d9ae7f2bSJakub Kicinski 
1232d9ae7f2bSJakub Kicinski 	emit_br(nfp_prog, br_mask, insn->off, 0);
1233d9ae7f2bSJakub Kicinski 
1234d9ae7f2bSJakub Kicinski 	return 0;
1235d9ae7f2bSJakub Kicinski }
1236d9ae7f2bSJakub Kicinski 
1237d9ae7f2bSJakub Kicinski static int
1238d9ae7f2bSJakub Kicinski wrp_cmp_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
1239d9ae7f2bSJakub Kicinski 	    enum br_mask br_mask, bool swap)
1240d9ae7f2bSJakub Kicinski {
1241d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
124226fa818dSJakub Kicinski 	u8 areg, breg;
124326fa818dSJakub Kicinski 
124426fa818dSJakub Kicinski 	areg = insn->dst_reg * 2;
124526fa818dSJakub Kicinski 	breg = insn->src_reg * 2;
1246d9ae7f2bSJakub Kicinski 
1247d9ae7f2bSJakub Kicinski 	if (swap) {
1248d9ae7f2bSJakub Kicinski 		areg ^= breg;
1249d9ae7f2bSJakub Kicinski 		breg ^= areg;
1250d9ae7f2bSJakub Kicinski 		areg ^= breg;
1251d9ae7f2bSJakub Kicinski 	}
1252d9ae7f2bSJakub Kicinski 
1253d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_none(), reg_a(areg), ALU_OP_SUB, reg_b(breg));
1254d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_none(),
1255d9ae7f2bSJakub Kicinski 		 reg_a(areg + 1), ALU_OP_SUB_C, reg_b(breg + 1));
1256d9ae7f2bSJakub Kicinski 	emit_br(nfp_prog, br_mask, insn->off, 0);
1257d9ae7f2bSJakub Kicinski 
1258d9ae7f2bSJakub Kicinski 	return 0;
1259d9ae7f2bSJakub Kicinski }
1260d9ae7f2bSJakub Kicinski 
12613119d1fdSJakub Kicinski static void wrp_end32(struct nfp_prog *nfp_prog, swreg reg_in, u8 gpr_out)
12623119d1fdSJakub Kicinski {
12633119d1fdSJakub Kicinski 	emit_ld_field(nfp_prog, reg_both(gpr_out), 0xf, reg_in,
12643119d1fdSJakub Kicinski 		      SHF_SC_R_ROT, 8);
12653119d1fdSJakub Kicinski 	emit_ld_field(nfp_prog, reg_both(gpr_out), 0x5, reg_a(gpr_out),
12663119d1fdSJakub Kicinski 		      SHF_SC_R_ROT, 16);
12673119d1fdSJakub Kicinski }
12683119d1fdSJakub Kicinski 
12690d49eaf4SJakub Kicinski static int adjust_head(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
12700d49eaf4SJakub Kicinski {
12710d49eaf4SJakub Kicinski 	swreg tmp = imm_a(nfp_prog), tmp_len = imm_b(nfp_prog);
12720d49eaf4SJakub Kicinski 	struct nfp_bpf_cap_adjust_head *adjust_head;
12730d49eaf4SJakub Kicinski 	u32 ret_einval, end;
12740d49eaf4SJakub Kicinski 
12750d49eaf4SJakub Kicinski 	adjust_head = &nfp_prog->bpf->adjust_head;
12760d49eaf4SJakub Kicinski 
12778231f844SJakub Kicinski 	/* Optimized version - 5 vs 14 cycles */
12788231f844SJakub Kicinski 	if (nfp_prog->adjust_head_location != UINT_MAX) {
12798231f844SJakub Kicinski 		if (WARN_ON_ONCE(nfp_prog->adjust_head_location != meta->n))
12808231f844SJakub Kicinski 			return -EINVAL;
12818231f844SJakub Kicinski 
12828231f844SJakub Kicinski 		emit_alu(nfp_prog, pptr_reg(nfp_prog),
12838231f844SJakub Kicinski 			 reg_a(2 * 2), ALU_OP_ADD, pptr_reg(nfp_prog));
12848231f844SJakub Kicinski 		emit_alu(nfp_prog, plen_reg(nfp_prog),
12858231f844SJakub Kicinski 			 plen_reg(nfp_prog), ALU_OP_SUB, reg_a(2 * 2));
12868231f844SJakub Kicinski 		emit_alu(nfp_prog, pv_len(nfp_prog),
12878231f844SJakub Kicinski 			 pv_len(nfp_prog), ALU_OP_SUB, reg_a(2 * 2));
12888231f844SJakub Kicinski 
12898231f844SJakub Kicinski 		wrp_immed(nfp_prog, reg_both(0), 0);
12908231f844SJakub Kicinski 		wrp_immed(nfp_prog, reg_both(1), 0);
12918231f844SJakub Kicinski 
12928231f844SJakub Kicinski 		/* TODO: when adjust head is guaranteed to succeed we can
12938231f844SJakub Kicinski 		 * also eliminate the following if (r0 == 0) branch.
12948231f844SJakub Kicinski 		 */
12958231f844SJakub Kicinski 
12968231f844SJakub Kicinski 		return 0;
12978231f844SJakub Kicinski 	}
12988231f844SJakub Kicinski 
12990d49eaf4SJakub Kicinski 	ret_einval = nfp_prog_current_offset(nfp_prog) + 14;
13000d49eaf4SJakub Kicinski 	end = ret_einval + 2;
13010d49eaf4SJakub Kicinski 
13020d49eaf4SJakub Kicinski 	/* We need to use a temp because offset is just a part of the pkt ptr */
13030d49eaf4SJakub Kicinski 	emit_alu(nfp_prog, tmp,
13040d49eaf4SJakub Kicinski 		 reg_a(2 * 2), ALU_OP_ADD_2B, pptr_reg(nfp_prog));
13050d49eaf4SJakub Kicinski 
13060d49eaf4SJakub Kicinski 	/* Validate result will fit within FW datapath constraints */
13070d49eaf4SJakub Kicinski 	emit_alu(nfp_prog, reg_none(),
13080d49eaf4SJakub Kicinski 		 tmp, ALU_OP_SUB, reg_imm(adjust_head->off_min));
13090d49eaf4SJakub Kicinski 	emit_br(nfp_prog, BR_BLO, ret_einval, 0);
13100d49eaf4SJakub Kicinski 	emit_alu(nfp_prog, reg_none(),
13110d49eaf4SJakub Kicinski 		 reg_imm(adjust_head->off_max), ALU_OP_SUB, tmp);
13120d49eaf4SJakub Kicinski 	emit_br(nfp_prog, BR_BLO, ret_einval, 0);
13130d49eaf4SJakub Kicinski 
13140d49eaf4SJakub Kicinski 	/* Validate the length is at least ETH_HLEN */
13150d49eaf4SJakub Kicinski 	emit_alu(nfp_prog, tmp_len,
13160d49eaf4SJakub Kicinski 		 plen_reg(nfp_prog), ALU_OP_SUB, reg_a(2 * 2));
13170d49eaf4SJakub Kicinski 	emit_alu(nfp_prog, reg_none(),
13180d49eaf4SJakub Kicinski 		 tmp_len, ALU_OP_SUB, reg_imm(ETH_HLEN));
13190d49eaf4SJakub Kicinski 	emit_br(nfp_prog, BR_BMI, ret_einval, 0);
13200d49eaf4SJakub Kicinski 
13210d49eaf4SJakub Kicinski 	/* Load the ret code */
13220d49eaf4SJakub Kicinski 	wrp_immed(nfp_prog, reg_both(0), 0);
13230d49eaf4SJakub Kicinski 	wrp_immed(nfp_prog, reg_both(1), 0);
13240d49eaf4SJakub Kicinski 
13250d49eaf4SJakub Kicinski 	/* Modify the packet metadata */
13260d49eaf4SJakub Kicinski 	emit_ld_field(nfp_prog, pptr_reg(nfp_prog), 0x3, tmp, SHF_SC_NONE, 0);
13270d49eaf4SJakub Kicinski 
13280d49eaf4SJakub Kicinski 	/* Skip over the -EINVAL ret code (defer 2) */
13292314fe9eSJakub Kicinski 	emit_br(nfp_prog, BR_UNC, end, 2);
13300d49eaf4SJakub Kicinski 
13310d49eaf4SJakub Kicinski 	emit_alu(nfp_prog, plen_reg(nfp_prog),
13320d49eaf4SJakub Kicinski 		 plen_reg(nfp_prog), ALU_OP_SUB, reg_a(2 * 2));
13330d49eaf4SJakub Kicinski 	emit_alu(nfp_prog, pv_len(nfp_prog),
13340d49eaf4SJakub Kicinski 		 pv_len(nfp_prog), ALU_OP_SUB, reg_a(2 * 2));
13350d49eaf4SJakub Kicinski 
13360d49eaf4SJakub Kicinski 	/* return -EINVAL target */
13370d49eaf4SJakub Kicinski 	if (!nfp_prog_confirm_current_offset(nfp_prog, ret_einval))
13380d49eaf4SJakub Kicinski 		return -EINVAL;
13390d49eaf4SJakub Kicinski 
13400d49eaf4SJakub Kicinski 	wrp_immed(nfp_prog, reg_both(0), -22);
13410d49eaf4SJakub Kicinski 	wrp_immed(nfp_prog, reg_both(1), ~0);
13420d49eaf4SJakub Kicinski 
13430d49eaf4SJakub Kicinski 	if (!nfp_prog_confirm_current_offset(nfp_prog, end))
13440d49eaf4SJakub Kicinski 		return -EINVAL;
13450d49eaf4SJakub Kicinski 
13460d49eaf4SJakub Kicinski 	return 0;
13470d49eaf4SJakub Kicinski }
13480d49eaf4SJakub Kicinski 
134977a3d311SJakub Kicinski static int
1350fc448497SJakub Kicinski map_call_stack_common(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
135177a3d311SJakub Kicinski {
135277a3d311SJakub Kicinski 	struct bpf_offloaded_map *offmap;
135377a3d311SJakub Kicinski 	struct nfp_bpf_map *nfp_map;
135477a3d311SJakub Kicinski 	bool load_lm_ptr;
135577a3d311SJakub Kicinski 	u32 ret_tgt;
135677a3d311SJakub Kicinski 	s64 lm_off;
135777a3d311SJakub Kicinski 	swreg tid;
135877a3d311SJakub Kicinski 
135977a3d311SJakub Kicinski 	offmap = (struct bpf_offloaded_map *)meta->arg1.map_ptr;
136077a3d311SJakub Kicinski 	nfp_map = offmap->dev_priv;
136177a3d311SJakub Kicinski 
136277a3d311SJakub Kicinski 	/* We only have to reload LM0 if the key is not at start of stack */
136377a3d311SJakub Kicinski 	lm_off = nfp_prog->stack_depth;
13642f46e0c1SJakub Kicinski 	lm_off += meta->arg2.reg.var_off.value + meta->arg2.reg.off;
13652f46e0c1SJakub Kicinski 	load_lm_ptr = meta->arg2.var_off || lm_off;
136677a3d311SJakub Kicinski 
136777a3d311SJakub Kicinski 	/* Set LM0 to start of key */
136877a3d311SJakub Kicinski 	if (load_lm_ptr)
136977a3d311SJakub Kicinski 		emit_csr_wr(nfp_prog, reg_b(2 * 2), NFP_CSR_ACT_LM_ADDR0);
137044d65a47SJakub Kicinski 	if (meta->func_id == BPF_FUNC_map_update_elem)
137144d65a47SJakub Kicinski 		emit_csr_wr(nfp_prog, reg_b(3 * 2), NFP_CSR_ACT_LM_ADDR2);
137277a3d311SJakub Kicinski 
137377a3d311SJakub Kicinski 	/* Load map ID into a register, it should actually fit as an immediate
137477a3d311SJakub Kicinski 	 * but in case it doesn't deal with it here, not in the delay slots.
137577a3d311SJakub Kicinski 	 */
137677a3d311SJakub Kicinski 	tid = ur_load_imm_any(nfp_prog, nfp_map->tid, imm_a(nfp_prog));
137777a3d311SJakub Kicinski 
1378fc448497SJakub Kicinski 	emit_br_relo(nfp_prog, BR_UNC, BR_OFF_RELO + meta->func_id,
137977a3d311SJakub Kicinski 		     2, RELO_BR_HELPER);
138077a3d311SJakub Kicinski 	ret_tgt = nfp_prog_current_offset(nfp_prog) + 2;
138177a3d311SJakub Kicinski 
138277a3d311SJakub Kicinski 	/* Load map ID into A0 */
138377a3d311SJakub Kicinski 	wrp_mov(nfp_prog, reg_a(0), tid);
138477a3d311SJakub Kicinski 
138577a3d311SJakub Kicinski 	/* Load the return address into B0 */
138677a3d311SJakub Kicinski 	wrp_immed_relo(nfp_prog, reg_b(0), ret_tgt, RELO_IMMED_REL);
138777a3d311SJakub Kicinski 
138877a3d311SJakub Kicinski 	if (!nfp_prog_confirm_current_offset(nfp_prog, ret_tgt))
138977a3d311SJakub Kicinski 		return -EINVAL;
139077a3d311SJakub Kicinski 
139177a3d311SJakub Kicinski 	/* Reset the LM0 pointer */
139277a3d311SJakub Kicinski 	if (!load_lm_ptr)
139377a3d311SJakub Kicinski 		return 0;
139477a3d311SJakub Kicinski 
139577a3d311SJakub Kicinski 	emit_csr_wr(nfp_prog, stack_reg(nfp_prog),  NFP_CSR_ACT_LM_ADDR0);
139677a3d311SJakub Kicinski 	wrp_nops(nfp_prog, 3);
139777a3d311SJakub Kicinski 
139877a3d311SJakub Kicinski 	return 0;
139977a3d311SJakub Kicinski }
140077a3d311SJakub Kicinski 
1401d9ae7f2bSJakub Kicinski /* --- Callbacks --- */
1402d9ae7f2bSJakub Kicinski static int mov_reg64(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1403d9ae7f2bSJakub Kicinski {
1404d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
1405b14157eeSJakub Kicinski 	u8 dst = insn->dst_reg * 2;
1406b14157eeSJakub Kicinski 	u8 src = insn->src_reg * 2;
1407d9ae7f2bSJakub Kicinski 
1408b14157eeSJakub Kicinski 	if (insn->src_reg == BPF_REG_10) {
1409b14157eeSJakub Kicinski 		swreg stack_depth_reg;
1410b14157eeSJakub Kicinski 
1411b14157eeSJakub Kicinski 		stack_depth_reg = ur_load_imm_any(nfp_prog,
1412b14157eeSJakub Kicinski 						  nfp_prog->stack_depth,
1413b14157eeSJakub Kicinski 						  stack_imm(nfp_prog));
1414b14157eeSJakub Kicinski 		emit_alu(nfp_prog, reg_both(dst),
1415b14157eeSJakub Kicinski 			 stack_reg(nfp_prog), ALU_OP_ADD, stack_depth_reg);
1416b14157eeSJakub Kicinski 		wrp_immed(nfp_prog, reg_both(dst + 1), 0);
1417b14157eeSJakub Kicinski 	} else {
1418b14157eeSJakub Kicinski 		wrp_reg_mov(nfp_prog, dst, src);
1419b14157eeSJakub Kicinski 		wrp_reg_mov(nfp_prog, dst + 1, src + 1);
1420b14157eeSJakub Kicinski 	}
1421d9ae7f2bSJakub Kicinski 
1422d9ae7f2bSJakub Kicinski 	return 0;
1423d9ae7f2bSJakub Kicinski }
1424d9ae7f2bSJakub Kicinski 
1425d9ae7f2bSJakub Kicinski static int mov_imm64(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1426d9ae7f2bSJakub Kicinski {
1427d9ae7f2bSJakub Kicinski 	u64 imm = meta->insn.imm; /* sign extend */
1428d9ae7f2bSJakub Kicinski 
1429d9ae7f2bSJakub Kicinski 	wrp_immed(nfp_prog, reg_both(meta->insn.dst_reg * 2), imm & ~0U);
1430d9ae7f2bSJakub Kicinski 	wrp_immed(nfp_prog, reg_both(meta->insn.dst_reg * 2 + 1), imm >> 32);
1431d9ae7f2bSJakub Kicinski 
1432d9ae7f2bSJakub Kicinski 	return 0;
1433d9ae7f2bSJakub Kicinski }
1434d9ae7f2bSJakub Kicinski 
1435d9ae7f2bSJakub Kicinski static int xor_reg64(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1436d9ae7f2bSJakub Kicinski {
1437d9ae7f2bSJakub Kicinski 	return wrp_alu64_reg(nfp_prog, meta, ALU_OP_XOR);
1438d9ae7f2bSJakub Kicinski }
1439d9ae7f2bSJakub Kicinski 
1440d9ae7f2bSJakub Kicinski static int xor_imm64(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1441d9ae7f2bSJakub Kicinski {
1442d9ae7f2bSJakub Kicinski 	return wrp_alu64_imm(nfp_prog, meta, ALU_OP_XOR, !meta->insn.imm);
1443d9ae7f2bSJakub Kicinski }
1444d9ae7f2bSJakub Kicinski 
1445d9ae7f2bSJakub Kicinski static int and_reg64(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1446d9ae7f2bSJakub Kicinski {
1447d9ae7f2bSJakub Kicinski 	return wrp_alu64_reg(nfp_prog, meta, ALU_OP_AND);
1448d9ae7f2bSJakub Kicinski }
1449d9ae7f2bSJakub Kicinski 
1450d9ae7f2bSJakub Kicinski static int and_imm64(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1451d9ae7f2bSJakub Kicinski {
1452d9ae7f2bSJakub Kicinski 	return wrp_alu64_imm(nfp_prog, meta, ALU_OP_AND, !~meta->insn.imm);
1453d9ae7f2bSJakub Kicinski }
1454d9ae7f2bSJakub Kicinski 
1455d9ae7f2bSJakub Kicinski static int or_reg64(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1456d9ae7f2bSJakub Kicinski {
1457d9ae7f2bSJakub Kicinski 	return wrp_alu64_reg(nfp_prog, meta, ALU_OP_OR);
1458d9ae7f2bSJakub Kicinski }
1459d9ae7f2bSJakub Kicinski 
1460d9ae7f2bSJakub Kicinski static int or_imm64(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1461d9ae7f2bSJakub Kicinski {
1462d9ae7f2bSJakub Kicinski 	return wrp_alu64_imm(nfp_prog, meta, ALU_OP_OR, !meta->insn.imm);
1463d9ae7f2bSJakub Kicinski }
1464d9ae7f2bSJakub Kicinski 
1465d9ae7f2bSJakub Kicinski static int add_reg64(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1466d9ae7f2bSJakub Kicinski {
1467d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
1468d9ae7f2bSJakub Kicinski 
1469d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_both(insn->dst_reg * 2),
1470d9ae7f2bSJakub Kicinski 		 reg_a(insn->dst_reg * 2), ALU_OP_ADD,
1471d9ae7f2bSJakub Kicinski 		 reg_b(insn->src_reg * 2));
1472d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_both(insn->dst_reg * 2 + 1),
1473d9ae7f2bSJakub Kicinski 		 reg_a(insn->dst_reg * 2 + 1), ALU_OP_ADD_C,
1474d9ae7f2bSJakub Kicinski 		 reg_b(insn->src_reg * 2 + 1));
1475d9ae7f2bSJakub Kicinski 
1476d9ae7f2bSJakub Kicinski 	return 0;
1477d9ae7f2bSJakub Kicinski }
1478d9ae7f2bSJakub Kicinski 
1479d9ae7f2bSJakub Kicinski static int add_imm64(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1480d9ae7f2bSJakub Kicinski {
1481d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
1482d9ae7f2bSJakub Kicinski 	u64 imm = insn->imm; /* sign extend */
1483d9ae7f2bSJakub Kicinski 
1484d9ae7f2bSJakub Kicinski 	wrp_alu_imm(nfp_prog, insn->dst_reg * 2, ALU_OP_ADD, imm & ~0U);
1485d9ae7f2bSJakub Kicinski 	wrp_alu_imm(nfp_prog, insn->dst_reg * 2 + 1, ALU_OP_ADD_C, imm >> 32);
1486d9ae7f2bSJakub Kicinski 
1487d9ae7f2bSJakub Kicinski 	return 0;
1488d9ae7f2bSJakub Kicinski }
1489d9ae7f2bSJakub Kicinski 
1490d9ae7f2bSJakub Kicinski static int sub_reg64(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1491d9ae7f2bSJakub Kicinski {
1492d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
1493d9ae7f2bSJakub Kicinski 
1494d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_both(insn->dst_reg * 2),
1495d9ae7f2bSJakub Kicinski 		 reg_a(insn->dst_reg * 2), ALU_OP_SUB,
1496d9ae7f2bSJakub Kicinski 		 reg_b(insn->src_reg * 2));
1497d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_both(insn->dst_reg * 2 + 1),
1498d9ae7f2bSJakub Kicinski 		 reg_a(insn->dst_reg * 2 + 1), ALU_OP_SUB_C,
1499d9ae7f2bSJakub Kicinski 		 reg_b(insn->src_reg * 2 + 1));
1500d9ae7f2bSJakub Kicinski 
1501d9ae7f2bSJakub Kicinski 	return 0;
1502d9ae7f2bSJakub Kicinski }
1503d9ae7f2bSJakub Kicinski 
1504d9ae7f2bSJakub Kicinski static int sub_imm64(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1505d9ae7f2bSJakub Kicinski {
1506d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
1507d9ae7f2bSJakub Kicinski 	u64 imm = insn->imm; /* sign extend */
1508d9ae7f2bSJakub Kicinski 
1509d9ae7f2bSJakub Kicinski 	wrp_alu_imm(nfp_prog, insn->dst_reg * 2, ALU_OP_SUB, imm & ~0U);
1510d9ae7f2bSJakub Kicinski 	wrp_alu_imm(nfp_prog, insn->dst_reg * 2 + 1, ALU_OP_SUB_C, imm >> 32);
1511d9ae7f2bSJakub Kicinski 
1512d9ae7f2bSJakub Kicinski 	return 0;
1513d9ae7f2bSJakub Kicinski }
1514d9ae7f2bSJakub Kicinski 
1515254ef4d7SJiong Wang static int neg_reg64(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1516254ef4d7SJiong Wang {
1517254ef4d7SJiong Wang 	const struct bpf_insn *insn = &meta->insn;
1518254ef4d7SJiong Wang 
1519254ef4d7SJiong Wang 	emit_alu(nfp_prog, reg_both(insn->dst_reg * 2), reg_imm(0),
1520254ef4d7SJiong Wang 		 ALU_OP_SUB, reg_b(insn->dst_reg * 2));
1521254ef4d7SJiong Wang 	emit_alu(nfp_prog, reg_both(insn->dst_reg * 2 + 1), reg_imm(0),
1522254ef4d7SJiong Wang 		 ALU_OP_SUB_C, reg_b(insn->dst_reg * 2 + 1));
1523254ef4d7SJiong Wang 
1524254ef4d7SJiong Wang 	return 0;
1525254ef4d7SJiong Wang }
1526254ef4d7SJiong Wang 
1527d9ae7f2bSJakub Kicinski static int shl_imm64(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1528d9ae7f2bSJakub Kicinski {
1529d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
15303cae1319SJakub Kicinski 	u8 dst = insn->dst_reg * 2;
1531d9ae7f2bSJakub Kicinski 
15323cae1319SJakub Kicinski 	if (insn->imm < 32) {
15333cae1319SJakub Kicinski 		emit_shf(nfp_prog, reg_both(dst + 1),
15343cae1319SJakub Kicinski 			 reg_a(dst + 1), SHF_OP_NONE, reg_b(dst),
15353cae1319SJakub Kicinski 			 SHF_SC_R_DSHF, 32 - insn->imm);
15363cae1319SJakub Kicinski 		emit_shf(nfp_prog, reg_both(dst),
15373cae1319SJakub Kicinski 			 reg_none(), SHF_OP_NONE, reg_b(dst),
15383cae1319SJakub Kicinski 			 SHF_SC_L_SHF, insn->imm);
15393cae1319SJakub Kicinski 	} else if (insn->imm == 32) {
15403cae1319SJakub Kicinski 		wrp_reg_mov(nfp_prog, dst + 1, dst);
15413cae1319SJakub Kicinski 		wrp_immed(nfp_prog, reg_both(dst), 0);
15423cae1319SJakub Kicinski 	} else if (insn->imm > 32) {
15433cae1319SJakub Kicinski 		emit_shf(nfp_prog, reg_both(dst + 1),
15443cae1319SJakub Kicinski 			 reg_none(), SHF_OP_NONE, reg_b(dst),
15453cae1319SJakub Kicinski 			 SHF_SC_L_SHF, insn->imm - 32);
15463cae1319SJakub Kicinski 		wrp_immed(nfp_prog, reg_both(dst), 0);
15473cae1319SJakub Kicinski 	}
1548d9ae7f2bSJakub Kicinski 
1549d9ae7f2bSJakub Kicinski 	return 0;
1550d9ae7f2bSJakub Kicinski }
1551d9ae7f2bSJakub Kicinski 
1552d9ae7f2bSJakub Kicinski static int shr_imm64(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1553d9ae7f2bSJakub Kicinski {
1554d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
15553cae1319SJakub Kicinski 	u8 dst = insn->dst_reg * 2;
1556d9ae7f2bSJakub Kicinski 
15573cae1319SJakub Kicinski 	if (insn->imm < 32) {
15583cae1319SJakub Kicinski 		emit_shf(nfp_prog, reg_both(dst),
15593cae1319SJakub Kicinski 			 reg_a(dst + 1), SHF_OP_NONE, reg_b(dst),
15603cae1319SJakub Kicinski 			 SHF_SC_R_DSHF, insn->imm);
15613cae1319SJakub Kicinski 		emit_shf(nfp_prog, reg_both(dst + 1),
15623cae1319SJakub Kicinski 			 reg_none(), SHF_OP_NONE, reg_b(dst + 1),
15633cae1319SJakub Kicinski 			 SHF_SC_R_SHF, insn->imm);
15643cae1319SJakub Kicinski 	} else if (insn->imm == 32) {
15653cae1319SJakub Kicinski 		wrp_reg_mov(nfp_prog, dst, dst + 1);
15663cae1319SJakub Kicinski 		wrp_immed(nfp_prog, reg_both(dst + 1), 0);
15673cae1319SJakub Kicinski 	} else if (insn->imm > 32) {
15683cae1319SJakub Kicinski 		emit_shf(nfp_prog, reg_both(dst),
15693cae1319SJakub Kicinski 			 reg_none(), SHF_OP_NONE, reg_b(dst + 1),
15703cae1319SJakub Kicinski 			 SHF_SC_R_SHF, insn->imm - 32);
15713cae1319SJakub Kicinski 		wrp_immed(nfp_prog, reg_both(dst + 1), 0);
15723cae1319SJakub Kicinski 	}
1573d9ae7f2bSJakub Kicinski 
1574d9ae7f2bSJakub Kicinski 	return 0;
1575d9ae7f2bSJakub Kicinski }
1576d9ae7f2bSJakub Kicinski 
1577d9ae7f2bSJakub Kicinski static int mov_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1578d9ae7f2bSJakub Kicinski {
1579d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
1580d9ae7f2bSJakub Kicinski 
1581d9ae7f2bSJakub Kicinski 	wrp_reg_mov(nfp_prog, insn->dst_reg * 2,  insn->src_reg * 2);
1582d9ae7f2bSJakub Kicinski 	wrp_immed(nfp_prog, reg_both(insn->dst_reg * 2 + 1), 0);
1583d9ae7f2bSJakub Kicinski 
1584d9ae7f2bSJakub Kicinski 	return 0;
1585d9ae7f2bSJakub Kicinski }
1586d9ae7f2bSJakub Kicinski 
1587d9ae7f2bSJakub Kicinski static int mov_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1588d9ae7f2bSJakub Kicinski {
1589d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
1590d9ae7f2bSJakub Kicinski 
1591d9ae7f2bSJakub Kicinski 	wrp_immed(nfp_prog, reg_both(insn->dst_reg * 2), insn->imm);
1592d9ae7f2bSJakub Kicinski 	wrp_immed(nfp_prog, reg_both(insn->dst_reg * 2 + 1), 0);
1593d9ae7f2bSJakub Kicinski 
1594d9ae7f2bSJakub Kicinski 	return 0;
1595d9ae7f2bSJakub Kicinski }
1596d9ae7f2bSJakub Kicinski 
1597d9ae7f2bSJakub Kicinski static int xor_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1598d9ae7f2bSJakub Kicinski {
1599d9ae7f2bSJakub Kicinski 	return wrp_alu32_reg(nfp_prog, meta, ALU_OP_XOR);
1600d9ae7f2bSJakub Kicinski }
1601d9ae7f2bSJakub Kicinski 
1602d9ae7f2bSJakub Kicinski static int xor_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1603d9ae7f2bSJakub Kicinski {
1604d9ae7f2bSJakub Kicinski 	return wrp_alu32_imm(nfp_prog, meta, ALU_OP_XOR, !~meta->insn.imm);
1605d9ae7f2bSJakub Kicinski }
1606d9ae7f2bSJakub Kicinski 
1607d9ae7f2bSJakub Kicinski static int and_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1608d9ae7f2bSJakub Kicinski {
1609d9ae7f2bSJakub Kicinski 	return wrp_alu32_reg(nfp_prog, meta, ALU_OP_AND);
1610d9ae7f2bSJakub Kicinski }
1611d9ae7f2bSJakub Kicinski 
1612d9ae7f2bSJakub Kicinski static int and_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1613d9ae7f2bSJakub Kicinski {
1614d9ae7f2bSJakub Kicinski 	return wrp_alu32_imm(nfp_prog, meta, ALU_OP_AND, !~meta->insn.imm);
1615d9ae7f2bSJakub Kicinski }
1616d9ae7f2bSJakub Kicinski 
1617d9ae7f2bSJakub Kicinski static int or_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1618d9ae7f2bSJakub Kicinski {
1619d9ae7f2bSJakub Kicinski 	return wrp_alu32_reg(nfp_prog, meta, ALU_OP_OR);
1620d9ae7f2bSJakub Kicinski }
1621d9ae7f2bSJakub Kicinski 
1622d9ae7f2bSJakub Kicinski static int or_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1623d9ae7f2bSJakub Kicinski {
1624d9ae7f2bSJakub Kicinski 	return wrp_alu32_imm(nfp_prog, meta, ALU_OP_OR, !meta->insn.imm);
1625d9ae7f2bSJakub Kicinski }
1626d9ae7f2bSJakub Kicinski 
1627d9ae7f2bSJakub Kicinski static int add_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1628d9ae7f2bSJakub Kicinski {
1629d9ae7f2bSJakub Kicinski 	return wrp_alu32_reg(nfp_prog, meta, ALU_OP_ADD);
1630d9ae7f2bSJakub Kicinski }
1631d9ae7f2bSJakub Kicinski 
1632d9ae7f2bSJakub Kicinski static int add_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1633d9ae7f2bSJakub Kicinski {
1634d9ae7f2bSJakub Kicinski 	return wrp_alu32_imm(nfp_prog, meta, ALU_OP_ADD, !meta->insn.imm);
1635d9ae7f2bSJakub Kicinski }
1636d9ae7f2bSJakub Kicinski 
1637d9ae7f2bSJakub Kicinski static int sub_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1638d9ae7f2bSJakub Kicinski {
1639d9ae7f2bSJakub Kicinski 	return wrp_alu32_reg(nfp_prog, meta, ALU_OP_SUB);
1640d9ae7f2bSJakub Kicinski }
1641d9ae7f2bSJakub Kicinski 
1642d9ae7f2bSJakub Kicinski static int sub_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1643d9ae7f2bSJakub Kicinski {
1644d9ae7f2bSJakub Kicinski 	return wrp_alu32_imm(nfp_prog, meta, ALU_OP_SUB, !meta->insn.imm);
1645d9ae7f2bSJakub Kicinski }
1646d9ae7f2bSJakub Kicinski 
1647254ef4d7SJiong Wang static int neg_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1648254ef4d7SJiong Wang {
1649254ef4d7SJiong Wang 	u8 dst = meta->insn.dst_reg * 2;
1650254ef4d7SJiong Wang 
1651254ef4d7SJiong Wang 	emit_alu(nfp_prog, reg_both(dst), reg_imm(0), ALU_OP_SUB, reg_b(dst));
1652254ef4d7SJiong Wang 	wrp_immed(nfp_prog, reg_both(meta->insn.dst_reg * 2 + 1), 0);
1653254ef4d7SJiong Wang 
1654254ef4d7SJiong Wang 	return 0;
1655254ef4d7SJiong Wang }
1656254ef4d7SJiong Wang 
1657d9ae7f2bSJakub Kicinski static int shl_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1658d9ae7f2bSJakub Kicinski {
1659d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
1660d9ae7f2bSJakub Kicinski 
1661d9ae7f2bSJakub Kicinski 	if (!insn->imm)
1662d9ae7f2bSJakub Kicinski 		return 1; /* TODO: zero shift means indirect */
1663d9ae7f2bSJakub Kicinski 
1664d9ae7f2bSJakub Kicinski 	emit_shf(nfp_prog, reg_both(insn->dst_reg * 2),
1665d9ae7f2bSJakub Kicinski 		 reg_none(), SHF_OP_NONE, reg_b(insn->dst_reg * 2),
1666d9ae7f2bSJakub Kicinski 		 SHF_SC_L_SHF, insn->imm);
1667d9ae7f2bSJakub Kicinski 	wrp_immed(nfp_prog, reg_both(insn->dst_reg * 2 + 1), 0);
1668d9ae7f2bSJakub Kicinski 
1669d9ae7f2bSJakub Kicinski 	return 0;
1670d9ae7f2bSJakub Kicinski }
1671d9ae7f2bSJakub Kicinski 
16723119d1fdSJakub Kicinski static int end_reg32(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
16733119d1fdSJakub Kicinski {
16743119d1fdSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
16753119d1fdSJakub Kicinski 	u8 gpr = insn->dst_reg * 2;
16763119d1fdSJakub Kicinski 
16773119d1fdSJakub Kicinski 	switch (insn->imm) {
16783119d1fdSJakub Kicinski 	case 16:
16793119d1fdSJakub Kicinski 		emit_ld_field(nfp_prog, reg_both(gpr), 0x9, reg_b(gpr),
16803119d1fdSJakub Kicinski 			      SHF_SC_R_ROT, 8);
16813119d1fdSJakub Kicinski 		emit_ld_field(nfp_prog, reg_both(gpr), 0xe, reg_a(gpr),
16823119d1fdSJakub Kicinski 			      SHF_SC_R_SHF, 16);
16833119d1fdSJakub Kicinski 
16843119d1fdSJakub Kicinski 		wrp_immed(nfp_prog, reg_both(gpr + 1), 0);
16853119d1fdSJakub Kicinski 		break;
16863119d1fdSJakub Kicinski 	case 32:
16873119d1fdSJakub Kicinski 		wrp_end32(nfp_prog, reg_a(gpr), gpr);
16883119d1fdSJakub Kicinski 		wrp_immed(nfp_prog, reg_both(gpr + 1), 0);
16893119d1fdSJakub Kicinski 		break;
16903119d1fdSJakub Kicinski 	case 64:
16913119d1fdSJakub Kicinski 		wrp_mov(nfp_prog, imm_a(nfp_prog), reg_b(gpr + 1));
16923119d1fdSJakub Kicinski 
16933119d1fdSJakub Kicinski 		wrp_end32(nfp_prog, reg_a(gpr), gpr + 1);
16943119d1fdSJakub Kicinski 		wrp_end32(nfp_prog, imm_a(nfp_prog), gpr);
16953119d1fdSJakub Kicinski 		break;
16963119d1fdSJakub Kicinski 	}
16973119d1fdSJakub Kicinski 
16983119d1fdSJakub Kicinski 	return 0;
16993119d1fdSJakub Kicinski }
17003119d1fdSJakub Kicinski 
1701d9ae7f2bSJakub Kicinski static int imm_ld8_part2(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1702d9ae7f2bSJakub Kicinski {
17039f16c8abSJakub Kicinski 	struct nfp_insn_meta *prev = nfp_meta_prev(meta);
17049f16c8abSJakub Kicinski 	u32 imm_lo, imm_hi;
17059f16c8abSJakub Kicinski 	u8 dst;
17069f16c8abSJakub Kicinski 
17079f16c8abSJakub Kicinski 	dst = prev->insn.dst_reg * 2;
17089f16c8abSJakub Kicinski 	imm_lo = prev->insn.imm;
17099f16c8abSJakub Kicinski 	imm_hi = meta->insn.imm;
17109f16c8abSJakub Kicinski 
17119f16c8abSJakub Kicinski 	wrp_immed(nfp_prog, reg_both(dst), imm_lo);
17129f16c8abSJakub Kicinski 
17139f16c8abSJakub Kicinski 	/* mov is always 1 insn, load imm may be two, so try to use mov */
17149f16c8abSJakub Kicinski 	if (imm_hi == imm_lo)
17159f16c8abSJakub Kicinski 		wrp_mov(nfp_prog, reg_both(dst + 1), reg_a(dst));
17169f16c8abSJakub Kicinski 	else
17179f16c8abSJakub Kicinski 		wrp_immed(nfp_prog, reg_both(dst + 1), imm_hi);
1718d9ae7f2bSJakub Kicinski 
1719d9ae7f2bSJakub Kicinski 	return 0;
1720d9ae7f2bSJakub Kicinski }
1721d9ae7f2bSJakub Kicinski 
1722d9ae7f2bSJakub Kicinski static int imm_ld8(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1723d9ae7f2bSJakub Kicinski {
1724d9ae7f2bSJakub Kicinski 	meta->double_cb = imm_ld8_part2;
1725d9ae7f2bSJakub Kicinski 	return 0;
1726d9ae7f2bSJakub Kicinski }
1727d9ae7f2bSJakub Kicinski 
1728d9ae7f2bSJakub Kicinski static int data_ld1(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1729d9ae7f2bSJakub Kicinski {
1730d9ae7f2bSJakub Kicinski 	return construct_data_ld(nfp_prog, meta->insn.imm, 1);
1731d9ae7f2bSJakub Kicinski }
1732d9ae7f2bSJakub Kicinski 
1733d9ae7f2bSJakub Kicinski static int data_ld2(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1734d9ae7f2bSJakub Kicinski {
1735d9ae7f2bSJakub Kicinski 	return construct_data_ld(nfp_prog, meta->insn.imm, 2);
1736d9ae7f2bSJakub Kicinski }
1737d9ae7f2bSJakub Kicinski 
1738d9ae7f2bSJakub Kicinski static int data_ld4(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1739d9ae7f2bSJakub Kicinski {
1740d9ae7f2bSJakub Kicinski 	return construct_data_ld(nfp_prog, meta->insn.imm, 4);
1741d9ae7f2bSJakub Kicinski }
1742d9ae7f2bSJakub Kicinski 
1743d9ae7f2bSJakub Kicinski static int data_ind_ld1(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1744d9ae7f2bSJakub Kicinski {
1745d9ae7f2bSJakub Kicinski 	return construct_data_ind_ld(nfp_prog, meta->insn.imm,
17460a793977SJakub Kicinski 				     meta->insn.src_reg * 2, 1);
1747d9ae7f2bSJakub Kicinski }
1748d9ae7f2bSJakub Kicinski 
1749d9ae7f2bSJakub Kicinski static int data_ind_ld2(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1750d9ae7f2bSJakub Kicinski {
1751d9ae7f2bSJakub Kicinski 	return construct_data_ind_ld(nfp_prog, meta->insn.imm,
17520a793977SJakub Kicinski 				     meta->insn.src_reg * 2, 2);
1753d9ae7f2bSJakub Kicinski }
1754d9ae7f2bSJakub Kicinski 
1755d9ae7f2bSJakub Kicinski static int data_ind_ld4(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1756d9ae7f2bSJakub Kicinski {
1757d9ae7f2bSJakub Kicinski 	return construct_data_ind_ld(nfp_prog, meta->insn.imm,
17580a793977SJakub Kicinski 				     meta->insn.src_reg * 2, 4);
1759d9ae7f2bSJakub Kicinski }
1760d9ae7f2bSJakub Kicinski 
1761a82b23fbSJakub Kicinski static int
1762a82b23fbSJakub Kicinski mem_ldx_stack(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
1763d3488480SJakub Kicinski 	      unsigned int size, unsigned int ptr_off)
1764a82b23fbSJakub Kicinski {
1765d3488480SJakub Kicinski 	return mem_op_stack(nfp_prog, meta, size, ptr_off,
1766b14157eeSJakub Kicinski 			    meta->insn.dst_reg * 2, meta->insn.src_reg * 2,
1767b14157eeSJakub Kicinski 			    true, wrp_lmem_load);
1768a82b23fbSJakub Kicinski }
1769a82b23fbSJakub Kicinski 
1770943c57b9SJakub Kicinski static int mem_ldx_skb(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
1771943c57b9SJakub Kicinski 		       u8 size)
1772d9ae7f2bSJakub Kicinski {
1773bfddbc8aSJakub Kicinski 	swreg dst = reg_both(meta->insn.dst_reg * 2);
1774bfddbc8aSJakub Kicinski 
1775943c57b9SJakub Kicinski 	switch (meta->insn.off) {
1776c6c580d7SJakub Kicinski 	case offsetof(struct __sk_buff, len):
1777c6c580d7SJakub Kicinski 		if (size != FIELD_SIZEOF(struct __sk_buff, len))
1778943c57b9SJakub Kicinski 			return -EOPNOTSUPP;
1779bfddbc8aSJakub Kicinski 		wrp_mov(nfp_prog, dst, plen_reg(nfp_prog));
1780bfddbc8aSJakub Kicinski 		break;
1781c6c580d7SJakub Kicinski 	case offsetof(struct __sk_buff, data):
1782c6c580d7SJakub Kicinski 		if (size != FIELD_SIZEOF(struct __sk_buff, data))
1783bfddbc8aSJakub Kicinski 			return -EOPNOTSUPP;
1784bfddbc8aSJakub Kicinski 		wrp_mov(nfp_prog, dst, pptr_reg(nfp_prog));
1785bfddbc8aSJakub Kicinski 		break;
1786c6c580d7SJakub Kicinski 	case offsetof(struct __sk_buff, data_end):
1787c6c580d7SJakub Kicinski 		if (size != FIELD_SIZEOF(struct __sk_buff, data_end))
1788bfddbc8aSJakub Kicinski 			return -EOPNOTSUPP;
1789bfddbc8aSJakub Kicinski 		emit_alu(nfp_prog, dst,
1790bfddbc8aSJakub Kicinski 			 plen_reg(nfp_prog), ALU_OP_ADD, pptr_reg(nfp_prog));
1791943c57b9SJakub Kicinski 		break;
1792943c57b9SJakub Kicinski 	default:
1793d9ae7f2bSJakub Kicinski 		return -EOPNOTSUPP;
1794943c57b9SJakub Kicinski 	}
1795943c57b9SJakub Kicinski 
1796943c57b9SJakub Kicinski 	wrp_immed(nfp_prog, reg_both(meta->insn.dst_reg * 2 + 1), 0);
1797d9ae7f2bSJakub Kicinski 
1798d9ae7f2bSJakub Kicinski 	return 0;
1799d9ae7f2bSJakub Kicinski }
1800d9ae7f2bSJakub Kicinski 
1801943c57b9SJakub Kicinski static int mem_ldx_xdp(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
1802943c57b9SJakub Kicinski 		       u8 size)
1803d9ae7f2bSJakub Kicinski {
1804b3f868dfSJakub Kicinski 	swreg dst = reg_both(meta->insn.dst_reg * 2);
1805d9ae7f2bSJakub Kicinski 
1806943c57b9SJakub Kicinski 	switch (meta->insn.off) {
1807c6c580d7SJakub Kicinski 	case offsetof(struct xdp_md, data):
1808c6c580d7SJakub Kicinski 		if (size != FIELD_SIZEOF(struct xdp_md, data))
1809c6c580d7SJakub Kicinski 			return -EOPNOTSUPP;
1810c000dfb5SJakub Kicinski 		wrp_mov(nfp_prog, dst, pptr_reg(nfp_prog));
1811943c57b9SJakub Kicinski 		break;
1812c6c580d7SJakub Kicinski 	case offsetof(struct xdp_md, data_end):
1813c6c580d7SJakub Kicinski 		if (size != FIELD_SIZEOF(struct xdp_md, data_end))
1814c6c580d7SJakub Kicinski 			return -EOPNOTSUPP;
1815943c57b9SJakub Kicinski 		emit_alu(nfp_prog, dst,
1816943c57b9SJakub Kicinski 			 plen_reg(nfp_prog), ALU_OP_ADD, pptr_reg(nfp_prog));
1817943c57b9SJakub Kicinski 		break;
1818943c57b9SJakub Kicinski 	default:
1819943c57b9SJakub Kicinski 		return -EOPNOTSUPP;
1820943c57b9SJakub Kicinski 	}
1821d9ae7f2bSJakub Kicinski 
1822943c57b9SJakub Kicinski 	wrp_immed(nfp_prog, reg_both(meta->insn.dst_reg * 2 + 1), 0);
1823d9ae7f2bSJakub Kicinski 
1824d9ae7f2bSJakub Kicinski 	return 0;
1825d9ae7f2bSJakub Kicinski }
1826d9ae7f2bSJakub Kicinski 
18272ca71441SJakub Kicinski static int
18282ca71441SJakub Kicinski mem_ldx_data(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
18292ca71441SJakub Kicinski 	     unsigned int size)
18302ca71441SJakub Kicinski {
18312ca71441SJakub Kicinski 	swreg tmp_reg;
18322ca71441SJakub Kicinski 
18332ca71441SJakub Kicinski 	tmp_reg = re_load_imm_any(nfp_prog, meta->insn.off, imm_b(nfp_prog));
18342ca71441SJakub Kicinski 
18353dd43c33SJakub Kicinski 	return data_ld_host_order_addr32(nfp_prog, meta->insn.src_reg * 2,
18363dd43c33SJakub Kicinski 					 tmp_reg, meta->insn.dst_reg * 2, size);
18373dd43c33SJakub Kicinski }
18383dd43c33SJakub Kicinski 
18393dd43c33SJakub Kicinski static int
18403dd43c33SJakub Kicinski mem_ldx_emem(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
18413dd43c33SJakub Kicinski 	     unsigned int size)
18423dd43c33SJakub Kicinski {
18433dd43c33SJakub Kicinski 	swreg tmp_reg;
18443dd43c33SJakub Kicinski 
18453dd43c33SJakub Kicinski 	tmp_reg = re_load_imm_any(nfp_prog, meta->insn.off, imm_b(nfp_prog));
18463dd43c33SJakub Kicinski 
18473dd43c33SJakub Kicinski 	return data_ld_host_order_addr40(nfp_prog, meta->insn.src_reg * 2,
18483dd43c33SJakub Kicinski 					 tmp_reg, meta->insn.dst_reg * 2, size);
18492ca71441SJakub Kicinski }
18502ca71441SJakub Kicinski 
1851be759237SJiong Wang static void
1852be759237SJiong Wang mem_ldx_data_init_pktcache(struct nfp_prog *nfp_prog,
1853be759237SJiong Wang 			   struct nfp_insn_meta *meta)
1854be759237SJiong Wang {
1855be759237SJiong Wang 	s16 range_start = meta->pkt_cache.range_start;
1856be759237SJiong Wang 	s16 range_end = meta->pkt_cache.range_end;
1857be759237SJiong Wang 	swreg src_base, off;
1858be759237SJiong Wang 	u8 xfer_num, len;
1859be759237SJiong Wang 	bool indir;
1860be759237SJiong Wang 
1861be759237SJiong Wang 	off = re_load_imm_any(nfp_prog, range_start, imm_b(nfp_prog));
1862be759237SJiong Wang 	src_base = reg_a(meta->insn.src_reg * 2);
1863be759237SJiong Wang 	len = range_end - range_start;
1864be759237SJiong Wang 	xfer_num = round_up(len, REG_WIDTH) / REG_WIDTH;
1865be759237SJiong Wang 
1866be759237SJiong Wang 	indir = len > 8 * REG_WIDTH;
1867be759237SJiong Wang 	/* Setup PREV_ALU for indirect mode. */
1868be759237SJiong Wang 	if (indir)
1869be759237SJiong Wang 		wrp_immed(nfp_prog, reg_none(),
1870be759237SJiong Wang 			  CMD_OVE_LEN | FIELD_PREP(CMD_OV_LEN, xfer_num - 1));
1871be759237SJiong Wang 
1872be759237SJiong Wang 	/* Cache memory into transfer-in registers. */
1873be759237SJiong Wang 	emit_cmd_any(nfp_prog, CMD_TGT_READ32_SWAP, CMD_MODE_32b, 0, src_base,
1874b556ddd9SJakub Kicinski 		     off, xfer_num - 1, CMD_CTX_SWAP, indir);
1875be759237SJiong Wang }
1876be759237SJiong Wang 
1877be759237SJiong Wang static int
187891ff69e8SJiong Wang mem_ldx_data_from_pktcache_unaligned(struct nfp_prog *nfp_prog,
187991ff69e8SJiong Wang 				     struct nfp_insn_meta *meta,
188091ff69e8SJiong Wang 				     unsigned int size)
188191ff69e8SJiong Wang {
188291ff69e8SJiong Wang 	s16 range_start = meta->pkt_cache.range_start;
188391ff69e8SJiong Wang 	s16 insn_off = meta->insn.off - range_start;
188491ff69e8SJiong Wang 	swreg dst_lo, dst_hi, src_lo, src_mid;
188591ff69e8SJiong Wang 	u8 dst_gpr = meta->insn.dst_reg * 2;
188691ff69e8SJiong Wang 	u8 len_lo = size, len_mid = 0;
188791ff69e8SJiong Wang 	u8 idx = insn_off / REG_WIDTH;
188891ff69e8SJiong Wang 	u8 off = insn_off % REG_WIDTH;
188991ff69e8SJiong Wang 
189091ff69e8SJiong Wang 	dst_hi = reg_both(dst_gpr + 1);
189191ff69e8SJiong Wang 	dst_lo = reg_both(dst_gpr);
189291ff69e8SJiong Wang 	src_lo = reg_xfer(idx);
189391ff69e8SJiong Wang 
189491ff69e8SJiong Wang 	/* The read length could involve as many as three registers. */
189591ff69e8SJiong Wang 	if (size > REG_WIDTH - off) {
189691ff69e8SJiong Wang 		/* Calculate the part in the second register. */
189791ff69e8SJiong Wang 		len_lo = REG_WIDTH - off;
189891ff69e8SJiong Wang 		len_mid = size - len_lo;
189991ff69e8SJiong Wang 
190091ff69e8SJiong Wang 		/* Calculate the part in the third register. */
190191ff69e8SJiong Wang 		if (size > 2 * REG_WIDTH - off)
190291ff69e8SJiong Wang 			len_mid = REG_WIDTH;
190391ff69e8SJiong Wang 	}
190491ff69e8SJiong Wang 
190591ff69e8SJiong Wang 	wrp_reg_subpart(nfp_prog, dst_lo, src_lo, len_lo, off);
190691ff69e8SJiong Wang 
190791ff69e8SJiong Wang 	if (!len_mid) {
190891ff69e8SJiong Wang 		wrp_immed(nfp_prog, dst_hi, 0);
190991ff69e8SJiong Wang 		return 0;
191091ff69e8SJiong Wang 	}
191191ff69e8SJiong Wang 
191291ff69e8SJiong Wang 	src_mid = reg_xfer(idx + 1);
191391ff69e8SJiong Wang 
191491ff69e8SJiong Wang 	if (size <= REG_WIDTH) {
191591ff69e8SJiong Wang 		wrp_reg_or_subpart(nfp_prog, dst_lo, src_mid, len_mid, len_lo);
191691ff69e8SJiong Wang 		wrp_immed(nfp_prog, dst_hi, 0);
191791ff69e8SJiong Wang 	} else {
191891ff69e8SJiong Wang 		swreg src_hi = reg_xfer(idx + 2);
191991ff69e8SJiong Wang 
192091ff69e8SJiong Wang 		wrp_reg_or_subpart(nfp_prog, dst_lo, src_mid,
192191ff69e8SJiong Wang 				   REG_WIDTH - len_lo, len_lo);
192291ff69e8SJiong Wang 		wrp_reg_subpart(nfp_prog, dst_hi, src_mid, len_lo,
192391ff69e8SJiong Wang 				REG_WIDTH - len_lo);
192491ff69e8SJiong Wang 		wrp_reg_or_subpart(nfp_prog, dst_hi, src_hi, REG_WIDTH - len_lo,
192591ff69e8SJiong Wang 				   len_lo);
192691ff69e8SJiong Wang 	}
192791ff69e8SJiong Wang 
192891ff69e8SJiong Wang 	return 0;
192991ff69e8SJiong Wang }
193091ff69e8SJiong Wang 
193191ff69e8SJiong Wang static int
1932be759237SJiong Wang mem_ldx_data_from_pktcache_aligned(struct nfp_prog *nfp_prog,
1933be759237SJiong Wang 				   struct nfp_insn_meta *meta,
1934be759237SJiong Wang 				   unsigned int size)
1935be759237SJiong Wang {
1936be759237SJiong Wang 	swreg dst_lo, dst_hi, src_lo;
1937be759237SJiong Wang 	u8 dst_gpr, idx;
1938be759237SJiong Wang 
1939be759237SJiong Wang 	idx = (meta->insn.off - meta->pkt_cache.range_start) / REG_WIDTH;
1940be759237SJiong Wang 	dst_gpr = meta->insn.dst_reg * 2;
1941be759237SJiong Wang 	dst_hi = reg_both(dst_gpr + 1);
1942be759237SJiong Wang 	dst_lo = reg_both(dst_gpr);
1943be759237SJiong Wang 	src_lo = reg_xfer(idx);
1944be759237SJiong Wang 
1945be759237SJiong Wang 	if (size < REG_WIDTH) {
1946be759237SJiong Wang 		wrp_reg_subpart(nfp_prog, dst_lo, src_lo, size, 0);
1947be759237SJiong Wang 		wrp_immed(nfp_prog, dst_hi, 0);
1948be759237SJiong Wang 	} else if (size == REG_WIDTH) {
1949be759237SJiong Wang 		wrp_mov(nfp_prog, dst_lo, src_lo);
1950be759237SJiong Wang 		wrp_immed(nfp_prog, dst_hi, 0);
1951be759237SJiong Wang 	} else {
1952be759237SJiong Wang 		swreg src_hi = reg_xfer(idx + 1);
1953be759237SJiong Wang 
1954be759237SJiong Wang 		wrp_mov(nfp_prog, dst_lo, src_lo);
1955be759237SJiong Wang 		wrp_mov(nfp_prog, dst_hi, src_hi);
1956be759237SJiong Wang 	}
1957be759237SJiong Wang 
1958be759237SJiong Wang 	return 0;
1959be759237SJiong Wang }
1960be759237SJiong Wang 
1961be759237SJiong Wang static int
1962be759237SJiong Wang mem_ldx_data_from_pktcache(struct nfp_prog *nfp_prog,
1963be759237SJiong Wang 			   struct nfp_insn_meta *meta, unsigned int size)
1964be759237SJiong Wang {
1965be759237SJiong Wang 	u8 off = meta->insn.off - meta->pkt_cache.range_start;
1966be759237SJiong Wang 
196791ff69e8SJiong Wang 	if (IS_ALIGNED(off, REG_WIDTH))
1968be759237SJiong Wang 		return mem_ldx_data_from_pktcache_aligned(nfp_prog, meta, size);
196991ff69e8SJiong Wang 
197091ff69e8SJiong Wang 	return mem_ldx_data_from_pktcache_unaligned(nfp_prog, meta, size);
1971be759237SJiong Wang }
1972be759237SJiong Wang 
19732ca71441SJakub Kicinski static int
19742ca71441SJakub Kicinski mem_ldx(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
19752ca71441SJakub Kicinski 	unsigned int size)
19762ca71441SJakub Kicinski {
19779879a381SJiong Wang 	if (meta->ldst_gather_len)
19789879a381SJiong Wang 		return nfp_cpp_memcpy(nfp_prog, meta);
19799879a381SJiong Wang 
19802ca71441SJakub Kicinski 	if (meta->ptr.type == PTR_TO_CTX) {
1981012bb8a8SJakub Kicinski 		if (nfp_prog->type == BPF_PROG_TYPE_XDP)
19822ca71441SJakub Kicinski 			return mem_ldx_xdp(nfp_prog, meta, size);
19832ca71441SJakub Kicinski 		else
19842ca71441SJakub Kicinski 			return mem_ldx_skb(nfp_prog, meta, size);
19852ca71441SJakub Kicinski 	}
19862ca71441SJakub Kicinski 
1987be759237SJiong Wang 	if (meta->ptr.type == PTR_TO_PACKET) {
1988be759237SJiong Wang 		if (meta->pkt_cache.range_end) {
1989be759237SJiong Wang 			if (meta->pkt_cache.do_init)
1990be759237SJiong Wang 				mem_ldx_data_init_pktcache(nfp_prog, meta);
1991be759237SJiong Wang 
1992be759237SJiong Wang 			return mem_ldx_data_from_pktcache(nfp_prog, meta, size);
1993be759237SJiong Wang 		} else {
19942ca71441SJakub Kicinski 			return mem_ldx_data(nfp_prog, meta, size);
1995be759237SJiong Wang 		}
1996be759237SJiong Wang 	}
19972ca71441SJakub Kicinski 
1998a82b23fbSJakub Kicinski 	if (meta->ptr.type == PTR_TO_STACK)
1999d3488480SJakub Kicinski 		return mem_ldx_stack(nfp_prog, meta, size,
2000d3488480SJakub Kicinski 				     meta->ptr.off + meta->ptr.var_off.value);
2001a82b23fbSJakub Kicinski 
20023dd43c33SJakub Kicinski 	if (meta->ptr.type == PTR_TO_MAP_VALUE)
20033dd43c33SJakub Kicinski 		return mem_ldx_emem(nfp_prog, meta, size);
20043dd43c33SJakub Kicinski 
20052ca71441SJakub Kicinski 	return -EOPNOTSUPP;
20062ca71441SJakub Kicinski }
20072ca71441SJakub Kicinski 
20082ca71441SJakub Kicinski static int mem_ldx1(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
20092ca71441SJakub Kicinski {
20102ca71441SJakub Kicinski 	return mem_ldx(nfp_prog, meta, 1);
20112ca71441SJakub Kicinski }
20122ca71441SJakub Kicinski 
20132ca71441SJakub Kicinski static int mem_ldx2(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
20142ca71441SJakub Kicinski {
20152ca71441SJakub Kicinski 	return mem_ldx(nfp_prog, meta, 2);
20162ca71441SJakub Kicinski }
20172ca71441SJakub Kicinski 
2018d9ae7f2bSJakub Kicinski static int mem_ldx4(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2019d9ae7f2bSJakub Kicinski {
20202ca71441SJakub Kicinski 	return mem_ldx(nfp_prog, meta, 4);
20212ca71441SJakub Kicinski }
20222ca71441SJakub Kicinski 
20232ca71441SJakub Kicinski static int mem_ldx8(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
20242ca71441SJakub Kicinski {
20252ca71441SJakub Kicinski 	return mem_ldx(nfp_prog, meta, 8);
2026d9ae7f2bSJakub Kicinski }
2027d9ae7f2bSJakub Kicinski 
2028e663fe38SJakub Kicinski static int
2029e663fe38SJakub Kicinski mem_st_data(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
2030e663fe38SJakub Kicinski 	    unsigned int size)
2031d9ae7f2bSJakub Kicinski {
2032e663fe38SJakub Kicinski 	u64 imm = meta->insn.imm; /* sign extend */
2033e663fe38SJakub Kicinski 	swreg off_reg;
2034e663fe38SJakub Kicinski 
2035e663fe38SJakub Kicinski 	off_reg = re_load_imm_any(nfp_prog, meta->insn.off, imm_b(nfp_prog));
2036e663fe38SJakub Kicinski 
2037e663fe38SJakub Kicinski 	return data_st_host_order(nfp_prog, meta->insn.dst_reg * 2, off_reg,
2038e663fe38SJakub Kicinski 				  imm, size);
2039e663fe38SJakub Kicinski }
2040e663fe38SJakub Kicinski 
2041e663fe38SJakub Kicinski static int mem_st(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
2042e663fe38SJakub Kicinski 		  unsigned int size)
2043e663fe38SJakub Kicinski {
2044e663fe38SJakub Kicinski 	if (meta->ptr.type == PTR_TO_PACKET)
2045e663fe38SJakub Kicinski 		return mem_st_data(nfp_prog, meta, size);
2046e663fe38SJakub Kicinski 
2047d9ae7f2bSJakub Kicinski 	return -EOPNOTSUPP;
2048d9ae7f2bSJakub Kicinski }
2049d9ae7f2bSJakub Kicinski 
2050e663fe38SJakub Kicinski static int mem_st1(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2051d9ae7f2bSJakub Kicinski {
2052e663fe38SJakub Kicinski 	return mem_st(nfp_prog, meta, 1);
2053e663fe38SJakub Kicinski }
2054e663fe38SJakub Kicinski 
2055e663fe38SJakub Kicinski static int mem_st2(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2056e663fe38SJakub Kicinski {
2057e663fe38SJakub Kicinski 	return mem_st(nfp_prog, meta, 2);
2058e663fe38SJakub Kicinski }
2059e663fe38SJakub Kicinski 
2060e663fe38SJakub Kicinski static int mem_st4(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2061e663fe38SJakub Kicinski {
2062e663fe38SJakub Kicinski 	return mem_st(nfp_prog, meta, 4);
2063e663fe38SJakub Kicinski }
2064e663fe38SJakub Kicinski 
2065e663fe38SJakub Kicinski static int mem_st8(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2066e663fe38SJakub Kicinski {
2067e663fe38SJakub Kicinski 	return mem_st(nfp_prog, meta, 8);
2068e663fe38SJakub Kicinski }
2069e663fe38SJakub Kicinski 
2070e663fe38SJakub Kicinski static int
2071e663fe38SJakub Kicinski mem_stx_data(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
2072e663fe38SJakub Kicinski 	     unsigned int size)
2073e663fe38SJakub Kicinski {
2074e663fe38SJakub Kicinski 	swreg off_reg;
2075e663fe38SJakub Kicinski 
2076e663fe38SJakub Kicinski 	off_reg = re_load_imm_any(nfp_prog, meta->insn.off, imm_b(nfp_prog));
2077e663fe38SJakub Kicinski 
2078e663fe38SJakub Kicinski 	return data_stx_host_order(nfp_prog, meta->insn.dst_reg * 2, off_reg,
2079e663fe38SJakub Kicinski 				   meta->insn.src_reg * 2, size);
2080e663fe38SJakub Kicinski }
2081e663fe38SJakub Kicinski 
2082e663fe38SJakub Kicinski static int
2083ee9133a8SJakub Kicinski mem_stx_stack(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
2084d3488480SJakub Kicinski 	      unsigned int size, unsigned int ptr_off)
2085ee9133a8SJakub Kicinski {
2086d3488480SJakub Kicinski 	return mem_op_stack(nfp_prog, meta, size, ptr_off,
2087b14157eeSJakub Kicinski 			    meta->insn.src_reg * 2, meta->insn.dst_reg * 2,
2088b14157eeSJakub Kicinski 			    false, wrp_lmem_store);
2089ee9133a8SJakub Kicinski }
2090ee9133a8SJakub Kicinski 
2091ee9133a8SJakub Kicinski static int
2092e663fe38SJakub Kicinski mem_stx(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
2093e663fe38SJakub Kicinski 	unsigned int size)
2094e663fe38SJakub Kicinski {
2095e663fe38SJakub Kicinski 	if (meta->ptr.type == PTR_TO_PACKET)
2096e663fe38SJakub Kicinski 		return mem_stx_data(nfp_prog, meta, size);
2097e663fe38SJakub Kicinski 
2098ee9133a8SJakub Kicinski 	if (meta->ptr.type == PTR_TO_STACK)
2099d3488480SJakub Kicinski 		return mem_stx_stack(nfp_prog, meta, size,
2100d3488480SJakub Kicinski 				     meta->ptr.off + meta->ptr.var_off.value);
2101ee9133a8SJakub Kicinski 
2102d9ae7f2bSJakub Kicinski 	return -EOPNOTSUPP;
2103d9ae7f2bSJakub Kicinski }
2104d9ae7f2bSJakub Kicinski 
2105e663fe38SJakub Kicinski static int mem_stx1(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2106e663fe38SJakub Kicinski {
2107e663fe38SJakub Kicinski 	return mem_stx(nfp_prog, meta, 1);
2108e663fe38SJakub Kicinski }
2109e663fe38SJakub Kicinski 
2110e663fe38SJakub Kicinski static int mem_stx2(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2111e663fe38SJakub Kicinski {
2112e663fe38SJakub Kicinski 	return mem_stx(nfp_prog, meta, 2);
2113e663fe38SJakub Kicinski }
2114e663fe38SJakub Kicinski 
2115d9ae7f2bSJakub Kicinski static int mem_stx4(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2116d9ae7f2bSJakub Kicinski {
2117e663fe38SJakub Kicinski 	return mem_stx(nfp_prog, meta, 4);
2118e663fe38SJakub Kicinski }
21192ca71441SJakub Kicinski 
2120e663fe38SJakub Kicinski static int mem_stx8(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2121e663fe38SJakub Kicinski {
2122e663fe38SJakub Kicinski 	return mem_stx(nfp_prog, meta, 8);
2123d9ae7f2bSJakub Kicinski }
2124d9ae7f2bSJakub Kicinski 
2125dcb0c27fSJakub Kicinski static int
2126dcb0c27fSJakub Kicinski mem_xadd(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta, bool is64)
2127dcb0c27fSJakub Kicinski {
2128dcb0c27fSJakub Kicinski 	swreg addra, addrb, off, prev_alu = imm_a(nfp_prog);
2129dcb0c27fSJakub Kicinski 	u8 dst_gpr = meta->insn.dst_reg * 2;
2130dcb0c27fSJakub Kicinski 	u8 src_gpr = meta->insn.src_reg * 2;
2131dcb0c27fSJakub Kicinski 
2132dcb0c27fSJakub Kicinski 	off = ur_load_imm_any(nfp_prog, meta->insn.off, imm_b(nfp_prog));
2133dcb0c27fSJakub Kicinski 
2134dcb0c27fSJakub Kicinski 	/* If insn has an offset add to the address */
2135dcb0c27fSJakub Kicinski 	if (!meta->insn.off) {
2136dcb0c27fSJakub Kicinski 		addra = reg_a(dst_gpr);
2137dcb0c27fSJakub Kicinski 		addrb = reg_b(dst_gpr + 1);
2138dcb0c27fSJakub Kicinski 	} else {
2139dcb0c27fSJakub Kicinski 		emit_alu(nfp_prog, imma_a(nfp_prog),
2140dcb0c27fSJakub Kicinski 			 reg_a(dst_gpr), ALU_OP_ADD, off);
2141dcb0c27fSJakub Kicinski 		emit_alu(nfp_prog, imma_b(nfp_prog),
2142dcb0c27fSJakub Kicinski 			 reg_a(dst_gpr + 1), ALU_OP_ADD_C, reg_imm(0));
2143dcb0c27fSJakub Kicinski 		addra = imma_a(nfp_prog);
2144dcb0c27fSJakub Kicinski 		addrb = imma_b(nfp_prog);
2145dcb0c27fSJakub Kicinski 	}
2146dcb0c27fSJakub Kicinski 
2147dcb0c27fSJakub Kicinski 	wrp_immed(nfp_prog, prev_alu,
2148dcb0c27fSJakub Kicinski 		  FIELD_PREP(CMD_OVE_DATA, 2) |
2149dcb0c27fSJakub Kicinski 		  CMD_OVE_LEN |
2150dcb0c27fSJakub Kicinski 		  FIELD_PREP(CMD_OV_LEN, 0x8 | is64 << 2));
2151dcb0c27fSJakub Kicinski 	wrp_reg_or_subpart(nfp_prog, prev_alu, reg_b(src_gpr), 2, 2);
2152dcb0c27fSJakub Kicinski 	emit_cmd_indir(nfp_prog, CMD_TGT_ADD_IMM, CMD_MODE_40b_BA, 0,
2153b556ddd9SJakub Kicinski 		       addra, addrb, 0, CMD_CTX_NO_SWAP);
2154dcb0c27fSJakub Kicinski 
2155dcb0c27fSJakub Kicinski 	return 0;
2156dcb0c27fSJakub Kicinski }
2157dcb0c27fSJakub Kicinski 
2158dcb0c27fSJakub Kicinski static int mem_xadd4(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2159dcb0c27fSJakub Kicinski {
2160dcb0c27fSJakub Kicinski 	return mem_xadd(nfp_prog, meta, false);
2161dcb0c27fSJakub Kicinski }
2162dcb0c27fSJakub Kicinski 
2163dcb0c27fSJakub Kicinski static int mem_xadd8(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2164dcb0c27fSJakub Kicinski {
2165dcb0c27fSJakub Kicinski 	return mem_xadd(nfp_prog, meta, true);
2166dcb0c27fSJakub Kicinski }
2167dcb0c27fSJakub Kicinski 
2168d9ae7f2bSJakub Kicinski static int jump(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2169d9ae7f2bSJakub Kicinski {
2170d9ae7f2bSJakub Kicinski 	emit_br(nfp_prog, BR_UNC, meta->insn.off, 0);
2171d9ae7f2bSJakub Kicinski 
2172d9ae7f2bSJakub Kicinski 	return 0;
2173d9ae7f2bSJakub Kicinski }
2174d9ae7f2bSJakub Kicinski 
2175d9ae7f2bSJakub Kicinski static int jeq_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2176d9ae7f2bSJakub Kicinski {
2177d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
2178d9ae7f2bSJakub Kicinski 	u64 imm = insn->imm; /* sign extend */
2179b3f868dfSJakub Kicinski 	swreg or1, or2, tmp_reg;
2180b3f868dfSJakub Kicinski 
2181b3f868dfSJakub Kicinski 	or1 = reg_a(insn->dst_reg * 2);
2182b3f868dfSJakub Kicinski 	or2 = reg_b(insn->dst_reg * 2 + 1);
2183d9ae7f2bSJakub Kicinski 
2184d9ae7f2bSJakub Kicinski 	if (imm & ~0U) {
2185d9ae7f2bSJakub Kicinski 		tmp_reg = ur_load_imm_any(nfp_prog, imm & ~0U, imm_b(nfp_prog));
2186d9ae7f2bSJakub Kicinski 		emit_alu(nfp_prog, imm_a(nfp_prog),
2187d9ae7f2bSJakub Kicinski 			 reg_a(insn->dst_reg * 2), ALU_OP_XOR, tmp_reg);
2188d9ae7f2bSJakub Kicinski 		or1 = imm_a(nfp_prog);
2189d9ae7f2bSJakub Kicinski 	}
2190d9ae7f2bSJakub Kicinski 
2191d9ae7f2bSJakub Kicinski 	if (imm >> 32) {
2192d9ae7f2bSJakub Kicinski 		tmp_reg = ur_load_imm_any(nfp_prog, imm >> 32, imm_b(nfp_prog));
2193d9ae7f2bSJakub Kicinski 		emit_alu(nfp_prog, imm_b(nfp_prog),
2194d9ae7f2bSJakub Kicinski 			 reg_a(insn->dst_reg * 2 + 1), ALU_OP_XOR, tmp_reg);
2195d9ae7f2bSJakub Kicinski 		or2 = imm_b(nfp_prog);
2196d9ae7f2bSJakub Kicinski 	}
2197d9ae7f2bSJakub Kicinski 
2198d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_none(), or1, ALU_OP_OR, or2);
2199d9ae7f2bSJakub Kicinski 	emit_br(nfp_prog, BR_BEQ, insn->off, 0);
2200d9ae7f2bSJakub Kicinski 
2201d9ae7f2bSJakub Kicinski 	return 0;
2202d9ae7f2bSJakub Kicinski }
2203d9ae7f2bSJakub Kicinski 
2204d9ae7f2bSJakub Kicinski static int jgt_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2205d9ae7f2bSJakub Kicinski {
220626fa818dSJakub Kicinski 	return wrp_cmp_imm(nfp_prog, meta, BR_BLO, true);
2207d9ae7f2bSJakub Kicinski }
2208d9ae7f2bSJakub Kicinski 
2209d9ae7f2bSJakub Kicinski static int jge_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2210d9ae7f2bSJakub Kicinski {
221126fa818dSJakub Kicinski 	return wrp_cmp_imm(nfp_prog, meta, BR_BHS, false);
2212d9ae7f2bSJakub Kicinski }
2213d9ae7f2bSJakub Kicinski 
22145dd294d4SDaniel Borkmann static int jlt_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
22155dd294d4SDaniel Borkmann {
221626fa818dSJakub Kicinski 	return wrp_cmp_imm(nfp_prog, meta, BR_BLO, false);
22175dd294d4SDaniel Borkmann }
22185dd294d4SDaniel Borkmann 
22195dd294d4SDaniel Borkmann static int jle_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
22205dd294d4SDaniel Borkmann {
222126fa818dSJakub Kicinski 	return wrp_cmp_imm(nfp_prog, meta, BR_BHS, true);
22225dd294d4SDaniel Borkmann }
22235dd294d4SDaniel Borkmann 
2224c087aa8bSNic Viljoen static int jsgt_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2225c087aa8bSNic Viljoen {
2226c087aa8bSNic Viljoen 	return wrp_cmp_imm(nfp_prog, meta, BR_BLT, true);
2227c087aa8bSNic Viljoen }
2228c087aa8bSNic Viljoen 
2229c087aa8bSNic Viljoen static int jsge_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2230c087aa8bSNic Viljoen {
2231c087aa8bSNic Viljoen 	return wrp_cmp_imm(nfp_prog, meta, BR_BGE, false);
2232c087aa8bSNic Viljoen }
2233c087aa8bSNic Viljoen 
2234c087aa8bSNic Viljoen static int jslt_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2235c087aa8bSNic Viljoen {
2236c087aa8bSNic Viljoen 	return wrp_cmp_imm(nfp_prog, meta, BR_BLT, false);
2237c087aa8bSNic Viljoen }
2238c087aa8bSNic Viljoen 
2239c087aa8bSNic Viljoen static int jsle_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2240c087aa8bSNic Viljoen {
2241c087aa8bSNic Viljoen 	return wrp_cmp_imm(nfp_prog, meta, BR_BGE, true);
2242c087aa8bSNic Viljoen }
2243c087aa8bSNic Viljoen 
2244d9ae7f2bSJakub Kicinski static int jset_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2245d9ae7f2bSJakub Kicinski {
2246d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
2247d9ae7f2bSJakub Kicinski 	u64 imm = insn->imm; /* sign extend */
2248b3f868dfSJakub Kicinski 	swreg tmp_reg;
2249d9ae7f2bSJakub Kicinski 
2250d9ae7f2bSJakub Kicinski 	if (!imm) {
2251d9ae7f2bSJakub Kicinski 		meta->skip = true;
2252d9ae7f2bSJakub Kicinski 		return 0;
2253d9ae7f2bSJakub Kicinski 	}
2254d9ae7f2bSJakub Kicinski 
2255d9ae7f2bSJakub Kicinski 	if (imm & ~0U) {
2256d9ae7f2bSJakub Kicinski 		tmp_reg = ur_load_imm_any(nfp_prog, imm & ~0U, imm_b(nfp_prog));
2257d9ae7f2bSJakub Kicinski 		emit_alu(nfp_prog, reg_none(),
2258d9ae7f2bSJakub Kicinski 			 reg_a(insn->dst_reg * 2), ALU_OP_AND, tmp_reg);
2259d9ae7f2bSJakub Kicinski 		emit_br(nfp_prog, BR_BNE, insn->off, 0);
2260d9ae7f2bSJakub Kicinski 	}
2261d9ae7f2bSJakub Kicinski 
2262d9ae7f2bSJakub Kicinski 	if (imm >> 32) {
2263d9ae7f2bSJakub Kicinski 		tmp_reg = ur_load_imm_any(nfp_prog, imm >> 32, imm_b(nfp_prog));
2264d9ae7f2bSJakub Kicinski 		emit_alu(nfp_prog, reg_none(),
2265d9ae7f2bSJakub Kicinski 			 reg_a(insn->dst_reg * 2 + 1), ALU_OP_AND, tmp_reg);
2266d9ae7f2bSJakub Kicinski 		emit_br(nfp_prog, BR_BNE, insn->off, 0);
2267d9ae7f2bSJakub Kicinski 	}
2268d9ae7f2bSJakub Kicinski 
2269d9ae7f2bSJakub Kicinski 	return 0;
2270d9ae7f2bSJakub Kicinski }
2271d9ae7f2bSJakub Kicinski 
2272d9ae7f2bSJakub Kicinski static int jne_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2273d9ae7f2bSJakub Kicinski {
2274d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
2275d9ae7f2bSJakub Kicinski 	u64 imm = insn->imm; /* sign extend */
2276b3f868dfSJakub Kicinski 	swreg tmp_reg;
2277d9ae7f2bSJakub Kicinski 
2278d9ae7f2bSJakub Kicinski 	if (!imm) {
2279d9ae7f2bSJakub Kicinski 		emit_alu(nfp_prog, reg_none(), reg_a(insn->dst_reg * 2),
2280d9ae7f2bSJakub Kicinski 			 ALU_OP_OR, reg_b(insn->dst_reg * 2 + 1));
2281d9ae7f2bSJakub Kicinski 		emit_br(nfp_prog, BR_BNE, insn->off, 0);
228282837370SJakub Kicinski 		return 0;
2283d9ae7f2bSJakub Kicinski 	}
2284d9ae7f2bSJakub Kicinski 
2285d9ae7f2bSJakub Kicinski 	tmp_reg = ur_load_imm_any(nfp_prog, imm & ~0U, imm_b(nfp_prog));
2286d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_none(),
2287d9ae7f2bSJakub Kicinski 		 reg_a(insn->dst_reg * 2), ALU_OP_XOR, tmp_reg);
2288d9ae7f2bSJakub Kicinski 	emit_br(nfp_prog, BR_BNE, insn->off, 0);
2289d9ae7f2bSJakub Kicinski 
2290d9ae7f2bSJakub Kicinski 	tmp_reg = ur_load_imm_any(nfp_prog, imm >> 32, imm_b(nfp_prog));
2291d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_none(),
2292d9ae7f2bSJakub Kicinski 		 reg_a(insn->dst_reg * 2 + 1), ALU_OP_XOR, tmp_reg);
2293d9ae7f2bSJakub Kicinski 	emit_br(nfp_prog, BR_BNE, insn->off, 0);
2294d9ae7f2bSJakub Kicinski 
2295d9ae7f2bSJakub Kicinski 	return 0;
2296d9ae7f2bSJakub Kicinski }
2297d9ae7f2bSJakub Kicinski 
2298d9ae7f2bSJakub Kicinski static int jeq_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2299d9ae7f2bSJakub Kicinski {
2300d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
2301d9ae7f2bSJakub Kicinski 
2302d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, imm_a(nfp_prog), reg_a(insn->dst_reg * 2),
2303d9ae7f2bSJakub Kicinski 		 ALU_OP_XOR, reg_b(insn->src_reg * 2));
2304d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, imm_b(nfp_prog), reg_a(insn->dst_reg * 2 + 1),
2305d9ae7f2bSJakub Kicinski 		 ALU_OP_XOR, reg_b(insn->src_reg * 2 + 1));
2306d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_none(),
2307d9ae7f2bSJakub Kicinski 		 imm_a(nfp_prog), ALU_OP_OR, imm_b(nfp_prog));
2308d9ae7f2bSJakub Kicinski 	emit_br(nfp_prog, BR_BEQ, insn->off, 0);
2309d9ae7f2bSJakub Kicinski 
2310d9ae7f2bSJakub Kicinski 	return 0;
2311d9ae7f2bSJakub Kicinski }
2312d9ae7f2bSJakub Kicinski 
2313d9ae7f2bSJakub Kicinski static int jgt_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2314d9ae7f2bSJakub Kicinski {
231526fa818dSJakub Kicinski 	return wrp_cmp_reg(nfp_prog, meta, BR_BLO, true);
2316d9ae7f2bSJakub Kicinski }
2317d9ae7f2bSJakub Kicinski 
2318d9ae7f2bSJakub Kicinski static int jge_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2319d9ae7f2bSJakub Kicinski {
232026fa818dSJakub Kicinski 	return wrp_cmp_reg(nfp_prog, meta, BR_BHS, false);
2321d9ae7f2bSJakub Kicinski }
2322d9ae7f2bSJakub Kicinski 
23235dd294d4SDaniel Borkmann static int jlt_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
23245dd294d4SDaniel Borkmann {
232526fa818dSJakub Kicinski 	return wrp_cmp_reg(nfp_prog, meta, BR_BLO, false);
23265dd294d4SDaniel Borkmann }
23275dd294d4SDaniel Borkmann 
23285dd294d4SDaniel Borkmann static int jle_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
23295dd294d4SDaniel Borkmann {
233026fa818dSJakub Kicinski 	return wrp_cmp_reg(nfp_prog, meta, BR_BHS, true);
23315dd294d4SDaniel Borkmann }
23325dd294d4SDaniel Borkmann 
2333c087aa8bSNic Viljoen static int jsgt_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2334c087aa8bSNic Viljoen {
2335c087aa8bSNic Viljoen 	return wrp_cmp_reg(nfp_prog, meta, BR_BLT, true);
2336c087aa8bSNic Viljoen }
2337c087aa8bSNic Viljoen 
2338c087aa8bSNic Viljoen static int jsge_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2339c087aa8bSNic Viljoen {
2340c087aa8bSNic Viljoen 	return wrp_cmp_reg(nfp_prog, meta, BR_BGE, false);
2341c087aa8bSNic Viljoen }
2342c087aa8bSNic Viljoen 
2343c087aa8bSNic Viljoen static int jslt_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2344c087aa8bSNic Viljoen {
2345c087aa8bSNic Viljoen 	return wrp_cmp_reg(nfp_prog, meta, BR_BLT, false);
2346c087aa8bSNic Viljoen }
2347c087aa8bSNic Viljoen 
2348c087aa8bSNic Viljoen static int jsle_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2349c087aa8bSNic Viljoen {
2350c087aa8bSNic Viljoen 	return wrp_cmp_reg(nfp_prog, meta, BR_BGE, true);
2351c087aa8bSNic Viljoen }
2352c087aa8bSNic Viljoen 
2353d9ae7f2bSJakub Kicinski static int jset_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2354d9ae7f2bSJakub Kicinski {
2355d9ae7f2bSJakub Kicinski 	return wrp_test_reg(nfp_prog, meta, ALU_OP_AND, BR_BNE);
2356d9ae7f2bSJakub Kicinski }
2357d9ae7f2bSJakub Kicinski 
2358d9ae7f2bSJakub Kicinski static int jne_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2359d9ae7f2bSJakub Kicinski {
2360d9ae7f2bSJakub Kicinski 	return wrp_test_reg(nfp_prog, meta, ALU_OP_XOR, BR_BNE);
2361d9ae7f2bSJakub Kicinski }
2362d9ae7f2bSJakub Kicinski 
23632cb230bdSJakub Kicinski static int call(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
23642cb230bdSJakub Kicinski {
23652cb230bdSJakub Kicinski 	switch (meta->insn.imm) {
23660d49eaf4SJakub Kicinski 	case BPF_FUNC_xdp_adjust_head:
23670d49eaf4SJakub Kicinski 		return adjust_head(nfp_prog, meta);
236877a3d311SJakub Kicinski 	case BPF_FUNC_map_lookup_elem:
236944d65a47SJakub Kicinski 	case BPF_FUNC_map_update_elem:
2370bfee64deSJakub Kicinski 	case BPF_FUNC_map_delete_elem:
2371fc448497SJakub Kicinski 		return map_call_stack_common(nfp_prog, meta);
23722cb230bdSJakub Kicinski 	default:
23732cb230bdSJakub Kicinski 		WARN_ONCE(1, "verifier allowed unsupported function\n");
23742cb230bdSJakub Kicinski 		return -EOPNOTSUPP;
23752cb230bdSJakub Kicinski 	}
23762cb230bdSJakub Kicinski }
23772cb230bdSJakub Kicinski 
2378d9ae7f2bSJakub Kicinski static int goto_out(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2379d9ae7f2bSJakub Kicinski {
2380e84797feSJakub Kicinski 	emit_br_relo(nfp_prog, BR_UNC, BR_OFF_RELO, 0, RELO_BR_GO_OUT);
2381d9ae7f2bSJakub Kicinski 
2382d9ae7f2bSJakub Kicinski 	return 0;
2383d9ae7f2bSJakub Kicinski }
2384d9ae7f2bSJakub Kicinski 
2385d9ae7f2bSJakub Kicinski static const instr_cb_t instr_cb[256] = {
2386d9ae7f2bSJakub Kicinski 	[BPF_ALU64 | BPF_MOV | BPF_X] =	mov_reg64,
2387d9ae7f2bSJakub Kicinski 	[BPF_ALU64 | BPF_MOV | BPF_K] =	mov_imm64,
2388d9ae7f2bSJakub Kicinski 	[BPF_ALU64 | BPF_XOR | BPF_X] =	xor_reg64,
2389d9ae7f2bSJakub Kicinski 	[BPF_ALU64 | BPF_XOR | BPF_K] =	xor_imm64,
2390d9ae7f2bSJakub Kicinski 	[BPF_ALU64 | BPF_AND | BPF_X] =	and_reg64,
2391d9ae7f2bSJakub Kicinski 	[BPF_ALU64 | BPF_AND | BPF_K] =	and_imm64,
2392d9ae7f2bSJakub Kicinski 	[BPF_ALU64 | BPF_OR | BPF_X] =	or_reg64,
2393d9ae7f2bSJakub Kicinski 	[BPF_ALU64 | BPF_OR | BPF_K] =	or_imm64,
2394d9ae7f2bSJakub Kicinski 	[BPF_ALU64 | BPF_ADD | BPF_X] =	add_reg64,
2395d9ae7f2bSJakub Kicinski 	[BPF_ALU64 | BPF_ADD | BPF_K] =	add_imm64,
2396d9ae7f2bSJakub Kicinski 	[BPF_ALU64 | BPF_SUB | BPF_X] =	sub_reg64,
2397d9ae7f2bSJakub Kicinski 	[BPF_ALU64 | BPF_SUB | BPF_K] =	sub_imm64,
2398254ef4d7SJiong Wang 	[BPF_ALU64 | BPF_NEG] =		neg_reg64,
2399d9ae7f2bSJakub Kicinski 	[BPF_ALU64 | BPF_LSH | BPF_K] =	shl_imm64,
2400d9ae7f2bSJakub Kicinski 	[BPF_ALU64 | BPF_RSH | BPF_K] =	shr_imm64,
2401d9ae7f2bSJakub Kicinski 	[BPF_ALU | BPF_MOV | BPF_X] =	mov_reg,
2402d9ae7f2bSJakub Kicinski 	[BPF_ALU | BPF_MOV | BPF_K] =	mov_imm,
2403d9ae7f2bSJakub Kicinski 	[BPF_ALU | BPF_XOR | BPF_X] =	xor_reg,
2404d9ae7f2bSJakub Kicinski 	[BPF_ALU | BPF_XOR | BPF_K] =	xor_imm,
2405d9ae7f2bSJakub Kicinski 	[BPF_ALU | BPF_AND | BPF_X] =	and_reg,
2406d9ae7f2bSJakub Kicinski 	[BPF_ALU | BPF_AND | BPF_K] =	and_imm,
2407d9ae7f2bSJakub Kicinski 	[BPF_ALU | BPF_OR | BPF_X] =	or_reg,
2408d9ae7f2bSJakub Kicinski 	[BPF_ALU | BPF_OR | BPF_K] =	or_imm,
2409d9ae7f2bSJakub Kicinski 	[BPF_ALU | BPF_ADD | BPF_X] =	add_reg,
2410d9ae7f2bSJakub Kicinski 	[BPF_ALU | BPF_ADD | BPF_K] =	add_imm,
2411d9ae7f2bSJakub Kicinski 	[BPF_ALU | BPF_SUB | BPF_X] =	sub_reg,
2412d9ae7f2bSJakub Kicinski 	[BPF_ALU | BPF_SUB | BPF_K] =	sub_imm,
2413254ef4d7SJiong Wang 	[BPF_ALU | BPF_NEG] =		neg_reg,
2414d9ae7f2bSJakub Kicinski 	[BPF_ALU | BPF_LSH | BPF_K] =	shl_imm,
24153119d1fdSJakub Kicinski 	[BPF_ALU | BPF_END | BPF_X] =	end_reg32,
2416d9ae7f2bSJakub Kicinski 	[BPF_LD | BPF_IMM | BPF_DW] =	imm_ld8,
2417d9ae7f2bSJakub Kicinski 	[BPF_LD | BPF_ABS | BPF_B] =	data_ld1,
2418d9ae7f2bSJakub Kicinski 	[BPF_LD | BPF_ABS | BPF_H] =	data_ld2,
2419d9ae7f2bSJakub Kicinski 	[BPF_LD | BPF_ABS | BPF_W] =	data_ld4,
2420d9ae7f2bSJakub Kicinski 	[BPF_LD | BPF_IND | BPF_B] =	data_ind_ld1,
2421d9ae7f2bSJakub Kicinski 	[BPF_LD | BPF_IND | BPF_H] =	data_ind_ld2,
2422d9ae7f2bSJakub Kicinski 	[BPF_LD | BPF_IND | BPF_W] =	data_ind_ld4,
24232ca71441SJakub Kicinski 	[BPF_LDX | BPF_MEM | BPF_B] =	mem_ldx1,
24242ca71441SJakub Kicinski 	[BPF_LDX | BPF_MEM | BPF_H] =	mem_ldx2,
2425d9ae7f2bSJakub Kicinski 	[BPF_LDX | BPF_MEM | BPF_W] =	mem_ldx4,
24262ca71441SJakub Kicinski 	[BPF_LDX | BPF_MEM | BPF_DW] =	mem_ldx8,
2427e663fe38SJakub Kicinski 	[BPF_STX | BPF_MEM | BPF_B] =	mem_stx1,
2428e663fe38SJakub Kicinski 	[BPF_STX | BPF_MEM | BPF_H] =	mem_stx2,
2429d9ae7f2bSJakub Kicinski 	[BPF_STX | BPF_MEM | BPF_W] =	mem_stx4,
2430e663fe38SJakub Kicinski 	[BPF_STX | BPF_MEM | BPF_DW] =	mem_stx8,
2431dcb0c27fSJakub Kicinski 	[BPF_STX | BPF_XADD | BPF_W] =	mem_xadd4,
2432dcb0c27fSJakub Kicinski 	[BPF_STX | BPF_XADD | BPF_DW] =	mem_xadd8,
2433e663fe38SJakub Kicinski 	[BPF_ST | BPF_MEM | BPF_B] =	mem_st1,
2434e663fe38SJakub Kicinski 	[BPF_ST | BPF_MEM | BPF_H] =	mem_st2,
2435e663fe38SJakub Kicinski 	[BPF_ST | BPF_MEM | BPF_W] =	mem_st4,
2436e663fe38SJakub Kicinski 	[BPF_ST | BPF_MEM | BPF_DW] =	mem_st8,
2437d9ae7f2bSJakub Kicinski 	[BPF_JMP | BPF_JA | BPF_K] =	jump,
2438d9ae7f2bSJakub Kicinski 	[BPF_JMP | BPF_JEQ | BPF_K] =	jeq_imm,
2439d9ae7f2bSJakub Kicinski 	[BPF_JMP | BPF_JGT | BPF_K] =	jgt_imm,
2440d9ae7f2bSJakub Kicinski 	[BPF_JMP | BPF_JGE | BPF_K] =	jge_imm,
24415dd294d4SDaniel Borkmann 	[BPF_JMP | BPF_JLT | BPF_K] =	jlt_imm,
24425dd294d4SDaniel Borkmann 	[BPF_JMP | BPF_JLE | BPF_K] =	jle_imm,
2443c087aa8bSNic Viljoen 	[BPF_JMP | BPF_JSGT | BPF_K] =  jsgt_imm,
2444c087aa8bSNic Viljoen 	[BPF_JMP | BPF_JSGE | BPF_K] =  jsge_imm,
2445c087aa8bSNic Viljoen 	[BPF_JMP | BPF_JSLT | BPF_K] =  jslt_imm,
2446c087aa8bSNic Viljoen 	[BPF_JMP | BPF_JSLE | BPF_K] =  jsle_imm,
2447d9ae7f2bSJakub Kicinski 	[BPF_JMP | BPF_JSET | BPF_K] =	jset_imm,
2448d9ae7f2bSJakub Kicinski 	[BPF_JMP | BPF_JNE | BPF_K] =	jne_imm,
2449d9ae7f2bSJakub Kicinski 	[BPF_JMP | BPF_JEQ | BPF_X] =	jeq_reg,
2450d9ae7f2bSJakub Kicinski 	[BPF_JMP | BPF_JGT | BPF_X] =	jgt_reg,
2451d9ae7f2bSJakub Kicinski 	[BPF_JMP | BPF_JGE | BPF_X] =	jge_reg,
24525dd294d4SDaniel Borkmann 	[BPF_JMP | BPF_JLT | BPF_X] =	jlt_reg,
24535dd294d4SDaniel Borkmann 	[BPF_JMP | BPF_JLE | BPF_X] =	jle_reg,
2454c087aa8bSNic Viljoen 	[BPF_JMP | BPF_JSGT | BPF_X] =  jsgt_reg,
2455c087aa8bSNic Viljoen 	[BPF_JMP | BPF_JSGE | BPF_X] =  jsge_reg,
2456c087aa8bSNic Viljoen 	[BPF_JMP | BPF_JSLT | BPF_X] =  jslt_reg,
2457c087aa8bSNic Viljoen 	[BPF_JMP | BPF_JSLE | BPF_X] =  jsle_reg,
2458d9ae7f2bSJakub Kicinski 	[BPF_JMP | BPF_JSET | BPF_X] =	jset_reg,
2459d9ae7f2bSJakub Kicinski 	[BPF_JMP | BPF_JNE | BPF_X] =	jne_reg,
24602cb230bdSJakub Kicinski 	[BPF_JMP | BPF_CALL] =		call,
2461d9ae7f2bSJakub Kicinski 	[BPF_JMP | BPF_EXIT] =		goto_out,
2462d9ae7f2bSJakub Kicinski };
2463d9ae7f2bSJakub Kicinski 
2464d9ae7f2bSJakub Kicinski /* --- Assembler logic --- */
2465d9ae7f2bSJakub Kicinski static int nfp_fixup_branches(struct nfp_prog *nfp_prog)
2466d9ae7f2bSJakub Kicinski {
24675b674140SJiong Wang 	struct nfp_insn_meta *meta, *jmp_dst;
2468854dc87dSJiong Wang 	u32 idx, br_idx;
2469d9ae7f2bSJakub Kicinski 
2470854dc87dSJiong Wang 	list_for_each_entry(meta, &nfp_prog->insns, l) {
2471d9ae7f2bSJakub Kicinski 		if (meta->skip)
2472d9ae7f2bSJakub Kicinski 			continue;
24732cb230bdSJakub Kicinski 		if (meta->insn.code == (BPF_JMP | BPF_CALL))
24742cb230bdSJakub Kicinski 			continue;
2475d9ae7f2bSJakub Kicinski 		if (BPF_CLASS(meta->insn.code) != BPF_JMP)
2476d9ae7f2bSJakub Kicinski 			continue;
2477d9ae7f2bSJakub Kicinski 
24785b674140SJiong Wang 		if (list_is_last(&meta->l, &nfp_prog->insns))
24792314fe9eSJakub Kicinski 			br_idx = nfp_prog->last_bpf_off;
24805b674140SJiong Wang 		else
24812314fe9eSJakub Kicinski 			br_idx = list_next_entry(meta, l)->off - 1;
2482854dc87dSJiong Wang 
2483d9ae7f2bSJakub Kicinski 		if (!nfp_is_br(nfp_prog->prog[br_idx])) {
2484d9ae7f2bSJakub Kicinski 			pr_err("Fixup found block not ending in branch %d %02x %016llx!!\n",
2485d9ae7f2bSJakub Kicinski 			       br_idx, meta->insn.code, nfp_prog->prog[br_idx]);
2486d9ae7f2bSJakub Kicinski 			return -ELOOP;
2487d9ae7f2bSJakub Kicinski 		}
2488d9ae7f2bSJakub Kicinski 		/* Leave special branches for later */
24892314fe9eSJakub Kicinski 		if (FIELD_GET(OP_RELO_TYPE, nfp_prog->prog[br_idx]) !=
24902314fe9eSJakub Kicinski 		    RELO_BR_REL)
2491d9ae7f2bSJakub Kicinski 			continue;
2492d9ae7f2bSJakub Kicinski 
24935b674140SJiong Wang 		if (!meta->jmp_dst) {
24945b674140SJiong Wang 			pr_err("Non-exit jump doesn't have destination info recorded!!\n");
2495d9ae7f2bSJakub Kicinski 			return -ELOOP;
2496d9ae7f2bSJakub Kicinski 		}
2497d9ae7f2bSJakub Kicinski 
24985b674140SJiong Wang 		jmp_dst = meta->jmp_dst;
2499854dc87dSJiong Wang 
25005b674140SJiong Wang 		if (jmp_dst->skip) {
2501d9ae7f2bSJakub Kicinski 			pr_err("Branch landing on removed instruction!!\n");
2502d9ae7f2bSJakub Kicinski 			return -ELOOP;
2503d9ae7f2bSJakub Kicinski 		}
2504d9ae7f2bSJakub Kicinski 
25052314fe9eSJakub Kicinski 		for (idx = meta->off; idx <= br_idx; idx++) {
2506d9ae7f2bSJakub Kicinski 			if (!nfp_is_br(nfp_prog->prog[idx]))
2507d9ae7f2bSJakub Kicinski 				continue;
25085b674140SJiong Wang 			br_set_offset(&nfp_prog->prog[idx], jmp_dst->off);
2509d9ae7f2bSJakub Kicinski 		}
2510d9ae7f2bSJakub Kicinski 	}
2511d9ae7f2bSJakub Kicinski 
2512d9ae7f2bSJakub Kicinski 	return 0;
2513d9ae7f2bSJakub Kicinski }
2514d9ae7f2bSJakub Kicinski 
2515d9ae7f2bSJakub Kicinski static void nfp_intro(struct nfp_prog *nfp_prog)
2516d9ae7f2bSJakub Kicinski {
251718e53b6cSJakub Kicinski 	wrp_immed(nfp_prog, plen_reg(nfp_prog), GENMASK(13, 0));
251818e53b6cSJakub Kicinski 	emit_alu(nfp_prog, plen_reg(nfp_prog),
251918e53b6cSJakub Kicinski 		 plen_reg(nfp_prog), ALU_OP_AND, pv_len(nfp_prog));
2520d9ae7f2bSJakub Kicinski }
2521d9ae7f2bSJakub Kicinski 
2522d9ae7f2bSJakub Kicinski static void nfp_outro_tc_da(struct nfp_prog *nfp_prog)
2523d9ae7f2bSJakub Kicinski {
2524d9ae7f2bSJakub Kicinski 	/* TC direct-action mode:
2525d9ae7f2bSJakub Kicinski 	 *   0,1   ok        NOT SUPPORTED[1]
2526d9ae7f2bSJakub Kicinski 	 *   2   drop  0x22 -> drop,  count as stat1
2527d9ae7f2bSJakub Kicinski 	 *   4,5 nuke  0x02 -> drop
2528d9ae7f2bSJakub Kicinski 	 *   7  redir  0x44 -> redir, count as stat2
2529d9ae7f2bSJakub Kicinski 	 *   * unspec  0x11 -> pass,  count as stat0
2530d9ae7f2bSJakub Kicinski 	 *
2531d9ae7f2bSJakub Kicinski 	 * [1] We can't support OK and RECLASSIFY because we can't tell TC
2532d9ae7f2bSJakub Kicinski 	 *     the exact decision made.  We are forced to support UNSPEC
2533d9ae7f2bSJakub Kicinski 	 *     to handle aborts so that's the only one we handle for passing
2534d9ae7f2bSJakub Kicinski 	 *     packets up the stack.
2535d9ae7f2bSJakub Kicinski 	 */
2536d9ae7f2bSJakub Kicinski 	/* Target for aborts */
2537d9ae7f2bSJakub Kicinski 	nfp_prog->tgt_abort = nfp_prog_current_offset(nfp_prog);
2538d9ae7f2bSJakub Kicinski 
2539e84797feSJakub Kicinski 	emit_br_relo(nfp_prog, BR_UNC, BR_OFF_RELO, 2, RELO_BR_NEXT_PKT);
2540d9ae7f2bSJakub Kicinski 
2541c000dfb5SJakub Kicinski 	wrp_mov(nfp_prog, reg_a(0), NFP_BPF_ABI_FLAGS);
2542d9ae7f2bSJakub Kicinski 	emit_ld_field(nfp_prog, reg_a(0), 0xc, reg_imm(0x11), SHF_SC_L_SHF, 16);
2543d9ae7f2bSJakub Kicinski 
2544d9ae7f2bSJakub Kicinski 	/* Target for normal exits */
2545d9ae7f2bSJakub Kicinski 	nfp_prog->tgt_out = nfp_prog_current_offset(nfp_prog);
2546d9ae7f2bSJakub Kicinski 
2547d9ae7f2bSJakub Kicinski 	/* if R0 > 7 jump to abort */
2548d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_none(), reg_imm(7), ALU_OP_SUB, reg_b(0));
2549d9ae7f2bSJakub Kicinski 	emit_br(nfp_prog, BR_BLO, nfp_prog->tgt_abort, 0);
2550c000dfb5SJakub Kicinski 	wrp_mov(nfp_prog, reg_a(0), NFP_BPF_ABI_FLAGS);
2551d9ae7f2bSJakub Kicinski 
2552d9ae7f2bSJakub Kicinski 	wrp_immed(nfp_prog, reg_b(2), 0x41221211);
2553d9ae7f2bSJakub Kicinski 	wrp_immed(nfp_prog, reg_b(3), 0x41001211);
2554d9ae7f2bSJakub Kicinski 
2555d9ae7f2bSJakub Kicinski 	emit_shf(nfp_prog, reg_a(1),
2556d9ae7f2bSJakub Kicinski 		 reg_none(), SHF_OP_NONE, reg_b(0), SHF_SC_L_SHF, 2);
2557d9ae7f2bSJakub Kicinski 
2558d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_none(), reg_a(1), ALU_OP_OR, reg_imm(0));
2559d9ae7f2bSJakub Kicinski 	emit_shf(nfp_prog, reg_a(2),
2560d9ae7f2bSJakub Kicinski 		 reg_imm(0xf), SHF_OP_AND, reg_b(2), SHF_SC_R_SHF, 0);
2561d9ae7f2bSJakub Kicinski 
2562d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_none(), reg_a(1), ALU_OP_OR, reg_imm(0));
2563d9ae7f2bSJakub Kicinski 	emit_shf(nfp_prog, reg_b(2),
2564d9ae7f2bSJakub Kicinski 		 reg_imm(0xf), SHF_OP_AND, reg_b(3), SHF_SC_R_SHF, 0);
2565d9ae7f2bSJakub Kicinski 
2566e84797feSJakub Kicinski 	emit_br_relo(nfp_prog, BR_UNC, BR_OFF_RELO, 2, RELO_BR_NEXT_PKT);
2567d9ae7f2bSJakub Kicinski 
2568d9ae7f2bSJakub Kicinski 	emit_shf(nfp_prog, reg_b(2),
2569d9ae7f2bSJakub Kicinski 		 reg_a(2), SHF_OP_OR, reg_b(2), SHF_SC_L_SHF, 4);
2570d9ae7f2bSJakub Kicinski 	emit_ld_field(nfp_prog, reg_a(0), 0xc, reg_b(2), SHF_SC_L_SHF, 16);
2571d9ae7f2bSJakub Kicinski }
2572d9ae7f2bSJakub Kicinski 
2573d9ae7f2bSJakub Kicinski static void nfp_outro_xdp(struct nfp_prog *nfp_prog)
2574d9ae7f2bSJakub Kicinski {
2575d9ae7f2bSJakub Kicinski 	/* XDP return codes:
2576d9ae7f2bSJakub Kicinski 	 *   0 aborted  0x82 -> drop,  count as stat3
2577d9ae7f2bSJakub Kicinski 	 *   1    drop  0x22 -> drop,  count as stat1
2578d9ae7f2bSJakub Kicinski 	 *   2    pass  0x11 -> pass,  count as stat0
2579d9ae7f2bSJakub Kicinski 	 *   3      tx  0x44 -> redir, count as stat2
2580d9ae7f2bSJakub Kicinski 	 *   * unknown  0x82 -> drop,  count as stat3
2581d9ae7f2bSJakub Kicinski 	 */
2582d9ae7f2bSJakub Kicinski 	/* Target for aborts */
2583d9ae7f2bSJakub Kicinski 	nfp_prog->tgt_abort = nfp_prog_current_offset(nfp_prog);
2584d9ae7f2bSJakub Kicinski 
2585e84797feSJakub Kicinski 	emit_br_relo(nfp_prog, BR_UNC, BR_OFF_RELO, 2, RELO_BR_NEXT_PKT);
2586d9ae7f2bSJakub Kicinski 
2587c000dfb5SJakub Kicinski 	wrp_mov(nfp_prog, reg_a(0), NFP_BPF_ABI_FLAGS);
2588d9ae7f2bSJakub Kicinski 	emit_ld_field(nfp_prog, reg_a(0), 0xc, reg_imm(0x82), SHF_SC_L_SHF, 16);
2589d9ae7f2bSJakub Kicinski 
2590d9ae7f2bSJakub Kicinski 	/* Target for normal exits */
2591d9ae7f2bSJakub Kicinski 	nfp_prog->tgt_out = nfp_prog_current_offset(nfp_prog);
2592d9ae7f2bSJakub Kicinski 
2593d9ae7f2bSJakub Kicinski 	/* if R0 > 3 jump to abort */
2594d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_none(), reg_imm(3), ALU_OP_SUB, reg_b(0));
2595d9ae7f2bSJakub Kicinski 	emit_br(nfp_prog, BR_BLO, nfp_prog->tgt_abort, 0);
2596d9ae7f2bSJakub Kicinski 
2597d9ae7f2bSJakub Kicinski 	wrp_immed(nfp_prog, reg_b(2), 0x44112282);
2598d9ae7f2bSJakub Kicinski 
2599d9ae7f2bSJakub Kicinski 	emit_shf(nfp_prog, reg_a(1),
2600d9ae7f2bSJakub Kicinski 		 reg_none(), SHF_OP_NONE, reg_b(0), SHF_SC_L_SHF, 3);
2601d9ae7f2bSJakub Kicinski 
2602d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_none(), reg_a(1), ALU_OP_OR, reg_imm(0));
2603d9ae7f2bSJakub Kicinski 	emit_shf(nfp_prog, reg_b(2),
2604d9ae7f2bSJakub Kicinski 		 reg_imm(0xff), SHF_OP_AND, reg_b(2), SHF_SC_R_SHF, 0);
2605d9ae7f2bSJakub Kicinski 
2606e84797feSJakub Kicinski 	emit_br_relo(nfp_prog, BR_UNC, BR_OFF_RELO, 2, RELO_BR_NEXT_PKT);
2607d9ae7f2bSJakub Kicinski 
2608c000dfb5SJakub Kicinski 	wrp_mov(nfp_prog, reg_a(0), NFP_BPF_ABI_FLAGS);
2609d9ae7f2bSJakub Kicinski 	emit_ld_field(nfp_prog, reg_a(0), 0xc, reg_b(2), SHF_SC_L_SHF, 16);
2610d9ae7f2bSJakub Kicinski }
2611d9ae7f2bSJakub Kicinski 
2612d9ae7f2bSJakub Kicinski static void nfp_outro(struct nfp_prog *nfp_prog)
2613d9ae7f2bSJakub Kicinski {
2614012bb8a8SJakub Kicinski 	switch (nfp_prog->type) {
2615012bb8a8SJakub Kicinski 	case BPF_PROG_TYPE_SCHED_CLS:
2616d9ae7f2bSJakub Kicinski 		nfp_outro_tc_da(nfp_prog);
2617d9ae7f2bSJakub Kicinski 		break;
2618012bb8a8SJakub Kicinski 	case BPF_PROG_TYPE_XDP:
2619d9ae7f2bSJakub Kicinski 		nfp_outro_xdp(nfp_prog);
2620d9ae7f2bSJakub Kicinski 		break;
2621012bb8a8SJakub Kicinski 	default:
2622012bb8a8SJakub Kicinski 		WARN_ON(1);
2623d9ae7f2bSJakub Kicinski 	}
2624d9ae7f2bSJakub Kicinski }
2625d9ae7f2bSJakub Kicinski 
2626d9ae7f2bSJakub Kicinski static int nfp_translate(struct nfp_prog *nfp_prog)
2627d9ae7f2bSJakub Kicinski {
2628d9ae7f2bSJakub Kicinski 	struct nfp_insn_meta *meta;
2629ff42bb9fSJakub Kicinski 	int err;
2630d9ae7f2bSJakub Kicinski 
2631d9ae7f2bSJakub Kicinski 	nfp_intro(nfp_prog);
2632d9ae7f2bSJakub Kicinski 	if (nfp_prog->error)
2633d9ae7f2bSJakub Kicinski 		return nfp_prog->error;
2634d9ae7f2bSJakub Kicinski 
2635d9ae7f2bSJakub Kicinski 	list_for_each_entry(meta, &nfp_prog->insns, l) {
2636d9ae7f2bSJakub Kicinski 		instr_cb_t cb = instr_cb[meta->insn.code];
2637d9ae7f2bSJakub Kicinski 
2638d9ae7f2bSJakub Kicinski 		meta->off = nfp_prog_current_offset(nfp_prog);
2639d9ae7f2bSJakub Kicinski 
2640d9ae7f2bSJakub Kicinski 		if (meta->skip) {
2641d9ae7f2bSJakub Kicinski 			nfp_prog->n_translated++;
2642d9ae7f2bSJakub Kicinski 			continue;
2643d9ae7f2bSJakub Kicinski 		}
2644d9ae7f2bSJakub Kicinski 
2645d9ae7f2bSJakub Kicinski 		if (nfp_meta_has_prev(nfp_prog, meta) &&
2646d9ae7f2bSJakub Kicinski 		    nfp_meta_prev(meta)->double_cb)
2647d9ae7f2bSJakub Kicinski 			cb = nfp_meta_prev(meta)->double_cb;
2648d9ae7f2bSJakub Kicinski 		if (!cb)
2649d9ae7f2bSJakub Kicinski 			return -ENOENT;
2650d9ae7f2bSJakub Kicinski 		err = cb(nfp_prog, meta);
2651d9ae7f2bSJakub Kicinski 		if (err)
2652d9ae7f2bSJakub Kicinski 			return err;
2653d9ae7f2bSJakub Kicinski 
2654d9ae7f2bSJakub Kicinski 		nfp_prog->n_translated++;
2655d9ae7f2bSJakub Kicinski 	}
2656d9ae7f2bSJakub Kicinski 
2657854dc87dSJiong Wang 	nfp_prog->last_bpf_off = nfp_prog_current_offset(nfp_prog) - 1;
2658854dc87dSJiong Wang 
2659d9ae7f2bSJakub Kicinski 	nfp_outro(nfp_prog);
2660d9ae7f2bSJakub Kicinski 	if (nfp_prog->error)
2661d9ae7f2bSJakub Kicinski 		return nfp_prog->error;
2662d9ae7f2bSJakub Kicinski 
2663ff42bb9fSJakub Kicinski 	wrp_nops(nfp_prog, NFP_USTORE_PREFETCH_WINDOW);
26641c03e03fSJakub Kicinski 	if (nfp_prog->error)
26651c03e03fSJakub Kicinski 		return nfp_prog->error;
26661c03e03fSJakub Kicinski 
2667d9ae7f2bSJakub Kicinski 	return nfp_fixup_branches(nfp_prog);
2668d9ae7f2bSJakub Kicinski }
2669d9ae7f2bSJakub Kicinski 
2670d9ae7f2bSJakub Kicinski /* --- Optimizations --- */
2671d9ae7f2bSJakub Kicinski static void nfp_bpf_opt_reg_init(struct nfp_prog *nfp_prog)
2672d9ae7f2bSJakub Kicinski {
2673d9ae7f2bSJakub Kicinski 	struct nfp_insn_meta *meta;
2674d9ae7f2bSJakub Kicinski 
2675d9ae7f2bSJakub Kicinski 	list_for_each_entry(meta, &nfp_prog->insns, l) {
2676d9ae7f2bSJakub Kicinski 		struct bpf_insn insn = meta->insn;
2677d9ae7f2bSJakub Kicinski 
2678d9ae7f2bSJakub Kicinski 		/* Programs converted from cBPF start with register xoring */
2679d9ae7f2bSJakub Kicinski 		if (insn.code == (BPF_ALU64 | BPF_XOR | BPF_X) &&
2680d9ae7f2bSJakub Kicinski 		    insn.src_reg == insn.dst_reg)
2681d9ae7f2bSJakub Kicinski 			continue;
2682d9ae7f2bSJakub Kicinski 
2683d9ae7f2bSJakub Kicinski 		/* Programs start with R6 = R1 but we ignore the skb pointer */
2684d9ae7f2bSJakub Kicinski 		if (insn.code == (BPF_ALU64 | BPF_MOV | BPF_X) &&
2685d9ae7f2bSJakub Kicinski 		    insn.src_reg == 1 && insn.dst_reg == 6)
2686d9ae7f2bSJakub Kicinski 			meta->skip = true;
2687d9ae7f2bSJakub Kicinski 
2688d9ae7f2bSJakub Kicinski 		/* Return as soon as something doesn't match */
2689d9ae7f2bSJakub Kicinski 		if (!meta->skip)
2690d9ae7f2bSJakub Kicinski 			return;
2691d9ae7f2bSJakub Kicinski 	}
2692d9ae7f2bSJakub Kicinski }
2693d9ae7f2bSJakub Kicinski 
2694d9ae7f2bSJakub Kicinski /* Remove masking after load since our load guarantees this is not needed */
2695d9ae7f2bSJakub Kicinski static void nfp_bpf_opt_ld_mask(struct nfp_prog *nfp_prog)
2696d9ae7f2bSJakub Kicinski {
2697d9ae7f2bSJakub Kicinski 	struct nfp_insn_meta *meta1, *meta2;
2698d9ae7f2bSJakub Kicinski 	const s32 exp_mask[] = {
2699d9ae7f2bSJakub Kicinski 		[BPF_B] = 0x000000ffU,
2700d9ae7f2bSJakub Kicinski 		[BPF_H] = 0x0000ffffU,
2701d9ae7f2bSJakub Kicinski 		[BPF_W] = 0xffffffffU,
2702d9ae7f2bSJakub Kicinski 	};
2703d9ae7f2bSJakub Kicinski 
2704d9ae7f2bSJakub Kicinski 	nfp_for_each_insn_walk2(nfp_prog, meta1, meta2) {
2705d9ae7f2bSJakub Kicinski 		struct bpf_insn insn, next;
2706d9ae7f2bSJakub Kicinski 
2707d9ae7f2bSJakub Kicinski 		insn = meta1->insn;
2708d9ae7f2bSJakub Kicinski 		next = meta2->insn;
2709d9ae7f2bSJakub Kicinski 
2710d9ae7f2bSJakub Kicinski 		if (BPF_CLASS(insn.code) != BPF_LD)
2711d9ae7f2bSJakub Kicinski 			continue;
2712d9ae7f2bSJakub Kicinski 		if (BPF_MODE(insn.code) != BPF_ABS &&
2713d9ae7f2bSJakub Kicinski 		    BPF_MODE(insn.code) != BPF_IND)
2714d9ae7f2bSJakub Kicinski 			continue;
2715d9ae7f2bSJakub Kicinski 
2716d9ae7f2bSJakub Kicinski 		if (next.code != (BPF_ALU64 | BPF_AND | BPF_K))
2717d9ae7f2bSJakub Kicinski 			continue;
2718d9ae7f2bSJakub Kicinski 
2719d9ae7f2bSJakub Kicinski 		if (!exp_mask[BPF_SIZE(insn.code)])
2720d9ae7f2bSJakub Kicinski 			continue;
2721d9ae7f2bSJakub Kicinski 		if (exp_mask[BPF_SIZE(insn.code)] != next.imm)
2722d9ae7f2bSJakub Kicinski 			continue;
2723d9ae7f2bSJakub Kicinski 
2724d9ae7f2bSJakub Kicinski 		if (next.src_reg || next.dst_reg)
2725d9ae7f2bSJakub Kicinski 			continue;
2726d9ae7f2bSJakub Kicinski 
27271266f5d6SJiong Wang 		if (meta2->flags & FLAG_INSN_IS_JUMP_DST)
27281266f5d6SJiong Wang 			continue;
27291266f5d6SJiong Wang 
2730d9ae7f2bSJakub Kicinski 		meta2->skip = true;
2731d9ae7f2bSJakub Kicinski 	}
2732d9ae7f2bSJakub Kicinski }
2733d9ae7f2bSJakub Kicinski 
2734d9ae7f2bSJakub Kicinski static void nfp_bpf_opt_ld_shift(struct nfp_prog *nfp_prog)
2735d9ae7f2bSJakub Kicinski {
2736d9ae7f2bSJakub Kicinski 	struct nfp_insn_meta *meta1, *meta2, *meta3;
2737d9ae7f2bSJakub Kicinski 
2738d9ae7f2bSJakub Kicinski 	nfp_for_each_insn_walk3(nfp_prog, meta1, meta2, meta3) {
2739d9ae7f2bSJakub Kicinski 		struct bpf_insn insn, next1, next2;
2740d9ae7f2bSJakub Kicinski 
2741d9ae7f2bSJakub Kicinski 		insn = meta1->insn;
2742d9ae7f2bSJakub Kicinski 		next1 = meta2->insn;
2743d9ae7f2bSJakub Kicinski 		next2 = meta3->insn;
2744d9ae7f2bSJakub Kicinski 
2745d9ae7f2bSJakub Kicinski 		if (BPF_CLASS(insn.code) != BPF_LD)
2746d9ae7f2bSJakub Kicinski 			continue;
2747d9ae7f2bSJakub Kicinski 		if (BPF_MODE(insn.code) != BPF_ABS &&
2748d9ae7f2bSJakub Kicinski 		    BPF_MODE(insn.code) != BPF_IND)
2749d9ae7f2bSJakub Kicinski 			continue;
2750d9ae7f2bSJakub Kicinski 		if (BPF_SIZE(insn.code) != BPF_W)
2751d9ae7f2bSJakub Kicinski 			continue;
2752d9ae7f2bSJakub Kicinski 
2753d9ae7f2bSJakub Kicinski 		if (!(next1.code == (BPF_LSH | BPF_K | BPF_ALU64) &&
2754d9ae7f2bSJakub Kicinski 		      next2.code == (BPF_RSH | BPF_K | BPF_ALU64)) &&
2755d9ae7f2bSJakub Kicinski 		    !(next1.code == (BPF_RSH | BPF_K | BPF_ALU64) &&
2756d9ae7f2bSJakub Kicinski 		      next2.code == (BPF_LSH | BPF_K | BPF_ALU64)))
2757d9ae7f2bSJakub Kicinski 			continue;
2758d9ae7f2bSJakub Kicinski 
2759d9ae7f2bSJakub Kicinski 		if (next1.src_reg || next1.dst_reg ||
2760d9ae7f2bSJakub Kicinski 		    next2.src_reg || next2.dst_reg)
2761d9ae7f2bSJakub Kicinski 			continue;
2762d9ae7f2bSJakub Kicinski 
2763d9ae7f2bSJakub Kicinski 		if (next1.imm != 0x20 || next2.imm != 0x20)
2764d9ae7f2bSJakub Kicinski 			continue;
2765d9ae7f2bSJakub Kicinski 
276629fe46efSJiong Wang 		if (meta2->flags & FLAG_INSN_IS_JUMP_DST ||
276729fe46efSJiong Wang 		    meta3->flags & FLAG_INSN_IS_JUMP_DST)
276829fe46efSJiong Wang 			continue;
276929fe46efSJiong Wang 
2770d9ae7f2bSJakub Kicinski 		meta2->skip = true;
2771d9ae7f2bSJakub Kicinski 		meta3->skip = true;
2772d9ae7f2bSJakub Kicinski 	}
2773d9ae7f2bSJakub Kicinski }
2774d9ae7f2bSJakub Kicinski 
27756bc7103cSJiong Wang /* load/store pair that forms memory copy sould look like the following:
27766bc7103cSJiong Wang  *
27776bc7103cSJiong Wang  *   ld_width R, [addr_src + offset_src]
27786bc7103cSJiong Wang  *   st_width [addr_dest + offset_dest], R
27796bc7103cSJiong Wang  *
27806bc7103cSJiong Wang  * The destination register of load and source register of store should
27816bc7103cSJiong Wang  * be the same, load and store should also perform at the same width.
27826bc7103cSJiong Wang  * If either of addr_src or addr_dest is stack pointer, we don't do the
27836bc7103cSJiong Wang  * CPP optimization as stack is modelled by registers on NFP.
27846bc7103cSJiong Wang  */
27856bc7103cSJiong Wang static bool
27866bc7103cSJiong Wang curr_pair_is_memcpy(struct nfp_insn_meta *ld_meta,
27876bc7103cSJiong Wang 		    struct nfp_insn_meta *st_meta)
27886bc7103cSJiong Wang {
27896bc7103cSJiong Wang 	struct bpf_insn *ld = &ld_meta->insn;
27906bc7103cSJiong Wang 	struct bpf_insn *st = &st_meta->insn;
27916bc7103cSJiong Wang 
27926bc7103cSJiong Wang 	if (!is_mbpf_load(ld_meta) || !is_mbpf_store(st_meta))
27936bc7103cSJiong Wang 		return false;
27946bc7103cSJiong Wang 
27956bc7103cSJiong Wang 	if (ld_meta->ptr.type != PTR_TO_PACKET)
27966bc7103cSJiong Wang 		return false;
27976bc7103cSJiong Wang 
27986bc7103cSJiong Wang 	if (st_meta->ptr.type != PTR_TO_PACKET)
27996bc7103cSJiong Wang 		return false;
28006bc7103cSJiong Wang 
28016bc7103cSJiong Wang 	if (BPF_SIZE(ld->code) != BPF_SIZE(st->code))
28026bc7103cSJiong Wang 		return false;
28036bc7103cSJiong Wang 
28046bc7103cSJiong Wang 	if (ld->dst_reg != st->src_reg)
28056bc7103cSJiong Wang 		return false;
28066bc7103cSJiong Wang 
28076bc7103cSJiong Wang 	/* There is jump to the store insn in this pair. */
28086bc7103cSJiong Wang 	if (st_meta->flags & FLAG_INSN_IS_JUMP_DST)
28096bc7103cSJiong Wang 		return false;
28106bc7103cSJiong Wang 
28116bc7103cSJiong Wang 	return true;
28126bc7103cSJiong Wang }
28136bc7103cSJiong Wang 
28146bc7103cSJiong Wang /* Currently, we only support chaining load/store pairs if:
28156bc7103cSJiong Wang  *
28166bc7103cSJiong Wang  *  - Their address base registers are the same.
28176bc7103cSJiong Wang  *  - Their address offsets are in the same order.
28186bc7103cSJiong Wang  *  - They operate at the same memory width.
28196bc7103cSJiong Wang  *  - There is no jump into the middle of them.
28206bc7103cSJiong Wang  */
28216bc7103cSJiong Wang static bool
28226bc7103cSJiong Wang curr_pair_chain_with_previous(struct nfp_insn_meta *ld_meta,
28236bc7103cSJiong Wang 			      struct nfp_insn_meta *st_meta,
28246bc7103cSJiong Wang 			      struct bpf_insn *prev_ld,
28256bc7103cSJiong Wang 			      struct bpf_insn *prev_st)
28266bc7103cSJiong Wang {
28276bc7103cSJiong Wang 	u8 prev_size, curr_size, prev_ld_base, prev_st_base, prev_ld_dst;
28286bc7103cSJiong Wang 	struct bpf_insn *ld = &ld_meta->insn;
28296bc7103cSJiong Wang 	struct bpf_insn *st = &st_meta->insn;
28306bc7103cSJiong Wang 	s16 prev_ld_off, prev_st_off;
28316bc7103cSJiong Wang 
28326bc7103cSJiong Wang 	/* This pair is the start pair. */
28336bc7103cSJiong Wang 	if (!prev_ld)
28346bc7103cSJiong Wang 		return true;
28356bc7103cSJiong Wang 
28366bc7103cSJiong Wang 	prev_size = BPF_LDST_BYTES(prev_ld);
28376bc7103cSJiong Wang 	curr_size = BPF_LDST_BYTES(ld);
28386bc7103cSJiong Wang 	prev_ld_base = prev_ld->src_reg;
28396bc7103cSJiong Wang 	prev_st_base = prev_st->dst_reg;
28406bc7103cSJiong Wang 	prev_ld_dst = prev_ld->dst_reg;
28416bc7103cSJiong Wang 	prev_ld_off = prev_ld->off;
28426bc7103cSJiong Wang 	prev_st_off = prev_st->off;
28436bc7103cSJiong Wang 
28446bc7103cSJiong Wang 	if (ld->dst_reg != prev_ld_dst)
28456bc7103cSJiong Wang 		return false;
28466bc7103cSJiong Wang 
28476bc7103cSJiong Wang 	if (ld->src_reg != prev_ld_base || st->dst_reg != prev_st_base)
28486bc7103cSJiong Wang 		return false;
28496bc7103cSJiong Wang 
28506bc7103cSJiong Wang 	if (curr_size != prev_size)
28516bc7103cSJiong Wang 		return false;
28526bc7103cSJiong Wang 
28536bc7103cSJiong Wang 	/* There is jump to the head of this pair. */
28546bc7103cSJiong Wang 	if (ld_meta->flags & FLAG_INSN_IS_JUMP_DST)
28556bc7103cSJiong Wang 		return false;
28566bc7103cSJiong Wang 
28576bc7103cSJiong Wang 	/* Both in ascending order. */
28586bc7103cSJiong Wang 	if (prev_ld_off + prev_size == ld->off &&
28596bc7103cSJiong Wang 	    prev_st_off + prev_size == st->off)
28606bc7103cSJiong Wang 		return true;
28616bc7103cSJiong Wang 
28626bc7103cSJiong Wang 	/* Both in descending order. */
28636bc7103cSJiong Wang 	if (ld->off + curr_size == prev_ld_off &&
28646bc7103cSJiong Wang 	    st->off + curr_size == prev_st_off)
28656bc7103cSJiong Wang 		return true;
28666bc7103cSJiong Wang 
28676bc7103cSJiong Wang 	return false;
28686bc7103cSJiong Wang }
28696bc7103cSJiong Wang 
28706bc7103cSJiong Wang /* Return TRUE if cross memory access happens. Cross memory access means
28716bc7103cSJiong Wang  * store area is overlapping with load area that a later load might load
28726bc7103cSJiong Wang  * the value from previous store, for this case we can't treat the sequence
28736bc7103cSJiong Wang  * as an memory copy.
28746bc7103cSJiong Wang  */
28756bc7103cSJiong Wang static bool
28766bc7103cSJiong Wang cross_mem_access(struct bpf_insn *ld, struct nfp_insn_meta *head_ld_meta,
28776bc7103cSJiong Wang 		 struct nfp_insn_meta *head_st_meta)
28786bc7103cSJiong Wang {
28796bc7103cSJiong Wang 	s16 head_ld_off, head_st_off, ld_off;
28806bc7103cSJiong Wang 
28816bc7103cSJiong Wang 	/* Different pointer types does not overlap. */
28826bc7103cSJiong Wang 	if (head_ld_meta->ptr.type != head_st_meta->ptr.type)
28836bc7103cSJiong Wang 		return false;
28846bc7103cSJiong Wang 
28856bc7103cSJiong Wang 	/* load and store are both PTR_TO_PACKET, check ID info.  */
28866bc7103cSJiong Wang 	if (head_ld_meta->ptr.id != head_st_meta->ptr.id)
28876bc7103cSJiong Wang 		return true;
28886bc7103cSJiong Wang 
28896bc7103cSJiong Wang 	/* Canonicalize the offsets. Turn all of them against the original
28906bc7103cSJiong Wang 	 * base register.
28916bc7103cSJiong Wang 	 */
28926bc7103cSJiong Wang 	head_ld_off = head_ld_meta->insn.off + head_ld_meta->ptr.off;
28936bc7103cSJiong Wang 	head_st_off = head_st_meta->insn.off + head_st_meta->ptr.off;
28946bc7103cSJiong Wang 	ld_off = ld->off + head_ld_meta->ptr.off;
28956bc7103cSJiong Wang 
28966bc7103cSJiong Wang 	/* Ascending order cross. */
28976bc7103cSJiong Wang 	if (ld_off > head_ld_off &&
28986bc7103cSJiong Wang 	    head_ld_off < head_st_off && ld_off >= head_st_off)
28996bc7103cSJiong Wang 		return true;
29006bc7103cSJiong Wang 
29016bc7103cSJiong Wang 	/* Descending order cross. */
29026bc7103cSJiong Wang 	if (ld_off < head_ld_off &&
29036bc7103cSJiong Wang 	    head_ld_off > head_st_off && ld_off <= head_st_off)
29046bc7103cSJiong Wang 		return true;
29056bc7103cSJiong Wang 
29066bc7103cSJiong Wang 	return false;
29076bc7103cSJiong Wang }
29086bc7103cSJiong Wang 
29096bc7103cSJiong Wang /* This pass try to identify the following instructoin sequences.
29106bc7103cSJiong Wang  *
29116bc7103cSJiong Wang  *   load R, [regA + offA]
29126bc7103cSJiong Wang  *   store [regB + offB], R
29136bc7103cSJiong Wang  *   load R, [regA + offA + const_imm_A]
29146bc7103cSJiong Wang  *   store [regB + offB + const_imm_A], R
29156bc7103cSJiong Wang  *   load R, [regA + offA + 2 * const_imm_A]
29166bc7103cSJiong Wang  *   store [regB + offB + 2 * const_imm_A], R
29176bc7103cSJiong Wang  *   ...
29186bc7103cSJiong Wang  *
29196bc7103cSJiong Wang  * Above sequence is typically generated by compiler when lowering
29206bc7103cSJiong Wang  * memcpy. NFP prefer using CPP instructions to accelerate it.
29216bc7103cSJiong Wang  */
29226bc7103cSJiong Wang static void nfp_bpf_opt_ldst_gather(struct nfp_prog *nfp_prog)
29236bc7103cSJiong Wang {
29246bc7103cSJiong Wang 	struct nfp_insn_meta *head_ld_meta = NULL;
29256bc7103cSJiong Wang 	struct nfp_insn_meta *head_st_meta = NULL;
29266bc7103cSJiong Wang 	struct nfp_insn_meta *meta1, *meta2;
29276bc7103cSJiong Wang 	struct bpf_insn *prev_ld = NULL;
29286bc7103cSJiong Wang 	struct bpf_insn *prev_st = NULL;
29296bc7103cSJiong Wang 	u8 count = 0;
29306bc7103cSJiong Wang 
29316bc7103cSJiong Wang 	nfp_for_each_insn_walk2(nfp_prog, meta1, meta2) {
29326bc7103cSJiong Wang 		struct bpf_insn *ld = &meta1->insn;
29336bc7103cSJiong Wang 		struct bpf_insn *st = &meta2->insn;
29346bc7103cSJiong Wang 
29356bc7103cSJiong Wang 		/* Reset record status if any of the following if true:
29366bc7103cSJiong Wang 		 *   - The current insn pair is not load/store.
29376bc7103cSJiong Wang 		 *   - The load/store pair doesn't chain with previous one.
29386bc7103cSJiong Wang 		 *   - The chained load/store pair crossed with previous pair.
29396bc7103cSJiong Wang 		 *   - The chained load/store pair has a total size of memory
29406bc7103cSJiong Wang 		 *     copy beyond 128 bytes which is the maximum length a
29416bc7103cSJiong Wang 		 *     single NFP CPP command can transfer.
29426bc7103cSJiong Wang 		 */
29436bc7103cSJiong Wang 		if (!curr_pair_is_memcpy(meta1, meta2) ||
29446bc7103cSJiong Wang 		    !curr_pair_chain_with_previous(meta1, meta2, prev_ld,
29456bc7103cSJiong Wang 						   prev_st) ||
29466bc7103cSJiong Wang 		    (head_ld_meta && (cross_mem_access(ld, head_ld_meta,
29476bc7103cSJiong Wang 						       head_st_meta) ||
29486bc7103cSJiong Wang 				      head_ld_meta->ldst_gather_len >= 128))) {
29496bc7103cSJiong Wang 			if (!count)
29506bc7103cSJiong Wang 				continue;
29516bc7103cSJiong Wang 
29526bc7103cSJiong Wang 			if (count > 1) {
29536bc7103cSJiong Wang 				s16 prev_ld_off = prev_ld->off;
29546bc7103cSJiong Wang 				s16 prev_st_off = prev_st->off;
29556bc7103cSJiong Wang 				s16 head_ld_off = head_ld_meta->insn.off;
29566bc7103cSJiong Wang 
29576bc7103cSJiong Wang 				if (prev_ld_off < head_ld_off) {
29586bc7103cSJiong Wang 					head_ld_meta->insn.off = prev_ld_off;
29596bc7103cSJiong Wang 					head_st_meta->insn.off = prev_st_off;
29606bc7103cSJiong Wang 					head_ld_meta->ldst_gather_len =
29616bc7103cSJiong Wang 						-head_ld_meta->ldst_gather_len;
29626bc7103cSJiong Wang 				}
29636bc7103cSJiong Wang 
29646bc7103cSJiong Wang 				head_ld_meta->paired_st = &head_st_meta->insn;
29656bc7103cSJiong Wang 				head_st_meta->skip = true;
29666bc7103cSJiong Wang 			} else {
29676bc7103cSJiong Wang 				head_ld_meta->ldst_gather_len = 0;
29686bc7103cSJiong Wang 			}
29696bc7103cSJiong Wang 
29706bc7103cSJiong Wang 			/* If the chain is ended by an load/store pair then this
29716bc7103cSJiong Wang 			 * could serve as the new head of the the next chain.
29726bc7103cSJiong Wang 			 */
29736bc7103cSJiong Wang 			if (curr_pair_is_memcpy(meta1, meta2)) {
29746bc7103cSJiong Wang 				head_ld_meta = meta1;
29756bc7103cSJiong Wang 				head_st_meta = meta2;
29766bc7103cSJiong Wang 				head_ld_meta->ldst_gather_len =
29776bc7103cSJiong Wang 					BPF_LDST_BYTES(ld);
29786bc7103cSJiong Wang 				meta1 = nfp_meta_next(meta1);
29796bc7103cSJiong Wang 				meta2 = nfp_meta_next(meta2);
29806bc7103cSJiong Wang 				prev_ld = ld;
29816bc7103cSJiong Wang 				prev_st = st;
29826bc7103cSJiong Wang 				count = 1;
29836bc7103cSJiong Wang 			} else {
29846bc7103cSJiong Wang 				head_ld_meta = NULL;
29856bc7103cSJiong Wang 				head_st_meta = NULL;
29866bc7103cSJiong Wang 				prev_ld = NULL;
29876bc7103cSJiong Wang 				prev_st = NULL;
29886bc7103cSJiong Wang 				count = 0;
29896bc7103cSJiong Wang 			}
29906bc7103cSJiong Wang 
29916bc7103cSJiong Wang 			continue;
29926bc7103cSJiong Wang 		}
29936bc7103cSJiong Wang 
29946bc7103cSJiong Wang 		if (!head_ld_meta) {
29956bc7103cSJiong Wang 			head_ld_meta = meta1;
29966bc7103cSJiong Wang 			head_st_meta = meta2;
29976bc7103cSJiong Wang 		} else {
29986bc7103cSJiong Wang 			meta1->skip = true;
29996bc7103cSJiong Wang 			meta2->skip = true;
30006bc7103cSJiong Wang 		}
30016bc7103cSJiong Wang 
30026bc7103cSJiong Wang 		head_ld_meta->ldst_gather_len += BPF_LDST_BYTES(ld);
30036bc7103cSJiong Wang 		meta1 = nfp_meta_next(meta1);
30046bc7103cSJiong Wang 		meta2 = nfp_meta_next(meta2);
30056bc7103cSJiong Wang 		prev_ld = ld;
30066bc7103cSJiong Wang 		prev_st = st;
30076bc7103cSJiong Wang 		count++;
30086bc7103cSJiong Wang 	}
30096bc7103cSJiong Wang }
30106bc7103cSJiong Wang 
301187b10ecdSJiong Wang static void nfp_bpf_opt_pkt_cache(struct nfp_prog *nfp_prog)
301287b10ecdSJiong Wang {
301387b10ecdSJiong Wang 	struct nfp_insn_meta *meta, *range_node = NULL;
301487b10ecdSJiong Wang 	s16 range_start = 0, range_end = 0;
301587b10ecdSJiong Wang 	bool cache_avail = false;
301687b10ecdSJiong Wang 	struct bpf_insn *insn;
301787b10ecdSJiong Wang 	s32 range_ptr_off = 0;
301887b10ecdSJiong Wang 	u32 range_ptr_id = 0;
301987b10ecdSJiong Wang 
302087b10ecdSJiong Wang 	list_for_each_entry(meta, &nfp_prog->insns, l) {
302187b10ecdSJiong Wang 		if (meta->flags & FLAG_INSN_IS_JUMP_DST)
302287b10ecdSJiong Wang 			cache_avail = false;
302387b10ecdSJiong Wang 
302487b10ecdSJiong Wang 		if (meta->skip)
302587b10ecdSJiong Wang 			continue;
302687b10ecdSJiong Wang 
302787b10ecdSJiong Wang 		insn = &meta->insn;
302887b10ecdSJiong Wang 
302987b10ecdSJiong Wang 		if (is_mbpf_store_pkt(meta) ||
303087b10ecdSJiong Wang 		    insn->code == (BPF_JMP | BPF_CALL) ||
303187b10ecdSJiong Wang 		    is_mbpf_classic_store_pkt(meta) ||
303287b10ecdSJiong Wang 		    is_mbpf_classic_load(meta)) {
303387b10ecdSJiong Wang 			cache_avail = false;
303487b10ecdSJiong Wang 			continue;
303587b10ecdSJiong Wang 		}
303687b10ecdSJiong Wang 
303787b10ecdSJiong Wang 		if (!is_mbpf_load(meta))
303887b10ecdSJiong Wang 			continue;
303987b10ecdSJiong Wang 
304087b10ecdSJiong Wang 		if (meta->ptr.type != PTR_TO_PACKET || meta->ldst_gather_len) {
304187b10ecdSJiong Wang 			cache_avail = false;
304287b10ecdSJiong Wang 			continue;
304387b10ecdSJiong Wang 		}
304487b10ecdSJiong Wang 
304587b10ecdSJiong Wang 		if (!cache_avail) {
304687b10ecdSJiong Wang 			cache_avail = true;
304787b10ecdSJiong Wang 			if (range_node)
304887b10ecdSJiong Wang 				goto end_current_then_start_new;
304987b10ecdSJiong Wang 			goto start_new;
305087b10ecdSJiong Wang 		}
305187b10ecdSJiong Wang 
305287b10ecdSJiong Wang 		/* Check ID to make sure two reads share the same
305387b10ecdSJiong Wang 		 * variable offset against PTR_TO_PACKET, and check OFF
305487b10ecdSJiong Wang 		 * to make sure they also share the same constant
305587b10ecdSJiong Wang 		 * offset.
305687b10ecdSJiong Wang 		 *
305787b10ecdSJiong Wang 		 * OFFs don't really need to be the same, because they
305887b10ecdSJiong Wang 		 * are the constant offsets against PTR_TO_PACKET, so
305987b10ecdSJiong Wang 		 * for different OFFs, we could canonicalize them to
306087b10ecdSJiong Wang 		 * offsets against original packet pointer. We don't
306187b10ecdSJiong Wang 		 * support this.
306287b10ecdSJiong Wang 		 */
306387b10ecdSJiong Wang 		if (meta->ptr.id == range_ptr_id &&
306487b10ecdSJiong Wang 		    meta->ptr.off == range_ptr_off) {
306587b10ecdSJiong Wang 			s16 new_start = range_start;
306687b10ecdSJiong Wang 			s16 end, off = insn->off;
306787b10ecdSJiong Wang 			s16 new_end = range_end;
306887b10ecdSJiong Wang 			bool changed = false;
306987b10ecdSJiong Wang 
307087b10ecdSJiong Wang 			if (off < range_start) {
307187b10ecdSJiong Wang 				new_start = off;
307287b10ecdSJiong Wang 				changed = true;
307387b10ecdSJiong Wang 			}
307487b10ecdSJiong Wang 
307587b10ecdSJiong Wang 			end = off + BPF_LDST_BYTES(insn);
307687b10ecdSJiong Wang 			if (end > range_end) {
307787b10ecdSJiong Wang 				new_end = end;
307887b10ecdSJiong Wang 				changed = true;
307987b10ecdSJiong Wang 			}
308087b10ecdSJiong Wang 
308187b10ecdSJiong Wang 			if (!changed)
308287b10ecdSJiong Wang 				continue;
308387b10ecdSJiong Wang 
308487b10ecdSJiong Wang 			if (new_end - new_start <= 64) {
308587b10ecdSJiong Wang 				/* Install new range. */
308687b10ecdSJiong Wang 				range_start = new_start;
308787b10ecdSJiong Wang 				range_end = new_end;
308887b10ecdSJiong Wang 				continue;
308987b10ecdSJiong Wang 			}
309087b10ecdSJiong Wang 		}
309187b10ecdSJiong Wang 
309287b10ecdSJiong Wang end_current_then_start_new:
309387b10ecdSJiong Wang 		range_node->pkt_cache.range_start = range_start;
309487b10ecdSJiong Wang 		range_node->pkt_cache.range_end = range_end;
309587b10ecdSJiong Wang start_new:
309687b10ecdSJiong Wang 		range_node = meta;
309787b10ecdSJiong Wang 		range_node->pkt_cache.do_init = true;
309887b10ecdSJiong Wang 		range_ptr_id = range_node->ptr.id;
309987b10ecdSJiong Wang 		range_ptr_off = range_node->ptr.off;
310087b10ecdSJiong Wang 		range_start = insn->off;
310187b10ecdSJiong Wang 		range_end = insn->off + BPF_LDST_BYTES(insn);
310287b10ecdSJiong Wang 	}
310387b10ecdSJiong Wang 
310487b10ecdSJiong Wang 	if (range_node) {
310587b10ecdSJiong Wang 		range_node->pkt_cache.range_start = range_start;
310687b10ecdSJiong Wang 		range_node->pkt_cache.range_end = range_end;
310787b10ecdSJiong Wang 	}
310887b10ecdSJiong Wang 
310987b10ecdSJiong Wang 	list_for_each_entry(meta, &nfp_prog->insns, l) {
311087b10ecdSJiong Wang 		if (meta->skip)
311187b10ecdSJiong Wang 			continue;
311287b10ecdSJiong Wang 
311387b10ecdSJiong Wang 		if (is_mbpf_load_pkt(meta) && !meta->ldst_gather_len) {
311487b10ecdSJiong Wang 			if (meta->pkt_cache.do_init) {
311587b10ecdSJiong Wang 				range_start = meta->pkt_cache.range_start;
311687b10ecdSJiong Wang 				range_end = meta->pkt_cache.range_end;
311787b10ecdSJiong Wang 			} else {
311887b10ecdSJiong Wang 				meta->pkt_cache.range_start = range_start;
311987b10ecdSJiong Wang 				meta->pkt_cache.range_end = range_end;
312087b10ecdSJiong Wang 			}
312187b10ecdSJiong Wang 		}
312287b10ecdSJiong Wang 	}
312387b10ecdSJiong Wang }
312487b10ecdSJiong Wang 
3125d9ae7f2bSJakub Kicinski static int nfp_bpf_optimize(struct nfp_prog *nfp_prog)
3126d9ae7f2bSJakub Kicinski {
3127d9ae7f2bSJakub Kicinski 	nfp_bpf_opt_reg_init(nfp_prog);
3128d9ae7f2bSJakub Kicinski 
3129d9ae7f2bSJakub Kicinski 	nfp_bpf_opt_ld_mask(nfp_prog);
3130d9ae7f2bSJakub Kicinski 	nfp_bpf_opt_ld_shift(nfp_prog);
31316bc7103cSJiong Wang 	nfp_bpf_opt_ldst_gather(nfp_prog);
313287b10ecdSJiong Wang 	nfp_bpf_opt_pkt_cache(nfp_prog);
3133d9ae7f2bSJakub Kicinski 
3134d9ae7f2bSJakub Kicinski 	return 0;
3135d9ae7f2bSJakub Kicinski }
3136d9ae7f2bSJakub Kicinski 
31372314fe9eSJakub Kicinski static int nfp_bpf_ustore_calc(u64 *prog, unsigned int len)
3138fd068ddcSJakub Kicinski {
31392314fe9eSJakub Kicinski 	__le64 *ustore = (__force __le64 *)prog;
3140fd068ddcSJakub Kicinski 	int i;
3141fd068ddcSJakub Kicinski 
31422314fe9eSJakub Kicinski 	for (i = 0; i < len; i++) {
3143fd068ddcSJakub Kicinski 		int err;
3144fd068ddcSJakub Kicinski 
31452314fe9eSJakub Kicinski 		err = nfp_ustore_check_valid_no_ecc(prog[i]);
3146fd068ddcSJakub Kicinski 		if (err)
3147fd068ddcSJakub Kicinski 			return err;
3148fd068ddcSJakub Kicinski 
31492314fe9eSJakub Kicinski 		ustore[i] = cpu_to_le64(nfp_ustore_calc_ecc_insn(prog[i]));
3150fd068ddcSJakub Kicinski 	}
3151fd068ddcSJakub Kicinski 
3152fd068ddcSJakub Kicinski 	return 0;
3153fd068ddcSJakub Kicinski }
3154fd068ddcSJakub Kicinski 
315544a12eccSJakub Kicinski static void nfp_bpf_prog_trim(struct nfp_prog *nfp_prog)
315644a12eccSJakub Kicinski {
315744a12eccSJakub Kicinski 	void *prog;
315844a12eccSJakub Kicinski 
315944a12eccSJakub Kicinski 	prog = kvmalloc_array(nfp_prog->prog_len, sizeof(u64), GFP_KERNEL);
316044a12eccSJakub Kicinski 	if (!prog)
316144a12eccSJakub Kicinski 		return;
316244a12eccSJakub Kicinski 
316344a12eccSJakub Kicinski 	nfp_prog->__prog_alloc_len = nfp_prog->prog_len * sizeof(u64);
316444a12eccSJakub Kicinski 	memcpy(prog, nfp_prog->prog, nfp_prog->__prog_alloc_len);
316544a12eccSJakub Kicinski 	kvfree(nfp_prog->prog);
316644a12eccSJakub Kicinski 	nfp_prog->prog = prog;
316744a12eccSJakub Kicinski }
316844a12eccSJakub Kicinski 
3169c6c580d7SJakub Kicinski int nfp_bpf_jit(struct nfp_prog *nfp_prog)
3170d9ae7f2bSJakub Kicinski {
3171d9ae7f2bSJakub Kicinski 	int ret;
3172d9ae7f2bSJakub Kicinski 
3173d9ae7f2bSJakub Kicinski 	ret = nfp_bpf_optimize(nfp_prog);
3174d9ae7f2bSJakub Kicinski 	if (ret)
31759314c442SJakub Kicinski 		return ret;
3176d9ae7f2bSJakub Kicinski 
3177d9ae7f2bSJakub Kicinski 	ret = nfp_translate(nfp_prog);
3178d9ae7f2bSJakub Kicinski 	if (ret) {
3179d9ae7f2bSJakub Kicinski 		pr_err("Translation failed with error %d (translated: %u)\n",
3180d9ae7f2bSJakub Kicinski 		       ret, nfp_prog->n_translated);
31819314c442SJakub Kicinski 		return -EINVAL;
3182d9ae7f2bSJakub Kicinski 	}
3183d9ae7f2bSJakub Kicinski 
318444a12eccSJakub Kicinski 	nfp_bpf_prog_trim(nfp_prog);
318544a12eccSJakub Kicinski 
31862314fe9eSJakub Kicinski 	return ret;
3187d9ae7f2bSJakub Kicinski }
31881549921dSJakub Kicinski 
31891549921dSJakub Kicinski void nfp_bpf_jit_prepare(struct nfp_prog *nfp_prog, unsigned int cnt)
31901549921dSJakub Kicinski {
31911549921dSJakub Kicinski 	struct nfp_insn_meta *meta;
31921549921dSJakub Kicinski 
31931549921dSJakub Kicinski 	/* Another pass to record jump information. */
31941549921dSJakub Kicinski 	list_for_each_entry(meta, &nfp_prog->insns, l) {
31951549921dSJakub Kicinski 		u64 code = meta->insn.code;
31961549921dSJakub Kicinski 
31971549921dSJakub Kicinski 		if (BPF_CLASS(code) == BPF_JMP && BPF_OP(code) != BPF_EXIT &&
31981549921dSJakub Kicinski 		    BPF_OP(code) != BPF_CALL) {
31991549921dSJakub Kicinski 			struct nfp_insn_meta *dst_meta;
32001549921dSJakub Kicinski 			unsigned short dst_indx;
32011549921dSJakub Kicinski 
32021549921dSJakub Kicinski 			dst_indx = meta->n + 1 + meta->insn.off;
32031549921dSJakub Kicinski 			dst_meta = nfp_bpf_goto_meta(nfp_prog, meta, dst_indx,
32041549921dSJakub Kicinski 						     cnt);
32051549921dSJakub Kicinski 
32061549921dSJakub Kicinski 			meta->jmp_dst = dst_meta;
32071549921dSJakub Kicinski 			dst_meta->flags |= FLAG_INSN_IS_JUMP_DST;
32081549921dSJakub Kicinski 		}
32091549921dSJakub Kicinski 	}
32101549921dSJakub Kicinski }
32112314fe9eSJakub Kicinski 
321274801e50SQuentin Monnet bool nfp_bpf_supported_opcode(u8 code)
321374801e50SQuentin Monnet {
321474801e50SQuentin Monnet 	return !!instr_cb[code];
321574801e50SQuentin Monnet }
321674801e50SQuentin Monnet 
32172314fe9eSJakub Kicinski void *nfp_bpf_relo_for_vnic(struct nfp_prog *nfp_prog, struct nfp_bpf_vnic *bv)
32182314fe9eSJakub Kicinski {
32192314fe9eSJakub Kicinski 	unsigned int i;
32202314fe9eSJakub Kicinski 	u64 *prog;
32212314fe9eSJakub Kicinski 	int err;
32222314fe9eSJakub Kicinski 
32232314fe9eSJakub Kicinski 	prog = kmemdup(nfp_prog->prog, nfp_prog->prog_len * sizeof(u64),
32242314fe9eSJakub Kicinski 		       GFP_KERNEL);
32252314fe9eSJakub Kicinski 	if (!prog)
32262314fe9eSJakub Kicinski 		return ERR_PTR(-ENOMEM);
32272314fe9eSJakub Kicinski 
32282314fe9eSJakub Kicinski 	for (i = 0; i < nfp_prog->prog_len; i++) {
32292314fe9eSJakub Kicinski 		enum nfp_relo_type special;
323077a3d311SJakub Kicinski 		u32 val;
32312314fe9eSJakub Kicinski 
32322314fe9eSJakub Kicinski 		special = FIELD_GET(OP_RELO_TYPE, prog[i]);
32332314fe9eSJakub Kicinski 		switch (special) {
32342314fe9eSJakub Kicinski 		case RELO_NONE:
32352314fe9eSJakub Kicinski 			continue;
32362314fe9eSJakub Kicinski 		case RELO_BR_REL:
32372314fe9eSJakub Kicinski 			br_add_offset(&prog[i], bv->start_off);
32382314fe9eSJakub Kicinski 			break;
32392314fe9eSJakub Kicinski 		case RELO_BR_GO_OUT:
32402314fe9eSJakub Kicinski 			br_set_offset(&prog[i],
32412314fe9eSJakub Kicinski 				      nfp_prog->tgt_out + bv->start_off);
32422314fe9eSJakub Kicinski 			break;
32432314fe9eSJakub Kicinski 		case RELO_BR_GO_ABORT:
32442314fe9eSJakub Kicinski 			br_set_offset(&prog[i],
32452314fe9eSJakub Kicinski 				      nfp_prog->tgt_abort + bv->start_off);
32462314fe9eSJakub Kicinski 			break;
32472314fe9eSJakub Kicinski 		case RELO_BR_NEXT_PKT:
32482314fe9eSJakub Kicinski 			br_set_offset(&prog[i], bv->tgt_done);
32492314fe9eSJakub Kicinski 			break;
325077a3d311SJakub Kicinski 		case RELO_BR_HELPER:
325177a3d311SJakub Kicinski 			val = br_get_offset(prog[i]);
325277a3d311SJakub Kicinski 			val -= BR_OFF_RELO;
325377a3d311SJakub Kicinski 			switch (val) {
325477a3d311SJakub Kicinski 			case BPF_FUNC_map_lookup_elem:
325577a3d311SJakub Kicinski 				val = nfp_prog->bpf->helpers.map_lookup;
325677a3d311SJakub Kicinski 				break;
325744d65a47SJakub Kicinski 			case BPF_FUNC_map_update_elem:
325844d65a47SJakub Kicinski 				val = nfp_prog->bpf->helpers.map_update;
325944d65a47SJakub Kicinski 				break;
3260bfee64deSJakub Kicinski 			case BPF_FUNC_map_delete_elem:
3261bfee64deSJakub Kicinski 				val = nfp_prog->bpf->helpers.map_delete;
3262bfee64deSJakub Kicinski 				break;
326377a3d311SJakub Kicinski 			default:
326477a3d311SJakub Kicinski 				pr_err("relocation of unknown helper %d\n",
326577a3d311SJakub Kicinski 				       val);
326677a3d311SJakub Kicinski 				err = -EINVAL;
326777a3d311SJakub Kicinski 				goto err_free_prog;
326877a3d311SJakub Kicinski 			}
326977a3d311SJakub Kicinski 			br_set_offset(&prog[i], val);
327077a3d311SJakub Kicinski 			break;
327177a3d311SJakub Kicinski 		case RELO_IMMED_REL:
327277a3d311SJakub Kicinski 			immed_add_value(&prog[i], bv->start_off);
327377a3d311SJakub Kicinski 			break;
32742314fe9eSJakub Kicinski 		}
32752314fe9eSJakub Kicinski 
32762314fe9eSJakub Kicinski 		prog[i] &= ~OP_RELO_TYPE;
32772314fe9eSJakub Kicinski 	}
32782314fe9eSJakub Kicinski 
32792314fe9eSJakub Kicinski 	err = nfp_bpf_ustore_calc(prog, nfp_prog->prog_len);
32802314fe9eSJakub Kicinski 	if (err)
32812314fe9eSJakub Kicinski 		goto err_free_prog;
32822314fe9eSJakub Kicinski 
32832314fe9eSJakub Kicinski 	return prog;
32842314fe9eSJakub Kicinski 
32852314fe9eSJakub Kicinski err_free_prog:
32862314fe9eSJakub Kicinski 	kfree(prog);
32872314fe9eSJakub Kicinski 	return ERR_PTR(err);
32882314fe9eSJakub Kicinski }
3289