]> www.infradead.org Git - users/jedix/linux-maple.git/commitdiff
bpf/tests: Add staggered JMP and JMP32 tests
authorJohan Almbladh <johan.almbladh@anyfinetworks.com>
Tue, 14 Sep 2021 09:18:34 +0000 (11:18 +0200)
committerDaniel Borkmann <daniel@iogearbox.net>
Tue, 28 Sep 2021 07:26:28 +0000 (09:26 +0200)
This patch adds a new type of jump test where the program jumps forwards
and backwards with increasing offset. It mainly tests JITs where a
relative jump may generate different JITed code depending on the offset
size, read MIPS.

Signed-off-by: Johan Almbladh <johan.almbladh@anyfinetworks.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Link: https://lore.kernel.org/bpf/20210914091842.4186267-7-johan.almbladh@anyfinetworks.com
lib/test_bpf.c

index fb27a25e2c0c535cbe5c3954f902716493f6ed6d..7b3d801275e869ce85d96f9abb826703eea3d2bf 100644 (file)
@@ -1481,6 +1481,426 @@ static int bpf_fill_jmp32_jsle_reg(struct bpf_test *self)
        return __bpf_fill_jmp32_reg(self, BPF_JSLE);
 }
 
+/*
+ * Set up a sequence of staggered jumps, forwards and backwards with
+ * increasing offset. This tests the conversion of relative jumps to
+ * JITed native jumps. On some architectures, for example MIPS, a large
+ * PC-relative jump offset may overflow the immediate field of the native
+ * conditional branch instruction, triggering a conversion to use an
+ * absolute jump instead. Since this changes the jump offsets, another
+ * offset computation pass is necessary, and that may in turn trigger
+ * another branch conversion. This jump sequence is particularly nasty
+ * in that regard.
+ *
+ * The sequence generation is parameterized by size and jump type.
+ * The size must be even, and the expected result is always size + 1.
+ * Below is an example with size=8 and result=9.
+ *
+ *                     ________________________Start
+ *                     R0 = 0
+ *                     R1 = r1
+ *                     R2 = r2
+ *            ,------- JMP +4 * 3______________Preamble: 4 insns
+ * ,----------|-ind 0- if R0 != 7 JMP 8 * 3 + 1 <--------------------.
+ * |          |        R0 = 8                                        |
+ * |          |        JMP +7 * 3               ------------------------.
+ * | ,--------|-----1- if R0 != 5 JMP 7 * 3 + 1 <--------------.     |  |
+ * | |        |        R0 = 6                                  |     |  |
+ * | |        |        JMP +5 * 3               ------------------.  |  |
+ * | | ,------|-----2- if R0 != 3 JMP 6 * 3 + 1 <--------.     |  |  |  |
+ * | | |      |        R0 = 4                            |     |  |  |  |
+ * | | |      |        JMP +3 * 3               ------------.  |  |  |  |
+ * | | | ,----|-----3- if R0 != 1 JMP 5 * 3 + 1 <--.     |  |  |  |  |  |
+ * | | | |    |        R0 = 2                      |     |  |  |  |  |  |
+ * | | | |    |        JMP +1 * 3               ------.  |  |  |  |  |  |
+ * | | | | ,--t=====4> if R0 != 0 JMP 4 * 3 + 1    1  2  3  4  5  6  7  8 loc
+ * | | | | |           R0 = 1                     -1 +2 -3 +4 -5 +6 -7 +8 off
+ * | | | | |           JMP -2 * 3               ---'  |  |  |  |  |  |  |
+ * | | | | | ,------5- if R0 != 2 JMP 3 * 3 + 1 <-----'  |  |  |  |  |  |
+ * | | | | | |         R0 = 3                            |  |  |  |  |  |
+ * | | | | | |         JMP -4 * 3               ---------'  |  |  |  |  |
+ * | | | | | | ,----6- if R0 != 4 JMP 2 * 3 + 1 <-----------'  |  |  |  |
+ * | | | | | | |       R0 = 5                                  |  |  |  |
+ * | | | | | | |       JMP -6 * 3               ---------------'  |  |  |
+ * | | | | | | | ,--7- if R0 != 6 JMP 1 * 3 + 1 <-----------------'  |  |
+ * | | | | | | | |     R0 = 7                                        |  |
+ * | | Error | | |     JMP -8 * 3               ---------------------'  |
+ * | | paths | | | ,8- if R0 != 8 JMP 0 * 3 + 1 <-----------------------'
+ * | | | | | | | | |   R0 = 9__________________Sequence: 3 * size - 1 insns
+ * `-+-+-+-+-+-+-+-+-> EXIT____________________Return: 1 insn
+ *
+ */
+
+/* The maximum size parameter */
+#define MAX_STAGGERED_JMP_SIZE ((0x7fff / 3) & ~1)
+
+/* We use a reduced number of iterations to get a reasonable execution time */
+#define NR_STAGGERED_JMP_RUNS 10
+
+static int __bpf_fill_staggered_jumps(struct bpf_test *self,
+                                     const struct bpf_insn *jmp,
+                                     u64 r1, u64 r2)
+{
+       int size = self->test[0].result - 1;
+       int len = 4 + 3 * (size + 1);
+       struct bpf_insn *insns;
+       int off, ind;
+
+       insns = kmalloc_array(len, sizeof(*insns), GFP_KERNEL);
+       if (!insns)
+               return -ENOMEM;
+
+       /* Preamble */
+       insns[0] = BPF_ALU64_IMM(BPF_MOV, R0, 0);
+       insns[1] = BPF_ALU64_IMM(BPF_MOV, R1, r1);
+       insns[2] = BPF_ALU64_IMM(BPF_MOV, R2, r2);
+       insns[3] = BPF_JMP_IMM(BPF_JA, 0, 0, 3 * size / 2);
+
+       /* Sequence */
+       for (ind = 0, off = size; ind <= size; ind++, off -= 2) {
+               struct bpf_insn *ins = &insns[4 + 3 * ind];
+               int loc;
+
+               if (off == 0)
+                       off--;
+
+               loc = abs(off);
+               ins[0] = BPF_JMP_IMM(BPF_JNE, R0, loc - 1,
+                                    3 * (size - ind) + 1);
+               ins[1] = BPF_ALU64_IMM(BPF_MOV, R0, loc);
+               ins[2] = *jmp;
+               ins[2].off = 3 * (off - 1);
+       }
+
+       /* Return */
+       insns[len - 1] = BPF_EXIT_INSN();
+
+       self->u.ptr.insns = insns;
+       self->u.ptr.len = len;
+
+       return 0;
+}
+
+/* 64-bit unconditional jump */
+static int bpf_fill_staggered_ja(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP_IMM(BPF_JA, 0, 0, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, 0, 0);
+}
+
+/* 64-bit immediate jumps */
+static int bpf_fill_staggered_jeq_imm(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP_IMM(BPF_JEQ, R1, 1234, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, 1234, 0);
+}
+
+static int bpf_fill_staggered_jne_imm(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP_IMM(BPF_JNE, R1, 1234, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, 4321, 0);
+}
+
+static int bpf_fill_staggered_jset_imm(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP_IMM(BPF_JSET, R1, 0x82, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, 0x86, 0);
+}
+
+static int bpf_fill_staggered_jgt_imm(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP_IMM(BPF_JGT, R1, 1234, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, 0x80000000, 0);
+}
+
+static int bpf_fill_staggered_jge_imm(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP_IMM(BPF_JGE, R1, 1234, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, 1234, 0);
+}
+
+static int bpf_fill_staggered_jlt_imm(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP_IMM(BPF_JLT, R1, 0x80000000, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, 1234, 0);
+}
+
+static int bpf_fill_staggered_jle_imm(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP_IMM(BPF_JLE, R1, 1234, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, 1234, 0);
+}
+
+static int bpf_fill_staggered_jsgt_imm(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP_IMM(BPF_JSGT, R1, -2, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, -1, 0);
+}
+
+static int bpf_fill_staggered_jsge_imm(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP_IMM(BPF_JSGE, R1, -2, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, -2, 0);
+}
+
+static int bpf_fill_staggered_jslt_imm(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP_IMM(BPF_JSLT, R1, -1, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, -2, 0);
+}
+
+static int bpf_fill_staggered_jsle_imm(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP_IMM(BPF_JSLE, R1, -1, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, -1, 0);
+}
+
+/* 64-bit register jumps */
+static int bpf_fill_staggered_jeq_reg(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP_REG(BPF_JEQ, R1, R2, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, 1234, 1234);
+}
+
+static int bpf_fill_staggered_jne_reg(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP_REG(BPF_JNE, R1, R2, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, 4321, 1234);
+}
+
+static int bpf_fill_staggered_jset_reg(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP_REG(BPF_JSET, R1, R2, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, 0x86, 0x82);
+}
+
+static int bpf_fill_staggered_jgt_reg(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP_REG(BPF_JGT, R1, R2, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, 0x80000000, 1234);
+}
+
+static int bpf_fill_staggered_jge_reg(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP_REG(BPF_JGE, R1, R2, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, 1234, 1234);
+}
+
+static int bpf_fill_staggered_jlt_reg(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP_REG(BPF_JLT, R1, R2, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, 1234, 0x80000000);
+}
+
+static int bpf_fill_staggered_jle_reg(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP_REG(BPF_JLE, R1, R2, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, 1234, 1234);
+}
+
+static int bpf_fill_staggered_jsgt_reg(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP_REG(BPF_JSGT, R1, R2, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, -1, -2);
+}
+
+static int bpf_fill_staggered_jsge_reg(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP_REG(BPF_JSGE, R1, R2, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, -2, -2);
+}
+
+static int bpf_fill_staggered_jslt_reg(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP_REG(BPF_JSLT, R1, R2, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, -2, -1);
+}
+
+static int bpf_fill_staggered_jsle_reg(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP_REG(BPF_JSLE, R1, R2, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, -1, -1);
+}
+
+/* 32-bit immediate jumps */
+static int bpf_fill_staggered_jeq32_imm(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP32_IMM(BPF_JEQ, R1, 1234, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, 1234, 0);
+}
+
+static int bpf_fill_staggered_jne32_imm(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP32_IMM(BPF_JNE, R1, 1234, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, 4321, 0);
+}
+
+static int bpf_fill_staggered_jset32_imm(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP32_IMM(BPF_JSET, R1, 0x82, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, 0x86, 0);
+}
+
+static int bpf_fill_staggered_jgt32_imm(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP32_IMM(BPF_JGT, R1, 1234, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, 0x80000000, 0);
+}
+
+static int bpf_fill_staggered_jge32_imm(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP32_IMM(BPF_JGE, R1, 1234, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, 1234, 0);
+}
+
+static int bpf_fill_staggered_jlt32_imm(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP32_IMM(BPF_JLT, R1, 0x80000000, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, 1234, 0);
+}
+
+static int bpf_fill_staggered_jle32_imm(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP32_IMM(BPF_JLE, R1, 1234, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, 1234, 0);
+}
+
+static int bpf_fill_staggered_jsgt32_imm(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP32_IMM(BPF_JSGT, R1, -2, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, -1, 0);
+}
+
+static int bpf_fill_staggered_jsge32_imm(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP32_IMM(BPF_JSGE, R1, -2, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, -2, 0);
+}
+
+static int bpf_fill_staggered_jslt32_imm(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP32_IMM(BPF_JSLT, R1, -1, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, -2, 0);
+}
+
+static int bpf_fill_staggered_jsle32_imm(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP32_IMM(BPF_JSLE, R1, -1, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, -1, 0);
+}
+
+/* 32-bit register jumps */
+static int bpf_fill_staggered_jeq32_reg(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP32_REG(BPF_JEQ, R1, R2, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, 1234, 1234);
+}
+
+static int bpf_fill_staggered_jne32_reg(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP32_REG(BPF_JNE, R1, R2, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, 4321, 1234);
+}
+
+static int bpf_fill_staggered_jset32_reg(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP32_REG(BPF_JSET, R1, R2, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, 0x86, 0x82);
+}
+
+static int bpf_fill_staggered_jgt32_reg(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP32_REG(BPF_JGT, R1, R2, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, 0x80000000, 1234);
+}
+
+static int bpf_fill_staggered_jge32_reg(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP32_REG(BPF_JGE, R1, R2, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, 1234, 1234);
+}
+
+static int bpf_fill_staggered_jlt32_reg(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP32_REG(BPF_JLT, R1, R2, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, 1234, 0x80000000);
+}
+
+static int bpf_fill_staggered_jle32_reg(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP32_REG(BPF_JLE, R1, R2, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, 1234, 1234);
+}
+
+static int bpf_fill_staggered_jsgt32_reg(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP32_REG(BPF_JSGT, R1, R2, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, -1, -2);
+}
+
+static int bpf_fill_staggered_jsge32_reg(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP32_REG(BPF_JSGE, R1, R2, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, -2, -2);
+}
+
+static int bpf_fill_staggered_jslt32_reg(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP32_REG(BPF_JSLT, R1, R2, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, -2, -1);
+}
+
+static int bpf_fill_staggered_jsle32_reg(struct bpf_test *self)
+{
+       struct bpf_insn jmp = BPF_JMP32_REG(BPF_JSLE, R1, R2, 0);
+
+       return __bpf_fill_staggered_jumps(self, &jmp, -1, -1);
+}
+
 
 static struct bpf_test tests[] = {
        {
@@ -10225,6 +10645,415 @@ static struct bpf_test tests[] = {
                .fill_helper = bpf_fill_jmp32_jsle_reg,
                .nr_testruns = NR_PATTERN_RUNS,
        },
+       /* Staggered jump sequences, immediate */
+       {
+               "Staggered jumps: JMP_JA",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_ja,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP_JEQ_K",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jeq_imm,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP_JNE_K",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jne_imm,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP_JSET_K",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jset_imm,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP_JGT_K",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jgt_imm,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP_JGE_K",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jge_imm,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP_JLT_K",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jlt_imm,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP_JLE_K",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jle_imm,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP_JSGT_K",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jsgt_imm,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP_JSGE_K",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jsge_imm,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP_JSLT_K",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jslt_imm,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP_JSLE_K",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jsle_imm,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       /* Staggered jump sequences, register */
+       {
+               "Staggered jumps: JMP_JEQ_X",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jeq_reg,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP_JNE_X",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jne_reg,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP_JSET_X",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jset_reg,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP_JGT_X",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jgt_reg,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP_JGE_X",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jge_reg,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP_JLT_X",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jlt_reg,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP_JLE_X",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jle_reg,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP_JSGT_X",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jsgt_reg,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP_JSGE_X",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jsge_reg,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP_JSLT_X",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jslt_reg,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP_JSLE_X",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jsle_reg,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       /* Staggered jump sequences, JMP32 immediate */
+       {
+               "Staggered jumps: JMP32_JEQ_K",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jeq32_imm,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP32_JNE_K",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jne32_imm,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP32_JSET_K",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jset32_imm,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP32_JGT_K",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jgt32_imm,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP32_JGE_K",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jge32_imm,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP32_JLT_K",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jlt32_imm,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP32_JLE_K",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jle32_imm,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP32_JSGT_K",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jsgt32_imm,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP32_JSGE_K",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jsge32_imm,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP32_JSLT_K",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jslt32_imm,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP32_JSLE_K",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jsle32_imm,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       /* Staggered jump sequences, JMP32 register */
+       {
+               "Staggered jumps: JMP32_JEQ_X",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jeq32_reg,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP32_JNE_X",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jne32_reg,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP32_JSET_X",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jset32_reg,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP32_JGT_X",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jgt32_reg,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP32_JGE_X",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jge32_reg,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP32_JLT_X",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jlt32_reg,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP32_JLE_X",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jle32_reg,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP32_JSGT_X",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jsgt32_reg,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP32_JSGE_X",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jsge32_reg,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP32_JSLT_X",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jslt32_reg,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
+       {
+               "Staggered jumps: JMP32_JSLE_X",
+               { },
+               INTERNAL | FLAG_NO_DATA,
+               { },
+               { { 0, MAX_STAGGERED_JMP_SIZE + 1 } },
+               .fill_helper = bpf_fill_staggered_jsle32_reg,
+               .nr_testruns = NR_STAGGERED_JMP_RUNS,
+       },
 };
 
 static struct net_device dev;