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,
1065468a8b9SJakub Kicinski 	   u8 mode, u8 xfer, u8 areg, u8 breg, u8 size, bool sync, bool indir)
107d9ae7f2bSJakub Kicinski {
108d9ae7f2bSJakub Kicinski 	enum cmd_ctx_swap ctx;
109d9ae7f2bSJakub Kicinski 	u64 insn;
110d9ae7f2bSJakub Kicinski 
111d9ae7f2bSJakub Kicinski 	if (sync)
112d9ae7f2bSJakub Kicinski 		ctx = CMD_CTX_SWAP;
113d9ae7f2bSJakub Kicinski 	else
114d9ae7f2bSJakub Kicinski 		ctx = CMD_CTX_NO_SWAP;
115d9ae7f2bSJakub Kicinski 
116d9ae7f2bSJakub Kicinski 	insn =	FIELD_PREP(OP_CMD_A_SRC, areg) |
117d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_CMD_CTX, ctx) |
118d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_CMD_B_SRC, breg) |
119d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_CMD_TOKEN, cmd_tgt_act[op].token) |
120d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_CMD_XFER, xfer) |
121d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_CMD_CNT, size) |
122d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_CMD_SIG, sync) |
123d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_CMD_TGT_CMD, cmd_tgt_act[op].tgt_cmd) |
1245468a8b9SJakub Kicinski 		FIELD_PREP(OP_CMD_INDIR, indir) |
125d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_CMD_MODE, mode);
126d9ae7f2bSJakub Kicinski 
127d9ae7f2bSJakub Kicinski 	nfp_prog_push(nfp_prog, insn);
128d9ae7f2bSJakub Kicinski }
129d9ae7f2bSJakub Kicinski 
130d9ae7f2bSJakub Kicinski static void
1315468a8b9SJakub Kicinski emit_cmd_any(struct nfp_prog *nfp_prog, enum cmd_tgt_map op, u8 mode, u8 xfer,
1325468a8b9SJakub Kicinski 	     swreg lreg, swreg rreg, u8 size, bool sync, bool indir)
133d9ae7f2bSJakub Kicinski {
134d9ae7f2bSJakub Kicinski 	struct nfp_insn_re_regs reg;
135d9ae7f2bSJakub Kicinski 	int err;
136d9ae7f2bSJakub Kicinski 
137d9ae7f2bSJakub Kicinski 	err = swreg_to_restricted(reg_none(), lreg, rreg, &reg, false);
138d9ae7f2bSJakub Kicinski 	if (err) {
139d9ae7f2bSJakub Kicinski 		nfp_prog->error = err;
140d9ae7f2bSJakub Kicinski 		return;
141d9ae7f2bSJakub Kicinski 	}
142d9ae7f2bSJakub Kicinski 	if (reg.swap) {
143d9ae7f2bSJakub Kicinski 		pr_err("cmd can't swap arguments\n");
144d9ae7f2bSJakub Kicinski 		nfp_prog->error = -EFAULT;
145d9ae7f2bSJakub Kicinski 		return;
146d9ae7f2bSJakub Kicinski 	}
147995e101fSJakub Kicinski 	if (reg.dst_lmextn || reg.src_lmextn) {
148995e101fSJakub Kicinski 		pr_err("cmd can't use LMextn\n");
149995e101fSJakub Kicinski 		nfp_prog->error = -EFAULT;
150995e101fSJakub Kicinski 		return;
151995e101fSJakub Kicinski 	}
152d9ae7f2bSJakub Kicinski 
1535468a8b9SJakub Kicinski 	__emit_cmd(nfp_prog, op, mode, xfer, reg.areg, reg.breg, size, sync,
1545468a8b9SJakub Kicinski 		   indir);
1555468a8b9SJakub Kicinski }
1565468a8b9SJakub Kicinski 
1575468a8b9SJakub Kicinski static void
1585468a8b9SJakub Kicinski emit_cmd(struct nfp_prog *nfp_prog, enum cmd_tgt_map op, u8 mode, u8 xfer,
1595468a8b9SJakub Kicinski 	 swreg lreg, swreg rreg, u8 size, bool sync)
1605468a8b9SJakub Kicinski {
1615468a8b9SJakub Kicinski 	emit_cmd_any(nfp_prog, op, mode, xfer, lreg, rreg, size, sync, false);
162d9ae7f2bSJakub Kicinski }
163d9ae7f2bSJakub Kicinski 
164d9ae7f2bSJakub Kicinski static void
1659879a381SJiong Wang emit_cmd_indir(struct nfp_prog *nfp_prog, enum cmd_tgt_map op, u8 mode, u8 xfer,
1669879a381SJiong Wang 	       swreg lreg, swreg rreg, u8 size, bool sync)
1679879a381SJiong Wang {
1689879a381SJiong Wang 	emit_cmd_any(nfp_prog, op, mode, xfer, lreg, rreg, size, sync, true);
1699879a381SJiong Wang }
1709879a381SJiong Wang 
1719879a381SJiong Wang static void
172d9ae7f2bSJakub Kicinski __emit_br(struct nfp_prog *nfp_prog, enum br_mask mask, enum br_ev_pip ev_pip,
173d9ae7f2bSJakub Kicinski 	  enum br_ctx_signal_state css, u16 addr, u8 defer)
174d9ae7f2bSJakub Kicinski {
175d9ae7f2bSJakub Kicinski 	u16 addr_lo, addr_hi;
176d9ae7f2bSJakub Kicinski 	u64 insn;
177d9ae7f2bSJakub Kicinski 
178d9ae7f2bSJakub Kicinski 	addr_lo = addr & (OP_BR_ADDR_LO >> __bf_shf(OP_BR_ADDR_LO));
179d9ae7f2bSJakub Kicinski 	addr_hi = addr != addr_lo;
180d9ae7f2bSJakub Kicinski 
181d9ae7f2bSJakub Kicinski 	insn = OP_BR_BASE |
182d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_BR_MASK, mask) |
183d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_BR_EV_PIP, ev_pip) |
184d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_BR_CSS, css) |
185d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_BR_DEFBR, defer) |
186d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_BR_ADDR_LO, addr_lo) |
187d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_BR_ADDR_HI, addr_hi);
188d9ae7f2bSJakub Kicinski 
189d9ae7f2bSJakub Kicinski 	nfp_prog_push(nfp_prog, insn);
190d9ae7f2bSJakub Kicinski }
191d9ae7f2bSJakub Kicinski 
1922314fe9eSJakub Kicinski static void
1932314fe9eSJakub Kicinski emit_br_relo(struct nfp_prog *nfp_prog, enum br_mask mask, u16 addr, u8 defer,
1942314fe9eSJakub Kicinski 	     enum nfp_relo_type relo)
195d9ae7f2bSJakub Kicinski {
1962314fe9eSJakub Kicinski 	if (mask == BR_UNC && defer > 2) {
197d9ae7f2bSJakub Kicinski 		pr_err("BUG: branch defer out of bounds %d\n", defer);
198d9ae7f2bSJakub Kicinski 		nfp_prog->error = -EFAULT;
199d9ae7f2bSJakub Kicinski 		return;
200d9ae7f2bSJakub Kicinski 	}
2012314fe9eSJakub Kicinski 
2022314fe9eSJakub Kicinski 	__emit_br(nfp_prog, mask,
2032314fe9eSJakub Kicinski 		  mask != BR_UNC ? BR_EV_PIP_COND : BR_EV_PIP_UNCOND,
2042314fe9eSJakub Kicinski 		  BR_CSS_NONE, addr, defer);
2052314fe9eSJakub Kicinski 
2062314fe9eSJakub Kicinski 	nfp_prog->prog[nfp_prog->prog_len - 1] |=
2072314fe9eSJakub Kicinski 		FIELD_PREP(OP_RELO_TYPE, relo);
208d9ae7f2bSJakub Kicinski }
209d9ae7f2bSJakub Kicinski 
210d9ae7f2bSJakub Kicinski static void
211d9ae7f2bSJakub Kicinski emit_br(struct nfp_prog *nfp_prog, enum br_mask mask, u16 addr, u8 defer)
212d9ae7f2bSJakub Kicinski {
2132314fe9eSJakub Kicinski 	emit_br_relo(nfp_prog, mask, addr, defer, RELO_BR_REL);
214d9ae7f2bSJakub Kicinski }
215d9ae7f2bSJakub Kicinski 
216d9ae7f2bSJakub Kicinski static void
217d9ae7f2bSJakub Kicinski __emit_immed(struct nfp_prog *nfp_prog, u16 areg, u16 breg, u16 imm_hi,
218d9ae7f2bSJakub Kicinski 	     enum immed_width width, bool invert,
219995e101fSJakub Kicinski 	     enum immed_shift shift, bool wr_both,
220995e101fSJakub Kicinski 	     bool dst_lmextn, bool src_lmextn)
221d9ae7f2bSJakub Kicinski {
222d9ae7f2bSJakub Kicinski 	u64 insn;
223d9ae7f2bSJakub Kicinski 
224d9ae7f2bSJakub Kicinski 	insn = OP_IMMED_BASE |
225d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_IMMED_A_SRC, areg) |
226d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_IMMED_B_SRC, breg) |
227d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_IMMED_IMM, imm_hi) |
228d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_IMMED_WIDTH, width) |
229d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_IMMED_INV, invert) |
230d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_IMMED_SHIFT, shift) |
231995e101fSJakub Kicinski 		FIELD_PREP(OP_IMMED_WR_AB, wr_both) |
232995e101fSJakub Kicinski 		FIELD_PREP(OP_IMMED_SRC_LMEXTN, src_lmextn) |
233995e101fSJakub Kicinski 		FIELD_PREP(OP_IMMED_DST_LMEXTN, dst_lmextn);
234d9ae7f2bSJakub Kicinski 
235d9ae7f2bSJakub Kicinski 	nfp_prog_push(nfp_prog, insn);
236d9ae7f2bSJakub Kicinski }
237d9ae7f2bSJakub Kicinski 
238d9ae7f2bSJakub Kicinski static void
239b3f868dfSJakub Kicinski emit_immed(struct nfp_prog *nfp_prog, swreg dst, u16 imm,
240d9ae7f2bSJakub Kicinski 	   enum immed_width width, bool invert, enum immed_shift shift)
241d9ae7f2bSJakub Kicinski {
242d9ae7f2bSJakub Kicinski 	struct nfp_insn_ur_regs reg;
243d9ae7f2bSJakub Kicinski 	int err;
244d9ae7f2bSJakub Kicinski 
245b3f868dfSJakub Kicinski 	if (swreg_type(dst) == NN_REG_IMM) {
246d9ae7f2bSJakub Kicinski 		nfp_prog->error = -EFAULT;
247d9ae7f2bSJakub Kicinski 		return;
248d9ae7f2bSJakub Kicinski 	}
249d9ae7f2bSJakub Kicinski 
250d9ae7f2bSJakub Kicinski 	err = swreg_to_unrestricted(dst, dst, reg_imm(imm & 0xff), &reg);
251d9ae7f2bSJakub Kicinski 	if (err) {
252d9ae7f2bSJakub Kicinski 		nfp_prog->error = err;
253d9ae7f2bSJakub Kicinski 		return;
254d9ae7f2bSJakub Kicinski 	}
255d9ae7f2bSJakub Kicinski 
2563239e7bbSJiong Wang 	/* Use reg.dst when destination is No-Dest. */
2573239e7bbSJiong Wang 	__emit_immed(nfp_prog,
2583239e7bbSJiong Wang 		     swreg_type(dst) == NN_REG_NONE ? reg.dst : reg.areg,
2593239e7bbSJiong Wang 		     reg.breg, imm >> 8, width, invert, shift,
2603239e7bbSJiong Wang 		     reg.wr_both, reg.dst_lmextn, reg.src_lmextn);
261d9ae7f2bSJakub Kicinski }
262d9ae7f2bSJakub Kicinski 
263d9ae7f2bSJakub Kicinski static void
264d9ae7f2bSJakub Kicinski __emit_shf(struct nfp_prog *nfp_prog, u16 dst, enum alu_dst_ab dst_ab,
265d9ae7f2bSJakub Kicinski 	   enum shf_sc sc, u8 shift,
266995e101fSJakub Kicinski 	   u16 areg, enum shf_op op, u16 breg, bool i8, bool sw, bool wr_both,
267995e101fSJakub Kicinski 	   bool dst_lmextn, bool src_lmextn)
268d9ae7f2bSJakub Kicinski {
269d9ae7f2bSJakub Kicinski 	u64 insn;
270d9ae7f2bSJakub Kicinski 
271d9ae7f2bSJakub Kicinski 	if (!FIELD_FIT(OP_SHF_SHIFT, shift)) {
272d9ae7f2bSJakub Kicinski 		nfp_prog->error = -EFAULT;
273d9ae7f2bSJakub Kicinski 		return;
274d9ae7f2bSJakub Kicinski 	}
275d9ae7f2bSJakub Kicinski 
276d9ae7f2bSJakub Kicinski 	if (sc == SHF_SC_L_SHF)
277d9ae7f2bSJakub Kicinski 		shift = 32 - shift;
278d9ae7f2bSJakub Kicinski 
279d9ae7f2bSJakub Kicinski 	insn = OP_SHF_BASE |
280d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_SHF_A_SRC, areg) |
281d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_SHF_SC, sc) |
282d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_SHF_B_SRC, breg) |
283d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_SHF_I8, i8) |
284d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_SHF_SW, sw) |
285d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_SHF_DST, dst) |
286d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_SHF_SHIFT, shift) |
287d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_SHF_OP, op) |
288d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_SHF_DST_AB, dst_ab) |
289995e101fSJakub Kicinski 		FIELD_PREP(OP_SHF_WR_AB, wr_both) |
290995e101fSJakub Kicinski 		FIELD_PREP(OP_SHF_SRC_LMEXTN, src_lmextn) |
291995e101fSJakub Kicinski 		FIELD_PREP(OP_SHF_DST_LMEXTN, dst_lmextn);
292d9ae7f2bSJakub Kicinski 
293d9ae7f2bSJakub Kicinski 	nfp_prog_push(nfp_prog, insn);
294d9ae7f2bSJakub Kicinski }
295d9ae7f2bSJakub Kicinski 
296d9ae7f2bSJakub Kicinski static void
297b3f868dfSJakub Kicinski emit_shf(struct nfp_prog *nfp_prog, swreg dst,
298b3f868dfSJakub Kicinski 	 swreg lreg, enum shf_op op, swreg rreg, enum shf_sc sc, u8 shift)
299d9ae7f2bSJakub Kicinski {
300d9ae7f2bSJakub Kicinski 	struct nfp_insn_re_regs reg;
301d9ae7f2bSJakub Kicinski 	int err;
302d9ae7f2bSJakub Kicinski 
303d9ae7f2bSJakub Kicinski 	err = swreg_to_restricted(dst, lreg, rreg, &reg, true);
304d9ae7f2bSJakub Kicinski 	if (err) {
305d9ae7f2bSJakub Kicinski 		nfp_prog->error = err;
306d9ae7f2bSJakub Kicinski 		return;
307d9ae7f2bSJakub Kicinski 	}
308d9ae7f2bSJakub Kicinski 
309d9ae7f2bSJakub Kicinski 	__emit_shf(nfp_prog, reg.dst, reg.dst_ab, sc, shift,
310995e101fSJakub Kicinski 		   reg.areg, op, reg.breg, reg.i8, reg.swap, reg.wr_both,
311995e101fSJakub Kicinski 		   reg.dst_lmextn, reg.src_lmextn);
312d9ae7f2bSJakub Kicinski }
313d9ae7f2bSJakub Kicinski 
314d9ae7f2bSJakub Kicinski static void
315d9ae7f2bSJakub Kicinski __emit_alu(struct nfp_prog *nfp_prog, u16 dst, enum alu_dst_ab dst_ab,
316995e101fSJakub Kicinski 	   u16 areg, enum alu_op op, u16 breg, bool swap, bool wr_both,
317995e101fSJakub Kicinski 	   bool dst_lmextn, bool src_lmextn)
318d9ae7f2bSJakub Kicinski {
319d9ae7f2bSJakub Kicinski 	u64 insn;
320d9ae7f2bSJakub Kicinski 
321d9ae7f2bSJakub Kicinski 	insn = OP_ALU_BASE |
322d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_ALU_A_SRC, areg) |
323d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_ALU_B_SRC, breg) |
324d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_ALU_DST, dst) |
325d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_ALU_SW, swap) |
326d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_ALU_OP, op) |
327d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_ALU_DST_AB, dst_ab) |
328995e101fSJakub Kicinski 		FIELD_PREP(OP_ALU_WR_AB, wr_both) |
329995e101fSJakub Kicinski 		FIELD_PREP(OP_ALU_SRC_LMEXTN, src_lmextn) |
330995e101fSJakub Kicinski 		FIELD_PREP(OP_ALU_DST_LMEXTN, dst_lmextn);
331d9ae7f2bSJakub Kicinski 
332d9ae7f2bSJakub Kicinski 	nfp_prog_push(nfp_prog, insn);
333d9ae7f2bSJakub Kicinski }
334d9ae7f2bSJakub Kicinski 
335d9ae7f2bSJakub Kicinski static void
336b3f868dfSJakub Kicinski emit_alu(struct nfp_prog *nfp_prog, swreg dst,
337b3f868dfSJakub Kicinski 	 swreg lreg, enum alu_op op, swreg rreg)
338d9ae7f2bSJakub Kicinski {
339d9ae7f2bSJakub Kicinski 	struct nfp_insn_ur_regs reg;
340d9ae7f2bSJakub Kicinski 	int err;
341d9ae7f2bSJakub Kicinski 
342d9ae7f2bSJakub Kicinski 	err = swreg_to_unrestricted(dst, lreg, rreg, &reg);
343d9ae7f2bSJakub Kicinski 	if (err) {
344d9ae7f2bSJakub Kicinski 		nfp_prog->error = err;
345d9ae7f2bSJakub Kicinski 		return;
346d9ae7f2bSJakub Kicinski 	}
347d9ae7f2bSJakub Kicinski 
348d9ae7f2bSJakub Kicinski 	__emit_alu(nfp_prog, reg.dst, reg.dst_ab,
349995e101fSJakub Kicinski 		   reg.areg, op, reg.breg, reg.swap, reg.wr_both,
350995e101fSJakub Kicinski 		   reg.dst_lmextn, reg.src_lmextn);
351d9ae7f2bSJakub Kicinski }
352d9ae7f2bSJakub Kicinski 
353d9ae7f2bSJakub Kicinski static void
354d9ae7f2bSJakub Kicinski __emit_ld_field(struct nfp_prog *nfp_prog, enum shf_sc sc,
355d9ae7f2bSJakub Kicinski 		u8 areg, u8 bmask, u8 breg, u8 shift, bool imm8,
356995e101fSJakub Kicinski 		bool zero, bool swap, bool wr_both,
357995e101fSJakub Kicinski 		bool dst_lmextn, bool src_lmextn)
358d9ae7f2bSJakub Kicinski {
359d9ae7f2bSJakub Kicinski 	u64 insn;
360d9ae7f2bSJakub Kicinski 
361d9ae7f2bSJakub Kicinski 	insn = OP_LDF_BASE |
362d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_LDF_A_SRC, areg) |
363d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_LDF_SC, sc) |
364d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_LDF_B_SRC, breg) |
365d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_LDF_I8, imm8) |
366d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_LDF_SW, swap) |
367d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_LDF_ZF, zero) |
368d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_LDF_BMASK, bmask) |
369d9ae7f2bSJakub Kicinski 		FIELD_PREP(OP_LDF_SHF, shift) |
370995e101fSJakub Kicinski 		FIELD_PREP(OP_LDF_WR_AB, wr_both) |
371995e101fSJakub Kicinski 		FIELD_PREP(OP_LDF_SRC_LMEXTN, src_lmextn) |
372995e101fSJakub Kicinski 		FIELD_PREP(OP_LDF_DST_LMEXTN, dst_lmextn);
373d9ae7f2bSJakub Kicinski 
374d9ae7f2bSJakub Kicinski 	nfp_prog_push(nfp_prog, insn);
375d9ae7f2bSJakub Kicinski }
376d9ae7f2bSJakub Kicinski 
377d9ae7f2bSJakub Kicinski static void
378bc8c80a8SJakub Kicinski emit_ld_field_any(struct nfp_prog *nfp_prog, swreg dst, u8 bmask, swreg src,
379bc8c80a8SJakub Kicinski 		  enum shf_sc sc, u8 shift, bool zero)
380d9ae7f2bSJakub Kicinski {
381d9ae7f2bSJakub Kicinski 	struct nfp_insn_re_regs reg;
382d9ae7f2bSJakub Kicinski 	int err;
383d9ae7f2bSJakub Kicinski 
3842de1be1dSJakub Kicinski 	/* Note: ld_field is special as it uses one of the src regs as dst */
3852de1be1dSJakub Kicinski 	err = swreg_to_restricted(dst, dst, src, &reg, true);
386d9ae7f2bSJakub Kicinski 	if (err) {
387d9ae7f2bSJakub Kicinski 		nfp_prog->error = err;
388d9ae7f2bSJakub Kicinski 		return;
389d9ae7f2bSJakub Kicinski 	}
390d9ae7f2bSJakub Kicinski 
391d9ae7f2bSJakub Kicinski 	__emit_ld_field(nfp_prog, sc, reg.areg, bmask, reg.breg, shift,
392995e101fSJakub Kicinski 			reg.i8, zero, reg.swap, reg.wr_both,
393995e101fSJakub Kicinski 			reg.dst_lmextn, reg.src_lmextn);
394d9ae7f2bSJakub Kicinski }
395d9ae7f2bSJakub Kicinski 
396d9ae7f2bSJakub Kicinski static void
397b3f868dfSJakub Kicinski emit_ld_field(struct nfp_prog *nfp_prog, swreg dst, u8 bmask, swreg src,
398d9ae7f2bSJakub Kicinski 	      enum shf_sc sc, u8 shift)
399d9ae7f2bSJakub Kicinski {
400bc8c80a8SJakub Kicinski 	emit_ld_field_any(nfp_prog, dst, bmask, src, sc, shift, false);
401d9ae7f2bSJakub Kicinski }
402d9ae7f2bSJakub Kicinski 
4032df03a50SJakub Kicinski static void
4042df03a50SJakub Kicinski __emit_lcsr(struct nfp_prog *nfp_prog, u16 areg, u16 breg, bool wr, u16 addr,
4052df03a50SJakub Kicinski 	    bool dst_lmextn, bool src_lmextn)
4062df03a50SJakub Kicinski {
4072df03a50SJakub Kicinski 	u64 insn;
4082df03a50SJakub Kicinski 
4092df03a50SJakub Kicinski 	insn = OP_LCSR_BASE |
4102df03a50SJakub Kicinski 		FIELD_PREP(OP_LCSR_A_SRC, areg) |
4112df03a50SJakub Kicinski 		FIELD_PREP(OP_LCSR_B_SRC, breg) |
4122df03a50SJakub Kicinski 		FIELD_PREP(OP_LCSR_WRITE, wr) |
4132df03a50SJakub Kicinski 		FIELD_PREP(OP_LCSR_ADDR, addr) |
4142df03a50SJakub Kicinski 		FIELD_PREP(OP_LCSR_SRC_LMEXTN, src_lmextn) |
4152df03a50SJakub Kicinski 		FIELD_PREP(OP_LCSR_DST_LMEXTN, dst_lmextn);
4162df03a50SJakub Kicinski 
4172df03a50SJakub Kicinski 	nfp_prog_push(nfp_prog, insn);
4182df03a50SJakub Kicinski }
4192df03a50SJakub Kicinski 
4202df03a50SJakub Kicinski static void emit_csr_wr(struct nfp_prog *nfp_prog, swreg src, u16 addr)
4212df03a50SJakub Kicinski {
4222df03a50SJakub Kicinski 	struct nfp_insn_ur_regs reg;
4232df03a50SJakub Kicinski 	int err;
4242df03a50SJakub Kicinski 
4252df03a50SJakub Kicinski 	/* This instruction takes immeds instead of reg_none() for the ignored
4262df03a50SJakub Kicinski 	 * operand, but we can't encode 2 immeds in one instr with our normal
4272df03a50SJakub Kicinski 	 * swreg infra so if param is an immed, we encode as reg_none() and
4282df03a50SJakub Kicinski 	 * copy the immed to both operands.
4292df03a50SJakub Kicinski 	 */
4302df03a50SJakub Kicinski 	if (swreg_type(src) == NN_REG_IMM) {
4312df03a50SJakub Kicinski 		err = swreg_to_unrestricted(reg_none(), src, reg_none(), &reg);
4322df03a50SJakub Kicinski 		reg.breg = reg.areg;
4332df03a50SJakub Kicinski 	} else {
4342df03a50SJakub Kicinski 		err = swreg_to_unrestricted(reg_none(), src, reg_imm(0), &reg);
4352df03a50SJakub Kicinski 	}
4362df03a50SJakub Kicinski 	if (err) {
4372df03a50SJakub Kicinski 		nfp_prog->error = err;
4382df03a50SJakub Kicinski 		return;
4392df03a50SJakub Kicinski 	}
4402df03a50SJakub Kicinski 
4412df03a50SJakub Kicinski 	__emit_lcsr(nfp_prog, reg.areg, reg.breg, true, addr / 4,
4422df03a50SJakub Kicinski 		    false, reg.src_lmextn);
4432df03a50SJakub Kicinski }
4442df03a50SJakub Kicinski 
4451c03e03fSJakub Kicinski static void emit_nop(struct nfp_prog *nfp_prog)
4461c03e03fSJakub Kicinski {
4471c03e03fSJakub Kicinski 	__emit_immed(nfp_prog, UR_REG_IMM, UR_REG_IMM, 0, 0, 0, 0, 0, 0, 0);
4481c03e03fSJakub Kicinski }
4491c03e03fSJakub Kicinski 
450d9ae7f2bSJakub Kicinski /* --- Wrappers --- */
451d9ae7f2bSJakub Kicinski static bool pack_immed(u32 imm, u16 *val, enum immed_shift *shift)
452d9ae7f2bSJakub Kicinski {
453d9ae7f2bSJakub Kicinski 	if (!(imm & 0xffff0000)) {
454d9ae7f2bSJakub Kicinski 		*val = imm;
455d9ae7f2bSJakub Kicinski 		*shift = IMMED_SHIFT_0B;
456d9ae7f2bSJakub Kicinski 	} else if (!(imm & 0xff0000ff)) {
457d9ae7f2bSJakub Kicinski 		*val = imm >> 8;
458d9ae7f2bSJakub Kicinski 		*shift = IMMED_SHIFT_1B;
459d9ae7f2bSJakub Kicinski 	} else if (!(imm & 0x0000ffff)) {
460d9ae7f2bSJakub Kicinski 		*val = imm >> 16;
461d9ae7f2bSJakub Kicinski 		*shift = IMMED_SHIFT_2B;
462d9ae7f2bSJakub Kicinski 	} else {
463d9ae7f2bSJakub Kicinski 		return false;
464d9ae7f2bSJakub Kicinski 	}
465d9ae7f2bSJakub Kicinski 
466d9ae7f2bSJakub Kicinski 	return true;
467d9ae7f2bSJakub Kicinski }
468d9ae7f2bSJakub Kicinski 
469b3f868dfSJakub Kicinski static void wrp_immed(struct nfp_prog *nfp_prog, swreg dst, u32 imm)
470d9ae7f2bSJakub Kicinski {
471d9ae7f2bSJakub Kicinski 	enum immed_shift shift;
472d9ae7f2bSJakub Kicinski 	u16 val;
473d9ae7f2bSJakub Kicinski 
474d9ae7f2bSJakub Kicinski 	if (pack_immed(imm, &val, &shift)) {
475d9ae7f2bSJakub Kicinski 		emit_immed(nfp_prog, dst, val, IMMED_WIDTH_ALL, false, shift);
476d9ae7f2bSJakub Kicinski 	} else if (pack_immed(~imm, &val, &shift)) {
477d9ae7f2bSJakub Kicinski 		emit_immed(nfp_prog, dst, val, IMMED_WIDTH_ALL, true, shift);
478d9ae7f2bSJakub Kicinski 	} else {
479d9ae7f2bSJakub Kicinski 		emit_immed(nfp_prog, dst, imm & 0xffff, IMMED_WIDTH_ALL,
480d9ae7f2bSJakub Kicinski 			   false, IMMED_SHIFT_0B);
481d9ae7f2bSJakub Kicinski 		emit_immed(nfp_prog, dst, imm >> 16, IMMED_WIDTH_WORD,
482d9ae7f2bSJakub Kicinski 			   false, IMMED_SHIFT_2B);
483d9ae7f2bSJakub Kicinski 	}
484d9ae7f2bSJakub Kicinski }
485d9ae7f2bSJakub Kicinski 
48677a3d311SJakub Kicinski static void
48777a3d311SJakub Kicinski wrp_immed_relo(struct nfp_prog *nfp_prog, swreg dst, u32 imm,
48877a3d311SJakub Kicinski 	       enum nfp_relo_type relo)
48977a3d311SJakub Kicinski {
49077a3d311SJakub Kicinski 	if (imm > 0xffff) {
49177a3d311SJakub Kicinski 		pr_err("relocation of a large immediate!\n");
49277a3d311SJakub Kicinski 		nfp_prog->error = -EFAULT;
49377a3d311SJakub Kicinski 		return;
49477a3d311SJakub Kicinski 	}
49577a3d311SJakub Kicinski 	emit_immed(nfp_prog, dst, imm, IMMED_WIDTH_ALL, false, IMMED_SHIFT_0B);
49677a3d311SJakub Kicinski 
49777a3d311SJakub Kicinski 	nfp_prog->prog[nfp_prog->prog_len - 1] |=
49877a3d311SJakub Kicinski 		FIELD_PREP(OP_RELO_TYPE, relo);
49977a3d311SJakub Kicinski }
50077a3d311SJakub Kicinski 
501d9ae7f2bSJakub Kicinski /* ur_load_imm_any() - encode immediate or use tmp register (unrestricted)
502d9ae7f2bSJakub Kicinski  * If the @imm is small enough encode it directly in operand and return
503d9ae7f2bSJakub Kicinski  * otherwise load @imm to a spare register and return its encoding.
504d9ae7f2bSJakub Kicinski  */
505b3f868dfSJakub Kicinski static swreg ur_load_imm_any(struct nfp_prog *nfp_prog, u32 imm, swreg tmp_reg)
506d9ae7f2bSJakub Kicinski {
507d9ae7f2bSJakub Kicinski 	if (FIELD_FIT(UR_REG_IMM_MAX, imm))
508d9ae7f2bSJakub Kicinski 		return reg_imm(imm);
509d9ae7f2bSJakub Kicinski 
510d9ae7f2bSJakub Kicinski 	wrp_immed(nfp_prog, tmp_reg, imm);
511d9ae7f2bSJakub Kicinski 	return tmp_reg;
512d9ae7f2bSJakub Kicinski }
513d9ae7f2bSJakub Kicinski 
514d9ae7f2bSJakub Kicinski /* re_load_imm_any() - encode immediate or use tmp register (restricted)
515d9ae7f2bSJakub Kicinski  * If the @imm is small enough encode it directly in operand and return
516d9ae7f2bSJakub Kicinski  * otherwise load @imm to a spare register and return its encoding.
517d9ae7f2bSJakub Kicinski  */
518b3f868dfSJakub Kicinski static swreg re_load_imm_any(struct nfp_prog *nfp_prog, u32 imm, swreg tmp_reg)
519d9ae7f2bSJakub Kicinski {
520d9ae7f2bSJakub Kicinski 	if (FIELD_FIT(RE_REG_IMM_MAX, imm))
521d9ae7f2bSJakub Kicinski 		return reg_imm(imm);
522d9ae7f2bSJakub Kicinski 
523d9ae7f2bSJakub Kicinski 	wrp_immed(nfp_prog, tmp_reg, imm);
524d9ae7f2bSJakub Kicinski 	return tmp_reg;
525d9ae7f2bSJakub Kicinski }
526d9ae7f2bSJakub Kicinski 
527ff42bb9fSJakub Kicinski static void wrp_nops(struct nfp_prog *nfp_prog, unsigned int count)
528ff42bb9fSJakub Kicinski {
529ff42bb9fSJakub Kicinski 	while (count--)
530ff42bb9fSJakub Kicinski 		emit_nop(nfp_prog);
531ff42bb9fSJakub Kicinski }
532ff42bb9fSJakub Kicinski 
533c000dfb5SJakub Kicinski static void wrp_mov(struct nfp_prog *nfp_prog, swreg dst, swreg src)
534c000dfb5SJakub Kicinski {
535c000dfb5SJakub Kicinski 	emit_alu(nfp_prog, dst, reg_none(), ALU_OP_NONE, src);
536c000dfb5SJakub Kicinski }
537c000dfb5SJakub Kicinski 
538d9ae7f2bSJakub Kicinski static void wrp_reg_mov(struct nfp_prog *nfp_prog, u16 dst, u16 src)
539d9ae7f2bSJakub Kicinski {
540c000dfb5SJakub Kicinski 	wrp_mov(nfp_prog, reg_both(dst), reg_b(src));
541d9ae7f2bSJakub Kicinski }
542d9ae7f2bSJakub Kicinski 
5439879a381SJiong Wang /* wrp_reg_subpart() - load @field_len bytes from @offset of @src, write the
5449879a381SJiong Wang  * result to @dst from low end.
5459879a381SJiong Wang  */
5469879a381SJiong Wang static void
5479879a381SJiong Wang wrp_reg_subpart(struct nfp_prog *nfp_prog, swreg dst, swreg src, u8 field_len,
5489879a381SJiong Wang 		u8 offset)
5499879a381SJiong Wang {
5509879a381SJiong Wang 	enum shf_sc sc = offset ? SHF_SC_R_SHF : SHF_SC_NONE;
5519879a381SJiong Wang 	u8 mask = (1 << field_len) - 1;
5529879a381SJiong Wang 
5539879a381SJiong Wang 	emit_ld_field_any(nfp_prog, dst, mask, src, sc, offset * 8, true);
5549879a381SJiong Wang }
5559879a381SJiong Wang 
55691ff69e8SJiong Wang /* wrp_reg_or_subpart() - load @field_len bytes from low end of @src, or the
55791ff69e8SJiong Wang  * result to @dst from offset, there is no change on the other bits of @dst.
55891ff69e8SJiong Wang  */
55991ff69e8SJiong Wang static void
56091ff69e8SJiong Wang wrp_reg_or_subpart(struct nfp_prog *nfp_prog, swreg dst, swreg src,
56191ff69e8SJiong Wang 		   u8 field_len, u8 offset)
56291ff69e8SJiong Wang {
56391ff69e8SJiong Wang 	enum shf_sc sc = offset ? SHF_SC_L_SHF : SHF_SC_NONE;
56491ff69e8SJiong Wang 	u8 mask = ((1 << field_len) - 1) << offset;
56591ff69e8SJiong Wang 
56691ff69e8SJiong Wang 	emit_ld_field(nfp_prog, dst, mask, src, sc, 32 - offset * 8);
56791ff69e8SJiong Wang }
56891ff69e8SJiong Wang 
5693dd43c33SJakub Kicinski static void
5703dd43c33SJakub Kicinski addr40_offset(struct nfp_prog *nfp_prog, u8 src_gpr, swreg offset,
5713dd43c33SJakub Kicinski 	      swreg *rega, swreg *regb)
5723dd43c33SJakub Kicinski {
5733dd43c33SJakub Kicinski 	if (offset == reg_imm(0)) {
5743dd43c33SJakub Kicinski 		*rega = reg_a(src_gpr);
5753dd43c33SJakub Kicinski 		*regb = reg_b(src_gpr + 1);
5763dd43c33SJakub Kicinski 		return;
5773dd43c33SJakub Kicinski 	}
5783dd43c33SJakub Kicinski 
5793dd43c33SJakub Kicinski 	emit_alu(nfp_prog, imm_a(nfp_prog), reg_a(src_gpr), ALU_OP_ADD, offset);
5803dd43c33SJakub Kicinski 	emit_alu(nfp_prog, imm_b(nfp_prog), reg_b(src_gpr + 1), ALU_OP_ADD_C,
5813dd43c33SJakub Kicinski 		 reg_imm(0));
5823dd43c33SJakub Kicinski 	*rega = imm_a(nfp_prog);
5833dd43c33SJakub Kicinski 	*regb = imm_b(nfp_prog);
5843dd43c33SJakub Kicinski }
5853dd43c33SJakub Kicinski 
5869879a381SJiong Wang /* NFP has Command Push Pull bus which supports bluk memory operations. */
5879879a381SJiong Wang static int nfp_cpp_memcpy(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
5889879a381SJiong Wang {
5899879a381SJiong Wang 	bool descending_seq = meta->ldst_gather_len < 0;
5909879a381SJiong Wang 	s16 len = abs(meta->ldst_gather_len);
5919879a381SJiong Wang 	swreg src_base, off;
5923dd43c33SJakub Kicinski 	bool src_40bit_addr;
5939879a381SJiong Wang 	unsigned int i;
5949879a381SJiong Wang 	u8 xfer_num;
5959879a381SJiong Wang 
5969879a381SJiong Wang 	off = re_load_imm_any(nfp_prog, meta->insn.off, imm_b(nfp_prog));
5973dd43c33SJakub Kicinski 	src_40bit_addr = meta->ptr.type == PTR_TO_MAP_VALUE;
5989879a381SJiong Wang 	src_base = reg_a(meta->insn.src_reg * 2);
5999879a381SJiong Wang 	xfer_num = round_up(len, 4) / 4;
6009879a381SJiong Wang 
6013dd43c33SJakub Kicinski 	if (src_40bit_addr)
6023dd43c33SJakub Kicinski 		addr40_offset(nfp_prog, meta->insn.src_reg, off, &src_base,
6033dd43c33SJakub Kicinski 			      &off);
6043dd43c33SJakub Kicinski 
6058c900538SJiong Wang 	/* Setup PREV_ALU fields to override memory read length. */
6068c900538SJiong Wang 	if (len > 32)
6078c900538SJiong Wang 		wrp_immed(nfp_prog, reg_none(),
6088c900538SJiong Wang 			  CMD_OVE_LEN | FIELD_PREP(CMD_OV_LEN, xfer_num - 1));
6098c900538SJiong Wang 
6109879a381SJiong Wang 	/* Memory read from source addr into transfer-in registers. */
6113dd43c33SJakub Kicinski 	emit_cmd_any(nfp_prog, CMD_TGT_READ32_SWAP,
6123dd43c33SJakub Kicinski 		     src_40bit_addr ? CMD_MODE_40b_BA : CMD_MODE_32b, 0,
6133dd43c33SJakub Kicinski 		     src_base, off, xfer_num - 1, true, len > 32);
6149879a381SJiong Wang 
6159879a381SJiong Wang 	/* Move from transfer-in to transfer-out. */
6169879a381SJiong Wang 	for (i = 0; i < xfer_num; i++)
6179879a381SJiong Wang 		wrp_mov(nfp_prog, reg_xfer(i), reg_xfer(i));
6189879a381SJiong Wang 
6199879a381SJiong Wang 	off = re_load_imm_any(nfp_prog, meta->paired_st->off, imm_b(nfp_prog));
6209879a381SJiong Wang 
6219879a381SJiong Wang 	if (len <= 8) {
6229879a381SJiong Wang 		/* Use single direct_ref write8. */
6239879a381SJiong Wang 		emit_cmd(nfp_prog, CMD_TGT_WRITE8_SWAP, CMD_MODE_32b, 0,
6249879a381SJiong Wang 			 reg_a(meta->paired_st->dst_reg * 2), off, len - 1,
6259879a381SJiong Wang 			 true);
6268c900538SJiong Wang 	} else if (len <= 32 && IS_ALIGNED(len, 4)) {
6279879a381SJiong Wang 		/* Use single direct_ref write32. */
6289879a381SJiong Wang 		emit_cmd(nfp_prog, CMD_TGT_WRITE32_SWAP, CMD_MODE_32b, 0,
6299879a381SJiong Wang 			 reg_a(meta->paired_st->dst_reg * 2), off, xfer_num - 1,
6309879a381SJiong Wang 			 true);
6318c900538SJiong Wang 	} else if (len <= 32) {
6329879a381SJiong Wang 		/* Use single indirect_ref write8. */
6339879a381SJiong Wang 		wrp_immed(nfp_prog, reg_none(),
6349879a381SJiong Wang 			  CMD_OVE_LEN | FIELD_PREP(CMD_OV_LEN, len - 1));
6359879a381SJiong Wang 		emit_cmd_indir(nfp_prog, CMD_TGT_WRITE8_SWAP, CMD_MODE_32b, 0,
6369879a381SJiong Wang 			       reg_a(meta->paired_st->dst_reg * 2), off,
6379879a381SJiong Wang 			       len - 1, true);
6388c900538SJiong Wang 	} else if (IS_ALIGNED(len, 4)) {
6398c900538SJiong Wang 		/* Use single indirect_ref write32. */
6408c900538SJiong Wang 		wrp_immed(nfp_prog, reg_none(),
6418c900538SJiong Wang 			  CMD_OVE_LEN | FIELD_PREP(CMD_OV_LEN, xfer_num - 1));
6428c900538SJiong Wang 		emit_cmd_indir(nfp_prog, CMD_TGT_WRITE32_SWAP, CMD_MODE_32b, 0,
6438c900538SJiong Wang 			       reg_a(meta->paired_st->dst_reg * 2), off,
6448c900538SJiong Wang 			       xfer_num - 1, true);
6458c900538SJiong Wang 	} else if (len <= 40) {
6468c900538SJiong Wang 		/* Use one direct_ref write32 to write the first 32-bytes, then
6478c900538SJiong Wang 		 * another direct_ref write8 to write the remaining bytes.
6488c900538SJiong Wang 		 */
6498c900538SJiong Wang 		emit_cmd(nfp_prog, CMD_TGT_WRITE32_SWAP, CMD_MODE_32b, 0,
6508c900538SJiong Wang 			 reg_a(meta->paired_st->dst_reg * 2), off, 7,
6518c900538SJiong Wang 			 true);
6528c900538SJiong Wang 
6538c900538SJiong Wang 		off = re_load_imm_any(nfp_prog, meta->paired_st->off + 32,
6548c900538SJiong Wang 				      imm_b(nfp_prog));
6558c900538SJiong Wang 		emit_cmd(nfp_prog, CMD_TGT_WRITE8_SWAP, CMD_MODE_32b, 8,
6568c900538SJiong Wang 			 reg_a(meta->paired_st->dst_reg * 2), off, len - 33,
6578c900538SJiong Wang 			 true);
6588c900538SJiong Wang 	} else {
6598c900538SJiong Wang 		/* Use one indirect_ref write32 to write 4-bytes aligned length,
6608c900538SJiong Wang 		 * then another direct_ref write8 to write the remaining bytes.
6618c900538SJiong Wang 		 */
6628c900538SJiong Wang 		u8 new_off;
6638c900538SJiong Wang 
6648c900538SJiong Wang 		wrp_immed(nfp_prog, reg_none(),
6658c900538SJiong Wang 			  CMD_OVE_LEN | FIELD_PREP(CMD_OV_LEN, xfer_num - 2));
6668c900538SJiong Wang 		emit_cmd_indir(nfp_prog, CMD_TGT_WRITE32_SWAP, CMD_MODE_32b, 0,
6678c900538SJiong Wang 			       reg_a(meta->paired_st->dst_reg * 2), off,
6688c900538SJiong Wang 			       xfer_num - 2, true);
6698c900538SJiong Wang 		new_off = meta->paired_st->off + (xfer_num - 1) * 4;
6708c900538SJiong Wang 		off = re_load_imm_any(nfp_prog, new_off, imm_b(nfp_prog));
6718c900538SJiong Wang 		emit_cmd(nfp_prog, CMD_TGT_WRITE8_SWAP, CMD_MODE_32b,
6728c900538SJiong Wang 			 xfer_num - 1, reg_a(meta->paired_st->dst_reg * 2), off,
6738c900538SJiong Wang 			 (len & 0x3) - 1, true);
6749879a381SJiong Wang 	}
6759879a381SJiong Wang 
6769879a381SJiong Wang 	/* TODO: The following extra load is to make sure data flow be identical
6779879a381SJiong Wang 	 *  before and after we do memory copy optimization.
6789879a381SJiong Wang 	 *
6799879a381SJiong Wang 	 *  The load destination register is not guaranteed to be dead, so we
6809879a381SJiong Wang 	 *  need to make sure it is loaded with the value the same as before
6819879a381SJiong Wang 	 *  this transformation.
6829879a381SJiong Wang 	 *
6839879a381SJiong Wang 	 *  These extra loads could be removed once we have accurate register
6849879a381SJiong Wang 	 *  usage information.
6859879a381SJiong Wang 	 */
6869879a381SJiong Wang 	if (descending_seq)
6879879a381SJiong Wang 		xfer_num = 0;
6889879a381SJiong Wang 	else if (BPF_SIZE(meta->insn.code) != BPF_DW)
6899879a381SJiong Wang 		xfer_num = xfer_num - 1;
6909879a381SJiong Wang 	else
6919879a381SJiong Wang 		xfer_num = xfer_num - 2;
6929879a381SJiong Wang 
6939879a381SJiong Wang 	switch (BPF_SIZE(meta->insn.code)) {
6949879a381SJiong Wang 	case BPF_B:
6959879a381SJiong Wang 		wrp_reg_subpart(nfp_prog, reg_both(meta->insn.dst_reg * 2),
6969879a381SJiong Wang 				reg_xfer(xfer_num), 1,
6979879a381SJiong Wang 				IS_ALIGNED(len, 4) ? 3 : (len & 3) - 1);
6989879a381SJiong Wang 		break;
6999879a381SJiong Wang 	case BPF_H:
7009879a381SJiong Wang 		wrp_reg_subpart(nfp_prog, reg_both(meta->insn.dst_reg * 2),
7019879a381SJiong Wang 				reg_xfer(xfer_num), 2, (len & 3) ^ 2);
7029879a381SJiong Wang 		break;
7039879a381SJiong Wang 	case BPF_W:
7049879a381SJiong Wang 		wrp_mov(nfp_prog, reg_both(meta->insn.dst_reg * 2),
7059879a381SJiong Wang 			reg_xfer(0));
7069879a381SJiong Wang 		break;
7079879a381SJiong Wang 	case BPF_DW:
7089879a381SJiong Wang 		wrp_mov(nfp_prog, reg_both(meta->insn.dst_reg * 2),
7099879a381SJiong Wang 			reg_xfer(xfer_num));
7109879a381SJiong Wang 		wrp_mov(nfp_prog, reg_both(meta->insn.dst_reg * 2 + 1),
7119879a381SJiong Wang 			reg_xfer(xfer_num + 1));
7129879a381SJiong Wang 		break;
7139879a381SJiong Wang 	}
7149879a381SJiong Wang 
7159879a381SJiong Wang 	if (BPF_SIZE(meta->insn.code) != BPF_DW)
7169879a381SJiong Wang 		wrp_immed(nfp_prog, reg_both(meta->insn.dst_reg * 2 + 1), 0);
7179879a381SJiong Wang 
7189879a381SJiong Wang 	return 0;
7199879a381SJiong Wang }
7209879a381SJiong Wang 
721d9ae7f2bSJakub Kicinski static int
7220a793977SJakub Kicinski data_ld(struct nfp_prog *nfp_prog, swreg offset, u8 dst_gpr, int size)
723d9ae7f2bSJakub Kicinski {
724d9ae7f2bSJakub Kicinski 	unsigned int i;
725d9ae7f2bSJakub Kicinski 	u16 shift, sz;
726d9ae7f2bSJakub Kicinski 
727d9ae7f2bSJakub Kicinski 	/* We load the value from the address indicated in @offset and then
728d9ae7f2bSJakub Kicinski 	 * shift out the data we don't need.  Note: this is big endian!
729d9ae7f2bSJakub Kicinski 	 */
7300a793977SJakub Kicinski 	sz = max(size, 4);
731d9ae7f2bSJakub Kicinski 	shift = size < 4 ? 4 - size : 0;
732d9ae7f2bSJakub Kicinski 
7330a793977SJakub Kicinski 	emit_cmd(nfp_prog, CMD_TGT_READ8, CMD_MODE_32b, 0,
7340a793977SJakub Kicinski 		 pptr_reg(nfp_prog), offset, sz - 1, true);
7350a793977SJakub Kicinski 
7360a793977SJakub Kicinski 	i = 0;
7370a793977SJakub Kicinski 	if (shift)
7380a793977SJakub Kicinski 		emit_shf(nfp_prog, reg_both(dst_gpr), reg_none(), SHF_OP_NONE,
7390a793977SJakub Kicinski 			 reg_xfer(0), SHF_SC_R_SHF, shift * 8);
7400a793977SJakub Kicinski 	else
7410a793977SJakub Kicinski 		for (; i * 4 < size; i++)
7420a793977SJakub Kicinski 			wrp_mov(nfp_prog, reg_both(dst_gpr + i), reg_xfer(i));
7430a793977SJakub Kicinski 
7440a793977SJakub Kicinski 	if (i < 2)
7450a793977SJakub Kicinski 		wrp_immed(nfp_prog, reg_both(dst_gpr + 1), 0);
7460a793977SJakub Kicinski 
7470a793977SJakub Kicinski 	return 0;
7480a793977SJakub Kicinski }
7490a793977SJakub Kicinski 
7500a793977SJakub Kicinski static int
7513dd43c33SJakub Kicinski data_ld_host_order(struct nfp_prog *nfp_prog, u8 dst_gpr,
7523dd43c33SJakub Kicinski 		   swreg lreg, swreg rreg, int size, enum cmd_mode mode)
7532ca71441SJakub Kicinski {
7542ca71441SJakub Kicinski 	unsigned int i;
7552ca71441SJakub Kicinski 	u8 mask, sz;
7562ca71441SJakub Kicinski 
7573dd43c33SJakub Kicinski 	/* We load the value from the address indicated in rreg + lreg and then
7582ca71441SJakub Kicinski 	 * mask out the data we don't need.  Note: this is little endian!
7592ca71441SJakub Kicinski 	 */
7602ca71441SJakub Kicinski 	sz = max(size, 4);
7612ca71441SJakub Kicinski 	mask = size < 4 ? GENMASK(size - 1, 0) : 0;
7622ca71441SJakub Kicinski 
7633dd43c33SJakub Kicinski 	emit_cmd(nfp_prog, CMD_TGT_READ32_SWAP, mode, 0,
7643dd43c33SJakub Kicinski 		 lreg, rreg, sz / 4 - 1, true);
7652ca71441SJakub Kicinski 
7662ca71441SJakub Kicinski 	i = 0;
7672ca71441SJakub Kicinski 	if (mask)
7682ca71441SJakub Kicinski 		emit_ld_field_any(nfp_prog, reg_both(dst_gpr), mask,
7692ca71441SJakub Kicinski 				  reg_xfer(0), SHF_SC_NONE, 0, true);
7702ca71441SJakub Kicinski 	else
7712ca71441SJakub Kicinski 		for (; i * 4 < size; i++)
7722ca71441SJakub Kicinski 			wrp_mov(nfp_prog, reg_both(dst_gpr + i), reg_xfer(i));
7732ca71441SJakub Kicinski 
7742ca71441SJakub Kicinski 	if (i < 2)
7752ca71441SJakub Kicinski 		wrp_immed(nfp_prog, reg_both(dst_gpr + 1), 0);
7762ca71441SJakub Kicinski 
7772ca71441SJakub Kicinski 	return 0;
7782ca71441SJakub Kicinski }
7792ca71441SJakub Kicinski 
7802ca71441SJakub Kicinski static int
7813dd43c33SJakub Kicinski data_ld_host_order_addr32(struct nfp_prog *nfp_prog, u8 src_gpr, swreg offset,
7823dd43c33SJakub Kicinski 			  u8 dst_gpr, u8 size)
7833dd43c33SJakub Kicinski {
7843dd43c33SJakub Kicinski 	return data_ld_host_order(nfp_prog, dst_gpr, reg_a(src_gpr), offset,
7853dd43c33SJakub Kicinski 				  size, CMD_MODE_32b);
7863dd43c33SJakub Kicinski }
7873dd43c33SJakub Kicinski 
7883dd43c33SJakub Kicinski static int
7893dd43c33SJakub Kicinski data_ld_host_order_addr40(struct nfp_prog *nfp_prog, u8 src_gpr, swreg offset,
7903dd43c33SJakub Kicinski 			  u8 dst_gpr, u8 size)
7913dd43c33SJakub Kicinski {
7923dd43c33SJakub Kicinski 	swreg rega, regb;
7933dd43c33SJakub Kicinski 
7943dd43c33SJakub Kicinski 	addr40_offset(nfp_prog, src_gpr, offset, &rega, &regb);
7953dd43c33SJakub Kicinski 
7963dd43c33SJakub Kicinski 	return data_ld_host_order(nfp_prog, dst_gpr, rega, regb,
7973dd43c33SJakub Kicinski 				  size, CMD_MODE_40b_BA);
7983dd43c33SJakub Kicinski }
7993dd43c33SJakub Kicinski 
8003dd43c33SJakub Kicinski static int
8010a793977SJakub Kicinski construct_data_ind_ld(struct nfp_prog *nfp_prog, u16 offset, u16 src, u8 size)
8020a793977SJakub Kicinski {
8030a793977SJakub Kicinski 	swreg tmp_reg;
8040a793977SJakub Kicinski 
805d9ae7f2bSJakub Kicinski 	/* Calculate the true offset (src_reg + imm) */
806d9ae7f2bSJakub Kicinski 	tmp_reg = ur_load_imm_any(nfp_prog, offset, imm_b(nfp_prog));
8070a793977SJakub Kicinski 	emit_alu(nfp_prog, imm_both(nfp_prog), reg_a(src), ALU_OP_ADD, tmp_reg);
8080a793977SJakub Kicinski 
809d9ae7f2bSJakub Kicinski 	/* Check packet length (size guaranteed to fit b/c it's u8) */
810d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, imm_a(nfp_prog),
811d9ae7f2bSJakub Kicinski 		 imm_a(nfp_prog), ALU_OP_ADD, reg_imm(size));
812d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_none(),
81318e53b6cSJakub Kicinski 		 plen_reg(nfp_prog), ALU_OP_SUB, imm_a(nfp_prog));
814e84797feSJakub Kicinski 	emit_br_relo(nfp_prog, BR_BLO, BR_OFF_RELO, 0, RELO_BR_GO_ABORT);
8150a793977SJakub Kicinski 
816d9ae7f2bSJakub Kicinski 	/* Load data */
8170a793977SJakub Kicinski 	return data_ld(nfp_prog, imm_b(nfp_prog), 0, size);
818d9ae7f2bSJakub Kicinski }
819d9ae7f2bSJakub Kicinski 
820d9ae7f2bSJakub Kicinski static int construct_data_ld(struct nfp_prog *nfp_prog, u16 offset, u8 size)
821d9ae7f2bSJakub Kicinski {
8220a793977SJakub Kicinski 	swreg tmp_reg;
8230a793977SJakub Kicinski 
8240a793977SJakub Kicinski 	/* Check packet length */
8250a793977SJakub Kicinski 	tmp_reg = ur_load_imm_any(nfp_prog, offset + size, imm_a(nfp_prog));
8260a793977SJakub Kicinski 	emit_alu(nfp_prog, reg_none(), plen_reg(nfp_prog), ALU_OP_SUB, tmp_reg);
827e84797feSJakub Kicinski 	emit_br_relo(nfp_prog, BR_BLO, BR_OFF_RELO, 0, RELO_BR_GO_ABORT);
8280a793977SJakub Kicinski 
8290a793977SJakub Kicinski 	/* Load data */
8300a793977SJakub Kicinski 	tmp_reg = re_load_imm_any(nfp_prog, offset, imm_b(nfp_prog));
8310a793977SJakub Kicinski 	return data_ld(nfp_prog, tmp_reg, 0, size);
832d9ae7f2bSJakub Kicinski }
833d9ae7f2bSJakub Kicinski 
834e663fe38SJakub Kicinski static int
835e663fe38SJakub Kicinski data_stx_host_order(struct nfp_prog *nfp_prog, u8 dst_gpr, swreg offset,
836e663fe38SJakub Kicinski 		    u8 src_gpr, u8 size)
837e663fe38SJakub Kicinski {
838e663fe38SJakub Kicinski 	unsigned int i;
839e663fe38SJakub Kicinski 
840e663fe38SJakub Kicinski 	for (i = 0; i * 4 < size; i++)
841e663fe38SJakub Kicinski 		wrp_mov(nfp_prog, reg_xfer(i), reg_a(src_gpr + i));
842e663fe38SJakub Kicinski 
843e663fe38SJakub Kicinski 	emit_cmd(nfp_prog, CMD_TGT_WRITE8_SWAP, CMD_MODE_32b, 0,
844e663fe38SJakub Kicinski 		 reg_a(dst_gpr), offset, size - 1, true);
845e663fe38SJakub Kicinski 
846e663fe38SJakub Kicinski 	return 0;
847e663fe38SJakub Kicinski }
848e663fe38SJakub Kicinski 
849e663fe38SJakub Kicinski static int
850e663fe38SJakub Kicinski data_st_host_order(struct nfp_prog *nfp_prog, u8 dst_gpr, swreg offset,
851e663fe38SJakub Kicinski 		   u64 imm, u8 size)
852e663fe38SJakub Kicinski {
853e663fe38SJakub Kicinski 	wrp_immed(nfp_prog, reg_xfer(0), imm);
854e663fe38SJakub Kicinski 	if (size == 8)
855e663fe38SJakub Kicinski 		wrp_immed(nfp_prog, reg_xfer(1), imm >> 32);
856e663fe38SJakub Kicinski 
857e663fe38SJakub Kicinski 	emit_cmd(nfp_prog, CMD_TGT_WRITE8_SWAP, CMD_MODE_32b, 0,
858e663fe38SJakub Kicinski 		 reg_a(dst_gpr), offset, size - 1, true);
859e663fe38SJakub Kicinski 
860e663fe38SJakub Kicinski 	return 0;
861e663fe38SJakub Kicinski }
862e663fe38SJakub Kicinski 
863ee9133a8SJakub Kicinski typedef int
864ee9133a8SJakub Kicinski (*lmem_step)(struct nfp_prog *nfp_prog, u8 gpr, u8 gpr_byte, s32 off,
8652df03a50SJakub Kicinski 	     unsigned int size, bool first, bool new_gpr, bool last, bool lm3,
8662df03a50SJakub Kicinski 	     bool needs_inc);
867a82b23fbSJakub Kicinski 
868a82b23fbSJakub Kicinski static int
869a82b23fbSJakub Kicinski wrp_lmem_load(struct nfp_prog *nfp_prog, u8 dst, u8 dst_byte, s32 off,
8702df03a50SJakub Kicinski 	      unsigned int size, bool first, bool new_gpr, bool last, bool lm3,
8712df03a50SJakub Kicinski 	      bool needs_inc)
872a82b23fbSJakub Kicinski {
8732df03a50SJakub Kicinski 	bool should_inc = needs_inc && new_gpr && !last;
874a82b23fbSJakub Kicinski 	u32 idx, src_byte;
875a82b23fbSJakub Kicinski 	enum shf_sc sc;
876a82b23fbSJakub Kicinski 	swreg reg;
877a82b23fbSJakub Kicinski 	int shf;
878a82b23fbSJakub Kicinski 	u8 mask;
879a82b23fbSJakub Kicinski 
880a82b23fbSJakub Kicinski 	if (WARN_ON_ONCE(dst_byte + size > 4 || off % 4 + size > 4))
881a82b23fbSJakub Kicinski 		return -EOPNOTSUPP;
882a82b23fbSJakub Kicinski 
883a82b23fbSJakub Kicinski 	idx = off / 4;
884a82b23fbSJakub Kicinski 
885a82b23fbSJakub Kicinski 	/* Move the entire word */
886a82b23fbSJakub Kicinski 	if (size == 4) {
8872df03a50SJakub Kicinski 		wrp_mov(nfp_prog, reg_both(dst),
8882df03a50SJakub Kicinski 			should_inc ? reg_lm_inc(3) : reg_lm(lm3 ? 3 : 0, idx));
889a82b23fbSJakub Kicinski 		return 0;
890a82b23fbSJakub Kicinski 	}
891a82b23fbSJakub Kicinski 
8922df03a50SJakub Kicinski 	if (WARN_ON_ONCE(lm3 && idx > RE_REG_LM_IDX_MAX))
8932df03a50SJakub Kicinski 		return -EOPNOTSUPP;
8942df03a50SJakub Kicinski 
895a82b23fbSJakub Kicinski 	src_byte = off % 4;
896a82b23fbSJakub Kicinski 
897a82b23fbSJakub Kicinski 	mask = (1 << size) - 1;
898a82b23fbSJakub Kicinski 	mask <<= dst_byte;
899a82b23fbSJakub Kicinski 
900a82b23fbSJakub Kicinski 	if (WARN_ON_ONCE(mask > 0xf))
901a82b23fbSJakub Kicinski 		return -EOPNOTSUPP;
902a82b23fbSJakub Kicinski 
903a82b23fbSJakub Kicinski 	shf = abs(src_byte - dst_byte) * 8;
904a82b23fbSJakub Kicinski 	if (src_byte == dst_byte) {
905a82b23fbSJakub Kicinski 		sc = SHF_SC_NONE;
906a82b23fbSJakub Kicinski 	} else if (src_byte < dst_byte) {
907a82b23fbSJakub Kicinski 		shf = 32 - shf;
908a82b23fbSJakub Kicinski 		sc = SHF_SC_L_SHF;
909a82b23fbSJakub Kicinski 	} else {
910a82b23fbSJakub Kicinski 		sc = SHF_SC_R_SHF;
911a82b23fbSJakub Kicinski 	}
912a82b23fbSJakub Kicinski 
913a82b23fbSJakub Kicinski 	/* ld_field can address fewer indexes, if offset too large do RMW.
914a82b23fbSJakub Kicinski 	 * Because we RMV twice we waste 2 cycles on unaligned 8 byte writes.
915a82b23fbSJakub Kicinski 	 */
916a82b23fbSJakub Kicinski 	if (idx <= RE_REG_LM_IDX_MAX) {
9172df03a50SJakub Kicinski 		reg = reg_lm(lm3 ? 3 : 0, idx);
918a82b23fbSJakub Kicinski 	} else {
919a82b23fbSJakub Kicinski 		reg = imm_a(nfp_prog);
9209a90c83cSJakub Kicinski 		/* If it's not the first part of the load and we start a new GPR
9219a90c83cSJakub Kicinski 		 * that means we are loading a second part of the LMEM word into
9229a90c83cSJakub Kicinski 		 * a new GPR.  IOW we've already looked that LMEM word and
9239a90c83cSJakub Kicinski 		 * therefore it has been loaded into imm_a().
9249a90c83cSJakub Kicinski 		 */
9259a90c83cSJakub Kicinski 		if (first || !new_gpr)
926a82b23fbSJakub Kicinski 			wrp_mov(nfp_prog, reg, reg_lm(0, idx));
927a82b23fbSJakub Kicinski 	}
928a82b23fbSJakub Kicinski 
929a82b23fbSJakub Kicinski 	emit_ld_field_any(nfp_prog, reg_both(dst), mask, reg, sc, shf, new_gpr);
930a82b23fbSJakub Kicinski 
9312df03a50SJakub Kicinski 	if (should_inc)
9322df03a50SJakub Kicinski 		wrp_mov(nfp_prog, reg_none(), reg_lm_inc(3));
9332df03a50SJakub Kicinski 
934a82b23fbSJakub Kicinski 	return 0;
935a82b23fbSJakub Kicinski }
936ee9133a8SJakub Kicinski 
937ee9133a8SJakub Kicinski static int
938ee9133a8SJakub Kicinski wrp_lmem_store(struct nfp_prog *nfp_prog, u8 src, u8 src_byte, s32 off,
9392df03a50SJakub Kicinski 	       unsigned int size, bool first, bool new_gpr, bool last, bool lm3,
9402df03a50SJakub Kicinski 	       bool needs_inc)
941ee9133a8SJakub Kicinski {
9422df03a50SJakub Kicinski 	bool should_inc = needs_inc && new_gpr && !last;
943ee9133a8SJakub Kicinski 	u32 idx, dst_byte;
944ee9133a8SJakub Kicinski 	enum shf_sc sc;
945ee9133a8SJakub Kicinski 	swreg reg;
946ee9133a8SJakub Kicinski 	int shf;
947ee9133a8SJakub Kicinski 	u8 mask;
948ee9133a8SJakub Kicinski 
949ee9133a8SJakub Kicinski 	if (WARN_ON_ONCE(src_byte + size > 4 || off % 4 + size > 4))
950ee9133a8SJakub Kicinski 		return -EOPNOTSUPP;
951ee9133a8SJakub Kicinski 
952ee9133a8SJakub Kicinski 	idx = off / 4;
953ee9133a8SJakub Kicinski 
954ee9133a8SJakub Kicinski 	/* Move the entire word */
955ee9133a8SJakub Kicinski 	if (size == 4) {
9562df03a50SJakub Kicinski 		wrp_mov(nfp_prog,
9572df03a50SJakub Kicinski 			should_inc ? reg_lm_inc(3) : reg_lm(lm3 ? 3 : 0, idx),
9582df03a50SJakub Kicinski 			reg_b(src));
959ee9133a8SJakub Kicinski 		return 0;
960ee9133a8SJakub Kicinski 	}
961ee9133a8SJakub Kicinski 
9622df03a50SJakub Kicinski 	if (WARN_ON_ONCE(lm3 && idx > RE_REG_LM_IDX_MAX))
9632df03a50SJakub Kicinski 		return -EOPNOTSUPP;
9642df03a50SJakub Kicinski 
965ee9133a8SJakub Kicinski 	dst_byte = off % 4;
966ee9133a8SJakub Kicinski 
967ee9133a8SJakub Kicinski 	mask = (1 << size) - 1;
968ee9133a8SJakub Kicinski 	mask <<= dst_byte;
969ee9133a8SJakub Kicinski 
970ee9133a8SJakub Kicinski 	if (WARN_ON_ONCE(mask > 0xf))
971ee9133a8SJakub Kicinski 		return -EOPNOTSUPP;
972ee9133a8SJakub Kicinski 
973ee9133a8SJakub Kicinski 	shf = abs(src_byte - dst_byte) * 8;
974ee9133a8SJakub Kicinski 	if (src_byte == dst_byte) {
975ee9133a8SJakub Kicinski 		sc = SHF_SC_NONE;
976ee9133a8SJakub Kicinski 	} else if (src_byte < dst_byte) {
977ee9133a8SJakub Kicinski 		shf = 32 - shf;
978ee9133a8SJakub Kicinski 		sc = SHF_SC_L_SHF;
979ee9133a8SJakub Kicinski 	} else {
980ee9133a8SJakub Kicinski 		sc = SHF_SC_R_SHF;
981ee9133a8SJakub Kicinski 	}
982ee9133a8SJakub Kicinski 
983ee9133a8SJakub Kicinski 	/* ld_field can address fewer indexes, if offset too large do RMW.
984ee9133a8SJakub Kicinski 	 * Because we RMV twice we waste 2 cycles on unaligned 8 byte writes.
985ee9133a8SJakub Kicinski 	 */
986ee9133a8SJakub Kicinski 	if (idx <= RE_REG_LM_IDX_MAX) {
9872df03a50SJakub Kicinski 		reg = reg_lm(lm3 ? 3 : 0, idx);
988ee9133a8SJakub Kicinski 	} else {
989ee9133a8SJakub Kicinski 		reg = imm_a(nfp_prog);
9909a90c83cSJakub Kicinski 		/* Only first and last LMEM locations are going to need RMW,
9919a90c83cSJakub Kicinski 		 * the middle location will be overwritten fully.
9929a90c83cSJakub Kicinski 		 */
9939a90c83cSJakub Kicinski 		if (first || last)
994ee9133a8SJakub Kicinski 			wrp_mov(nfp_prog, reg, reg_lm(0, idx));
995ee9133a8SJakub Kicinski 	}
996ee9133a8SJakub Kicinski 
997ee9133a8SJakub Kicinski 	emit_ld_field(nfp_prog, reg, mask, reg_b(src), sc, shf);
998ee9133a8SJakub Kicinski 
9999a90c83cSJakub Kicinski 	if (new_gpr || last) {
1000ee9133a8SJakub Kicinski 		if (idx > RE_REG_LM_IDX_MAX)
1001ee9133a8SJakub Kicinski 			wrp_mov(nfp_prog, reg_lm(0, idx), reg);
10022df03a50SJakub Kicinski 		if (should_inc)
10032df03a50SJakub Kicinski 			wrp_mov(nfp_prog, reg_none(), reg_lm_inc(3));
10049a90c83cSJakub Kicinski 	}
1005ee9133a8SJakub Kicinski 
1006ee9133a8SJakub Kicinski 	return 0;
1007ee9133a8SJakub Kicinski }
1008ee9133a8SJakub Kicinski 
1009ee9133a8SJakub Kicinski static int
1010ee9133a8SJakub Kicinski mem_op_stack(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
1011b14157eeSJakub Kicinski 	     unsigned int size, unsigned int ptr_off, u8 gpr, u8 ptr_gpr,
1012b14157eeSJakub Kicinski 	     bool clr_gpr, lmem_step step)
1013ee9133a8SJakub Kicinski {
1014d3488480SJakub Kicinski 	s32 off = nfp_prog->stack_depth + meta->insn.off + ptr_off;
10159a90c83cSJakub Kicinski 	bool first = true, last;
10162df03a50SJakub Kicinski 	bool needs_inc = false;
10172df03a50SJakub Kicinski 	swreg stack_off_reg;
1018a82b23fbSJakub Kicinski 	u8 prev_gpr = 255;
1019ee9133a8SJakub Kicinski 	u32 gpr_byte = 0;
10202df03a50SJakub Kicinski 	bool lm3 = true;
1021ee9133a8SJakub Kicinski 	int ret;
1022ee9133a8SJakub Kicinski 
1023b14157eeSJakub Kicinski 	if (meta->ptr_not_const) {
1024b14157eeSJakub Kicinski 		/* Use of the last encountered ptr_off is OK, they all have
1025b14157eeSJakub Kicinski 		 * the same alignment.  Depend on low bits of value being
1026b14157eeSJakub Kicinski 		 * discarded when written to LMaddr register.
1027b14157eeSJakub Kicinski 		 */
1028b14157eeSJakub Kicinski 		stack_off_reg = ur_load_imm_any(nfp_prog, meta->insn.off,
1029b14157eeSJakub Kicinski 						stack_imm(nfp_prog));
1030b14157eeSJakub Kicinski 
1031b14157eeSJakub Kicinski 		emit_alu(nfp_prog, imm_b(nfp_prog),
1032b14157eeSJakub Kicinski 			 reg_a(ptr_gpr), ALU_OP_ADD, stack_off_reg);
1033b14157eeSJakub Kicinski 
1034b14157eeSJakub Kicinski 		needs_inc = true;
1035b14157eeSJakub Kicinski 	} else if (off + size <= 64) {
10362df03a50SJakub Kicinski 		/* We can reach bottom 64B with LMaddr0 */
10372df03a50SJakub Kicinski 		lm3 = false;
10382df03a50SJakub Kicinski 	} else if (round_down(off, 32) == round_down(off + size - 1, 32)) {
10392df03a50SJakub Kicinski 		/* We have to set up a new pointer.  If we know the offset
10402df03a50SJakub Kicinski 		 * and the entire access falls into a single 32 byte aligned
10412df03a50SJakub Kicinski 		 * window we won't have to increment the LM pointer.
10422df03a50SJakub Kicinski 		 * The 32 byte alignment is imporant because offset is ORed in
10432df03a50SJakub Kicinski 		 * not added when doing *l$indexN[off].
10442df03a50SJakub Kicinski 		 */
10452df03a50SJakub Kicinski 		stack_off_reg = ur_load_imm_any(nfp_prog, round_down(off, 32),
10462df03a50SJakub Kicinski 						stack_imm(nfp_prog));
10472df03a50SJakub Kicinski 		emit_alu(nfp_prog, imm_b(nfp_prog),
10482df03a50SJakub Kicinski 			 stack_reg(nfp_prog), ALU_OP_ADD, stack_off_reg);
10492df03a50SJakub Kicinski 
10502df03a50SJakub Kicinski 		off %= 32;
10512df03a50SJakub Kicinski 	} else {
10522df03a50SJakub Kicinski 		stack_off_reg = ur_load_imm_any(nfp_prog, round_down(off, 4),
10532df03a50SJakub Kicinski 						stack_imm(nfp_prog));
10542df03a50SJakub Kicinski 
10552df03a50SJakub Kicinski 		emit_alu(nfp_prog, imm_b(nfp_prog),
10562df03a50SJakub Kicinski 			 stack_reg(nfp_prog), ALU_OP_ADD, stack_off_reg);
10572df03a50SJakub Kicinski 
10582df03a50SJakub Kicinski 		needs_inc = true;
10592df03a50SJakub Kicinski 	}
10602df03a50SJakub Kicinski 	if (lm3) {
10612df03a50SJakub Kicinski 		emit_csr_wr(nfp_prog, imm_b(nfp_prog), NFP_CSR_ACT_LM_ADDR3);
10622df03a50SJakub Kicinski 		/* For size < 4 one slot will be filled by zeroing of upper. */
10632df03a50SJakub Kicinski 		wrp_nops(nfp_prog, clr_gpr && size < 8 ? 2 : 3);
10642df03a50SJakub Kicinski 	}
10652df03a50SJakub Kicinski 
1066a82b23fbSJakub Kicinski 	if (clr_gpr && size < 8)
1067a82b23fbSJakub Kicinski 		wrp_immed(nfp_prog, reg_both(gpr + 1), 0);
1068a82b23fbSJakub Kicinski 
1069ee9133a8SJakub Kicinski 	while (size) {
1070ee9133a8SJakub Kicinski 		u32 slice_end;
1071ee9133a8SJakub Kicinski 		u8 slice_size;
1072ee9133a8SJakub Kicinski 
1073ee9133a8SJakub Kicinski 		slice_size = min(size, 4 - gpr_byte);
1074ee9133a8SJakub Kicinski 		slice_end = min(off + slice_size, round_up(off + 1, 4));
1075ee9133a8SJakub Kicinski 		slice_size = slice_end - off;
1076ee9133a8SJakub Kicinski 
10779a90c83cSJakub Kicinski 		last = slice_size == size;
10789a90c83cSJakub Kicinski 
10792df03a50SJakub Kicinski 		if (needs_inc)
10802df03a50SJakub Kicinski 			off %= 4;
10812df03a50SJakub Kicinski 
1082a82b23fbSJakub Kicinski 		ret = step(nfp_prog, gpr, gpr_byte, off, slice_size,
10832df03a50SJakub Kicinski 			   first, gpr != prev_gpr, last, lm3, needs_inc);
1084ee9133a8SJakub Kicinski 		if (ret)
1085ee9133a8SJakub Kicinski 			return ret;
1086ee9133a8SJakub Kicinski 
1087a82b23fbSJakub Kicinski 		prev_gpr = gpr;
10889a90c83cSJakub Kicinski 		first = false;
10899a90c83cSJakub Kicinski 
1090ee9133a8SJakub Kicinski 		gpr_byte += slice_size;
1091ee9133a8SJakub Kicinski 		if (gpr_byte >= 4) {
1092ee9133a8SJakub Kicinski 			gpr_byte -= 4;
1093ee9133a8SJakub Kicinski 			gpr++;
1094ee9133a8SJakub Kicinski 		}
1095ee9133a8SJakub Kicinski 
1096ee9133a8SJakub Kicinski 		size -= slice_size;
1097ee9133a8SJakub Kicinski 		off += slice_size;
1098ee9133a8SJakub Kicinski 	}
1099ee9133a8SJakub Kicinski 
1100ee9133a8SJakub Kicinski 	return 0;
1101ee9133a8SJakub Kicinski }
1102ee9133a8SJakub Kicinski 
1103d9ae7f2bSJakub Kicinski static void
1104d9ae7f2bSJakub Kicinski wrp_alu_imm(struct nfp_prog *nfp_prog, u8 dst, enum alu_op alu_op, u32 imm)
1105d9ae7f2bSJakub Kicinski {
1106b3f868dfSJakub Kicinski 	swreg tmp_reg;
1107d9ae7f2bSJakub Kicinski 
1108d9ae7f2bSJakub Kicinski 	if (alu_op == ALU_OP_AND) {
1109d9ae7f2bSJakub Kicinski 		if (!imm)
1110d9ae7f2bSJakub Kicinski 			wrp_immed(nfp_prog, reg_both(dst), 0);
1111d9ae7f2bSJakub Kicinski 		if (!imm || !~imm)
1112d9ae7f2bSJakub Kicinski 			return;
1113d9ae7f2bSJakub Kicinski 	}
1114d9ae7f2bSJakub Kicinski 	if (alu_op == ALU_OP_OR) {
1115d9ae7f2bSJakub Kicinski 		if (!~imm)
1116d9ae7f2bSJakub Kicinski 			wrp_immed(nfp_prog, reg_both(dst), ~0U);
1117d9ae7f2bSJakub Kicinski 		if (!imm || !~imm)
1118d9ae7f2bSJakub Kicinski 			return;
1119d9ae7f2bSJakub Kicinski 	}
1120d9ae7f2bSJakub Kicinski 	if (alu_op == ALU_OP_XOR) {
1121d9ae7f2bSJakub Kicinski 		if (!~imm)
1122d9ae7f2bSJakub Kicinski 			emit_alu(nfp_prog, reg_both(dst), reg_none(),
11235d42ced1SJiong Wang 				 ALU_OP_NOT, reg_b(dst));
1124d9ae7f2bSJakub Kicinski 		if (!imm || !~imm)
1125d9ae7f2bSJakub Kicinski 			return;
1126d9ae7f2bSJakub Kicinski 	}
1127d9ae7f2bSJakub Kicinski 
1128d9ae7f2bSJakub Kicinski 	tmp_reg = ur_load_imm_any(nfp_prog, imm, imm_b(nfp_prog));
1129d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_both(dst), reg_a(dst), alu_op, tmp_reg);
1130d9ae7f2bSJakub Kicinski }
1131d9ae7f2bSJakub Kicinski 
1132d9ae7f2bSJakub Kicinski static int
1133d9ae7f2bSJakub Kicinski wrp_alu64_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
1134d9ae7f2bSJakub Kicinski 	      enum alu_op alu_op, bool skip)
1135d9ae7f2bSJakub Kicinski {
1136d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
1137d9ae7f2bSJakub Kicinski 	u64 imm = insn->imm; /* sign extend */
1138d9ae7f2bSJakub Kicinski 
1139d9ae7f2bSJakub Kicinski 	if (skip) {
1140d9ae7f2bSJakub Kicinski 		meta->skip = true;
1141d9ae7f2bSJakub Kicinski 		return 0;
1142d9ae7f2bSJakub Kicinski 	}
1143d9ae7f2bSJakub Kicinski 
1144d9ae7f2bSJakub Kicinski 	wrp_alu_imm(nfp_prog, insn->dst_reg * 2, alu_op, imm & ~0U);
1145d9ae7f2bSJakub Kicinski 	wrp_alu_imm(nfp_prog, insn->dst_reg * 2 + 1, alu_op, imm >> 32);
1146d9ae7f2bSJakub Kicinski 
1147d9ae7f2bSJakub Kicinski 	return 0;
1148d9ae7f2bSJakub Kicinski }
1149d9ae7f2bSJakub Kicinski 
1150d9ae7f2bSJakub Kicinski static int
1151d9ae7f2bSJakub Kicinski wrp_alu64_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
1152d9ae7f2bSJakub Kicinski 	      enum alu_op alu_op)
1153d9ae7f2bSJakub Kicinski {
1154d9ae7f2bSJakub Kicinski 	u8 dst = meta->insn.dst_reg * 2, src = meta->insn.src_reg * 2;
1155d9ae7f2bSJakub Kicinski 
1156d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_both(dst), reg_a(dst), alu_op, reg_b(src));
1157d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_both(dst + 1),
1158d9ae7f2bSJakub Kicinski 		 reg_a(dst + 1), alu_op, reg_b(src + 1));
1159d9ae7f2bSJakub Kicinski 
1160d9ae7f2bSJakub Kicinski 	return 0;
1161d9ae7f2bSJakub Kicinski }
1162d9ae7f2bSJakub Kicinski 
1163d9ae7f2bSJakub Kicinski static int
1164d9ae7f2bSJakub Kicinski wrp_alu32_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
1165d9ae7f2bSJakub Kicinski 	      enum alu_op alu_op, bool skip)
1166d9ae7f2bSJakub Kicinski {
1167d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
1168d9ae7f2bSJakub Kicinski 
1169d9ae7f2bSJakub Kicinski 	if (skip) {
1170d9ae7f2bSJakub Kicinski 		meta->skip = true;
1171d9ae7f2bSJakub Kicinski 		return 0;
1172d9ae7f2bSJakub Kicinski 	}
1173d9ae7f2bSJakub Kicinski 
1174d9ae7f2bSJakub Kicinski 	wrp_alu_imm(nfp_prog, insn->dst_reg * 2, alu_op, insn->imm);
1175d9ae7f2bSJakub Kicinski 	wrp_immed(nfp_prog, reg_both(insn->dst_reg * 2 + 1), 0);
1176d9ae7f2bSJakub Kicinski 
1177d9ae7f2bSJakub Kicinski 	return 0;
1178d9ae7f2bSJakub Kicinski }
1179d9ae7f2bSJakub Kicinski 
1180d9ae7f2bSJakub Kicinski static int
1181d9ae7f2bSJakub Kicinski wrp_alu32_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
1182d9ae7f2bSJakub Kicinski 	      enum alu_op alu_op)
1183d9ae7f2bSJakub Kicinski {
1184d9ae7f2bSJakub Kicinski 	u8 dst = meta->insn.dst_reg * 2, src = meta->insn.src_reg * 2;
1185d9ae7f2bSJakub Kicinski 
1186d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_both(dst), reg_a(dst), alu_op, reg_b(src));
1187d9ae7f2bSJakub Kicinski 	wrp_immed(nfp_prog, reg_both(meta->insn.dst_reg * 2 + 1), 0);
1188d9ae7f2bSJakub Kicinski 
1189d9ae7f2bSJakub Kicinski 	return 0;
1190d9ae7f2bSJakub Kicinski }
1191d9ae7f2bSJakub Kicinski 
1192d9ae7f2bSJakub Kicinski static void
1193d9ae7f2bSJakub Kicinski wrp_test_reg_one(struct nfp_prog *nfp_prog, u8 dst, enum alu_op alu_op, u8 src,
1194d9ae7f2bSJakub Kicinski 		 enum br_mask br_mask, u16 off)
1195d9ae7f2bSJakub Kicinski {
1196d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_none(), reg_a(dst), alu_op, reg_b(src));
1197d9ae7f2bSJakub Kicinski 	emit_br(nfp_prog, br_mask, off, 0);
1198d9ae7f2bSJakub Kicinski }
1199d9ae7f2bSJakub Kicinski 
1200d9ae7f2bSJakub Kicinski static int
1201d9ae7f2bSJakub Kicinski wrp_test_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
1202d9ae7f2bSJakub Kicinski 	     enum alu_op alu_op, enum br_mask br_mask)
1203d9ae7f2bSJakub Kicinski {
1204d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
1205d9ae7f2bSJakub Kicinski 
1206d9ae7f2bSJakub Kicinski 	wrp_test_reg_one(nfp_prog, insn->dst_reg * 2, alu_op,
1207d9ae7f2bSJakub Kicinski 			 insn->src_reg * 2, br_mask, insn->off);
1208d9ae7f2bSJakub Kicinski 	wrp_test_reg_one(nfp_prog, insn->dst_reg * 2 + 1, alu_op,
1209d9ae7f2bSJakub Kicinski 			 insn->src_reg * 2 + 1, br_mask, insn->off);
1210d9ae7f2bSJakub Kicinski 
1211d9ae7f2bSJakub Kicinski 	return 0;
1212d9ae7f2bSJakub Kicinski }
1213d9ae7f2bSJakub Kicinski 
1214d9ae7f2bSJakub Kicinski static int
1215d9ae7f2bSJakub Kicinski wrp_cmp_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
1216d9ae7f2bSJakub Kicinski 	    enum br_mask br_mask, bool swap)
1217d9ae7f2bSJakub Kicinski {
1218d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
1219d9ae7f2bSJakub Kicinski 	u64 imm = insn->imm; /* sign extend */
1220d9ae7f2bSJakub Kicinski 	u8 reg = insn->dst_reg * 2;
1221b3f868dfSJakub Kicinski 	swreg tmp_reg;
1222d9ae7f2bSJakub Kicinski 
1223d9ae7f2bSJakub Kicinski 	tmp_reg = ur_load_imm_any(nfp_prog, imm & ~0U, imm_b(nfp_prog));
1224d9ae7f2bSJakub Kicinski 	if (!swap)
1225d9ae7f2bSJakub Kicinski 		emit_alu(nfp_prog, reg_none(), reg_a(reg), ALU_OP_SUB, tmp_reg);
1226d9ae7f2bSJakub Kicinski 	else
1227d9ae7f2bSJakub Kicinski 		emit_alu(nfp_prog, reg_none(), tmp_reg, ALU_OP_SUB, reg_a(reg));
1228d9ae7f2bSJakub Kicinski 
1229d9ae7f2bSJakub Kicinski 	tmp_reg = ur_load_imm_any(nfp_prog, imm >> 32, imm_b(nfp_prog));
1230d9ae7f2bSJakub Kicinski 	if (!swap)
1231d9ae7f2bSJakub Kicinski 		emit_alu(nfp_prog, reg_none(),
1232d9ae7f2bSJakub Kicinski 			 reg_a(reg + 1), ALU_OP_SUB_C, tmp_reg);
1233d9ae7f2bSJakub Kicinski 	else
1234d9ae7f2bSJakub Kicinski 		emit_alu(nfp_prog, reg_none(),
1235d9ae7f2bSJakub Kicinski 			 tmp_reg, ALU_OP_SUB_C, reg_a(reg + 1));
1236d9ae7f2bSJakub Kicinski 
1237d9ae7f2bSJakub Kicinski 	emit_br(nfp_prog, br_mask, insn->off, 0);
1238d9ae7f2bSJakub Kicinski 
1239d9ae7f2bSJakub Kicinski 	return 0;
1240d9ae7f2bSJakub Kicinski }
1241d9ae7f2bSJakub Kicinski 
1242d9ae7f2bSJakub Kicinski static int
1243d9ae7f2bSJakub Kicinski wrp_cmp_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
1244d9ae7f2bSJakub Kicinski 	    enum br_mask br_mask, bool swap)
1245d9ae7f2bSJakub Kicinski {
1246d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
124726fa818dSJakub Kicinski 	u8 areg, breg;
124826fa818dSJakub Kicinski 
124926fa818dSJakub Kicinski 	areg = insn->dst_reg * 2;
125026fa818dSJakub Kicinski 	breg = insn->src_reg * 2;
1251d9ae7f2bSJakub Kicinski 
1252d9ae7f2bSJakub Kicinski 	if (swap) {
1253d9ae7f2bSJakub Kicinski 		areg ^= breg;
1254d9ae7f2bSJakub Kicinski 		breg ^= areg;
1255d9ae7f2bSJakub Kicinski 		areg ^= breg;
1256d9ae7f2bSJakub Kicinski 	}
1257d9ae7f2bSJakub Kicinski 
1258d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_none(), reg_a(areg), ALU_OP_SUB, reg_b(breg));
1259d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_none(),
1260d9ae7f2bSJakub Kicinski 		 reg_a(areg + 1), ALU_OP_SUB_C, reg_b(breg + 1));
1261d9ae7f2bSJakub Kicinski 	emit_br(nfp_prog, br_mask, insn->off, 0);
1262d9ae7f2bSJakub Kicinski 
1263d9ae7f2bSJakub Kicinski 	return 0;
1264d9ae7f2bSJakub Kicinski }
1265d9ae7f2bSJakub Kicinski 
12663119d1fdSJakub Kicinski static void wrp_end32(struct nfp_prog *nfp_prog, swreg reg_in, u8 gpr_out)
12673119d1fdSJakub Kicinski {
12683119d1fdSJakub Kicinski 	emit_ld_field(nfp_prog, reg_both(gpr_out), 0xf, reg_in,
12693119d1fdSJakub Kicinski 		      SHF_SC_R_ROT, 8);
12703119d1fdSJakub Kicinski 	emit_ld_field(nfp_prog, reg_both(gpr_out), 0x5, reg_a(gpr_out),
12713119d1fdSJakub Kicinski 		      SHF_SC_R_ROT, 16);
12723119d1fdSJakub Kicinski }
12733119d1fdSJakub Kicinski 
12740d49eaf4SJakub Kicinski static int adjust_head(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
12750d49eaf4SJakub Kicinski {
12760d49eaf4SJakub Kicinski 	swreg tmp = imm_a(nfp_prog), tmp_len = imm_b(nfp_prog);
12770d49eaf4SJakub Kicinski 	struct nfp_bpf_cap_adjust_head *adjust_head;
12780d49eaf4SJakub Kicinski 	u32 ret_einval, end;
12790d49eaf4SJakub Kicinski 
12800d49eaf4SJakub Kicinski 	adjust_head = &nfp_prog->bpf->adjust_head;
12810d49eaf4SJakub Kicinski 
12828231f844SJakub Kicinski 	/* Optimized version - 5 vs 14 cycles */
12838231f844SJakub Kicinski 	if (nfp_prog->adjust_head_location != UINT_MAX) {
12848231f844SJakub Kicinski 		if (WARN_ON_ONCE(nfp_prog->adjust_head_location != meta->n))
12858231f844SJakub Kicinski 			return -EINVAL;
12868231f844SJakub Kicinski 
12878231f844SJakub Kicinski 		emit_alu(nfp_prog, pptr_reg(nfp_prog),
12888231f844SJakub Kicinski 			 reg_a(2 * 2), ALU_OP_ADD, pptr_reg(nfp_prog));
12898231f844SJakub Kicinski 		emit_alu(nfp_prog, plen_reg(nfp_prog),
12908231f844SJakub Kicinski 			 plen_reg(nfp_prog), ALU_OP_SUB, reg_a(2 * 2));
12918231f844SJakub Kicinski 		emit_alu(nfp_prog, pv_len(nfp_prog),
12928231f844SJakub Kicinski 			 pv_len(nfp_prog), ALU_OP_SUB, reg_a(2 * 2));
12938231f844SJakub Kicinski 
12948231f844SJakub Kicinski 		wrp_immed(nfp_prog, reg_both(0), 0);
12958231f844SJakub Kicinski 		wrp_immed(nfp_prog, reg_both(1), 0);
12968231f844SJakub Kicinski 
12978231f844SJakub Kicinski 		/* TODO: when adjust head is guaranteed to succeed we can
12988231f844SJakub Kicinski 		 * also eliminate the following if (r0 == 0) branch.
12998231f844SJakub Kicinski 		 */
13008231f844SJakub Kicinski 
13018231f844SJakub Kicinski 		return 0;
13028231f844SJakub Kicinski 	}
13038231f844SJakub Kicinski 
13040d49eaf4SJakub Kicinski 	ret_einval = nfp_prog_current_offset(nfp_prog) + 14;
13050d49eaf4SJakub Kicinski 	end = ret_einval + 2;
13060d49eaf4SJakub Kicinski 
13070d49eaf4SJakub Kicinski 	/* We need to use a temp because offset is just a part of the pkt ptr */
13080d49eaf4SJakub Kicinski 	emit_alu(nfp_prog, tmp,
13090d49eaf4SJakub Kicinski 		 reg_a(2 * 2), ALU_OP_ADD_2B, pptr_reg(nfp_prog));
13100d49eaf4SJakub Kicinski 
13110d49eaf4SJakub Kicinski 	/* Validate result will fit within FW datapath constraints */
13120d49eaf4SJakub Kicinski 	emit_alu(nfp_prog, reg_none(),
13130d49eaf4SJakub Kicinski 		 tmp, ALU_OP_SUB, reg_imm(adjust_head->off_min));
13140d49eaf4SJakub Kicinski 	emit_br(nfp_prog, BR_BLO, ret_einval, 0);
13150d49eaf4SJakub Kicinski 	emit_alu(nfp_prog, reg_none(),
13160d49eaf4SJakub Kicinski 		 reg_imm(adjust_head->off_max), ALU_OP_SUB, tmp);
13170d49eaf4SJakub Kicinski 	emit_br(nfp_prog, BR_BLO, ret_einval, 0);
13180d49eaf4SJakub Kicinski 
13190d49eaf4SJakub Kicinski 	/* Validate the length is at least ETH_HLEN */
13200d49eaf4SJakub Kicinski 	emit_alu(nfp_prog, tmp_len,
13210d49eaf4SJakub Kicinski 		 plen_reg(nfp_prog), ALU_OP_SUB, reg_a(2 * 2));
13220d49eaf4SJakub Kicinski 	emit_alu(nfp_prog, reg_none(),
13230d49eaf4SJakub Kicinski 		 tmp_len, ALU_OP_SUB, reg_imm(ETH_HLEN));
13240d49eaf4SJakub Kicinski 	emit_br(nfp_prog, BR_BMI, ret_einval, 0);
13250d49eaf4SJakub Kicinski 
13260d49eaf4SJakub Kicinski 	/* Load the ret code */
13270d49eaf4SJakub Kicinski 	wrp_immed(nfp_prog, reg_both(0), 0);
13280d49eaf4SJakub Kicinski 	wrp_immed(nfp_prog, reg_both(1), 0);
13290d49eaf4SJakub Kicinski 
13300d49eaf4SJakub Kicinski 	/* Modify the packet metadata */
13310d49eaf4SJakub Kicinski 	emit_ld_field(nfp_prog, pptr_reg(nfp_prog), 0x3, tmp, SHF_SC_NONE, 0);
13320d49eaf4SJakub Kicinski 
13330d49eaf4SJakub Kicinski 	/* Skip over the -EINVAL ret code (defer 2) */
13342314fe9eSJakub Kicinski 	emit_br(nfp_prog, BR_UNC, end, 2);
13350d49eaf4SJakub Kicinski 
13360d49eaf4SJakub Kicinski 	emit_alu(nfp_prog, plen_reg(nfp_prog),
13370d49eaf4SJakub Kicinski 		 plen_reg(nfp_prog), ALU_OP_SUB, reg_a(2 * 2));
13380d49eaf4SJakub Kicinski 	emit_alu(nfp_prog, pv_len(nfp_prog),
13390d49eaf4SJakub Kicinski 		 pv_len(nfp_prog), ALU_OP_SUB, reg_a(2 * 2));
13400d49eaf4SJakub Kicinski 
13410d49eaf4SJakub Kicinski 	/* return -EINVAL target */
13420d49eaf4SJakub Kicinski 	if (!nfp_prog_confirm_current_offset(nfp_prog, ret_einval))
13430d49eaf4SJakub Kicinski 		return -EINVAL;
13440d49eaf4SJakub Kicinski 
13450d49eaf4SJakub Kicinski 	wrp_immed(nfp_prog, reg_both(0), -22);
13460d49eaf4SJakub Kicinski 	wrp_immed(nfp_prog, reg_both(1), ~0);
13470d49eaf4SJakub Kicinski 
13480d49eaf4SJakub Kicinski 	if (!nfp_prog_confirm_current_offset(nfp_prog, end))
13490d49eaf4SJakub Kicinski 		return -EINVAL;
13500d49eaf4SJakub Kicinski 
13510d49eaf4SJakub Kicinski 	return 0;
13520d49eaf4SJakub Kicinski }
13530d49eaf4SJakub Kicinski 
135477a3d311SJakub Kicinski static int
1355fc448497SJakub Kicinski map_call_stack_common(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
135677a3d311SJakub Kicinski {
135777a3d311SJakub Kicinski 	struct bpf_offloaded_map *offmap;
135877a3d311SJakub Kicinski 	struct nfp_bpf_map *nfp_map;
135977a3d311SJakub Kicinski 	bool load_lm_ptr;
136077a3d311SJakub Kicinski 	u32 ret_tgt;
136177a3d311SJakub Kicinski 	s64 lm_off;
136277a3d311SJakub Kicinski 	swreg tid;
136377a3d311SJakub Kicinski 
136477a3d311SJakub Kicinski 	offmap = (struct bpf_offloaded_map *)meta->arg1.map_ptr;
136577a3d311SJakub Kicinski 	nfp_map = offmap->dev_priv;
136677a3d311SJakub Kicinski 
136777a3d311SJakub Kicinski 	/* We only have to reload LM0 if the key is not at start of stack */
136877a3d311SJakub Kicinski 	lm_off = nfp_prog->stack_depth;
13692f46e0c1SJakub Kicinski 	lm_off += meta->arg2.reg.var_off.value + meta->arg2.reg.off;
13702f46e0c1SJakub Kicinski 	load_lm_ptr = meta->arg2.var_off || lm_off;
137177a3d311SJakub Kicinski 
137277a3d311SJakub Kicinski 	/* Set LM0 to start of key */
137377a3d311SJakub Kicinski 	if (load_lm_ptr)
137477a3d311SJakub Kicinski 		emit_csr_wr(nfp_prog, reg_b(2 * 2), NFP_CSR_ACT_LM_ADDR0);
137544d65a47SJakub Kicinski 	if (meta->func_id == BPF_FUNC_map_update_elem)
137644d65a47SJakub Kicinski 		emit_csr_wr(nfp_prog, reg_b(3 * 2), NFP_CSR_ACT_LM_ADDR2);
137777a3d311SJakub Kicinski 
137877a3d311SJakub Kicinski 	/* Load map ID into a register, it should actually fit as an immediate
137977a3d311SJakub Kicinski 	 * but in case it doesn't deal with it here, not in the delay slots.
138077a3d311SJakub Kicinski 	 */
138177a3d311SJakub Kicinski 	tid = ur_load_imm_any(nfp_prog, nfp_map->tid, imm_a(nfp_prog));
138277a3d311SJakub Kicinski 
1383fc448497SJakub Kicinski 	emit_br_relo(nfp_prog, BR_UNC, BR_OFF_RELO + meta->func_id,
138477a3d311SJakub Kicinski 		     2, RELO_BR_HELPER);
138577a3d311SJakub Kicinski 	ret_tgt = nfp_prog_current_offset(nfp_prog) + 2;
138677a3d311SJakub Kicinski 
138777a3d311SJakub Kicinski 	/* Load map ID into A0 */
138877a3d311SJakub Kicinski 	wrp_mov(nfp_prog, reg_a(0), tid);
138977a3d311SJakub Kicinski 
139077a3d311SJakub Kicinski 	/* Load the return address into B0 */
139177a3d311SJakub Kicinski 	wrp_immed_relo(nfp_prog, reg_b(0), ret_tgt, RELO_IMMED_REL);
139277a3d311SJakub Kicinski 
139377a3d311SJakub Kicinski 	if (!nfp_prog_confirm_current_offset(nfp_prog, ret_tgt))
139477a3d311SJakub Kicinski 		return -EINVAL;
139577a3d311SJakub Kicinski 
139677a3d311SJakub Kicinski 	/* Reset the LM0 pointer */
139777a3d311SJakub Kicinski 	if (!load_lm_ptr)
139877a3d311SJakub Kicinski 		return 0;
139977a3d311SJakub Kicinski 
140077a3d311SJakub Kicinski 	emit_csr_wr(nfp_prog, stack_reg(nfp_prog),  NFP_CSR_ACT_LM_ADDR0);
140177a3d311SJakub Kicinski 	wrp_nops(nfp_prog, 3);
140277a3d311SJakub Kicinski 
140377a3d311SJakub Kicinski 	return 0;
140477a3d311SJakub Kicinski }
140577a3d311SJakub Kicinski 
1406d9ae7f2bSJakub Kicinski /* --- Callbacks --- */
1407d9ae7f2bSJakub Kicinski static int mov_reg64(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1408d9ae7f2bSJakub Kicinski {
1409d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
1410b14157eeSJakub Kicinski 	u8 dst = insn->dst_reg * 2;
1411b14157eeSJakub Kicinski 	u8 src = insn->src_reg * 2;
1412d9ae7f2bSJakub Kicinski 
1413b14157eeSJakub Kicinski 	if (insn->src_reg == BPF_REG_10) {
1414b14157eeSJakub Kicinski 		swreg stack_depth_reg;
1415b14157eeSJakub Kicinski 
1416b14157eeSJakub Kicinski 		stack_depth_reg = ur_load_imm_any(nfp_prog,
1417b14157eeSJakub Kicinski 						  nfp_prog->stack_depth,
1418b14157eeSJakub Kicinski 						  stack_imm(nfp_prog));
1419b14157eeSJakub Kicinski 		emit_alu(nfp_prog, reg_both(dst),
1420b14157eeSJakub Kicinski 			 stack_reg(nfp_prog), ALU_OP_ADD, stack_depth_reg);
1421b14157eeSJakub Kicinski 		wrp_immed(nfp_prog, reg_both(dst + 1), 0);
1422b14157eeSJakub Kicinski 	} else {
1423b14157eeSJakub Kicinski 		wrp_reg_mov(nfp_prog, dst, src);
1424b14157eeSJakub Kicinski 		wrp_reg_mov(nfp_prog, dst + 1, src + 1);
1425b14157eeSJakub Kicinski 	}
1426d9ae7f2bSJakub Kicinski 
1427d9ae7f2bSJakub Kicinski 	return 0;
1428d9ae7f2bSJakub Kicinski }
1429d9ae7f2bSJakub Kicinski 
1430d9ae7f2bSJakub Kicinski static int mov_imm64(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1431d9ae7f2bSJakub Kicinski {
1432d9ae7f2bSJakub Kicinski 	u64 imm = meta->insn.imm; /* sign extend */
1433d9ae7f2bSJakub Kicinski 
1434d9ae7f2bSJakub Kicinski 	wrp_immed(nfp_prog, reg_both(meta->insn.dst_reg * 2), imm & ~0U);
1435d9ae7f2bSJakub Kicinski 	wrp_immed(nfp_prog, reg_both(meta->insn.dst_reg * 2 + 1), imm >> 32);
1436d9ae7f2bSJakub Kicinski 
1437d9ae7f2bSJakub Kicinski 	return 0;
1438d9ae7f2bSJakub Kicinski }
1439d9ae7f2bSJakub Kicinski 
1440d9ae7f2bSJakub Kicinski static int xor_reg64(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1441d9ae7f2bSJakub Kicinski {
1442d9ae7f2bSJakub Kicinski 	return wrp_alu64_reg(nfp_prog, meta, ALU_OP_XOR);
1443d9ae7f2bSJakub Kicinski }
1444d9ae7f2bSJakub Kicinski 
1445d9ae7f2bSJakub Kicinski static int xor_imm64(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1446d9ae7f2bSJakub Kicinski {
1447d9ae7f2bSJakub Kicinski 	return wrp_alu64_imm(nfp_prog, meta, ALU_OP_XOR, !meta->insn.imm);
1448d9ae7f2bSJakub Kicinski }
1449d9ae7f2bSJakub Kicinski 
1450d9ae7f2bSJakub Kicinski static int and_reg64(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1451d9ae7f2bSJakub Kicinski {
1452d9ae7f2bSJakub Kicinski 	return wrp_alu64_reg(nfp_prog, meta, ALU_OP_AND);
1453d9ae7f2bSJakub Kicinski }
1454d9ae7f2bSJakub Kicinski 
1455d9ae7f2bSJakub Kicinski static int and_imm64(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1456d9ae7f2bSJakub Kicinski {
1457d9ae7f2bSJakub Kicinski 	return wrp_alu64_imm(nfp_prog, meta, ALU_OP_AND, !~meta->insn.imm);
1458d9ae7f2bSJakub Kicinski }
1459d9ae7f2bSJakub Kicinski 
1460d9ae7f2bSJakub Kicinski static int or_reg64(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1461d9ae7f2bSJakub Kicinski {
1462d9ae7f2bSJakub Kicinski 	return wrp_alu64_reg(nfp_prog, meta, ALU_OP_OR);
1463d9ae7f2bSJakub Kicinski }
1464d9ae7f2bSJakub Kicinski 
1465d9ae7f2bSJakub Kicinski static int or_imm64(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1466d9ae7f2bSJakub Kicinski {
1467d9ae7f2bSJakub Kicinski 	return wrp_alu64_imm(nfp_prog, meta, ALU_OP_OR, !meta->insn.imm);
1468d9ae7f2bSJakub Kicinski }
1469d9ae7f2bSJakub Kicinski 
1470d9ae7f2bSJakub Kicinski static int add_reg64(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1471d9ae7f2bSJakub Kicinski {
1472d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
1473d9ae7f2bSJakub Kicinski 
1474d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_both(insn->dst_reg * 2),
1475d9ae7f2bSJakub Kicinski 		 reg_a(insn->dst_reg * 2), ALU_OP_ADD,
1476d9ae7f2bSJakub Kicinski 		 reg_b(insn->src_reg * 2));
1477d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_both(insn->dst_reg * 2 + 1),
1478d9ae7f2bSJakub Kicinski 		 reg_a(insn->dst_reg * 2 + 1), ALU_OP_ADD_C,
1479d9ae7f2bSJakub Kicinski 		 reg_b(insn->src_reg * 2 + 1));
1480d9ae7f2bSJakub Kicinski 
1481d9ae7f2bSJakub Kicinski 	return 0;
1482d9ae7f2bSJakub Kicinski }
1483d9ae7f2bSJakub Kicinski 
1484d9ae7f2bSJakub Kicinski static int add_imm64(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1485d9ae7f2bSJakub Kicinski {
1486d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
1487d9ae7f2bSJakub Kicinski 	u64 imm = insn->imm; /* sign extend */
1488d9ae7f2bSJakub Kicinski 
1489d9ae7f2bSJakub Kicinski 	wrp_alu_imm(nfp_prog, insn->dst_reg * 2, ALU_OP_ADD, imm & ~0U);
1490d9ae7f2bSJakub Kicinski 	wrp_alu_imm(nfp_prog, insn->dst_reg * 2 + 1, ALU_OP_ADD_C, imm >> 32);
1491d9ae7f2bSJakub Kicinski 
1492d9ae7f2bSJakub Kicinski 	return 0;
1493d9ae7f2bSJakub Kicinski }
1494d9ae7f2bSJakub Kicinski 
1495d9ae7f2bSJakub Kicinski static int sub_reg64(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1496d9ae7f2bSJakub Kicinski {
1497d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
1498d9ae7f2bSJakub Kicinski 
1499d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_both(insn->dst_reg * 2),
1500d9ae7f2bSJakub Kicinski 		 reg_a(insn->dst_reg * 2), ALU_OP_SUB,
1501d9ae7f2bSJakub Kicinski 		 reg_b(insn->src_reg * 2));
1502d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_both(insn->dst_reg * 2 + 1),
1503d9ae7f2bSJakub Kicinski 		 reg_a(insn->dst_reg * 2 + 1), ALU_OP_SUB_C,
1504d9ae7f2bSJakub Kicinski 		 reg_b(insn->src_reg * 2 + 1));
1505d9ae7f2bSJakub Kicinski 
1506d9ae7f2bSJakub Kicinski 	return 0;
1507d9ae7f2bSJakub Kicinski }
1508d9ae7f2bSJakub Kicinski 
1509d9ae7f2bSJakub Kicinski static int sub_imm64(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1510d9ae7f2bSJakub Kicinski {
1511d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
1512d9ae7f2bSJakub Kicinski 	u64 imm = insn->imm; /* sign extend */
1513d9ae7f2bSJakub Kicinski 
1514d9ae7f2bSJakub Kicinski 	wrp_alu_imm(nfp_prog, insn->dst_reg * 2, ALU_OP_SUB, imm & ~0U);
1515d9ae7f2bSJakub Kicinski 	wrp_alu_imm(nfp_prog, insn->dst_reg * 2 + 1, ALU_OP_SUB_C, imm >> 32);
1516d9ae7f2bSJakub Kicinski 
1517d9ae7f2bSJakub Kicinski 	return 0;
1518d9ae7f2bSJakub Kicinski }
1519d9ae7f2bSJakub Kicinski 
1520254ef4d7SJiong Wang static int neg_reg64(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1521254ef4d7SJiong Wang {
1522254ef4d7SJiong Wang 	const struct bpf_insn *insn = &meta->insn;
1523254ef4d7SJiong Wang 
1524254ef4d7SJiong Wang 	emit_alu(nfp_prog, reg_both(insn->dst_reg * 2), reg_imm(0),
1525254ef4d7SJiong Wang 		 ALU_OP_SUB, reg_b(insn->dst_reg * 2));
1526254ef4d7SJiong Wang 	emit_alu(nfp_prog, reg_both(insn->dst_reg * 2 + 1), reg_imm(0),
1527254ef4d7SJiong Wang 		 ALU_OP_SUB_C, reg_b(insn->dst_reg * 2 + 1));
1528254ef4d7SJiong Wang 
1529254ef4d7SJiong Wang 	return 0;
1530254ef4d7SJiong Wang }
1531254ef4d7SJiong Wang 
1532d9ae7f2bSJakub Kicinski static int shl_imm64(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1533d9ae7f2bSJakub Kicinski {
1534d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
15353cae1319SJakub Kicinski 	u8 dst = insn->dst_reg * 2;
1536d9ae7f2bSJakub Kicinski 
15373cae1319SJakub Kicinski 	if (insn->imm < 32) {
15383cae1319SJakub Kicinski 		emit_shf(nfp_prog, reg_both(dst + 1),
15393cae1319SJakub Kicinski 			 reg_a(dst + 1), SHF_OP_NONE, reg_b(dst),
15403cae1319SJakub Kicinski 			 SHF_SC_R_DSHF, 32 - insn->imm);
15413cae1319SJakub Kicinski 		emit_shf(nfp_prog, reg_both(dst),
15423cae1319SJakub Kicinski 			 reg_none(), SHF_OP_NONE, reg_b(dst),
15433cae1319SJakub Kicinski 			 SHF_SC_L_SHF, insn->imm);
15443cae1319SJakub Kicinski 	} else if (insn->imm == 32) {
15453cae1319SJakub Kicinski 		wrp_reg_mov(nfp_prog, dst + 1, dst);
15463cae1319SJakub Kicinski 		wrp_immed(nfp_prog, reg_both(dst), 0);
15473cae1319SJakub Kicinski 	} else if (insn->imm > 32) {
15483cae1319SJakub Kicinski 		emit_shf(nfp_prog, reg_both(dst + 1),
15493cae1319SJakub Kicinski 			 reg_none(), SHF_OP_NONE, reg_b(dst),
15503cae1319SJakub Kicinski 			 SHF_SC_L_SHF, insn->imm - 32);
15513cae1319SJakub Kicinski 		wrp_immed(nfp_prog, reg_both(dst), 0);
15523cae1319SJakub Kicinski 	}
1553d9ae7f2bSJakub Kicinski 
1554d9ae7f2bSJakub Kicinski 	return 0;
1555d9ae7f2bSJakub Kicinski }
1556d9ae7f2bSJakub Kicinski 
1557d9ae7f2bSJakub Kicinski static int shr_imm64(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1558d9ae7f2bSJakub Kicinski {
1559d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
15603cae1319SJakub Kicinski 	u8 dst = insn->dst_reg * 2;
1561d9ae7f2bSJakub Kicinski 
15623cae1319SJakub Kicinski 	if (insn->imm < 32) {
15633cae1319SJakub Kicinski 		emit_shf(nfp_prog, reg_both(dst),
15643cae1319SJakub Kicinski 			 reg_a(dst + 1), SHF_OP_NONE, reg_b(dst),
15653cae1319SJakub Kicinski 			 SHF_SC_R_DSHF, insn->imm);
15663cae1319SJakub Kicinski 		emit_shf(nfp_prog, reg_both(dst + 1),
15673cae1319SJakub Kicinski 			 reg_none(), SHF_OP_NONE, reg_b(dst + 1),
15683cae1319SJakub Kicinski 			 SHF_SC_R_SHF, insn->imm);
15693cae1319SJakub Kicinski 	} else if (insn->imm == 32) {
15703cae1319SJakub Kicinski 		wrp_reg_mov(nfp_prog, dst, dst + 1);
15713cae1319SJakub Kicinski 		wrp_immed(nfp_prog, reg_both(dst + 1), 0);
15723cae1319SJakub Kicinski 	} else if (insn->imm > 32) {
15733cae1319SJakub Kicinski 		emit_shf(nfp_prog, reg_both(dst),
15743cae1319SJakub Kicinski 			 reg_none(), SHF_OP_NONE, reg_b(dst + 1),
15753cae1319SJakub Kicinski 			 SHF_SC_R_SHF, insn->imm - 32);
15763cae1319SJakub Kicinski 		wrp_immed(nfp_prog, reg_both(dst + 1), 0);
15773cae1319SJakub Kicinski 	}
1578d9ae7f2bSJakub Kicinski 
1579d9ae7f2bSJakub Kicinski 	return 0;
1580d9ae7f2bSJakub Kicinski }
1581d9ae7f2bSJakub Kicinski 
1582d9ae7f2bSJakub Kicinski static int mov_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1583d9ae7f2bSJakub Kicinski {
1584d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
1585d9ae7f2bSJakub Kicinski 
1586d9ae7f2bSJakub Kicinski 	wrp_reg_mov(nfp_prog, insn->dst_reg * 2,  insn->src_reg * 2);
1587d9ae7f2bSJakub Kicinski 	wrp_immed(nfp_prog, reg_both(insn->dst_reg * 2 + 1), 0);
1588d9ae7f2bSJakub Kicinski 
1589d9ae7f2bSJakub Kicinski 	return 0;
1590d9ae7f2bSJakub Kicinski }
1591d9ae7f2bSJakub Kicinski 
1592d9ae7f2bSJakub Kicinski static int mov_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1593d9ae7f2bSJakub Kicinski {
1594d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
1595d9ae7f2bSJakub Kicinski 
1596d9ae7f2bSJakub Kicinski 	wrp_immed(nfp_prog, reg_both(insn->dst_reg * 2), insn->imm);
1597d9ae7f2bSJakub Kicinski 	wrp_immed(nfp_prog, reg_both(insn->dst_reg * 2 + 1), 0);
1598d9ae7f2bSJakub Kicinski 
1599d9ae7f2bSJakub Kicinski 	return 0;
1600d9ae7f2bSJakub Kicinski }
1601d9ae7f2bSJakub Kicinski 
1602d9ae7f2bSJakub Kicinski static int xor_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1603d9ae7f2bSJakub Kicinski {
1604d9ae7f2bSJakub Kicinski 	return wrp_alu32_reg(nfp_prog, meta, ALU_OP_XOR);
1605d9ae7f2bSJakub Kicinski }
1606d9ae7f2bSJakub Kicinski 
1607d9ae7f2bSJakub Kicinski static int xor_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1608d9ae7f2bSJakub Kicinski {
1609d9ae7f2bSJakub Kicinski 	return wrp_alu32_imm(nfp_prog, meta, ALU_OP_XOR, !~meta->insn.imm);
1610d9ae7f2bSJakub Kicinski }
1611d9ae7f2bSJakub Kicinski 
1612d9ae7f2bSJakub Kicinski static int and_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1613d9ae7f2bSJakub Kicinski {
1614d9ae7f2bSJakub Kicinski 	return wrp_alu32_reg(nfp_prog, meta, ALU_OP_AND);
1615d9ae7f2bSJakub Kicinski }
1616d9ae7f2bSJakub Kicinski 
1617d9ae7f2bSJakub Kicinski static int and_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1618d9ae7f2bSJakub Kicinski {
1619d9ae7f2bSJakub Kicinski 	return wrp_alu32_imm(nfp_prog, meta, ALU_OP_AND, !~meta->insn.imm);
1620d9ae7f2bSJakub Kicinski }
1621d9ae7f2bSJakub Kicinski 
1622d9ae7f2bSJakub Kicinski static int or_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1623d9ae7f2bSJakub Kicinski {
1624d9ae7f2bSJakub Kicinski 	return wrp_alu32_reg(nfp_prog, meta, ALU_OP_OR);
1625d9ae7f2bSJakub Kicinski }
1626d9ae7f2bSJakub Kicinski 
1627d9ae7f2bSJakub Kicinski static int or_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1628d9ae7f2bSJakub Kicinski {
1629d9ae7f2bSJakub Kicinski 	return wrp_alu32_imm(nfp_prog, meta, ALU_OP_OR, !meta->insn.imm);
1630d9ae7f2bSJakub Kicinski }
1631d9ae7f2bSJakub Kicinski 
1632d9ae7f2bSJakub Kicinski static int add_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1633d9ae7f2bSJakub Kicinski {
1634d9ae7f2bSJakub Kicinski 	return wrp_alu32_reg(nfp_prog, meta, ALU_OP_ADD);
1635d9ae7f2bSJakub Kicinski }
1636d9ae7f2bSJakub Kicinski 
1637d9ae7f2bSJakub Kicinski static int add_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1638d9ae7f2bSJakub Kicinski {
1639d9ae7f2bSJakub Kicinski 	return wrp_alu32_imm(nfp_prog, meta, ALU_OP_ADD, !meta->insn.imm);
1640d9ae7f2bSJakub Kicinski }
1641d9ae7f2bSJakub Kicinski 
1642d9ae7f2bSJakub Kicinski static int sub_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1643d9ae7f2bSJakub Kicinski {
1644d9ae7f2bSJakub Kicinski 	return wrp_alu32_reg(nfp_prog, meta, ALU_OP_SUB);
1645d9ae7f2bSJakub Kicinski }
1646d9ae7f2bSJakub Kicinski 
1647d9ae7f2bSJakub Kicinski static int sub_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1648d9ae7f2bSJakub Kicinski {
1649d9ae7f2bSJakub Kicinski 	return wrp_alu32_imm(nfp_prog, meta, ALU_OP_SUB, !meta->insn.imm);
1650d9ae7f2bSJakub Kicinski }
1651d9ae7f2bSJakub Kicinski 
1652254ef4d7SJiong Wang static int neg_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1653254ef4d7SJiong Wang {
1654254ef4d7SJiong Wang 	u8 dst = meta->insn.dst_reg * 2;
1655254ef4d7SJiong Wang 
1656254ef4d7SJiong Wang 	emit_alu(nfp_prog, reg_both(dst), reg_imm(0), ALU_OP_SUB, reg_b(dst));
1657254ef4d7SJiong Wang 	wrp_immed(nfp_prog, reg_both(meta->insn.dst_reg * 2 + 1), 0);
1658254ef4d7SJiong Wang 
1659254ef4d7SJiong Wang 	return 0;
1660254ef4d7SJiong Wang }
1661254ef4d7SJiong Wang 
1662d9ae7f2bSJakub Kicinski static int shl_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1663d9ae7f2bSJakub Kicinski {
1664d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
1665d9ae7f2bSJakub Kicinski 
1666d9ae7f2bSJakub Kicinski 	if (!insn->imm)
1667d9ae7f2bSJakub Kicinski 		return 1; /* TODO: zero shift means indirect */
1668d9ae7f2bSJakub Kicinski 
1669d9ae7f2bSJakub Kicinski 	emit_shf(nfp_prog, reg_both(insn->dst_reg * 2),
1670d9ae7f2bSJakub Kicinski 		 reg_none(), SHF_OP_NONE, reg_b(insn->dst_reg * 2),
1671d9ae7f2bSJakub Kicinski 		 SHF_SC_L_SHF, insn->imm);
1672d9ae7f2bSJakub Kicinski 	wrp_immed(nfp_prog, reg_both(insn->dst_reg * 2 + 1), 0);
1673d9ae7f2bSJakub Kicinski 
1674d9ae7f2bSJakub Kicinski 	return 0;
1675d9ae7f2bSJakub Kicinski }
1676d9ae7f2bSJakub Kicinski 
16773119d1fdSJakub Kicinski static int end_reg32(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
16783119d1fdSJakub Kicinski {
16793119d1fdSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
16803119d1fdSJakub Kicinski 	u8 gpr = insn->dst_reg * 2;
16813119d1fdSJakub Kicinski 
16823119d1fdSJakub Kicinski 	switch (insn->imm) {
16833119d1fdSJakub Kicinski 	case 16:
16843119d1fdSJakub Kicinski 		emit_ld_field(nfp_prog, reg_both(gpr), 0x9, reg_b(gpr),
16853119d1fdSJakub Kicinski 			      SHF_SC_R_ROT, 8);
16863119d1fdSJakub Kicinski 		emit_ld_field(nfp_prog, reg_both(gpr), 0xe, reg_a(gpr),
16873119d1fdSJakub Kicinski 			      SHF_SC_R_SHF, 16);
16883119d1fdSJakub Kicinski 
16893119d1fdSJakub Kicinski 		wrp_immed(nfp_prog, reg_both(gpr + 1), 0);
16903119d1fdSJakub Kicinski 		break;
16913119d1fdSJakub Kicinski 	case 32:
16923119d1fdSJakub Kicinski 		wrp_end32(nfp_prog, reg_a(gpr), gpr);
16933119d1fdSJakub Kicinski 		wrp_immed(nfp_prog, reg_both(gpr + 1), 0);
16943119d1fdSJakub Kicinski 		break;
16953119d1fdSJakub Kicinski 	case 64:
16963119d1fdSJakub Kicinski 		wrp_mov(nfp_prog, imm_a(nfp_prog), reg_b(gpr + 1));
16973119d1fdSJakub Kicinski 
16983119d1fdSJakub Kicinski 		wrp_end32(nfp_prog, reg_a(gpr), gpr + 1);
16993119d1fdSJakub Kicinski 		wrp_end32(nfp_prog, imm_a(nfp_prog), gpr);
17003119d1fdSJakub Kicinski 		break;
17013119d1fdSJakub Kicinski 	}
17023119d1fdSJakub Kicinski 
17033119d1fdSJakub Kicinski 	return 0;
17043119d1fdSJakub Kicinski }
17053119d1fdSJakub Kicinski 
1706d9ae7f2bSJakub Kicinski static int imm_ld8_part2(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1707d9ae7f2bSJakub Kicinski {
17089f16c8abSJakub Kicinski 	struct nfp_insn_meta *prev = nfp_meta_prev(meta);
17099f16c8abSJakub Kicinski 	u32 imm_lo, imm_hi;
17109f16c8abSJakub Kicinski 	u8 dst;
17119f16c8abSJakub Kicinski 
17129f16c8abSJakub Kicinski 	dst = prev->insn.dst_reg * 2;
17139f16c8abSJakub Kicinski 	imm_lo = prev->insn.imm;
17149f16c8abSJakub Kicinski 	imm_hi = meta->insn.imm;
17159f16c8abSJakub Kicinski 
17169f16c8abSJakub Kicinski 	wrp_immed(nfp_prog, reg_both(dst), imm_lo);
17179f16c8abSJakub Kicinski 
17189f16c8abSJakub Kicinski 	/* mov is always 1 insn, load imm may be two, so try to use mov */
17199f16c8abSJakub Kicinski 	if (imm_hi == imm_lo)
17209f16c8abSJakub Kicinski 		wrp_mov(nfp_prog, reg_both(dst + 1), reg_a(dst));
17219f16c8abSJakub Kicinski 	else
17229f16c8abSJakub Kicinski 		wrp_immed(nfp_prog, reg_both(dst + 1), imm_hi);
1723d9ae7f2bSJakub Kicinski 
1724d9ae7f2bSJakub Kicinski 	return 0;
1725d9ae7f2bSJakub Kicinski }
1726d9ae7f2bSJakub Kicinski 
1727d9ae7f2bSJakub Kicinski static int imm_ld8(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1728d9ae7f2bSJakub Kicinski {
1729d9ae7f2bSJakub Kicinski 	meta->double_cb = imm_ld8_part2;
1730d9ae7f2bSJakub Kicinski 	return 0;
1731d9ae7f2bSJakub Kicinski }
1732d9ae7f2bSJakub Kicinski 
1733d9ae7f2bSJakub Kicinski static int data_ld1(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1734d9ae7f2bSJakub Kicinski {
1735d9ae7f2bSJakub Kicinski 	return construct_data_ld(nfp_prog, meta->insn.imm, 1);
1736d9ae7f2bSJakub Kicinski }
1737d9ae7f2bSJakub Kicinski 
1738d9ae7f2bSJakub Kicinski static int data_ld2(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1739d9ae7f2bSJakub Kicinski {
1740d9ae7f2bSJakub Kicinski 	return construct_data_ld(nfp_prog, meta->insn.imm, 2);
1741d9ae7f2bSJakub Kicinski }
1742d9ae7f2bSJakub Kicinski 
1743d9ae7f2bSJakub Kicinski static int data_ld4(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1744d9ae7f2bSJakub Kicinski {
1745d9ae7f2bSJakub Kicinski 	return construct_data_ld(nfp_prog, meta->insn.imm, 4);
1746d9ae7f2bSJakub Kicinski }
1747d9ae7f2bSJakub Kicinski 
1748d9ae7f2bSJakub Kicinski static int data_ind_ld1(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1749d9ae7f2bSJakub Kicinski {
1750d9ae7f2bSJakub Kicinski 	return construct_data_ind_ld(nfp_prog, meta->insn.imm,
17510a793977SJakub Kicinski 				     meta->insn.src_reg * 2, 1);
1752d9ae7f2bSJakub Kicinski }
1753d9ae7f2bSJakub Kicinski 
1754d9ae7f2bSJakub Kicinski static int data_ind_ld2(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1755d9ae7f2bSJakub Kicinski {
1756d9ae7f2bSJakub Kicinski 	return construct_data_ind_ld(nfp_prog, meta->insn.imm,
17570a793977SJakub Kicinski 				     meta->insn.src_reg * 2, 2);
1758d9ae7f2bSJakub Kicinski }
1759d9ae7f2bSJakub Kicinski 
1760d9ae7f2bSJakub Kicinski static int data_ind_ld4(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
1761d9ae7f2bSJakub Kicinski {
1762d9ae7f2bSJakub Kicinski 	return construct_data_ind_ld(nfp_prog, meta->insn.imm,
17630a793977SJakub Kicinski 				     meta->insn.src_reg * 2, 4);
1764d9ae7f2bSJakub Kicinski }
1765d9ae7f2bSJakub Kicinski 
1766a82b23fbSJakub Kicinski static int
1767a82b23fbSJakub Kicinski mem_ldx_stack(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
1768d3488480SJakub Kicinski 	      unsigned int size, unsigned int ptr_off)
1769a82b23fbSJakub Kicinski {
1770d3488480SJakub Kicinski 	return mem_op_stack(nfp_prog, meta, size, ptr_off,
1771b14157eeSJakub Kicinski 			    meta->insn.dst_reg * 2, meta->insn.src_reg * 2,
1772b14157eeSJakub Kicinski 			    true, wrp_lmem_load);
1773a82b23fbSJakub Kicinski }
1774a82b23fbSJakub Kicinski 
1775943c57b9SJakub Kicinski static int mem_ldx_skb(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
1776943c57b9SJakub Kicinski 		       u8 size)
1777d9ae7f2bSJakub Kicinski {
1778bfddbc8aSJakub Kicinski 	swreg dst = reg_both(meta->insn.dst_reg * 2);
1779bfddbc8aSJakub Kicinski 
1780943c57b9SJakub Kicinski 	switch (meta->insn.off) {
1781c6c580d7SJakub Kicinski 	case offsetof(struct __sk_buff, len):
1782c6c580d7SJakub Kicinski 		if (size != FIELD_SIZEOF(struct __sk_buff, len))
1783943c57b9SJakub Kicinski 			return -EOPNOTSUPP;
1784bfddbc8aSJakub Kicinski 		wrp_mov(nfp_prog, dst, plen_reg(nfp_prog));
1785bfddbc8aSJakub Kicinski 		break;
1786c6c580d7SJakub Kicinski 	case offsetof(struct __sk_buff, data):
1787c6c580d7SJakub Kicinski 		if (size != FIELD_SIZEOF(struct __sk_buff, data))
1788bfddbc8aSJakub Kicinski 			return -EOPNOTSUPP;
1789bfddbc8aSJakub Kicinski 		wrp_mov(nfp_prog, dst, pptr_reg(nfp_prog));
1790bfddbc8aSJakub Kicinski 		break;
1791c6c580d7SJakub Kicinski 	case offsetof(struct __sk_buff, data_end):
1792c6c580d7SJakub Kicinski 		if (size != FIELD_SIZEOF(struct __sk_buff, data_end))
1793bfddbc8aSJakub Kicinski 			return -EOPNOTSUPP;
1794bfddbc8aSJakub Kicinski 		emit_alu(nfp_prog, dst,
1795bfddbc8aSJakub Kicinski 			 plen_reg(nfp_prog), ALU_OP_ADD, pptr_reg(nfp_prog));
1796943c57b9SJakub Kicinski 		break;
1797943c57b9SJakub Kicinski 	default:
1798d9ae7f2bSJakub Kicinski 		return -EOPNOTSUPP;
1799943c57b9SJakub Kicinski 	}
1800943c57b9SJakub Kicinski 
1801943c57b9SJakub Kicinski 	wrp_immed(nfp_prog, reg_both(meta->insn.dst_reg * 2 + 1), 0);
1802d9ae7f2bSJakub Kicinski 
1803d9ae7f2bSJakub Kicinski 	return 0;
1804d9ae7f2bSJakub Kicinski }
1805d9ae7f2bSJakub Kicinski 
1806943c57b9SJakub Kicinski static int mem_ldx_xdp(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
1807943c57b9SJakub Kicinski 		       u8 size)
1808d9ae7f2bSJakub Kicinski {
1809b3f868dfSJakub Kicinski 	swreg dst = reg_both(meta->insn.dst_reg * 2);
1810d9ae7f2bSJakub Kicinski 
1811943c57b9SJakub Kicinski 	switch (meta->insn.off) {
1812c6c580d7SJakub Kicinski 	case offsetof(struct xdp_md, data):
1813c6c580d7SJakub Kicinski 		if (size != FIELD_SIZEOF(struct xdp_md, data))
1814c6c580d7SJakub Kicinski 			return -EOPNOTSUPP;
1815c000dfb5SJakub Kicinski 		wrp_mov(nfp_prog, dst, pptr_reg(nfp_prog));
1816943c57b9SJakub Kicinski 		break;
1817c6c580d7SJakub Kicinski 	case offsetof(struct xdp_md, data_end):
1818c6c580d7SJakub Kicinski 		if (size != FIELD_SIZEOF(struct xdp_md, data_end))
1819c6c580d7SJakub Kicinski 			return -EOPNOTSUPP;
1820943c57b9SJakub Kicinski 		emit_alu(nfp_prog, dst,
1821943c57b9SJakub Kicinski 			 plen_reg(nfp_prog), ALU_OP_ADD, pptr_reg(nfp_prog));
1822943c57b9SJakub Kicinski 		break;
1823943c57b9SJakub Kicinski 	default:
1824943c57b9SJakub Kicinski 		return -EOPNOTSUPP;
1825943c57b9SJakub Kicinski 	}
1826d9ae7f2bSJakub Kicinski 
1827943c57b9SJakub Kicinski 	wrp_immed(nfp_prog, reg_both(meta->insn.dst_reg * 2 + 1), 0);
1828d9ae7f2bSJakub Kicinski 
1829d9ae7f2bSJakub Kicinski 	return 0;
1830d9ae7f2bSJakub Kicinski }
1831d9ae7f2bSJakub Kicinski 
18322ca71441SJakub Kicinski static int
18332ca71441SJakub Kicinski mem_ldx_data(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
18342ca71441SJakub Kicinski 	     unsigned int size)
18352ca71441SJakub Kicinski {
18362ca71441SJakub Kicinski 	swreg tmp_reg;
18372ca71441SJakub Kicinski 
18382ca71441SJakub Kicinski 	tmp_reg = re_load_imm_any(nfp_prog, meta->insn.off, imm_b(nfp_prog));
18392ca71441SJakub Kicinski 
18403dd43c33SJakub Kicinski 	return data_ld_host_order_addr32(nfp_prog, meta->insn.src_reg * 2,
18413dd43c33SJakub Kicinski 					 tmp_reg, meta->insn.dst_reg * 2, size);
18423dd43c33SJakub Kicinski }
18433dd43c33SJakub Kicinski 
18443dd43c33SJakub Kicinski static int
18453dd43c33SJakub Kicinski mem_ldx_emem(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
18463dd43c33SJakub Kicinski 	     unsigned int size)
18473dd43c33SJakub Kicinski {
18483dd43c33SJakub Kicinski 	swreg tmp_reg;
18493dd43c33SJakub Kicinski 
18503dd43c33SJakub Kicinski 	tmp_reg = re_load_imm_any(nfp_prog, meta->insn.off, imm_b(nfp_prog));
18513dd43c33SJakub Kicinski 
18523dd43c33SJakub Kicinski 	return data_ld_host_order_addr40(nfp_prog, meta->insn.src_reg * 2,
18533dd43c33SJakub Kicinski 					 tmp_reg, meta->insn.dst_reg * 2, size);
18542ca71441SJakub Kicinski }
18552ca71441SJakub Kicinski 
1856be759237SJiong Wang static void
1857be759237SJiong Wang mem_ldx_data_init_pktcache(struct nfp_prog *nfp_prog,
1858be759237SJiong Wang 			   struct nfp_insn_meta *meta)
1859be759237SJiong Wang {
1860be759237SJiong Wang 	s16 range_start = meta->pkt_cache.range_start;
1861be759237SJiong Wang 	s16 range_end = meta->pkt_cache.range_end;
1862be759237SJiong Wang 	swreg src_base, off;
1863be759237SJiong Wang 	u8 xfer_num, len;
1864be759237SJiong Wang 	bool indir;
1865be759237SJiong Wang 
1866be759237SJiong Wang 	off = re_load_imm_any(nfp_prog, range_start, imm_b(nfp_prog));
1867be759237SJiong Wang 	src_base = reg_a(meta->insn.src_reg * 2);
1868be759237SJiong Wang 	len = range_end - range_start;
1869be759237SJiong Wang 	xfer_num = round_up(len, REG_WIDTH) / REG_WIDTH;
1870be759237SJiong Wang 
1871be759237SJiong Wang 	indir = len > 8 * REG_WIDTH;
1872be759237SJiong Wang 	/* Setup PREV_ALU for indirect mode. */
1873be759237SJiong Wang 	if (indir)
1874be759237SJiong Wang 		wrp_immed(nfp_prog, reg_none(),
1875be759237SJiong Wang 			  CMD_OVE_LEN | FIELD_PREP(CMD_OV_LEN, xfer_num - 1));
1876be759237SJiong Wang 
1877be759237SJiong Wang 	/* Cache memory into transfer-in registers. */
1878be759237SJiong Wang 	emit_cmd_any(nfp_prog, CMD_TGT_READ32_SWAP, CMD_MODE_32b, 0, src_base,
1879be759237SJiong Wang 		     off, xfer_num - 1, true, indir);
1880be759237SJiong Wang }
1881be759237SJiong Wang 
1882be759237SJiong Wang static int
188391ff69e8SJiong Wang mem_ldx_data_from_pktcache_unaligned(struct nfp_prog *nfp_prog,
188491ff69e8SJiong Wang 				     struct nfp_insn_meta *meta,
188591ff69e8SJiong Wang 				     unsigned int size)
188691ff69e8SJiong Wang {
188791ff69e8SJiong Wang 	s16 range_start = meta->pkt_cache.range_start;
188891ff69e8SJiong Wang 	s16 insn_off = meta->insn.off - range_start;
188991ff69e8SJiong Wang 	swreg dst_lo, dst_hi, src_lo, src_mid;
189091ff69e8SJiong Wang 	u8 dst_gpr = meta->insn.dst_reg * 2;
189191ff69e8SJiong Wang 	u8 len_lo = size, len_mid = 0;
189291ff69e8SJiong Wang 	u8 idx = insn_off / REG_WIDTH;
189391ff69e8SJiong Wang 	u8 off = insn_off % REG_WIDTH;
189491ff69e8SJiong Wang 
189591ff69e8SJiong Wang 	dst_hi = reg_both(dst_gpr + 1);
189691ff69e8SJiong Wang 	dst_lo = reg_both(dst_gpr);
189791ff69e8SJiong Wang 	src_lo = reg_xfer(idx);
189891ff69e8SJiong Wang 
189991ff69e8SJiong Wang 	/* The read length could involve as many as three registers. */
190091ff69e8SJiong Wang 	if (size > REG_WIDTH - off) {
190191ff69e8SJiong Wang 		/* Calculate the part in the second register. */
190291ff69e8SJiong Wang 		len_lo = REG_WIDTH - off;
190391ff69e8SJiong Wang 		len_mid = size - len_lo;
190491ff69e8SJiong Wang 
190591ff69e8SJiong Wang 		/* Calculate the part in the third register. */
190691ff69e8SJiong Wang 		if (size > 2 * REG_WIDTH - off)
190791ff69e8SJiong Wang 			len_mid = REG_WIDTH;
190891ff69e8SJiong Wang 	}
190991ff69e8SJiong Wang 
191091ff69e8SJiong Wang 	wrp_reg_subpart(nfp_prog, dst_lo, src_lo, len_lo, off);
191191ff69e8SJiong Wang 
191291ff69e8SJiong Wang 	if (!len_mid) {
191391ff69e8SJiong Wang 		wrp_immed(nfp_prog, dst_hi, 0);
191491ff69e8SJiong Wang 		return 0;
191591ff69e8SJiong Wang 	}
191691ff69e8SJiong Wang 
191791ff69e8SJiong Wang 	src_mid = reg_xfer(idx + 1);
191891ff69e8SJiong Wang 
191991ff69e8SJiong Wang 	if (size <= REG_WIDTH) {
192091ff69e8SJiong Wang 		wrp_reg_or_subpart(nfp_prog, dst_lo, src_mid, len_mid, len_lo);
192191ff69e8SJiong Wang 		wrp_immed(nfp_prog, dst_hi, 0);
192291ff69e8SJiong Wang 	} else {
192391ff69e8SJiong Wang 		swreg src_hi = reg_xfer(idx + 2);
192491ff69e8SJiong Wang 
192591ff69e8SJiong Wang 		wrp_reg_or_subpart(nfp_prog, dst_lo, src_mid,
192691ff69e8SJiong Wang 				   REG_WIDTH - len_lo, len_lo);
192791ff69e8SJiong Wang 		wrp_reg_subpart(nfp_prog, dst_hi, src_mid, len_lo,
192891ff69e8SJiong Wang 				REG_WIDTH - len_lo);
192991ff69e8SJiong Wang 		wrp_reg_or_subpart(nfp_prog, dst_hi, src_hi, REG_WIDTH - len_lo,
193091ff69e8SJiong Wang 				   len_lo);
193191ff69e8SJiong Wang 	}
193291ff69e8SJiong Wang 
193391ff69e8SJiong Wang 	return 0;
193491ff69e8SJiong Wang }
193591ff69e8SJiong Wang 
193691ff69e8SJiong Wang static int
1937be759237SJiong Wang mem_ldx_data_from_pktcache_aligned(struct nfp_prog *nfp_prog,
1938be759237SJiong Wang 				   struct nfp_insn_meta *meta,
1939be759237SJiong Wang 				   unsigned int size)
1940be759237SJiong Wang {
1941be759237SJiong Wang 	swreg dst_lo, dst_hi, src_lo;
1942be759237SJiong Wang 	u8 dst_gpr, idx;
1943be759237SJiong Wang 
1944be759237SJiong Wang 	idx = (meta->insn.off - meta->pkt_cache.range_start) / REG_WIDTH;
1945be759237SJiong Wang 	dst_gpr = meta->insn.dst_reg * 2;
1946be759237SJiong Wang 	dst_hi = reg_both(dst_gpr + 1);
1947be759237SJiong Wang 	dst_lo = reg_both(dst_gpr);
1948be759237SJiong Wang 	src_lo = reg_xfer(idx);
1949be759237SJiong Wang 
1950be759237SJiong Wang 	if (size < REG_WIDTH) {
1951be759237SJiong Wang 		wrp_reg_subpart(nfp_prog, dst_lo, src_lo, size, 0);
1952be759237SJiong Wang 		wrp_immed(nfp_prog, dst_hi, 0);
1953be759237SJiong Wang 	} else if (size == REG_WIDTH) {
1954be759237SJiong Wang 		wrp_mov(nfp_prog, dst_lo, src_lo);
1955be759237SJiong Wang 		wrp_immed(nfp_prog, dst_hi, 0);
1956be759237SJiong Wang 	} else {
1957be759237SJiong Wang 		swreg src_hi = reg_xfer(idx + 1);
1958be759237SJiong Wang 
1959be759237SJiong Wang 		wrp_mov(nfp_prog, dst_lo, src_lo);
1960be759237SJiong Wang 		wrp_mov(nfp_prog, dst_hi, src_hi);
1961be759237SJiong Wang 	}
1962be759237SJiong Wang 
1963be759237SJiong Wang 	return 0;
1964be759237SJiong Wang }
1965be759237SJiong Wang 
1966be759237SJiong Wang static int
1967be759237SJiong Wang mem_ldx_data_from_pktcache(struct nfp_prog *nfp_prog,
1968be759237SJiong Wang 			   struct nfp_insn_meta *meta, unsigned int size)
1969be759237SJiong Wang {
1970be759237SJiong Wang 	u8 off = meta->insn.off - meta->pkt_cache.range_start;
1971be759237SJiong Wang 
197291ff69e8SJiong Wang 	if (IS_ALIGNED(off, REG_WIDTH))
1973be759237SJiong Wang 		return mem_ldx_data_from_pktcache_aligned(nfp_prog, meta, size);
197491ff69e8SJiong Wang 
197591ff69e8SJiong Wang 	return mem_ldx_data_from_pktcache_unaligned(nfp_prog, meta, size);
1976be759237SJiong Wang }
1977be759237SJiong Wang 
19782ca71441SJakub Kicinski static int
19792ca71441SJakub Kicinski mem_ldx(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
19802ca71441SJakub Kicinski 	unsigned int size)
19812ca71441SJakub Kicinski {
19829879a381SJiong Wang 	if (meta->ldst_gather_len)
19839879a381SJiong Wang 		return nfp_cpp_memcpy(nfp_prog, meta);
19849879a381SJiong Wang 
19852ca71441SJakub Kicinski 	if (meta->ptr.type == PTR_TO_CTX) {
1986012bb8a8SJakub Kicinski 		if (nfp_prog->type == BPF_PROG_TYPE_XDP)
19872ca71441SJakub Kicinski 			return mem_ldx_xdp(nfp_prog, meta, size);
19882ca71441SJakub Kicinski 		else
19892ca71441SJakub Kicinski 			return mem_ldx_skb(nfp_prog, meta, size);
19902ca71441SJakub Kicinski 	}
19912ca71441SJakub Kicinski 
1992be759237SJiong Wang 	if (meta->ptr.type == PTR_TO_PACKET) {
1993be759237SJiong Wang 		if (meta->pkt_cache.range_end) {
1994be759237SJiong Wang 			if (meta->pkt_cache.do_init)
1995be759237SJiong Wang 				mem_ldx_data_init_pktcache(nfp_prog, meta);
1996be759237SJiong Wang 
1997be759237SJiong Wang 			return mem_ldx_data_from_pktcache(nfp_prog, meta, size);
1998be759237SJiong Wang 		} else {
19992ca71441SJakub Kicinski 			return mem_ldx_data(nfp_prog, meta, size);
2000be759237SJiong Wang 		}
2001be759237SJiong Wang 	}
20022ca71441SJakub Kicinski 
2003a82b23fbSJakub Kicinski 	if (meta->ptr.type == PTR_TO_STACK)
2004d3488480SJakub Kicinski 		return mem_ldx_stack(nfp_prog, meta, size,
2005d3488480SJakub Kicinski 				     meta->ptr.off + meta->ptr.var_off.value);
2006a82b23fbSJakub Kicinski 
20073dd43c33SJakub Kicinski 	if (meta->ptr.type == PTR_TO_MAP_VALUE)
20083dd43c33SJakub Kicinski 		return mem_ldx_emem(nfp_prog, meta, size);
20093dd43c33SJakub Kicinski 
20102ca71441SJakub Kicinski 	return -EOPNOTSUPP;
20112ca71441SJakub Kicinski }
20122ca71441SJakub Kicinski 
20132ca71441SJakub Kicinski static int mem_ldx1(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
20142ca71441SJakub Kicinski {
20152ca71441SJakub Kicinski 	return mem_ldx(nfp_prog, meta, 1);
20162ca71441SJakub Kicinski }
20172ca71441SJakub Kicinski 
20182ca71441SJakub Kicinski static int mem_ldx2(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
20192ca71441SJakub Kicinski {
20202ca71441SJakub Kicinski 	return mem_ldx(nfp_prog, meta, 2);
20212ca71441SJakub Kicinski }
20222ca71441SJakub Kicinski 
2023d9ae7f2bSJakub Kicinski static int mem_ldx4(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2024d9ae7f2bSJakub Kicinski {
20252ca71441SJakub Kicinski 	return mem_ldx(nfp_prog, meta, 4);
20262ca71441SJakub Kicinski }
20272ca71441SJakub Kicinski 
20282ca71441SJakub Kicinski static int mem_ldx8(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
20292ca71441SJakub Kicinski {
20302ca71441SJakub Kicinski 	return mem_ldx(nfp_prog, meta, 8);
2031d9ae7f2bSJakub Kicinski }
2032d9ae7f2bSJakub Kicinski 
2033e663fe38SJakub Kicinski static int
2034e663fe38SJakub Kicinski mem_st_data(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
2035e663fe38SJakub Kicinski 	    unsigned int size)
2036d9ae7f2bSJakub Kicinski {
2037e663fe38SJakub Kicinski 	u64 imm = meta->insn.imm; /* sign extend */
2038e663fe38SJakub Kicinski 	swreg off_reg;
2039e663fe38SJakub Kicinski 
2040e663fe38SJakub Kicinski 	off_reg = re_load_imm_any(nfp_prog, meta->insn.off, imm_b(nfp_prog));
2041e663fe38SJakub Kicinski 
2042e663fe38SJakub Kicinski 	return data_st_host_order(nfp_prog, meta->insn.dst_reg * 2, off_reg,
2043e663fe38SJakub Kicinski 				  imm, size);
2044e663fe38SJakub Kicinski }
2045e663fe38SJakub Kicinski 
2046e663fe38SJakub Kicinski static int mem_st(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
2047e663fe38SJakub Kicinski 		  unsigned int size)
2048e663fe38SJakub Kicinski {
2049e663fe38SJakub Kicinski 	if (meta->ptr.type == PTR_TO_PACKET)
2050e663fe38SJakub Kicinski 		return mem_st_data(nfp_prog, meta, size);
2051e663fe38SJakub Kicinski 
2052d9ae7f2bSJakub Kicinski 	return -EOPNOTSUPP;
2053d9ae7f2bSJakub Kicinski }
2054d9ae7f2bSJakub Kicinski 
2055e663fe38SJakub Kicinski static int mem_st1(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2056d9ae7f2bSJakub Kicinski {
2057e663fe38SJakub Kicinski 	return mem_st(nfp_prog, meta, 1);
2058e663fe38SJakub Kicinski }
2059e663fe38SJakub Kicinski 
2060e663fe38SJakub Kicinski static int mem_st2(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2061e663fe38SJakub Kicinski {
2062e663fe38SJakub Kicinski 	return mem_st(nfp_prog, meta, 2);
2063e663fe38SJakub Kicinski }
2064e663fe38SJakub Kicinski 
2065e663fe38SJakub Kicinski static int mem_st4(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2066e663fe38SJakub Kicinski {
2067e663fe38SJakub Kicinski 	return mem_st(nfp_prog, meta, 4);
2068e663fe38SJakub Kicinski }
2069e663fe38SJakub Kicinski 
2070e663fe38SJakub Kicinski static int mem_st8(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2071e663fe38SJakub Kicinski {
2072e663fe38SJakub Kicinski 	return mem_st(nfp_prog, meta, 8);
2073e663fe38SJakub Kicinski }
2074e663fe38SJakub Kicinski 
2075e663fe38SJakub Kicinski static int
2076e663fe38SJakub Kicinski mem_stx_data(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
2077e663fe38SJakub Kicinski 	     unsigned int size)
2078e663fe38SJakub Kicinski {
2079e663fe38SJakub Kicinski 	swreg off_reg;
2080e663fe38SJakub Kicinski 
2081e663fe38SJakub Kicinski 	off_reg = re_load_imm_any(nfp_prog, meta->insn.off, imm_b(nfp_prog));
2082e663fe38SJakub Kicinski 
2083e663fe38SJakub Kicinski 	return data_stx_host_order(nfp_prog, meta->insn.dst_reg * 2, off_reg,
2084e663fe38SJakub Kicinski 				   meta->insn.src_reg * 2, size);
2085e663fe38SJakub Kicinski }
2086e663fe38SJakub Kicinski 
2087e663fe38SJakub Kicinski static int
2088ee9133a8SJakub Kicinski mem_stx_stack(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
2089d3488480SJakub Kicinski 	      unsigned int size, unsigned int ptr_off)
2090ee9133a8SJakub Kicinski {
2091d3488480SJakub Kicinski 	return mem_op_stack(nfp_prog, meta, size, ptr_off,
2092b14157eeSJakub Kicinski 			    meta->insn.src_reg * 2, meta->insn.dst_reg * 2,
2093b14157eeSJakub Kicinski 			    false, wrp_lmem_store);
2094ee9133a8SJakub Kicinski }
2095ee9133a8SJakub Kicinski 
2096ee9133a8SJakub Kicinski static int
2097e663fe38SJakub Kicinski mem_stx(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta,
2098e663fe38SJakub Kicinski 	unsigned int size)
2099e663fe38SJakub Kicinski {
2100e663fe38SJakub Kicinski 	if (meta->ptr.type == PTR_TO_PACKET)
2101e663fe38SJakub Kicinski 		return mem_stx_data(nfp_prog, meta, size);
2102e663fe38SJakub Kicinski 
2103ee9133a8SJakub Kicinski 	if (meta->ptr.type == PTR_TO_STACK)
2104d3488480SJakub Kicinski 		return mem_stx_stack(nfp_prog, meta, size,
2105d3488480SJakub Kicinski 				     meta->ptr.off + meta->ptr.var_off.value);
2106ee9133a8SJakub Kicinski 
2107d9ae7f2bSJakub Kicinski 	return -EOPNOTSUPP;
2108d9ae7f2bSJakub Kicinski }
2109d9ae7f2bSJakub Kicinski 
2110e663fe38SJakub Kicinski static int mem_stx1(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2111e663fe38SJakub Kicinski {
2112e663fe38SJakub Kicinski 	return mem_stx(nfp_prog, meta, 1);
2113e663fe38SJakub Kicinski }
2114e663fe38SJakub Kicinski 
2115e663fe38SJakub Kicinski static int mem_stx2(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2116e663fe38SJakub Kicinski {
2117e663fe38SJakub Kicinski 	return mem_stx(nfp_prog, meta, 2);
2118e663fe38SJakub Kicinski }
2119e663fe38SJakub Kicinski 
2120d9ae7f2bSJakub Kicinski static int mem_stx4(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2121d9ae7f2bSJakub Kicinski {
2122e663fe38SJakub Kicinski 	return mem_stx(nfp_prog, meta, 4);
2123e663fe38SJakub Kicinski }
21242ca71441SJakub Kicinski 
2125e663fe38SJakub Kicinski static int mem_stx8(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2126e663fe38SJakub Kicinski {
2127e663fe38SJakub Kicinski 	return mem_stx(nfp_prog, meta, 8);
2128d9ae7f2bSJakub Kicinski }
2129d9ae7f2bSJakub Kicinski 
2130d9ae7f2bSJakub Kicinski static int jump(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2131d9ae7f2bSJakub Kicinski {
2132d9ae7f2bSJakub Kicinski 	emit_br(nfp_prog, BR_UNC, meta->insn.off, 0);
2133d9ae7f2bSJakub Kicinski 
2134d9ae7f2bSJakub Kicinski 	return 0;
2135d9ae7f2bSJakub Kicinski }
2136d9ae7f2bSJakub Kicinski 
2137d9ae7f2bSJakub Kicinski static int jeq_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2138d9ae7f2bSJakub Kicinski {
2139d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
2140d9ae7f2bSJakub Kicinski 	u64 imm = insn->imm; /* sign extend */
2141b3f868dfSJakub Kicinski 	swreg or1, or2, tmp_reg;
2142b3f868dfSJakub Kicinski 
2143b3f868dfSJakub Kicinski 	or1 = reg_a(insn->dst_reg * 2);
2144b3f868dfSJakub Kicinski 	or2 = reg_b(insn->dst_reg * 2 + 1);
2145d9ae7f2bSJakub Kicinski 
2146d9ae7f2bSJakub Kicinski 	if (imm & ~0U) {
2147d9ae7f2bSJakub Kicinski 		tmp_reg = ur_load_imm_any(nfp_prog, imm & ~0U, imm_b(nfp_prog));
2148d9ae7f2bSJakub Kicinski 		emit_alu(nfp_prog, imm_a(nfp_prog),
2149d9ae7f2bSJakub Kicinski 			 reg_a(insn->dst_reg * 2), ALU_OP_XOR, tmp_reg);
2150d9ae7f2bSJakub Kicinski 		or1 = imm_a(nfp_prog);
2151d9ae7f2bSJakub Kicinski 	}
2152d9ae7f2bSJakub Kicinski 
2153d9ae7f2bSJakub Kicinski 	if (imm >> 32) {
2154d9ae7f2bSJakub Kicinski 		tmp_reg = ur_load_imm_any(nfp_prog, imm >> 32, imm_b(nfp_prog));
2155d9ae7f2bSJakub Kicinski 		emit_alu(nfp_prog, imm_b(nfp_prog),
2156d9ae7f2bSJakub Kicinski 			 reg_a(insn->dst_reg * 2 + 1), ALU_OP_XOR, tmp_reg);
2157d9ae7f2bSJakub Kicinski 		or2 = imm_b(nfp_prog);
2158d9ae7f2bSJakub Kicinski 	}
2159d9ae7f2bSJakub Kicinski 
2160d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_none(), or1, ALU_OP_OR, or2);
2161d9ae7f2bSJakub Kicinski 	emit_br(nfp_prog, BR_BEQ, insn->off, 0);
2162d9ae7f2bSJakub Kicinski 
2163d9ae7f2bSJakub Kicinski 	return 0;
2164d9ae7f2bSJakub Kicinski }
2165d9ae7f2bSJakub Kicinski 
2166d9ae7f2bSJakub Kicinski static int jgt_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2167d9ae7f2bSJakub Kicinski {
216826fa818dSJakub Kicinski 	return wrp_cmp_imm(nfp_prog, meta, BR_BLO, true);
2169d9ae7f2bSJakub Kicinski }
2170d9ae7f2bSJakub Kicinski 
2171d9ae7f2bSJakub Kicinski static int jge_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2172d9ae7f2bSJakub Kicinski {
217326fa818dSJakub Kicinski 	return wrp_cmp_imm(nfp_prog, meta, BR_BHS, false);
2174d9ae7f2bSJakub Kicinski }
2175d9ae7f2bSJakub Kicinski 
21765dd294d4SDaniel Borkmann static int jlt_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
21775dd294d4SDaniel Borkmann {
217826fa818dSJakub Kicinski 	return wrp_cmp_imm(nfp_prog, meta, BR_BLO, false);
21795dd294d4SDaniel Borkmann }
21805dd294d4SDaniel Borkmann 
21815dd294d4SDaniel Borkmann static int jle_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
21825dd294d4SDaniel Borkmann {
218326fa818dSJakub Kicinski 	return wrp_cmp_imm(nfp_prog, meta, BR_BHS, true);
21845dd294d4SDaniel Borkmann }
21855dd294d4SDaniel Borkmann 
2186c087aa8bSNic Viljoen static int jsgt_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2187c087aa8bSNic Viljoen {
2188c087aa8bSNic Viljoen 	return wrp_cmp_imm(nfp_prog, meta, BR_BLT, true);
2189c087aa8bSNic Viljoen }
2190c087aa8bSNic Viljoen 
2191c087aa8bSNic Viljoen static int jsge_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2192c087aa8bSNic Viljoen {
2193c087aa8bSNic Viljoen 	return wrp_cmp_imm(nfp_prog, meta, BR_BGE, false);
2194c087aa8bSNic Viljoen }
2195c087aa8bSNic Viljoen 
2196c087aa8bSNic Viljoen static int jslt_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2197c087aa8bSNic Viljoen {
2198c087aa8bSNic Viljoen 	return wrp_cmp_imm(nfp_prog, meta, BR_BLT, false);
2199c087aa8bSNic Viljoen }
2200c087aa8bSNic Viljoen 
2201c087aa8bSNic Viljoen static int jsle_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2202c087aa8bSNic Viljoen {
2203c087aa8bSNic Viljoen 	return wrp_cmp_imm(nfp_prog, meta, BR_BGE, true);
2204c087aa8bSNic Viljoen }
2205c087aa8bSNic Viljoen 
2206d9ae7f2bSJakub Kicinski static int jset_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2207d9ae7f2bSJakub Kicinski {
2208d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
2209d9ae7f2bSJakub Kicinski 	u64 imm = insn->imm; /* sign extend */
2210b3f868dfSJakub Kicinski 	swreg tmp_reg;
2211d9ae7f2bSJakub Kicinski 
2212d9ae7f2bSJakub Kicinski 	if (!imm) {
2213d9ae7f2bSJakub Kicinski 		meta->skip = true;
2214d9ae7f2bSJakub Kicinski 		return 0;
2215d9ae7f2bSJakub Kicinski 	}
2216d9ae7f2bSJakub Kicinski 
2217d9ae7f2bSJakub Kicinski 	if (imm & ~0U) {
2218d9ae7f2bSJakub Kicinski 		tmp_reg = ur_load_imm_any(nfp_prog, imm & ~0U, imm_b(nfp_prog));
2219d9ae7f2bSJakub Kicinski 		emit_alu(nfp_prog, reg_none(),
2220d9ae7f2bSJakub Kicinski 			 reg_a(insn->dst_reg * 2), ALU_OP_AND, tmp_reg);
2221d9ae7f2bSJakub Kicinski 		emit_br(nfp_prog, BR_BNE, insn->off, 0);
2222d9ae7f2bSJakub Kicinski 	}
2223d9ae7f2bSJakub Kicinski 
2224d9ae7f2bSJakub Kicinski 	if (imm >> 32) {
2225d9ae7f2bSJakub Kicinski 		tmp_reg = ur_load_imm_any(nfp_prog, imm >> 32, imm_b(nfp_prog));
2226d9ae7f2bSJakub Kicinski 		emit_alu(nfp_prog, reg_none(),
2227d9ae7f2bSJakub Kicinski 			 reg_a(insn->dst_reg * 2 + 1), ALU_OP_AND, tmp_reg);
2228d9ae7f2bSJakub Kicinski 		emit_br(nfp_prog, BR_BNE, insn->off, 0);
2229d9ae7f2bSJakub Kicinski 	}
2230d9ae7f2bSJakub Kicinski 
2231d9ae7f2bSJakub Kicinski 	return 0;
2232d9ae7f2bSJakub Kicinski }
2233d9ae7f2bSJakub Kicinski 
2234d9ae7f2bSJakub Kicinski static int jne_imm(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2235d9ae7f2bSJakub Kicinski {
2236d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
2237d9ae7f2bSJakub Kicinski 	u64 imm = insn->imm; /* sign extend */
2238b3f868dfSJakub Kicinski 	swreg tmp_reg;
2239d9ae7f2bSJakub Kicinski 
2240d9ae7f2bSJakub Kicinski 	if (!imm) {
2241d9ae7f2bSJakub Kicinski 		emit_alu(nfp_prog, reg_none(), reg_a(insn->dst_reg * 2),
2242d9ae7f2bSJakub Kicinski 			 ALU_OP_OR, reg_b(insn->dst_reg * 2 + 1));
2243d9ae7f2bSJakub Kicinski 		emit_br(nfp_prog, BR_BNE, insn->off, 0);
224482837370SJakub Kicinski 		return 0;
2245d9ae7f2bSJakub Kicinski 	}
2246d9ae7f2bSJakub Kicinski 
2247d9ae7f2bSJakub Kicinski 	tmp_reg = ur_load_imm_any(nfp_prog, imm & ~0U, imm_b(nfp_prog));
2248d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_none(),
2249d9ae7f2bSJakub Kicinski 		 reg_a(insn->dst_reg * 2), ALU_OP_XOR, tmp_reg);
2250d9ae7f2bSJakub Kicinski 	emit_br(nfp_prog, BR_BNE, insn->off, 0);
2251d9ae7f2bSJakub Kicinski 
2252d9ae7f2bSJakub Kicinski 	tmp_reg = ur_load_imm_any(nfp_prog, imm >> 32, imm_b(nfp_prog));
2253d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_none(),
2254d9ae7f2bSJakub Kicinski 		 reg_a(insn->dst_reg * 2 + 1), ALU_OP_XOR, tmp_reg);
2255d9ae7f2bSJakub Kicinski 	emit_br(nfp_prog, BR_BNE, insn->off, 0);
2256d9ae7f2bSJakub Kicinski 
2257d9ae7f2bSJakub Kicinski 	return 0;
2258d9ae7f2bSJakub Kicinski }
2259d9ae7f2bSJakub Kicinski 
2260d9ae7f2bSJakub Kicinski static int jeq_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2261d9ae7f2bSJakub Kicinski {
2262d9ae7f2bSJakub Kicinski 	const struct bpf_insn *insn = &meta->insn;
2263d9ae7f2bSJakub Kicinski 
2264d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, imm_a(nfp_prog), reg_a(insn->dst_reg * 2),
2265d9ae7f2bSJakub Kicinski 		 ALU_OP_XOR, reg_b(insn->src_reg * 2));
2266d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, imm_b(nfp_prog), reg_a(insn->dst_reg * 2 + 1),
2267d9ae7f2bSJakub Kicinski 		 ALU_OP_XOR, reg_b(insn->src_reg * 2 + 1));
2268d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_none(),
2269d9ae7f2bSJakub Kicinski 		 imm_a(nfp_prog), ALU_OP_OR, imm_b(nfp_prog));
2270d9ae7f2bSJakub Kicinski 	emit_br(nfp_prog, BR_BEQ, insn->off, 0);
2271d9ae7f2bSJakub Kicinski 
2272d9ae7f2bSJakub Kicinski 	return 0;
2273d9ae7f2bSJakub Kicinski }
2274d9ae7f2bSJakub Kicinski 
2275d9ae7f2bSJakub Kicinski static int jgt_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2276d9ae7f2bSJakub Kicinski {
227726fa818dSJakub Kicinski 	return wrp_cmp_reg(nfp_prog, meta, BR_BLO, true);
2278d9ae7f2bSJakub Kicinski }
2279d9ae7f2bSJakub Kicinski 
2280d9ae7f2bSJakub Kicinski static int jge_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2281d9ae7f2bSJakub Kicinski {
228226fa818dSJakub Kicinski 	return wrp_cmp_reg(nfp_prog, meta, BR_BHS, false);
2283d9ae7f2bSJakub Kicinski }
2284d9ae7f2bSJakub Kicinski 
22855dd294d4SDaniel Borkmann static int jlt_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
22865dd294d4SDaniel Borkmann {
228726fa818dSJakub Kicinski 	return wrp_cmp_reg(nfp_prog, meta, BR_BLO, false);
22885dd294d4SDaniel Borkmann }
22895dd294d4SDaniel Borkmann 
22905dd294d4SDaniel Borkmann static int jle_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
22915dd294d4SDaniel Borkmann {
229226fa818dSJakub Kicinski 	return wrp_cmp_reg(nfp_prog, meta, BR_BHS, true);
22935dd294d4SDaniel Borkmann }
22945dd294d4SDaniel Borkmann 
2295c087aa8bSNic Viljoen static int jsgt_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2296c087aa8bSNic Viljoen {
2297c087aa8bSNic Viljoen 	return wrp_cmp_reg(nfp_prog, meta, BR_BLT, true);
2298c087aa8bSNic Viljoen }
2299c087aa8bSNic Viljoen 
2300c087aa8bSNic Viljoen static int jsge_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2301c087aa8bSNic Viljoen {
2302c087aa8bSNic Viljoen 	return wrp_cmp_reg(nfp_prog, meta, BR_BGE, false);
2303c087aa8bSNic Viljoen }
2304c087aa8bSNic Viljoen 
2305c087aa8bSNic Viljoen static int jslt_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2306c087aa8bSNic Viljoen {
2307c087aa8bSNic Viljoen 	return wrp_cmp_reg(nfp_prog, meta, BR_BLT, false);
2308c087aa8bSNic Viljoen }
2309c087aa8bSNic Viljoen 
2310c087aa8bSNic Viljoen static int jsle_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2311c087aa8bSNic Viljoen {
2312c087aa8bSNic Viljoen 	return wrp_cmp_reg(nfp_prog, meta, BR_BGE, true);
2313c087aa8bSNic Viljoen }
2314c087aa8bSNic Viljoen 
2315d9ae7f2bSJakub Kicinski static int jset_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2316d9ae7f2bSJakub Kicinski {
2317d9ae7f2bSJakub Kicinski 	return wrp_test_reg(nfp_prog, meta, ALU_OP_AND, BR_BNE);
2318d9ae7f2bSJakub Kicinski }
2319d9ae7f2bSJakub Kicinski 
2320d9ae7f2bSJakub Kicinski static int jne_reg(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2321d9ae7f2bSJakub Kicinski {
2322d9ae7f2bSJakub Kicinski 	return wrp_test_reg(nfp_prog, meta, ALU_OP_XOR, BR_BNE);
2323d9ae7f2bSJakub Kicinski }
2324d9ae7f2bSJakub Kicinski 
23252cb230bdSJakub Kicinski static int call(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
23262cb230bdSJakub Kicinski {
23272cb230bdSJakub Kicinski 	switch (meta->insn.imm) {
23280d49eaf4SJakub Kicinski 	case BPF_FUNC_xdp_adjust_head:
23290d49eaf4SJakub Kicinski 		return adjust_head(nfp_prog, meta);
233077a3d311SJakub Kicinski 	case BPF_FUNC_map_lookup_elem:
233144d65a47SJakub Kicinski 	case BPF_FUNC_map_update_elem:
2332fc448497SJakub Kicinski 		return map_call_stack_common(nfp_prog, meta);
23332cb230bdSJakub Kicinski 	default:
23342cb230bdSJakub Kicinski 		WARN_ONCE(1, "verifier allowed unsupported function\n");
23352cb230bdSJakub Kicinski 		return -EOPNOTSUPP;
23362cb230bdSJakub Kicinski 	}
23372cb230bdSJakub Kicinski }
23382cb230bdSJakub Kicinski 
2339d9ae7f2bSJakub Kicinski static int goto_out(struct nfp_prog *nfp_prog, struct nfp_insn_meta *meta)
2340d9ae7f2bSJakub Kicinski {
2341e84797feSJakub Kicinski 	emit_br_relo(nfp_prog, BR_UNC, BR_OFF_RELO, 0, RELO_BR_GO_OUT);
2342d9ae7f2bSJakub Kicinski 
2343d9ae7f2bSJakub Kicinski 	return 0;
2344d9ae7f2bSJakub Kicinski }
2345d9ae7f2bSJakub Kicinski 
2346d9ae7f2bSJakub Kicinski static const instr_cb_t instr_cb[256] = {
2347d9ae7f2bSJakub Kicinski 	[BPF_ALU64 | BPF_MOV | BPF_X] =	mov_reg64,
2348d9ae7f2bSJakub Kicinski 	[BPF_ALU64 | BPF_MOV | BPF_K] =	mov_imm64,
2349d9ae7f2bSJakub Kicinski 	[BPF_ALU64 | BPF_XOR | BPF_X] =	xor_reg64,
2350d9ae7f2bSJakub Kicinski 	[BPF_ALU64 | BPF_XOR | BPF_K] =	xor_imm64,
2351d9ae7f2bSJakub Kicinski 	[BPF_ALU64 | BPF_AND | BPF_X] =	and_reg64,
2352d9ae7f2bSJakub Kicinski 	[BPF_ALU64 | BPF_AND | BPF_K] =	and_imm64,
2353d9ae7f2bSJakub Kicinski 	[BPF_ALU64 | BPF_OR | BPF_X] =	or_reg64,
2354d9ae7f2bSJakub Kicinski 	[BPF_ALU64 | BPF_OR | BPF_K] =	or_imm64,
2355d9ae7f2bSJakub Kicinski 	[BPF_ALU64 | BPF_ADD | BPF_X] =	add_reg64,
2356d9ae7f2bSJakub Kicinski 	[BPF_ALU64 | BPF_ADD | BPF_K] =	add_imm64,
2357d9ae7f2bSJakub Kicinski 	[BPF_ALU64 | BPF_SUB | BPF_X] =	sub_reg64,
2358d9ae7f2bSJakub Kicinski 	[BPF_ALU64 | BPF_SUB | BPF_K] =	sub_imm64,
2359254ef4d7SJiong Wang 	[BPF_ALU64 | BPF_NEG] =		neg_reg64,
2360d9ae7f2bSJakub Kicinski 	[BPF_ALU64 | BPF_LSH | BPF_K] =	shl_imm64,
2361d9ae7f2bSJakub Kicinski 	[BPF_ALU64 | BPF_RSH | BPF_K] =	shr_imm64,
2362d9ae7f2bSJakub Kicinski 	[BPF_ALU | BPF_MOV | BPF_X] =	mov_reg,
2363d9ae7f2bSJakub Kicinski 	[BPF_ALU | BPF_MOV | BPF_K] =	mov_imm,
2364d9ae7f2bSJakub Kicinski 	[BPF_ALU | BPF_XOR | BPF_X] =	xor_reg,
2365d9ae7f2bSJakub Kicinski 	[BPF_ALU | BPF_XOR | BPF_K] =	xor_imm,
2366d9ae7f2bSJakub Kicinski 	[BPF_ALU | BPF_AND | BPF_X] =	and_reg,
2367d9ae7f2bSJakub Kicinski 	[BPF_ALU | BPF_AND | BPF_K] =	and_imm,
2368d9ae7f2bSJakub Kicinski 	[BPF_ALU | BPF_OR | BPF_X] =	or_reg,
2369d9ae7f2bSJakub Kicinski 	[BPF_ALU | BPF_OR | BPF_K] =	or_imm,
2370d9ae7f2bSJakub Kicinski 	[BPF_ALU | BPF_ADD | BPF_X] =	add_reg,
2371d9ae7f2bSJakub Kicinski 	[BPF_ALU | BPF_ADD | BPF_K] =	add_imm,
2372d9ae7f2bSJakub Kicinski 	[BPF_ALU | BPF_SUB | BPF_X] =	sub_reg,
2373d9ae7f2bSJakub Kicinski 	[BPF_ALU | BPF_SUB | BPF_K] =	sub_imm,
2374254ef4d7SJiong Wang 	[BPF_ALU | BPF_NEG] =		neg_reg,
2375d9ae7f2bSJakub Kicinski 	[BPF_ALU | BPF_LSH | BPF_K] =	shl_imm,
23763119d1fdSJakub Kicinski 	[BPF_ALU | BPF_END | BPF_X] =	end_reg32,
2377d9ae7f2bSJakub Kicinski 	[BPF_LD | BPF_IMM | BPF_DW] =	imm_ld8,
2378d9ae7f2bSJakub Kicinski 	[BPF_LD | BPF_ABS | BPF_B] =	data_ld1,
2379d9ae7f2bSJakub Kicinski 	[BPF_LD | BPF_ABS | BPF_H] =	data_ld2,
2380d9ae7f2bSJakub Kicinski 	[BPF_LD | BPF_ABS | BPF_W] =	data_ld4,
2381d9ae7f2bSJakub Kicinski 	[BPF_LD | BPF_IND | BPF_B] =	data_ind_ld1,
2382d9ae7f2bSJakub Kicinski 	[BPF_LD | BPF_IND | BPF_H] =	data_ind_ld2,
2383d9ae7f2bSJakub Kicinski 	[BPF_LD | BPF_IND | BPF_W] =	data_ind_ld4,
23842ca71441SJakub Kicinski 	[BPF_LDX | BPF_MEM | BPF_B] =	mem_ldx1,
23852ca71441SJakub Kicinski 	[BPF_LDX | BPF_MEM | BPF_H] =	mem_ldx2,
2386d9ae7f2bSJakub Kicinski 	[BPF_LDX | BPF_MEM | BPF_W] =	mem_ldx4,
23872ca71441SJakub Kicinski 	[BPF_LDX | BPF_MEM | BPF_DW] =	mem_ldx8,
2388e663fe38SJakub Kicinski 	[BPF_STX | BPF_MEM | BPF_B] =	mem_stx1,
2389e663fe38SJakub Kicinski 	[BPF_STX | BPF_MEM | BPF_H] =	mem_stx2,
2390d9ae7f2bSJakub Kicinski 	[BPF_STX | BPF_MEM | BPF_W] =	mem_stx4,
2391e663fe38SJakub Kicinski 	[BPF_STX | BPF_MEM | BPF_DW] =	mem_stx8,
2392e663fe38SJakub Kicinski 	[BPF_ST | BPF_MEM | BPF_B] =	mem_st1,
2393e663fe38SJakub Kicinski 	[BPF_ST | BPF_MEM | BPF_H] =	mem_st2,
2394e663fe38SJakub Kicinski 	[BPF_ST | BPF_MEM | BPF_W] =	mem_st4,
2395e663fe38SJakub Kicinski 	[BPF_ST | BPF_MEM | BPF_DW] =	mem_st8,
2396d9ae7f2bSJakub Kicinski 	[BPF_JMP | BPF_JA | BPF_K] =	jump,
2397d9ae7f2bSJakub Kicinski 	[BPF_JMP | BPF_JEQ | BPF_K] =	jeq_imm,
2398d9ae7f2bSJakub Kicinski 	[BPF_JMP | BPF_JGT | BPF_K] =	jgt_imm,
2399d9ae7f2bSJakub Kicinski 	[BPF_JMP | BPF_JGE | BPF_K] =	jge_imm,
24005dd294d4SDaniel Borkmann 	[BPF_JMP | BPF_JLT | BPF_K] =	jlt_imm,
24015dd294d4SDaniel Borkmann 	[BPF_JMP | BPF_JLE | BPF_K] =	jle_imm,
2402c087aa8bSNic Viljoen 	[BPF_JMP | BPF_JSGT | BPF_K] =  jsgt_imm,
2403c087aa8bSNic Viljoen 	[BPF_JMP | BPF_JSGE | BPF_K] =  jsge_imm,
2404c087aa8bSNic Viljoen 	[BPF_JMP | BPF_JSLT | BPF_K] =  jslt_imm,
2405c087aa8bSNic Viljoen 	[BPF_JMP | BPF_JSLE | BPF_K] =  jsle_imm,
2406d9ae7f2bSJakub Kicinski 	[BPF_JMP | BPF_JSET | BPF_K] =	jset_imm,
2407d9ae7f2bSJakub Kicinski 	[BPF_JMP | BPF_JNE | BPF_K] =	jne_imm,
2408d9ae7f2bSJakub Kicinski 	[BPF_JMP | BPF_JEQ | BPF_X] =	jeq_reg,
2409d9ae7f2bSJakub Kicinski 	[BPF_JMP | BPF_JGT | BPF_X] =	jgt_reg,
2410d9ae7f2bSJakub Kicinski 	[BPF_JMP | BPF_JGE | BPF_X] =	jge_reg,
24115dd294d4SDaniel Borkmann 	[BPF_JMP | BPF_JLT | BPF_X] =	jlt_reg,
24125dd294d4SDaniel Borkmann 	[BPF_JMP | BPF_JLE | BPF_X] =	jle_reg,
2413c087aa8bSNic Viljoen 	[BPF_JMP | BPF_JSGT | BPF_X] =  jsgt_reg,
2414c087aa8bSNic Viljoen 	[BPF_JMP | BPF_JSGE | BPF_X] =  jsge_reg,
2415c087aa8bSNic Viljoen 	[BPF_JMP | BPF_JSLT | BPF_X] =  jslt_reg,
2416c087aa8bSNic Viljoen 	[BPF_JMP | BPF_JSLE | BPF_X] =  jsle_reg,
2417d9ae7f2bSJakub Kicinski 	[BPF_JMP | BPF_JSET | BPF_X] =	jset_reg,
2418d9ae7f2bSJakub Kicinski 	[BPF_JMP | BPF_JNE | BPF_X] =	jne_reg,
24192cb230bdSJakub Kicinski 	[BPF_JMP | BPF_CALL] =		call,
2420d9ae7f2bSJakub Kicinski 	[BPF_JMP | BPF_EXIT] =		goto_out,
2421d9ae7f2bSJakub Kicinski };
2422d9ae7f2bSJakub Kicinski 
2423d9ae7f2bSJakub Kicinski /* --- Assembler logic --- */
2424d9ae7f2bSJakub Kicinski static int nfp_fixup_branches(struct nfp_prog *nfp_prog)
2425d9ae7f2bSJakub Kicinski {
24265b674140SJiong Wang 	struct nfp_insn_meta *meta, *jmp_dst;
2427854dc87dSJiong Wang 	u32 idx, br_idx;
2428d9ae7f2bSJakub Kicinski 
2429854dc87dSJiong Wang 	list_for_each_entry(meta, &nfp_prog->insns, l) {
2430d9ae7f2bSJakub Kicinski 		if (meta->skip)
2431d9ae7f2bSJakub Kicinski 			continue;
24322cb230bdSJakub Kicinski 		if (meta->insn.code == (BPF_JMP | BPF_CALL))
24332cb230bdSJakub Kicinski 			continue;
2434d9ae7f2bSJakub Kicinski 		if (BPF_CLASS(meta->insn.code) != BPF_JMP)
2435d9ae7f2bSJakub Kicinski 			continue;
2436d9ae7f2bSJakub Kicinski 
24375b674140SJiong Wang 		if (list_is_last(&meta->l, &nfp_prog->insns))
24382314fe9eSJakub Kicinski 			br_idx = nfp_prog->last_bpf_off;
24395b674140SJiong Wang 		else
24402314fe9eSJakub Kicinski 			br_idx = list_next_entry(meta, l)->off - 1;
2441854dc87dSJiong Wang 
2442d9ae7f2bSJakub Kicinski 		if (!nfp_is_br(nfp_prog->prog[br_idx])) {
2443d9ae7f2bSJakub Kicinski 			pr_err("Fixup found block not ending in branch %d %02x %016llx!!\n",
2444d9ae7f2bSJakub Kicinski 			       br_idx, meta->insn.code, nfp_prog->prog[br_idx]);
2445d9ae7f2bSJakub Kicinski 			return -ELOOP;
2446d9ae7f2bSJakub Kicinski 		}
2447d9ae7f2bSJakub Kicinski 		/* Leave special branches for later */
24482314fe9eSJakub Kicinski 		if (FIELD_GET(OP_RELO_TYPE, nfp_prog->prog[br_idx]) !=
24492314fe9eSJakub Kicinski 		    RELO_BR_REL)
2450d9ae7f2bSJakub Kicinski 			continue;
2451d9ae7f2bSJakub Kicinski 
24525b674140SJiong Wang 		if (!meta->jmp_dst) {
24535b674140SJiong Wang 			pr_err("Non-exit jump doesn't have destination info recorded!!\n");
2454d9ae7f2bSJakub Kicinski 			return -ELOOP;
2455d9ae7f2bSJakub Kicinski 		}
2456d9ae7f2bSJakub Kicinski 
24575b674140SJiong Wang 		jmp_dst = meta->jmp_dst;
2458854dc87dSJiong Wang 
24595b674140SJiong Wang 		if (jmp_dst->skip) {
2460d9ae7f2bSJakub Kicinski 			pr_err("Branch landing on removed instruction!!\n");
2461d9ae7f2bSJakub Kicinski 			return -ELOOP;
2462d9ae7f2bSJakub Kicinski 		}
2463d9ae7f2bSJakub Kicinski 
24642314fe9eSJakub Kicinski 		for (idx = meta->off; idx <= br_idx; idx++) {
2465d9ae7f2bSJakub Kicinski 			if (!nfp_is_br(nfp_prog->prog[idx]))
2466d9ae7f2bSJakub Kicinski 				continue;
24675b674140SJiong Wang 			br_set_offset(&nfp_prog->prog[idx], jmp_dst->off);
2468d9ae7f2bSJakub Kicinski 		}
2469d9ae7f2bSJakub Kicinski 	}
2470d9ae7f2bSJakub Kicinski 
2471d9ae7f2bSJakub Kicinski 	return 0;
2472d9ae7f2bSJakub Kicinski }
2473d9ae7f2bSJakub Kicinski 
2474d9ae7f2bSJakub Kicinski static void nfp_intro(struct nfp_prog *nfp_prog)
2475d9ae7f2bSJakub Kicinski {
247618e53b6cSJakub Kicinski 	wrp_immed(nfp_prog, plen_reg(nfp_prog), GENMASK(13, 0));
247718e53b6cSJakub Kicinski 	emit_alu(nfp_prog, plen_reg(nfp_prog),
247818e53b6cSJakub Kicinski 		 plen_reg(nfp_prog), ALU_OP_AND, pv_len(nfp_prog));
2479d9ae7f2bSJakub Kicinski }
2480d9ae7f2bSJakub Kicinski 
2481d9ae7f2bSJakub Kicinski static void nfp_outro_tc_da(struct nfp_prog *nfp_prog)
2482d9ae7f2bSJakub Kicinski {
2483d9ae7f2bSJakub Kicinski 	/* TC direct-action mode:
2484d9ae7f2bSJakub Kicinski 	 *   0,1   ok        NOT SUPPORTED[1]
2485d9ae7f2bSJakub Kicinski 	 *   2   drop  0x22 -> drop,  count as stat1
2486d9ae7f2bSJakub Kicinski 	 *   4,5 nuke  0x02 -> drop
2487d9ae7f2bSJakub Kicinski 	 *   7  redir  0x44 -> redir, count as stat2
2488d9ae7f2bSJakub Kicinski 	 *   * unspec  0x11 -> pass,  count as stat0
2489d9ae7f2bSJakub Kicinski 	 *
2490d9ae7f2bSJakub Kicinski 	 * [1] We can't support OK and RECLASSIFY because we can't tell TC
2491d9ae7f2bSJakub Kicinski 	 *     the exact decision made.  We are forced to support UNSPEC
2492d9ae7f2bSJakub Kicinski 	 *     to handle aborts so that's the only one we handle for passing
2493d9ae7f2bSJakub Kicinski 	 *     packets up the stack.
2494d9ae7f2bSJakub Kicinski 	 */
2495d9ae7f2bSJakub Kicinski 	/* Target for aborts */
2496d9ae7f2bSJakub Kicinski 	nfp_prog->tgt_abort = nfp_prog_current_offset(nfp_prog);
2497d9ae7f2bSJakub Kicinski 
2498e84797feSJakub Kicinski 	emit_br_relo(nfp_prog, BR_UNC, BR_OFF_RELO, 2, RELO_BR_NEXT_PKT);
2499d9ae7f2bSJakub Kicinski 
2500c000dfb5SJakub Kicinski 	wrp_mov(nfp_prog, reg_a(0), NFP_BPF_ABI_FLAGS);
2501d9ae7f2bSJakub Kicinski 	emit_ld_field(nfp_prog, reg_a(0), 0xc, reg_imm(0x11), SHF_SC_L_SHF, 16);
2502d9ae7f2bSJakub Kicinski 
2503d9ae7f2bSJakub Kicinski 	/* Target for normal exits */
2504d9ae7f2bSJakub Kicinski 	nfp_prog->tgt_out = nfp_prog_current_offset(nfp_prog);
2505d9ae7f2bSJakub Kicinski 
2506d9ae7f2bSJakub Kicinski 	/* if R0 > 7 jump to abort */
2507d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_none(), reg_imm(7), ALU_OP_SUB, reg_b(0));
2508d9ae7f2bSJakub Kicinski 	emit_br(nfp_prog, BR_BLO, nfp_prog->tgt_abort, 0);
2509c000dfb5SJakub Kicinski 	wrp_mov(nfp_prog, reg_a(0), NFP_BPF_ABI_FLAGS);
2510d9ae7f2bSJakub Kicinski 
2511d9ae7f2bSJakub Kicinski 	wrp_immed(nfp_prog, reg_b(2), 0x41221211);
2512d9ae7f2bSJakub Kicinski 	wrp_immed(nfp_prog, reg_b(3), 0x41001211);
2513d9ae7f2bSJakub Kicinski 
2514d9ae7f2bSJakub Kicinski 	emit_shf(nfp_prog, reg_a(1),
2515d9ae7f2bSJakub Kicinski 		 reg_none(), SHF_OP_NONE, reg_b(0), SHF_SC_L_SHF, 2);
2516d9ae7f2bSJakub Kicinski 
2517d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_none(), reg_a(1), ALU_OP_OR, reg_imm(0));
2518d9ae7f2bSJakub Kicinski 	emit_shf(nfp_prog, reg_a(2),
2519d9ae7f2bSJakub Kicinski 		 reg_imm(0xf), SHF_OP_AND, reg_b(2), SHF_SC_R_SHF, 0);
2520d9ae7f2bSJakub Kicinski 
2521d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_none(), reg_a(1), ALU_OP_OR, reg_imm(0));
2522d9ae7f2bSJakub Kicinski 	emit_shf(nfp_prog, reg_b(2),
2523d9ae7f2bSJakub Kicinski 		 reg_imm(0xf), SHF_OP_AND, reg_b(3), SHF_SC_R_SHF, 0);
2524d9ae7f2bSJakub Kicinski 
2525e84797feSJakub Kicinski 	emit_br_relo(nfp_prog, BR_UNC, BR_OFF_RELO, 2, RELO_BR_NEXT_PKT);
2526d9ae7f2bSJakub Kicinski 
2527d9ae7f2bSJakub Kicinski 	emit_shf(nfp_prog, reg_b(2),
2528d9ae7f2bSJakub Kicinski 		 reg_a(2), SHF_OP_OR, reg_b(2), SHF_SC_L_SHF, 4);
2529d9ae7f2bSJakub Kicinski 	emit_ld_field(nfp_prog, reg_a(0), 0xc, reg_b(2), SHF_SC_L_SHF, 16);
2530d9ae7f2bSJakub Kicinski }
2531d9ae7f2bSJakub Kicinski 
2532d9ae7f2bSJakub Kicinski static void nfp_outro_xdp(struct nfp_prog *nfp_prog)
2533d9ae7f2bSJakub Kicinski {
2534d9ae7f2bSJakub Kicinski 	/* XDP return codes:
2535d9ae7f2bSJakub Kicinski 	 *   0 aborted  0x82 -> drop,  count as stat3
2536d9ae7f2bSJakub Kicinski 	 *   1    drop  0x22 -> drop,  count as stat1
2537d9ae7f2bSJakub Kicinski 	 *   2    pass  0x11 -> pass,  count as stat0
2538d9ae7f2bSJakub Kicinski 	 *   3      tx  0x44 -> redir, count as stat2
2539d9ae7f2bSJakub Kicinski 	 *   * unknown  0x82 -> drop,  count as stat3
2540d9ae7f2bSJakub Kicinski 	 */
2541d9ae7f2bSJakub Kicinski 	/* Target for aborts */
2542d9ae7f2bSJakub Kicinski 	nfp_prog->tgt_abort = nfp_prog_current_offset(nfp_prog);
2543d9ae7f2bSJakub Kicinski 
2544e84797feSJakub Kicinski 	emit_br_relo(nfp_prog, BR_UNC, BR_OFF_RELO, 2, RELO_BR_NEXT_PKT);
2545d9ae7f2bSJakub Kicinski 
2546c000dfb5SJakub Kicinski 	wrp_mov(nfp_prog, reg_a(0), NFP_BPF_ABI_FLAGS);
2547d9ae7f2bSJakub Kicinski 	emit_ld_field(nfp_prog, reg_a(0), 0xc, reg_imm(0x82), SHF_SC_L_SHF, 16);
2548d9ae7f2bSJakub Kicinski 
2549d9ae7f2bSJakub Kicinski 	/* Target for normal exits */
2550d9ae7f2bSJakub Kicinski 	nfp_prog->tgt_out = nfp_prog_current_offset(nfp_prog);
2551d9ae7f2bSJakub Kicinski 
2552d9ae7f2bSJakub Kicinski 	/* if R0 > 3 jump to abort */
2553d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_none(), reg_imm(3), ALU_OP_SUB, reg_b(0));
2554d9ae7f2bSJakub Kicinski 	emit_br(nfp_prog, BR_BLO, nfp_prog->tgt_abort, 0);
2555d9ae7f2bSJakub Kicinski 
2556d9ae7f2bSJakub Kicinski 	wrp_immed(nfp_prog, reg_b(2), 0x44112282);
2557d9ae7f2bSJakub Kicinski 
2558d9ae7f2bSJakub Kicinski 	emit_shf(nfp_prog, reg_a(1),
2559d9ae7f2bSJakub Kicinski 		 reg_none(), SHF_OP_NONE, reg_b(0), SHF_SC_L_SHF, 3);
2560d9ae7f2bSJakub Kicinski 
2561d9ae7f2bSJakub Kicinski 	emit_alu(nfp_prog, reg_none(), reg_a(1), ALU_OP_OR, reg_imm(0));
2562d9ae7f2bSJakub Kicinski 	emit_shf(nfp_prog, reg_b(2),
2563d9ae7f2bSJakub Kicinski 		 reg_imm(0xff), SHF_OP_AND, reg_b(2), SHF_SC_R_SHF, 0);
2564d9ae7f2bSJakub Kicinski 
2565e84797feSJakub Kicinski 	emit_br_relo(nfp_prog, BR_UNC, BR_OFF_RELO, 2, RELO_BR_NEXT_PKT);
2566d9ae7f2bSJakub Kicinski 
2567c000dfb5SJakub Kicinski 	wrp_mov(nfp_prog, reg_a(0), NFP_BPF_ABI_FLAGS);
2568d9ae7f2bSJakub Kicinski 	emit_ld_field(nfp_prog, reg_a(0), 0xc, reg_b(2), SHF_SC_L_SHF, 16);
2569d9ae7f2bSJakub Kicinski }
2570d9ae7f2bSJakub Kicinski 
2571d9ae7f2bSJakub Kicinski static void nfp_outro(struct nfp_prog *nfp_prog)
2572d9ae7f2bSJakub Kicinski {
2573012bb8a8SJakub Kicinski 	switch (nfp_prog->type) {
2574012bb8a8SJakub Kicinski 	case BPF_PROG_TYPE_SCHED_CLS:
2575d9ae7f2bSJakub Kicinski 		nfp_outro_tc_da(nfp_prog);
2576d9ae7f2bSJakub Kicinski 		break;
2577012bb8a8SJakub Kicinski 	case BPF_PROG_TYPE_XDP:
2578d9ae7f2bSJakub Kicinski 		nfp_outro_xdp(nfp_prog);
2579d9ae7f2bSJakub Kicinski 		break;
2580012bb8a8SJakub Kicinski 	default:
2581012bb8a8SJakub Kicinski 		WARN_ON(1);
2582d9ae7f2bSJakub Kicinski 	}
2583d9ae7f2bSJakub Kicinski }
2584d9ae7f2bSJakub Kicinski 
2585d9ae7f2bSJakub Kicinski static int nfp_translate(struct nfp_prog *nfp_prog)
2586d9ae7f2bSJakub Kicinski {
2587d9ae7f2bSJakub Kicinski 	struct nfp_insn_meta *meta;
2588ff42bb9fSJakub Kicinski 	int err;
2589d9ae7f2bSJakub Kicinski 
2590d9ae7f2bSJakub Kicinski 	nfp_intro(nfp_prog);
2591d9ae7f2bSJakub Kicinski 	if (nfp_prog->error)
2592d9ae7f2bSJakub Kicinski 		return nfp_prog->error;
2593d9ae7f2bSJakub Kicinski 
2594d9ae7f2bSJakub Kicinski 	list_for_each_entry(meta, &nfp_prog->insns, l) {
2595d9ae7f2bSJakub Kicinski 		instr_cb_t cb = instr_cb[meta->insn.code];
2596d9ae7f2bSJakub Kicinski 
2597d9ae7f2bSJakub Kicinski 		meta->off = nfp_prog_current_offset(nfp_prog);
2598d9ae7f2bSJakub Kicinski 
2599d9ae7f2bSJakub Kicinski 		if (meta->skip) {
2600d9ae7f2bSJakub Kicinski 			nfp_prog->n_translated++;
2601d9ae7f2bSJakub Kicinski 			continue;
2602d9ae7f2bSJakub Kicinski 		}
2603d9ae7f2bSJakub Kicinski 
2604d9ae7f2bSJakub Kicinski 		if (nfp_meta_has_prev(nfp_prog, meta) &&
2605d9ae7f2bSJakub Kicinski 		    nfp_meta_prev(meta)->double_cb)
2606d9ae7f2bSJakub Kicinski 			cb = nfp_meta_prev(meta)->double_cb;
2607d9ae7f2bSJakub Kicinski 		if (!cb)
2608d9ae7f2bSJakub Kicinski 			return -ENOENT;
2609d9ae7f2bSJakub Kicinski 		err = cb(nfp_prog, meta);
2610d9ae7f2bSJakub Kicinski 		if (err)
2611d9ae7f2bSJakub Kicinski 			return err;
2612d9ae7f2bSJakub Kicinski 
2613d9ae7f2bSJakub Kicinski 		nfp_prog->n_translated++;
2614d9ae7f2bSJakub Kicinski 	}
2615d9ae7f2bSJakub Kicinski 
2616854dc87dSJiong Wang 	nfp_prog->last_bpf_off = nfp_prog_current_offset(nfp_prog) - 1;
2617854dc87dSJiong Wang 
2618d9ae7f2bSJakub Kicinski 	nfp_outro(nfp_prog);
2619d9ae7f2bSJakub Kicinski 	if (nfp_prog->error)
2620d9ae7f2bSJakub Kicinski 		return nfp_prog->error;
2621d9ae7f2bSJakub Kicinski 
2622ff42bb9fSJakub Kicinski 	wrp_nops(nfp_prog, NFP_USTORE_PREFETCH_WINDOW);
26231c03e03fSJakub Kicinski 	if (nfp_prog->error)
26241c03e03fSJakub Kicinski 		return nfp_prog->error;
26251c03e03fSJakub Kicinski 
2626d9ae7f2bSJakub Kicinski 	return nfp_fixup_branches(nfp_prog);
2627d9ae7f2bSJakub Kicinski }
2628d9ae7f2bSJakub Kicinski 
2629d9ae7f2bSJakub Kicinski /* --- Optimizations --- */
2630d9ae7f2bSJakub Kicinski static void nfp_bpf_opt_reg_init(struct nfp_prog *nfp_prog)
2631d9ae7f2bSJakub Kicinski {
2632d9ae7f2bSJakub Kicinski 	struct nfp_insn_meta *meta;
2633d9ae7f2bSJakub Kicinski 
2634d9ae7f2bSJakub Kicinski 	list_for_each_entry(meta, &nfp_prog->insns, l) {
2635d9ae7f2bSJakub Kicinski 		struct bpf_insn insn = meta->insn;
2636d9ae7f2bSJakub Kicinski 
2637d9ae7f2bSJakub Kicinski 		/* Programs converted from cBPF start with register xoring */
2638d9ae7f2bSJakub Kicinski 		if (insn.code == (BPF_ALU64 | BPF_XOR | BPF_X) &&
2639d9ae7f2bSJakub Kicinski 		    insn.src_reg == insn.dst_reg)
2640d9ae7f2bSJakub Kicinski 			continue;
2641d9ae7f2bSJakub Kicinski 
2642d9ae7f2bSJakub Kicinski 		/* Programs start with R6 = R1 but we ignore the skb pointer */
2643d9ae7f2bSJakub Kicinski 		if (insn.code == (BPF_ALU64 | BPF_MOV | BPF_X) &&
2644d9ae7f2bSJakub Kicinski 		    insn.src_reg == 1 && insn.dst_reg == 6)
2645d9ae7f2bSJakub Kicinski 			meta->skip = true;
2646d9ae7f2bSJakub Kicinski 
2647d9ae7f2bSJakub Kicinski 		/* Return as soon as something doesn't match */
2648d9ae7f2bSJakub Kicinski 		if (!meta->skip)
2649d9ae7f2bSJakub Kicinski 			return;
2650d9ae7f2bSJakub Kicinski 	}
2651d9ae7f2bSJakub Kicinski }
2652d9ae7f2bSJakub Kicinski 
2653d9ae7f2bSJakub Kicinski /* Remove masking after load since our load guarantees this is not needed */
2654d9ae7f2bSJakub Kicinski static void nfp_bpf_opt_ld_mask(struct nfp_prog *nfp_prog)
2655d9ae7f2bSJakub Kicinski {
2656d9ae7f2bSJakub Kicinski 	struct nfp_insn_meta *meta1, *meta2;
2657d9ae7f2bSJakub Kicinski 	const s32 exp_mask[] = {
2658d9ae7f2bSJakub Kicinski 		[BPF_B] = 0x000000ffU,
2659d9ae7f2bSJakub Kicinski 		[BPF_H] = 0x0000ffffU,
2660d9ae7f2bSJakub Kicinski 		[BPF_W] = 0xffffffffU,
2661d9ae7f2bSJakub Kicinski 	};
2662d9ae7f2bSJakub Kicinski 
2663d9ae7f2bSJakub Kicinski 	nfp_for_each_insn_walk2(nfp_prog, meta1, meta2) {
2664d9ae7f2bSJakub Kicinski 		struct bpf_insn insn, next;
2665d9ae7f2bSJakub Kicinski 
2666d9ae7f2bSJakub Kicinski 		insn = meta1->insn;
2667d9ae7f2bSJakub Kicinski 		next = meta2->insn;
2668d9ae7f2bSJakub Kicinski 
2669d9ae7f2bSJakub Kicinski 		if (BPF_CLASS(insn.code) != BPF_LD)
2670d9ae7f2bSJakub Kicinski 			continue;
2671d9ae7f2bSJakub Kicinski 		if (BPF_MODE(insn.code) != BPF_ABS &&
2672d9ae7f2bSJakub Kicinski 		    BPF_MODE(insn.code) != BPF_IND)
2673d9ae7f2bSJakub Kicinski 			continue;
2674d9ae7f2bSJakub Kicinski 
2675d9ae7f2bSJakub Kicinski 		if (next.code != (BPF_ALU64 | BPF_AND | BPF_K))
2676d9ae7f2bSJakub Kicinski 			continue;
2677d9ae7f2bSJakub Kicinski 
2678d9ae7f2bSJakub Kicinski 		if (!exp_mask[BPF_SIZE(insn.code)])
2679d9ae7f2bSJakub Kicinski 			continue;
2680d9ae7f2bSJakub Kicinski 		if (exp_mask[BPF_SIZE(insn.code)] != next.imm)
2681d9ae7f2bSJakub Kicinski 			continue;
2682d9ae7f2bSJakub Kicinski 
2683d9ae7f2bSJakub Kicinski 		if (next.src_reg || next.dst_reg)
2684d9ae7f2bSJakub Kicinski 			continue;
2685d9ae7f2bSJakub Kicinski 
26861266f5d6SJiong Wang 		if (meta2->flags & FLAG_INSN_IS_JUMP_DST)
26871266f5d6SJiong Wang 			continue;
26881266f5d6SJiong Wang 
2689d9ae7f2bSJakub Kicinski 		meta2->skip = true;
2690d9ae7f2bSJakub Kicinski 	}
2691d9ae7f2bSJakub Kicinski }
2692d9ae7f2bSJakub Kicinski 
2693d9ae7f2bSJakub Kicinski static void nfp_bpf_opt_ld_shift(struct nfp_prog *nfp_prog)
2694d9ae7f2bSJakub Kicinski {
2695d9ae7f2bSJakub Kicinski 	struct nfp_insn_meta *meta1, *meta2, *meta3;
2696d9ae7f2bSJakub Kicinski 
2697d9ae7f2bSJakub Kicinski 	nfp_for_each_insn_walk3(nfp_prog, meta1, meta2, meta3) {
2698d9ae7f2bSJakub Kicinski 		struct bpf_insn insn, next1, next2;
2699d9ae7f2bSJakub Kicinski 
2700d9ae7f2bSJakub Kicinski 		insn = meta1->insn;
2701d9ae7f2bSJakub Kicinski 		next1 = meta2->insn;
2702d9ae7f2bSJakub Kicinski 		next2 = meta3->insn;
2703d9ae7f2bSJakub Kicinski 
2704d9ae7f2bSJakub Kicinski 		if (BPF_CLASS(insn.code) != BPF_LD)
2705d9ae7f2bSJakub Kicinski 			continue;
2706d9ae7f2bSJakub Kicinski 		if (BPF_MODE(insn.code) != BPF_ABS &&
2707d9ae7f2bSJakub Kicinski 		    BPF_MODE(insn.code) != BPF_IND)
2708d9ae7f2bSJakub Kicinski 			continue;
2709d9ae7f2bSJakub Kicinski 		if (BPF_SIZE(insn.code) != BPF_W)
2710d9ae7f2bSJakub Kicinski 			continue;
2711d9ae7f2bSJakub Kicinski 
2712d9ae7f2bSJakub Kicinski 		if (!(next1.code == (BPF_LSH | BPF_K | BPF_ALU64) &&
2713d9ae7f2bSJakub Kicinski 		      next2.code == (BPF_RSH | BPF_K | BPF_ALU64)) &&
2714d9ae7f2bSJakub Kicinski 		    !(next1.code == (BPF_RSH | BPF_K | BPF_ALU64) &&
2715d9ae7f2bSJakub Kicinski 		      next2.code == (BPF_LSH | BPF_K | BPF_ALU64)))
2716d9ae7f2bSJakub Kicinski 			continue;
2717d9ae7f2bSJakub Kicinski 
2718d9ae7f2bSJakub Kicinski 		if (next1.src_reg || next1.dst_reg ||
2719d9ae7f2bSJakub Kicinski 		    next2.src_reg || next2.dst_reg)
2720d9ae7f2bSJakub Kicinski 			continue;
2721d9ae7f2bSJakub Kicinski 
2722d9ae7f2bSJakub Kicinski 		if (next1.imm != 0x20 || next2.imm != 0x20)
2723d9ae7f2bSJakub Kicinski 			continue;
2724d9ae7f2bSJakub Kicinski 
272529fe46efSJiong Wang 		if (meta2->flags & FLAG_INSN_IS_JUMP_DST ||
272629fe46efSJiong Wang 		    meta3->flags & FLAG_INSN_IS_JUMP_DST)
272729fe46efSJiong Wang 			continue;
272829fe46efSJiong Wang 
2729d9ae7f2bSJakub Kicinski 		meta2->skip = true;
2730d9ae7f2bSJakub Kicinski 		meta3->skip = true;
2731d9ae7f2bSJakub Kicinski 	}
2732d9ae7f2bSJakub Kicinski }
2733d9ae7f2bSJakub Kicinski 
27346bc7103cSJiong Wang /* load/store pair that forms memory copy sould look like the following:
27356bc7103cSJiong Wang  *
27366bc7103cSJiong Wang  *   ld_width R, [addr_src + offset_src]
27376bc7103cSJiong Wang  *   st_width [addr_dest + offset_dest], R
27386bc7103cSJiong Wang  *
27396bc7103cSJiong Wang  * The destination register of load and source register of store should
27406bc7103cSJiong Wang  * be the same, load and store should also perform at the same width.
27416bc7103cSJiong Wang  * If either of addr_src or addr_dest is stack pointer, we don't do the
27426bc7103cSJiong Wang  * CPP optimization as stack is modelled by registers on NFP.
27436bc7103cSJiong Wang  */
27446bc7103cSJiong Wang static bool
27456bc7103cSJiong Wang curr_pair_is_memcpy(struct nfp_insn_meta *ld_meta,
27466bc7103cSJiong Wang 		    struct nfp_insn_meta *st_meta)
27476bc7103cSJiong Wang {
27486bc7103cSJiong Wang 	struct bpf_insn *ld = &ld_meta->insn;
27496bc7103cSJiong Wang 	struct bpf_insn *st = &st_meta->insn;
27506bc7103cSJiong Wang 
27516bc7103cSJiong Wang 	if (!is_mbpf_load(ld_meta) || !is_mbpf_store(st_meta))
27526bc7103cSJiong Wang 		return false;
27536bc7103cSJiong Wang 
27546bc7103cSJiong Wang 	if (ld_meta->ptr.type != PTR_TO_PACKET)
27556bc7103cSJiong Wang 		return false;
27566bc7103cSJiong Wang 
27576bc7103cSJiong Wang 	if (st_meta->ptr.type != PTR_TO_PACKET)
27586bc7103cSJiong Wang 		return false;
27596bc7103cSJiong Wang 
27606bc7103cSJiong Wang 	if (BPF_SIZE(ld->code) != BPF_SIZE(st->code))
27616bc7103cSJiong Wang 		return false;
27626bc7103cSJiong Wang 
27636bc7103cSJiong Wang 	if (ld->dst_reg != st->src_reg)
27646bc7103cSJiong Wang 		return false;
27656bc7103cSJiong Wang 
27666bc7103cSJiong Wang 	/* There is jump to the store insn in this pair. */
27676bc7103cSJiong Wang 	if (st_meta->flags & FLAG_INSN_IS_JUMP_DST)
27686bc7103cSJiong Wang 		return false;
27696bc7103cSJiong Wang 
27706bc7103cSJiong Wang 	return true;
27716bc7103cSJiong Wang }
27726bc7103cSJiong Wang 
27736bc7103cSJiong Wang /* Currently, we only support chaining load/store pairs if:
27746bc7103cSJiong Wang  *
27756bc7103cSJiong Wang  *  - Their address base registers are the same.
27766bc7103cSJiong Wang  *  - Their address offsets are in the same order.
27776bc7103cSJiong Wang  *  - They operate at the same memory width.
27786bc7103cSJiong Wang  *  - There is no jump into the middle of them.
27796bc7103cSJiong Wang  */
27806bc7103cSJiong Wang static bool
27816bc7103cSJiong Wang curr_pair_chain_with_previous(struct nfp_insn_meta *ld_meta,
27826bc7103cSJiong Wang 			      struct nfp_insn_meta *st_meta,
27836bc7103cSJiong Wang 			      struct bpf_insn *prev_ld,
27846bc7103cSJiong Wang 			      struct bpf_insn *prev_st)
27856bc7103cSJiong Wang {
27866bc7103cSJiong Wang 	u8 prev_size, curr_size, prev_ld_base, prev_st_base, prev_ld_dst;
27876bc7103cSJiong Wang 	struct bpf_insn *ld = &ld_meta->insn;
27886bc7103cSJiong Wang 	struct bpf_insn *st = &st_meta->insn;
27896bc7103cSJiong Wang 	s16 prev_ld_off, prev_st_off;
27906bc7103cSJiong Wang 
27916bc7103cSJiong Wang 	/* This pair is the start pair. */
27926bc7103cSJiong Wang 	if (!prev_ld)
27936bc7103cSJiong Wang 		return true;
27946bc7103cSJiong Wang 
27956bc7103cSJiong Wang 	prev_size = BPF_LDST_BYTES(prev_ld);
27966bc7103cSJiong Wang 	curr_size = BPF_LDST_BYTES(ld);
27976bc7103cSJiong Wang 	prev_ld_base = prev_ld->src_reg;
27986bc7103cSJiong Wang 	prev_st_base = prev_st->dst_reg;
27996bc7103cSJiong Wang 	prev_ld_dst = prev_ld->dst_reg;
28006bc7103cSJiong Wang 	prev_ld_off = prev_ld->off;
28016bc7103cSJiong Wang 	prev_st_off = prev_st->off;
28026bc7103cSJiong Wang 
28036bc7103cSJiong Wang 	if (ld->dst_reg != prev_ld_dst)
28046bc7103cSJiong Wang 		return false;
28056bc7103cSJiong Wang 
28066bc7103cSJiong Wang 	if (ld->src_reg != prev_ld_base || st->dst_reg != prev_st_base)
28076bc7103cSJiong Wang 		return false;
28086bc7103cSJiong Wang 
28096bc7103cSJiong Wang 	if (curr_size != prev_size)
28106bc7103cSJiong Wang 		return false;
28116bc7103cSJiong Wang 
28126bc7103cSJiong Wang 	/* There is jump to the head of this pair. */
28136bc7103cSJiong Wang 	if (ld_meta->flags & FLAG_INSN_IS_JUMP_DST)
28146bc7103cSJiong Wang 		return false;
28156bc7103cSJiong Wang 
28166bc7103cSJiong Wang 	/* Both in ascending order. */
28176bc7103cSJiong Wang 	if (prev_ld_off + prev_size == ld->off &&
28186bc7103cSJiong Wang 	    prev_st_off + prev_size == st->off)
28196bc7103cSJiong Wang 		return true;
28206bc7103cSJiong Wang 
28216bc7103cSJiong Wang 	/* Both in descending order. */
28226bc7103cSJiong Wang 	if (ld->off + curr_size == prev_ld_off &&
28236bc7103cSJiong Wang 	    st->off + curr_size == prev_st_off)
28246bc7103cSJiong Wang 		return true;
28256bc7103cSJiong Wang 
28266bc7103cSJiong Wang 	return false;
28276bc7103cSJiong Wang }
28286bc7103cSJiong Wang 
28296bc7103cSJiong Wang /* Return TRUE if cross memory access happens. Cross memory access means
28306bc7103cSJiong Wang  * store area is overlapping with load area that a later load might load
28316bc7103cSJiong Wang  * the value from previous store, for this case we can't treat the sequence
28326bc7103cSJiong Wang  * as an memory copy.
28336bc7103cSJiong Wang  */
28346bc7103cSJiong Wang static bool
28356bc7103cSJiong Wang cross_mem_access(struct bpf_insn *ld, struct nfp_insn_meta *head_ld_meta,
28366bc7103cSJiong Wang 		 struct nfp_insn_meta *head_st_meta)
28376bc7103cSJiong Wang {
28386bc7103cSJiong Wang 	s16 head_ld_off, head_st_off, ld_off;
28396bc7103cSJiong Wang 
28406bc7103cSJiong Wang 	/* Different pointer types does not overlap. */
28416bc7103cSJiong Wang 	if (head_ld_meta->ptr.type != head_st_meta->ptr.type)
28426bc7103cSJiong Wang 		return false;
28436bc7103cSJiong Wang 
28446bc7103cSJiong Wang 	/* load and store are both PTR_TO_PACKET, check ID info.  */
28456bc7103cSJiong Wang 	if (head_ld_meta->ptr.id != head_st_meta->ptr.id)
28466bc7103cSJiong Wang 		return true;
28476bc7103cSJiong Wang 
28486bc7103cSJiong Wang 	/* Canonicalize the offsets. Turn all of them against the original
28496bc7103cSJiong Wang 	 * base register.
28506bc7103cSJiong Wang 	 */
28516bc7103cSJiong Wang 	head_ld_off = head_ld_meta->insn.off + head_ld_meta->ptr.off;
28526bc7103cSJiong Wang 	head_st_off = head_st_meta->insn.off + head_st_meta->ptr.off;
28536bc7103cSJiong Wang 	ld_off = ld->off + head_ld_meta->ptr.off;
28546bc7103cSJiong Wang 
28556bc7103cSJiong Wang 	/* Ascending order cross. */
28566bc7103cSJiong Wang 	if (ld_off > head_ld_off &&
28576bc7103cSJiong Wang 	    head_ld_off < head_st_off && ld_off >= head_st_off)
28586bc7103cSJiong Wang 		return true;
28596bc7103cSJiong Wang 
28606bc7103cSJiong Wang 	/* Descending order cross. */
28616bc7103cSJiong Wang 	if (ld_off < head_ld_off &&
28626bc7103cSJiong Wang 	    head_ld_off > head_st_off && ld_off <= head_st_off)
28636bc7103cSJiong Wang 		return true;
28646bc7103cSJiong Wang 
28656bc7103cSJiong Wang 	return false;
28666bc7103cSJiong Wang }
28676bc7103cSJiong Wang 
28686bc7103cSJiong Wang /* This pass try to identify the following instructoin sequences.
28696bc7103cSJiong Wang  *
28706bc7103cSJiong Wang  *   load R, [regA + offA]
28716bc7103cSJiong Wang  *   store [regB + offB], R
28726bc7103cSJiong Wang  *   load R, [regA + offA + const_imm_A]
28736bc7103cSJiong Wang  *   store [regB + offB + const_imm_A], R
28746bc7103cSJiong Wang  *   load R, [regA + offA + 2 * const_imm_A]
28756bc7103cSJiong Wang  *   store [regB + offB + 2 * const_imm_A], R
28766bc7103cSJiong Wang  *   ...
28776bc7103cSJiong Wang  *
28786bc7103cSJiong Wang  * Above sequence is typically generated by compiler when lowering
28796bc7103cSJiong Wang  * memcpy. NFP prefer using CPP instructions to accelerate it.
28806bc7103cSJiong Wang  */
28816bc7103cSJiong Wang static void nfp_bpf_opt_ldst_gather(struct nfp_prog *nfp_prog)
28826bc7103cSJiong Wang {
28836bc7103cSJiong Wang 	struct nfp_insn_meta *head_ld_meta = NULL;
28846bc7103cSJiong Wang 	struct nfp_insn_meta *head_st_meta = NULL;
28856bc7103cSJiong Wang 	struct nfp_insn_meta *meta1, *meta2;
28866bc7103cSJiong Wang 	struct bpf_insn *prev_ld = NULL;
28876bc7103cSJiong Wang 	struct bpf_insn *prev_st = NULL;
28886bc7103cSJiong Wang 	u8 count = 0;
28896bc7103cSJiong Wang 
28906bc7103cSJiong Wang 	nfp_for_each_insn_walk2(nfp_prog, meta1, meta2) {
28916bc7103cSJiong Wang 		struct bpf_insn *ld = &meta1->insn;
28926bc7103cSJiong Wang 		struct bpf_insn *st = &meta2->insn;
28936bc7103cSJiong Wang 
28946bc7103cSJiong Wang 		/* Reset record status if any of the following if true:
28956bc7103cSJiong Wang 		 *   - The current insn pair is not load/store.
28966bc7103cSJiong Wang 		 *   - The load/store pair doesn't chain with previous one.
28976bc7103cSJiong Wang 		 *   - The chained load/store pair crossed with previous pair.
28986bc7103cSJiong Wang 		 *   - The chained load/store pair has a total size of memory
28996bc7103cSJiong Wang 		 *     copy beyond 128 bytes which is the maximum length a
29006bc7103cSJiong Wang 		 *     single NFP CPP command can transfer.
29016bc7103cSJiong Wang 		 */
29026bc7103cSJiong Wang 		if (!curr_pair_is_memcpy(meta1, meta2) ||
29036bc7103cSJiong Wang 		    !curr_pair_chain_with_previous(meta1, meta2, prev_ld,
29046bc7103cSJiong Wang 						   prev_st) ||
29056bc7103cSJiong Wang 		    (head_ld_meta && (cross_mem_access(ld, head_ld_meta,
29066bc7103cSJiong Wang 						       head_st_meta) ||
29076bc7103cSJiong Wang 				      head_ld_meta->ldst_gather_len >= 128))) {
29086bc7103cSJiong Wang 			if (!count)
29096bc7103cSJiong Wang 				continue;
29106bc7103cSJiong Wang 
29116bc7103cSJiong Wang 			if (count > 1) {
29126bc7103cSJiong Wang 				s16 prev_ld_off = prev_ld->off;
29136bc7103cSJiong Wang 				s16 prev_st_off = prev_st->off;
29146bc7103cSJiong Wang 				s16 head_ld_off = head_ld_meta->insn.off;
29156bc7103cSJiong Wang 
29166bc7103cSJiong Wang 				if (prev_ld_off < head_ld_off) {
29176bc7103cSJiong Wang 					head_ld_meta->insn.off = prev_ld_off;
29186bc7103cSJiong Wang 					head_st_meta->insn.off = prev_st_off;
29196bc7103cSJiong Wang 					head_ld_meta->ldst_gather_len =
29206bc7103cSJiong Wang 						-head_ld_meta->ldst_gather_len;
29216bc7103cSJiong Wang 				}
29226bc7103cSJiong Wang 
29236bc7103cSJiong Wang 				head_ld_meta->paired_st = &head_st_meta->insn;
29246bc7103cSJiong Wang 				head_st_meta->skip = true;
29256bc7103cSJiong Wang 			} else {
29266bc7103cSJiong Wang 				head_ld_meta->ldst_gather_len = 0;
29276bc7103cSJiong Wang 			}
29286bc7103cSJiong Wang 
29296bc7103cSJiong Wang 			/* If the chain is ended by an load/store pair then this
29306bc7103cSJiong Wang 			 * could serve as the new head of the the next chain.
29316bc7103cSJiong Wang 			 */
29326bc7103cSJiong Wang 			if (curr_pair_is_memcpy(meta1, meta2)) {
29336bc7103cSJiong Wang 				head_ld_meta = meta1;
29346bc7103cSJiong Wang 				head_st_meta = meta2;
29356bc7103cSJiong Wang 				head_ld_meta->ldst_gather_len =
29366bc7103cSJiong Wang 					BPF_LDST_BYTES(ld);
29376bc7103cSJiong Wang 				meta1 = nfp_meta_next(meta1);
29386bc7103cSJiong Wang 				meta2 = nfp_meta_next(meta2);
29396bc7103cSJiong Wang 				prev_ld = ld;
29406bc7103cSJiong Wang 				prev_st = st;
29416bc7103cSJiong Wang 				count = 1;
29426bc7103cSJiong Wang 			} else {
29436bc7103cSJiong Wang 				head_ld_meta = NULL;
29446bc7103cSJiong Wang 				head_st_meta = NULL;
29456bc7103cSJiong Wang 				prev_ld = NULL;
29466bc7103cSJiong Wang 				prev_st = NULL;
29476bc7103cSJiong Wang 				count = 0;
29486bc7103cSJiong Wang 			}
29496bc7103cSJiong Wang 
29506bc7103cSJiong Wang 			continue;
29516bc7103cSJiong Wang 		}
29526bc7103cSJiong Wang 
29536bc7103cSJiong Wang 		if (!head_ld_meta) {
29546bc7103cSJiong Wang 			head_ld_meta = meta1;
29556bc7103cSJiong Wang 			head_st_meta = meta2;
29566bc7103cSJiong Wang 		} else {
29576bc7103cSJiong Wang 			meta1->skip = true;
29586bc7103cSJiong Wang 			meta2->skip = true;
29596bc7103cSJiong Wang 		}
29606bc7103cSJiong Wang 
29616bc7103cSJiong Wang 		head_ld_meta->ldst_gather_len += BPF_LDST_BYTES(ld);
29626bc7103cSJiong Wang 		meta1 = nfp_meta_next(meta1);
29636bc7103cSJiong Wang 		meta2 = nfp_meta_next(meta2);
29646bc7103cSJiong Wang 		prev_ld = ld;
29656bc7103cSJiong Wang 		prev_st = st;
29666bc7103cSJiong Wang 		count++;
29676bc7103cSJiong Wang 	}
29686bc7103cSJiong Wang }
29696bc7103cSJiong Wang 
297087b10ecdSJiong Wang static void nfp_bpf_opt_pkt_cache(struct nfp_prog *nfp_prog)
297187b10ecdSJiong Wang {
297287b10ecdSJiong Wang 	struct nfp_insn_meta *meta, *range_node = NULL;
297387b10ecdSJiong Wang 	s16 range_start = 0, range_end = 0;
297487b10ecdSJiong Wang 	bool cache_avail = false;
297587b10ecdSJiong Wang 	struct bpf_insn *insn;
297687b10ecdSJiong Wang 	s32 range_ptr_off = 0;
297787b10ecdSJiong Wang 	u32 range_ptr_id = 0;
297887b10ecdSJiong Wang 
297987b10ecdSJiong Wang 	list_for_each_entry(meta, &nfp_prog->insns, l) {
298087b10ecdSJiong Wang 		if (meta->flags & FLAG_INSN_IS_JUMP_DST)
298187b10ecdSJiong Wang 			cache_avail = false;
298287b10ecdSJiong Wang 
298387b10ecdSJiong Wang 		if (meta->skip)
298487b10ecdSJiong Wang 			continue;
298587b10ecdSJiong Wang 
298687b10ecdSJiong Wang 		insn = &meta->insn;
298787b10ecdSJiong Wang 
298887b10ecdSJiong Wang 		if (is_mbpf_store_pkt(meta) ||
298987b10ecdSJiong Wang 		    insn->code == (BPF_JMP | BPF_CALL) ||
299087b10ecdSJiong Wang 		    is_mbpf_classic_store_pkt(meta) ||
299187b10ecdSJiong Wang 		    is_mbpf_classic_load(meta)) {
299287b10ecdSJiong Wang 			cache_avail = false;
299387b10ecdSJiong Wang 			continue;
299487b10ecdSJiong Wang 		}
299587b10ecdSJiong Wang 
299687b10ecdSJiong Wang 		if (!is_mbpf_load(meta))
299787b10ecdSJiong Wang 			continue;
299887b10ecdSJiong Wang 
299987b10ecdSJiong Wang 		if (meta->ptr.type != PTR_TO_PACKET || meta->ldst_gather_len) {
300087b10ecdSJiong Wang 			cache_avail = false;
300187b10ecdSJiong Wang 			continue;
300287b10ecdSJiong Wang 		}
300387b10ecdSJiong Wang 
300487b10ecdSJiong Wang 		if (!cache_avail) {
300587b10ecdSJiong Wang 			cache_avail = true;
300687b10ecdSJiong Wang 			if (range_node)
300787b10ecdSJiong Wang 				goto end_current_then_start_new;
300887b10ecdSJiong Wang 			goto start_new;
300987b10ecdSJiong Wang 		}
301087b10ecdSJiong Wang 
301187b10ecdSJiong Wang 		/* Check ID to make sure two reads share the same
301287b10ecdSJiong Wang 		 * variable offset against PTR_TO_PACKET, and check OFF
301387b10ecdSJiong Wang 		 * to make sure they also share the same constant
301487b10ecdSJiong Wang 		 * offset.
301587b10ecdSJiong Wang 		 *
301687b10ecdSJiong Wang 		 * OFFs don't really need to be the same, because they
301787b10ecdSJiong Wang 		 * are the constant offsets against PTR_TO_PACKET, so
301887b10ecdSJiong Wang 		 * for different OFFs, we could canonicalize them to
301987b10ecdSJiong Wang 		 * offsets against original packet pointer. We don't
302087b10ecdSJiong Wang 		 * support this.
302187b10ecdSJiong Wang 		 */
302287b10ecdSJiong Wang 		if (meta->ptr.id == range_ptr_id &&
302387b10ecdSJiong Wang 		    meta->ptr.off == range_ptr_off) {
302487b10ecdSJiong Wang 			s16 new_start = range_start;
302587b10ecdSJiong Wang 			s16 end, off = insn->off;
302687b10ecdSJiong Wang 			s16 new_end = range_end;
302787b10ecdSJiong Wang 			bool changed = false;
302887b10ecdSJiong Wang 
302987b10ecdSJiong Wang 			if (off < range_start) {
303087b10ecdSJiong Wang 				new_start = off;
303187b10ecdSJiong Wang 				changed = true;
303287b10ecdSJiong Wang 			}
303387b10ecdSJiong Wang 
303487b10ecdSJiong Wang 			end = off + BPF_LDST_BYTES(insn);
303587b10ecdSJiong Wang 			if (end > range_end) {
303687b10ecdSJiong Wang 				new_end = end;
303787b10ecdSJiong Wang 				changed = true;
303887b10ecdSJiong Wang 			}
303987b10ecdSJiong Wang 
304087b10ecdSJiong Wang 			if (!changed)
304187b10ecdSJiong Wang 				continue;
304287b10ecdSJiong Wang 
304387b10ecdSJiong Wang 			if (new_end - new_start <= 64) {
304487b10ecdSJiong Wang 				/* Install new range. */
304587b10ecdSJiong Wang 				range_start = new_start;
304687b10ecdSJiong Wang 				range_end = new_end;
304787b10ecdSJiong Wang 				continue;
304887b10ecdSJiong Wang 			}
304987b10ecdSJiong Wang 		}
305087b10ecdSJiong Wang 
305187b10ecdSJiong Wang end_current_then_start_new:
305287b10ecdSJiong Wang 		range_node->pkt_cache.range_start = range_start;
305387b10ecdSJiong Wang 		range_node->pkt_cache.range_end = range_end;
305487b10ecdSJiong Wang start_new:
305587b10ecdSJiong Wang 		range_node = meta;
305687b10ecdSJiong Wang 		range_node->pkt_cache.do_init = true;
305787b10ecdSJiong Wang 		range_ptr_id = range_node->ptr.id;
305887b10ecdSJiong Wang 		range_ptr_off = range_node->ptr.off;
305987b10ecdSJiong Wang 		range_start = insn->off;
306087b10ecdSJiong Wang 		range_end = insn->off + BPF_LDST_BYTES(insn);
306187b10ecdSJiong Wang 	}
306287b10ecdSJiong Wang 
306387b10ecdSJiong Wang 	if (range_node) {
306487b10ecdSJiong Wang 		range_node->pkt_cache.range_start = range_start;
306587b10ecdSJiong Wang 		range_node->pkt_cache.range_end = range_end;
306687b10ecdSJiong Wang 	}
306787b10ecdSJiong Wang 
306887b10ecdSJiong Wang 	list_for_each_entry(meta, &nfp_prog->insns, l) {
306987b10ecdSJiong Wang 		if (meta->skip)
307087b10ecdSJiong Wang 			continue;
307187b10ecdSJiong Wang 
307287b10ecdSJiong Wang 		if (is_mbpf_load_pkt(meta) && !meta->ldst_gather_len) {
307387b10ecdSJiong Wang 			if (meta->pkt_cache.do_init) {
307487b10ecdSJiong Wang 				range_start = meta->pkt_cache.range_start;
307587b10ecdSJiong Wang 				range_end = meta->pkt_cache.range_end;
307687b10ecdSJiong Wang 			} else {
307787b10ecdSJiong Wang 				meta->pkt_cache.range_start = range_start;
307887b10ecdSJiong Wang 				meta->pkt_cache.range_end = range_end;
307987b10ecdSJiong Wang 			}
308087b10ecdSJiong Wang 		}
308187b10ecdSJiong Wang 	}
308287b10ecdSJiong Wang }
308387b10ecdSJiong Wang 
3084d9ae7f2bSJakub Kicinski static int nfp_bpf_optimize(struct nfp_prog *nfp_prog)
3085d9ae7f2bSJakub Kicinski {
3086d9ae7f2bSJakub Kicinski 	nfp_bpf_opt_reg_init(nfp_prog);
3087d9ae7f2bSJakub Kicinski 
3088d9ae7f2bSJakub Kicinski 	nfp_bpf_opt_ld_mask(nfp_prog);
3089d9ae7f2bSJakub Kicinski 	nfp_bpf_opt_ld_shift(nfp_prog);
30906bc7103cSJiong Wang 	nfp_bpf_opt_ldst_gather(nfp_prog);
309187b10ecdSJiong Wang 	nfp_bpf_opt_pkt_cache(nfp_prog);
3092d9ae7f2bSJakub Kicinski 
3093d9ae7f2bSJakub Kicinski 	return 0;
3094d9ae7f2bSJakub Kicinski }
3095d9ae7f2bSJakub Kicinski 
30962314fe9eSJakub Kicinski static int nfp_bpf_ustore_calc(u64 *prog, unsigned int len)
3097fd068ddcSJakub Kicinski {
30982314fe9eSJakub Kicinski 	__le64 *ustore = (__force __le64 *)prog;
3099fd068ddcSJakub Kicinski 	int i;
3100fd068ddcSJakub Kicinski 
31012314fe9eSJakub Kicinski 	for (i = 0; i < len; i++) {
3102fd068ddcSJakub Kicinski 		int err;
3103fd068ddcSJakub Kicinski 
31042314fe9eSJakub Kicinski 		err = nfp_ustore_check_valid_no_ecc(prog[i]);
3105fd068ddcSJakub Kicinski 		if (err)
3106fd068ddcSJakub Kicinski 			return err;
3107fd068ddcSJakub Kicinski 
31082314fe9eSJakub Kicinski 		ustore[i] = cpu_to_le64(nfp_ustore_calc_ecc_insn(prog[i]));
3109fd068ddcSJakub Kicinski 	}
3110fd068ddcSJakub Kicinski 
3111fd068ddcSJakub Kicinski 	return 0;
3112fd068ddcSJakub Kicinski }
3113fd068ddcSJakub Kicinski 
311444a12eccSJakub Kicinski static void nfp_bpf_prog_trim(struct nfp_prog *nfp_prog)
311544a12eccSJakub Kicinski {
311644a12eccSJakub Kicinski 	void *prog;
311744a12eccSJakub Kicinski 
311844a12eccSJakub Kicinski 	prog = kvmalloc_array(nfp_prog->prog_len, sizeof(u64), GFP_KERNEL);
311944a12eccSJakub Kicinski 	if (!prog)
312044a12eccSJakub Kicinski 		return;
312144a12eccSJakub Kicinski 
312244a12eccSJakub Kicinski 	nfp_prog->__prog_alloc_len = nfp_prog->prog_len * sizeof(u64);
312344a12eccSJakub Kicinski 	memcpy(prog, nfp_prog->prog, nfp_prog->__prog_alloc_len);
312444a12eccSJakub Kicinski 	kvfree(nfp_prog->prog);
312544a12eccSJakub Kicinski 	nfp_prog->prog = prog;
312644a12eccSJakub Kicinski }
312744a12eccSJakub Kicinski 
3128c6c580d7SJakub Kicinski int nfp_bpf_jit(struct nfp_prog *nfp_prog)
3129d9ae7f2bSJakub Kicinski {
3130d9ae7f2bSJakub Kicinski 	int ret;
3131d9ae7f2bSJakub Kicinski 
3132d9ae7f2bSJakub Kicinski 	ret = nfp_bpf_optimize(nfp_prog);
3133d9ae7f2bSJakub Kicinski 	if (ret)
31349314c442SJakub Kicinski 		return ret;
3135d9ae7f2bSJakub Kicinski 
3136d9ae7f2bSJakub Kicinski 	ret = nfp_translate(nfp_prog);
3137d9ae7f2bSJakub Kicinski 	if (ret) {
3138d9ae7f2bSJakub Kicinski 		pr_err("Translation failed with error %d (translated: %u)\n",
3139d9ae7f2bSJakub Kicinski 		       ret, nfp_prog->n_translated);
31409314c442SJakub Kicinski 		return -EINVAL;
3141d9ae7f2bSJakub Kicinski 	}
3142d9ae7f2bSJakub Kicinski 
314344a12eccSJakub Kicinski 	nfp_bpf_prog_trim(nfp_prog);
314444a12eccSJakub Kicinski 
31452314fe9eSJakub Kicinski 	return ret;
3146d9ae7f2bSJakub Kicinski }
31471549921dSJakub Kicinski 
31481549921dSJakub Kicinski void nfp_bpf_jit_prepare(struct nfp_prog *nfp_prog, unsigned int cnt)
31491549921dSJakub Kicinski {
31501549921dSJakub Kicinski 	struct nfp_insn_meta *meta;
31511549921dSJakub Kicinski 
31521549921dSJakub Kicinski 	/* Another pass to record jump information. */
31531549921dSJakub Kicinski 	list_for_each_entry(meta, &nfp_prog->insns, l) {
31541549921dSJakub Kicinski 		u64 code = meta->insn.code;
31551549921dSJakub Kicinski 
31561549921dSJakub Kicinski 		if (BPF_CLASS(code) == BPF_JMP && BPF_OP(code) != BPF_EXIT &&
31571549921dSJakub Kicinski 		    BPF_OP(code) != BPF_CALL) {
31581549921dSJakub Kicinski 			struct nfp_insn_meta *dst_meta;
31591549921dSJakub Kicinski 			unsigned short dst_indx;
31601549921dSJakub Kicinski 
31611549921dSJakub Kicinski 			dst_indx = meta->n + 1 + meta->insn.off;
31621549921dSJakub Kicinski 			dst_meta = nfp_bpf_goto_meta(nfp_prog, meta, dst_indx,
31631549921dSJakub Kicinski 						     cnt);
31641549921dSJakub Kicinski 
31651549921dSJakub Kicinski 			meta->jmp_dst = dst_meta;
31661549921dSJakub Kicinski 			dst_meta->flags |= FLAG_INSN_IS_JUMP_DST;
31671549921dSJakub Kicinski 		}
31681549921dSJakub Kicinski 	}
31691549921dSJakub Kicinski }
31702314fe9eSJakub Kicinski 
317174801e50SQuentin Monnet bool nfp_bpf_supported_opcode(u8 code)
317274801e50SQuentin Monnet {
317374801e50SQuentin Monnet 	return !!instr_cb[code];
317474801e50SQuentin Monnet }
317574801e50SQuentin Monnet 
31762314fe9eSJakub Kicinski void *nfp_bpf_relo_for_vnic(struct nfp_prog *nfp_prog, struct nfp_bpf_vnic *bv)
31772314fe9eSJakub Kicinski {
31782314fe9eSJakub Kicinski 	unsigned int i;
31792314fe9eSJakub Kicinski 	u64 *prog;
31802314fe9eSJakub Kicinski 	int err;
31812314fe9eSJakub Kicinski 
31822314fe9eSJakub Kicinski 	prog = kmemdup(nfp_prog->prog, nfp_prog->prog_len * sizeof(u64),
31832314fe9eSJakub Kicinski 		       GFP_KERNEL);
31842314fe9eSJakub Kicinski 	if (!prog)
31852314fe9eSJakub Kicinski 		return ERR_PTR(-ENOMEM);
31862314fe9eSJakub Kicinski 
31872314fe9eSJakub Kicinski 	for (i = 0; i < nfp_prog->prog_len; i++) {
31882314fe9eSJakub Kicinski 		enum nfp_relo_type special;
318977a3d311SJakub Kicinski 		u32 val;
31902314fe9eSJakub Kicinski 
31912314fe9eSJakub Kicinski 		special = FIELD_GET(OP_RELO_TYPE, prog[i]);
31922314fe9eSJakub Kicinski 		switch (special) {
31932314fe9eSJakub Kicinski 		case RELO_NONE:
31942314fe9eSJakub Kicinski 			continue;
31952314fe9eSJakub Kicinski 		case RELO_BR_REL:
31962314fe9eSJakub Kicinski 			br_add_offset(&prog[i], bv->start_off);
31972314fe9eSJakub Kicinski 			break;
31982314fe9eSJakub Kicinski 		case RELO_BR_GO_OUT:
31992314fe9eSJakub Kicinski 			br_set_offset(&prog[i],
32002314fe9eSJakub Kicinski 				      nfp_prog->tgt_out + bv->start_off);
32012314fe9eSJakub Kicinski 			break;
32022314fe9eSJakub Kicinski 		case RELO_BR_GO_ABORT:
32032314fe9eSJakub Kicinski 			br_set_offset(&prog[i],
32042314fe9eSJakub Kicinski 				      nfp_prog->tgt_abort + bv->start_off);
32052314fe9eSJakub Kicinski 			break;
32062314fe9eSJakub Kicinski 		case RELO_BR_NEXT_PKT:
32072314fe9eSJakub Kicinski 			br_set_offset(&prog[i], bv->tgt_done);
32082314fe9eSJakub Kicinski 			break;
320977a3d311SJakub Kicinski 		case RELO_BR_HELPER:
321077a3d311SJakub Kicinski 			val = br_get_offset(prog[i]);
321177a3d311SJakub Kicinski 			val -= BR_OFF_RELO;
321277a3d311SJakub Kicinski 			switch (val) {
321377a3d311SJakub Kicinski 			case BPF_FUNC_map_lookup_elem:
321477a3d311SJakub Kicinski 				val = nfp_prog->bpf->helpers.map_lookup;
321577a3d311SJakub Kicinski 				break;
321644d65a47SJakub Kicinski 			case BPF_FUNC_map_update_elem:
321744d65a47SJakub Kicinski 				val = nfp_prog->bpf->helpers.map_update;
321844d65a47SJakub Kicinski 				break;
321977a3d311SJakub Kicinski 			default:
322077a3d311SJakub Kicinski 				pr_err("relocation of unknown helper %d\n",
322177a3d311SJakub Kicinski 				       val);
322277a3d311SJakub Kicinski 				err = -EINVAL;
322377a3d311SJakub Kicinski 				goto err_free_prog;
322477a3d311SJakub Kicinski 			}
322577a3d311SJakub Kicinski 			br_set_offset(&prog[i], val);
322677a3d311SJakub Kicinski 			break;
322777a3d311SJakub Kicinski 		case RELO_IMMED_REL:
322877a3d311SJakub Kicinski 			immed_add_value(&prog[i], bv->start_off);
322977a3d311SJakub Kicinski 			break;
32302314fe9eSJakub Kicinski 		}
32312314fe9eSJakub Kicinski 
32322314fe9eSJakub Kicinski 		prog[i] &= ~OP_RELO_TYPE;
32332314fe9eSJakub Kicinski 	}
32342314fe9eSJakub Kicinski 
32352314fe9eSJakub Kicinski 	err = nfp_bpf_ustore_calc(prog, nfp_prog->prog_len);
32362314fe9eSJakub Kicinski 	if (err)
32372314fe9eSJakub Kicinski 		goto err_free_prog;
32382314fe9eSJakub Kicinski 
32392314fe9eSJakub Kicinski 	return prog;
32402314fe9eSJakub Kicinski 
32412314fe9eSJakub Kicinski err_free_prog:
32422314fe9eSJakub Kicinski 	kfree(prog);
32432314fe9eSJakub Kicinski 	return ERR_PTR(err);
32442314fe9eSJakub Kicinski }
3245