diff options
author | Linus Torvalds <torvalds@linux-foundation.org> | 2014-06-12 17:27:40 -0400 |
---|---|---|
committer | Linus Torvalds <torvalds@linux-foundation.org> | 2014-06-12 17:27:40 -0400 |
commit | f9da455b93f6ba076935b4ef4589f61e529ae046 (patch) | |
tree | 3c4e69ce1ba1d6bf65915b97a76ca2172105b278 /lib | |
parent | 0e04c641b199435f3779454055f6a7de258ecdfc (diff) | |
parent | e5eca6d41f53db48edd8cf88a3f59d2c30227f8e (diff) |
Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net-next
Pull networking updates from David Miller:
1) Seccomp BPF filters can now be JIT'd, from Alexei Starovoitov.
2) Multiqueue support in xen-netback and xen-netfront, from Andrew J
Benniston.
3) Allow tweaking of aggregation settings in cdc_ncm driver, from Bjørn
Mork.
4) BPF now has a "random" opcode, from Chema Gonzalez.
5) Add more BPF documentation and improve test framework, from Daniel
Borkmann.
6) Support TCP fastopen over ipv6, from Daniel Lee.
7) Add software TSO helper functions and use them to support software
TSO in mvneta and mv643xx_eth drivers. From Ezequiel Garcia.
8) Support software TSO in fec driver too, from Nimrod Andy.
9) Add Broadcom SYSTEMPORT driver, from Florian Fainelli.
10) Handle broadcasts more gracefully over macvlan when there are large
numbers of interfaces configured, from Herbert Xu.
11) Allow more control over fwmark used for non-socket based responses,
from Lorenzo Colitti.
12) Do TCP congestion window limiting based upon measurements, from Neal
Cardwell.
13) Support busy polling in SCTP, from Neal Horman.
14) Allow RSS key to be configured via ethtool, from Venkata Duvvuru.
15) Bridge promisc mode handling improvements from Vlad Yasevich.
16) Don't use inetpeer entries to implement ID generation any more, it
performs poorly, from Eric Dumazet.
* git://git.kernel.org/pub/scm/linux/kernel/git/davem/net-next: (1522 commits)
rtnetlink: fix userspace API breakage for iproute2 < v3.9.0
tcp: fixing TLP's FIN recovery
net: fec: Add software TSO support
net: fec: Add Scatter/gather support
net: fec: Increase buffer descriptor entry number
net: fec: Factorize feature setting
net: fec: Enable IP header hardware checksum
net: fec: Factorize the .xmit transmit function
bridge: fix compile error when compiling without IPv6 support
bridge: fix smatch warning / potential null pointer dereference
via-rhine: fix full-duplex with autoneg disable
bnx2x: Enlarge the dorq threshold for VFs
bnx2x: Check for UNDI in uncommon branch
bnx2x: Fix 1G-baseT link
bnx2x: Fix link for KR with swapped polarity lane
sctp: Fix sk_ack_backlog wrap-around problem
net/core: Add VF link state control policy
net/fsl: xgmac_mdio is dependent on OF_MDIO
net/fsl: Make xgmac_mdio read error message useful
net_sched: drr: warn when qdisc is not work conserving
...
Diffstat (limited to 'lib')
-rw-r--r-- | lib/Kconfig.debug | 13 | ||||
-rw-r--r-- | lib/Makefile | 1 | ||||
-rw-r--r-- | lib/cpumask.c | 63 | ||||
-rw-r--r-- | lib/crc7.c | 84 | ||||
-rw-r--r-- | lib/test_bpf.c | 1929 |
5 files changed, 2052 insertions, 38 deletions
diff --git a/lib/Kconfig.debug b/lib/Kconfig.debug index e34d11d70bbf..7cfcc1b8e101 100644 --- a/lib/Kconfig.debug +++ b/lib/Kconfig.debug | |||
@@ -1636,6 +1636,19 @@ config TEST_USER_COPY | |||
1636 | 1636 | ||
1637 | If unsure, say N. | 1637 | If unsure, say N. |
1638 | 1638 | ||
1639 | config TEST_BPF | ||
1640 | tristate "Test BPF filter functionality" | ||
1641 | default n | ||
1642 | depends on m && NET | ||
1643 | help | ||
1644 | This builds the "test_bpf" module that runs various test vectors | ||
1645 | against the BPF interpreter or BPF JIT compiler depending on the | ||
1646 | current setting. This is in particular useful for BPF JIT compiler | ||
1647 | development, but also to run regression tests against changes in | ||
1648 | the interpreter code. | ||
1649 | |||
1650 | If unsure, say N. | ||
1651 | |||
1639 | source "samples/Kconfig" | 1652 | source "samples/Kconfig" |
1640 | 1653 | ||
1641 | source "lib/Kconfig.kgdb" | 1654 | source "lib/Kconfig.kgdb" |
diff --git a/lib/Makefile b/lib/Makefile index 4a4078987a4c..ba967a19edba 100644 --- a/lib/Makefile +++ b/lib/Makefile | |||
@@ -33,6 +33,7 @@ obj-y += kstrtox.o | |||
33 | obj-$(CONFIG_TEST_KSTRTOX) += test-kstrtox.o | 33 | obj-$(CONFIG_TEST_KSTRTOX) += test-kstrtox.o |
34 | obj-$(CONFIG_TEST_MODULE) += test_module.o | 34 | obj-$(CONFIG_TEST_MODULE) += test_module.o |
35 | obj-$(CONFIG_TEST_USER_COPY) += test_user_copy.o | 35 | obj-$(CONFIG_TEST_USER_COPY) += test_user_copy.o |
36 | obj-$(CONFIG_TEST_BPF) += test_bpf.o | ||
36 | 37 | ||
37 | ifeq ($(CONFIG_DEBUG_KOBJECT),y) | 38 | ifeq ($(CONFIG_DEBUG_KOBJECT),y) |
38 | CFLAGS_kobject.o += -DDEBUG | 39 | CFLAGS_kobject.o += -DDEBUG |
diff --git a/lib/cpumask.c b/lib/cpumask.c index b810b753c607..c101230658eb 100644 --- a/lib/cpumask.c +++ b/lib/cpumask.c | |||
@@ -164,3 +164,66 @@ void __init free_bootmem_cpumask_var(cpumask_var_t mask) | |||
164 | memblock_free_early(__pa(mask), cpumask_size()); | 164 | memblock_free_early(__pa(mask), cpumask_size()); |
165 | } | 165 | } |
166 | #endif | 166 | #endif |
167 | |||
168 | /** | ||
169 | * cpumask_set_cpu_local_first - set i'th cpu with local numa cpu's first | ||
170 | * | ||
171 | * @i: index number | ||
172 | * @numa_node: local numa_node | ||
173 | * @dstp: cpumask with the relevant cpu bit set according to the policy | ||
174 | * | ||
175 | * This function sets the cpumask according to a numa aware policy. | ||
176 | * cpumask could be used as an affinity hint for the IRQ related to a | ||
177 | * queue. When the policy is to spread queues across cores - local cores | ||
178 | * first. | ||
179 | * | ||
180 | * Returns 0 on success, -ENOMEM for no memory, and -EAGAIN when failed to set | ||
181 | * the cpu bit and need to re-call the function. | ||
182 | */ | ||
183 | int cpumask_set_cpu_local_first(int i, int numa_node, cpumask_t *dstp) | ||
184 | { | ||
185 | cpumask_var_t mask; | ||
186 | int cpu; | ||
187 | int ret = 0; | ||
188 | |||
189 | if (!zalloc_cpumask_var(&mask, GFP_KERNEL)) | ||
190 | return -ENOMEM; | ||
191 | |||
192 | i %= num_online_cpus(); | ||
193 | |||
194 | if (!cpumask_of_node(numa_node)) { | ||
195 | /* Use all online cpu's for non numa aware system */ | ||
196 | cpumask_copy(mask, cpu_online_mask); | ||
197 | } else { | ||
198 | int n; | ||
199 | |||
200 | cpumask_and(mask, | ||
201 | cpumask_of_node(numa_node), cpu_online_mask); | ||
202 | |||
203 | n = cpumask_weight(mask); | ||
204 | if (i >= n) { | ||
205 | i -= n; | ||
206 | |||
207 | /* If index > number of local cpu's, mask out local | ||
208 | * cpu's | ||
209 | */ | ||
210 | cpumask_andnot(mask, cpu_online_mask, mask); | ||
211 | } | ||
212 | } | ||
213 | |||
214 | for_each_cpu(cpu, mask) { | ||
215 | if (--i < 0) | ||
216 | goto out; | ||
217 | } | ||
218 | |||
219 | ret = -EAGAIN; | ||
220 | |||
221 | out: | ||
222 | free_cpumask_var(mask); | ||
223 | |||
224 | if (!ret) | ||
225 | cpumask_set_cpu(cpu, dstp); | ||
226 | |||
227 | return ret; | ||
228 | } | ||
229 | EXPORT_SYMBOL(cpumask_set_cpu_local_first); | ||
diff --git a/lib/crc7.c b/lib/crc7.c index f1c3a144cec1..bf6255e23919 100644 --- a/lib/crc7.c +++ b/lib/crc7.c | |||
@@ -10,42 +10,47 @@ | |||
10 | #include <linux/crc7.h> | 10 | #include <linux/crc7.h> |
11 | 11 | ||
12 | 12 | ||
13 | /* Table for CRC-7 (polynomial x^7 + x^3 + 1) */ | 13 | /* |
14 | const u8 crc7_syndrome_table[256] = { | 14 | * Table for CRC-7 (polynomial x^7 + x^3 + 1). |
15 | 0x00, 0x09, 0x12, 0x1b, 0x24, 0x2d, 0x36, 0x3f, | 15 | * This is a big-endian CRC (msbit is highest power of x), |
16 | 0x48, 0x41, 0x5a, 0x53, 0x6c, 0x65, 0x7e, 0x77, | 16 | * aligned so the msbit of the byte is the x^6 coefficient |
17 | 0x19, 0x10, 0x0b, 0x02, 0x3d, 0x34, 0x2f, 0x26, | 17 | * and the lsbit is not used. |
18 | 0x51, 0x58, 0x43, 0x4a, 0x75, 0x7c, 0x67, 0x6e, | 18 | */ |
19 | 0x32, 0x3b, 0x20, 0x29, 0x16, 0x1f, 0x04, 0x0d, | 19 | const u8 crc7_be_syndrome_table[256] = { |
20 | 0x7a, 0x73, 0x68, 0x61, 0x5e, 0x57, 0x4c, 0x45, | 20 | 0x00, 0x12, 0x24, 0x36, 0x48, 0x5a, 0x6c, 0x7e, |
21 | 0x2b, 0x22, 0x39, 0x30, 0x0f, 0x06, 0x1d, 0x14, | 21 | 0x90, 0x82, 0xb4, 0xa6, 0xd8, 0xca, 0xfc, 0xee, |
22 | 0x63, 0x6a, 0x71, 0x78, 0x47, 0x4e, 0x55, 0x5c, | 22 | 0x32, 0x20, 0x16, 0x04, 0x7a, 0x68, 0x5e, 0x4c, |
23 | 0x64, 0x6d, 0x76, 0x7f, 0x40, 0x49, 0x52, 0x5b, | 23 | 0xa2, 0xb0, 0x86, 0x94, 0xea, 0xf8, 0xce, 0xdc, |
24 | 0x2c, 0x25, 0x3e, 0x37, 0x08, 0x01, 0x1a, 0x13, | 24 | 0x64, 0x76, 0x40, 0x52, 0x2c, 0x3e, 0x08, 0x1a, |
25 | 0x7d, 0x74, 0x6f, 0x66, 0x59, 0x50, 0x4b, 0x42, | 25 | 0xf4, 0xe6, 0xd0, 0xc2, 0xbc, 0xae, 0x98, 0x8a, |
26 | 0x35, 0x3c, 0x27, 0x2e, 0x11, 0x18, 0x03, 0x0a, | 26 | 0x56, 0x44, 0x72, 0x60, 0x1e, 0x0c, 0x3a, 0x28, |
27 | 0x56, 0x5f, 0x44, 0x4d, 0x72, 0x7b, 0x60, 0x69, | 27 | 0xc6, 0xd4, 0xe2, 0xf0, 0x8e, 0x9c, 0xaa, 0xb8, |
28 | 0x1e, 0x17, 0x0c, 0x05, 0x3a, 0x33, 0x28, 0x21, | 28 | 0xc8, 0xda, 0xec, 0xfe, 0x80, 0x92, 0xa4, 0xb6, |
29 | 0x4f, 0x46, 0x5d, 0x54, 0x6b, 0x62, 0x79, 0x70, | 29 | 0x58, 0x4a, 0x7c, 0x6e, 0x10, 0x02, 0x34, 0x26, |
30 | 0x07, 0x0e, 0x15, 0x1c, 0x23, 0x2a, 0x31, 0x38, | 30 | 0xfa, 0xe8, 0xde, 0xcc, 0xb2, 0xa0, 0x96, 0x84, |
31 | 0x41, 0x48, 0x53, 0x5a, 0x65, 0x6c, 0x77, 0x7e, | 31 | 0x6a, 0x78, 0x4e, 0x5c, 0x22, 0x30, 0x06, 0x14, |
32 | 0x09, 0x00, 0x1b, 0x12, 0x2d, 0x24, 0x3f, 0x36, | 32 | 0xac, 0xbe, 0x88, 0x9a, 0xe4, 0xf6, 0xc0, 0xd2, |
33 | 0x58, 0x51, 0x4a, 0x43, 0x7c, 0x75, 0x6e, 0x67, | 33 | 0x3c, 0x2e, 0x18, 0x0a, 0x74, 0x66, 0x50, 0x42, |
34 | 0x10, 0x19, 0x02, 0x0b, 0x34, 0x3d, 0x26, 0x2f, | 34 | 0x9e, 0x8c, 0xba, 0xa8, 0xd6, 0xc4, 0xf2, 0xe0, |
35 | 0x73, 0x7a, 0x61, 0x68, 0x57, 0x5e, 0x45, 0x4c, | 35 | 0x0e, 0x1c, 0x2a, 0x38, 0x46, 0x54, 0x62, 0x70, |
36 | 0x3b, 0x32, 0x29, 0x20, 0x1f, 0x16, 0x0d, 0x04, | 36 | 0x82, 0x90, 0xa6, 0xb4, 0xca, 0xd8, 0xee, 0xfc, |
37 | 0x6a, 0x63, 0x78, 0x71, 0x4e, 0x47, 0x5c, 0x55, | 37 | 0x12, 0x00, 0x36, 0x24, 0x5a, 0x48, 0x7e, 0x6c, |
38 | 0x22, 0x2b, 0x30, 0x39, 0x06, 0x0f, 0x14, 0x1d, | 38 | 0xb0, 0xa2, 0x94, 0x86, 0xf8, 0xea, 0xdc, 0xce, |
39 | 0x25, 0x2c, 0x37, 0x3e, 0x01, 0x08, 0x13, 0x1a, | 39 | 0x20, 0x32, 0x04, 0x16, 0x68, 0x7a, 0x4c, 0x5e, |
40 | 0x6d, 0x64, 0x7f, 0x76, 0x49, 0x40, 0x5b, 0x52, | 40 | 0xe6, 0xf4, 0xc2, 0xd0, 0xae, 0xbc, 0x8a, 0x98, |
41 | 0x3c, 0x35, 0x2e, 0x27, 0x18, 0x11, 0x0a, 0x03, | 41 | 0x76, 0x64, 0x52, 0x40, 0x3e, 0x2c, 0x1a, 0x08, |
42 | 0x74, 0x7d, 0x66, 0x6f, 0x50, 0x59, 0x42, 0x4b, | 42 | 0xd4, 0xc6, 0xf0, 0xe2, 0x9c, 0x8e, 0xb8, 0xaa, |
43 | 0x17, 0x1e, 0x05, 0x0c, 0x33, 0x3a, 0x21, 0x28, | 43 | 0x44, 0x56, 0x60, 0x72, 0x0c, 0x1e, 0x28, 0x3a, |
44 | 0x5f, 0x56, 0x4d, 0x44, 0x7b, 0x72, 0x69, 0x60, | 44 | 0x4a, 0x58, 0x6e, 0x7c, 0x02, 0x10, 0x26, 0x34, |
45 | 0x0e, 0x07, 0x1c, 0x15, 0x2a, 0x23, 0x38, 0x31, | 45 | 0xda, 0xc8, 0xfe, 0xec, 0x92, 0x80, 0xb6, 0xa4, |
46 | 0x46, 0x4f, 0x54, 0x5d, 0x62, 0x6b, 0x70, 0x79 | 46 | 0x78, 0x6a, 0x5c, 0x4e, 0x30, 0x22, 0x14, 0x06, |
47 | 0xe8, 0xfa, 0xcc, 0xde, 0xa0, 0xb2, 0x84, 0x96, | ||
48 | 0x2e, 0x3c, 0x0a, 0x18, 0x66, 0x74, 0x42, 0x50, | ||
49 | 0xbe, 0xac, 0x9a, 0x88, 0xf6, 0xe4, 0xd2, 0xc0, | ||
50 | 0x1c, 0x0e, 0x38, 0x2a, 0x54, 0x46, 0x70, 0x62, | ||
51 | 0x8c, 0x9e, 0xa8, 0xba, 0xc4, 0xd6, 0xe0, 0xf2 | ||
47 | }; | 52 | }; |
48 | EXPORT_SYMBOL(crc7_syndrome_table); | 53 | EXPORT_SYMBOL(crc7_be_syndrome_table); |
49 | 54 | ||
50 | /** | 55 | /** |
51 | * crc7 - update the CRC7 for the data buffer | 56 | * crc7 - update the CRC7 for the data buffer |
@@ -55,14 +60,17 @@ EXPORT_SYMBOL(crc7_syndrome_table); | |||
55 | * Context: any | 60 | * Context: any |
56 | * | 61 | * |
57 | * Returns the updated CRC7 value. | 62 | * Returns the updated CRC7 value. |
63 | * The CRC7 is left-aligned in the byte (the lsbit is always 0), as that | ||
64 | * makes the computation easier, and all callers want it in that form. | ||
65 | * | ||
58 | */ | 66 | */ |
59 | u8 crc7(u8 crc, const u8 *buffer, size_t len) | 67 | u8 crc7_be(u8 crc, const u8 *buffer, size_t len) |
60 | { | 68 | { |
61 | while (len--) | 69 | while (len--) |
62 | crc = crc7_byte(crc, *buffer++); | 70 | crc = crc7_be_byte(crc, *buffer++); |
63 | return crc; | 71 | return crc; |
64 | } | 72 | } |
65 | EXPORT_SYMBOL(crc7); | 73 | EXPORT_SYMBOL(crc7_be); |
66 | 74 | ||
67 | MODULE_DESCRIPTION("CRC7 calculations"); | 75 | MODULE_DESCRIPTION("CRC7 calculations"); |
68 | MODULE_LICENSE("GPL"); | 76 | MODULE_LICENSE("GPL"); |
diff --git a/lib/test_bpf.c b/lib/test_bpf.c new file mode 100644 index 000000000000..c579e0f58818 --- /dev/null +++ b/lib/test_bpf.c | |||
@@ -0,0 +1,1929 @@ | |||
1 | /* | ||
2 | * Testsuite for BPF interpreter and BPF JIT compiler | ||
3 | * | ||
4 | * Copyright (c) 2011-2014 PLUMgrid, http://plumgrid.com | ||
5 | * | ||
6 | * This program is free software; you can redistribute it and/or | ||
7 | * modify it under the terms of version 2 of the GNU General Public | ||
8 | * License as published by the Free Software Foundation. | ||
9 | * | ||
10 | * This program is distributed in the hope that it will be useful, but | ||
11 | * WITHOUT ANY WARRANTY; without even the implied warranty of | ||
12 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU | ||
13 | * General Public License for more details. | ||
14 | */ | ||
15 | |||
16 | #define pr_fmt(fmt) KBUILD_MODNAME ": " fmt | ||
17 | |||
18 | #include <linux/init.h> | ||
19 | #include <linux/module.h> | ||
20 | #include <linux/filter.h> | ||
21 | #include <linux/skbuff.h> | ||
22 | #include <linux/netdevice.h> | ||
23 | #include <linux/if_vlan.h> | ||
24 | |||
25 | /* General test specific settings */ | ||
26 | #define MAX_SUBTESTS 3 | ||
27 | #define MAX_TESTRUNS 10000 | ||
28 | #define MAX_DATA 128 | ||
29 | #define MAX_INSNS 512 | ||
30 | #define MAX_K 0xffffFFFF | ||
31 | |||
32 | /* Few constants used to init test 'skb' */ | ||
33 | #define SKB_TYPE 3 | ||
34 | #define SKB_MARK 0x1234aaaa | ||
35 | #define SKB_HASH 0x1234aaab | ||
36 | #define SKB_QUEUE_MAP 123 | ||
37 | #define SKB_VLAN_TCI 0xffff | ||
38 | #define SKB_DEV_IFINDEX 577 | ||
39 | #define SKB_DEV_TYPE 588 | ||
40 | |||
41 | /* Redefine REGs to make tests less verbose */ | ||
42 | #define R0 BPF_REG_0 | ||
43 | #define R1 BPF_REG_1 | ||
44 | #define R2 BPF_REG_2 | ||
45 | #define R3 BPF_REG_3 | ||
46 | #define R4 BPF_REG_4 | ||
47 | #define R5 BPF_REG_5 | ||
48 | #define R6 BPF_REG_6 | ||
49 | #define R7 BPF_REG_7 | ||
50 | #define R8 BPF_REG_8 | ||
51 | #define R9 BPF_REG_9 | ||
52 | #define R10 BPF_REG_10 | ||
53 | |||
54 | /* Flags that can be passed to test cases */ | ||
55 | #define FLAG_NO_DATA BIT(0) | ||
56 | #define FLAG_EXPECTED_FAIL BIT(1) | ||
57 | |||
58 | enum { | ||
59 | CLASSIC = BIT(6), /* Old BPF instructions only. */ | ||
60 | INTERNAL = BIT(7), /* Extended instruction set. */ | ||
61 | }; | ||
62 | |||
63 | #define TEST_TYPE_MASK (CLASSIC | INTERNAL) | ||
64 | |||
65 | struct bpf_test { | ||
66 | const char *descr; | ||
67 | union { | ||
68 | struct sock_filter insns[MAX_INSNS]; | ||
69 | struct sock_filter_int insns_int[MAX_INSNS]; | ||
70 | } u; | ||
71 | __u8 aux; | ||
72 | __u8 data[MAX_DATA]; | ||
73 | struct { | ||
74 | int data_size; | ||
75 | __u32 result; | ||
76 | } test[MAX_SUBTESTS]; | ||
77 | }; | ||
78 | |||
79 | static struct bpf_test tests[] = { | ||
80 | { | ||
81 | "TAX", | ||
82 | .u.insns = { | ||
83 | BPF_STMT(BPF_LD | BPF_IMM, 1), | ||
84 | BPF_STMT(BPF_MISC | BPF_TAX, 0), | ||
85 | BPF_STMT(BPF_LD | BPF_IMM, 2), | ||
86 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0), | ||
87 | BPF_STMT(BPF_ALU | BPF_NEG, 0), /* A == -3 */ | ||
88 | BPF_STMT(BPF_MISC | BPF_TAX, 0), | ||
89 | BPF_STMT(BPF_LD | BPF_LEN, 0), | ||
90 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0), | ||
91 | BPF_STMT(BPF_MISC | BPF_TAX, 0), /* X == len - 3 */ | ||
92 | BPF_STMT(BPF_LD | BPF_B | BPF_IND, 1), | ||
93 | BPF_STMT(BPF_RET | BPF_A, 0) | ||
94 | }, | ||
95 | CLASSIC, | ||
96 | { 10, 20, 30, 40, 50 }, | ||
97 | { { 2, 10 }, { 3, 20 }, { 4, 30 } }, | ||
98 | }, | ||
99 | { | ||
100 | "TXA", | ||
101 | .u.insns = { | ||
102 | BPF_STMT(BPF_LDX | BPF_LEN, 0), | ||
103 | BPF_STMT(BPF_MISC | BPF_TXA, 0), | ||
104 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0), | ||
105 | BPF_STMT(BPF_RET | BPF_A, 0) /* A == len * 2 */ | ||
106 | }, | ||
107 | CLASSIC, | ||
108 | { 10, 20, 30, 40, 50 }, | ||
109 | { { 1, 2 }, { 3, 6 }, { 4, 8 } }, | ||
110 | }, | ||
111 | { | ||
112 | "ADD_SUB_MUL_K", | ||
113 | .u.insns = { | ||
114 | BPF_STMT(BPF_LD | BPF_IMM, 1), | ||
115 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_K, 2), | ||
116 | BPF_STMT(BPF_LDX | BPF_IMM, 3), | ||
117 | BPF_STMT(BPF_ALU | BPF_SUB | BPF_X, 0), | ||
118 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_K, 0xffffffff), | ||
119 | BPF_STMT(BPF_ALU | BPF_MUL | BPF_K, 3), | ||
120 | BPF_STMT(BPF_RET | BPF_A, 0) | ||
121 | }, | ||
122 | CLASSIC | FLAG_NO_DATA, | ||
123 | { }, | ||
124 | { { 0, 0xfffffffd } } | ||
125 | }, | ||
126 | { | ||
127 | "DIV_KX", | ||
128 | .u.insns = { | ||
129 | BPF_STMT(BPF_LD | BPF_IMM, 8), | ||
130 | BPF_STMT(BPF_ALU | BPF_DIV | BPF_K, 2), | ||
131 | BPF_STMT(BPF_MISC | BPF_TAX, 0), | ||
132 | BPF_STMT(BPF_LD | BPF_IMM, 0xffffffff), | ||
133 | BPF_STMT(BPF_ALU | BPF_DIV | BPF_X, 0), | ||
134 | BPF_STMT(BPF_MISC | BPF_TAX, 0), | ||
135 | BPF_STMT(BPF_LD | BPF_IMM, 0xffffffff), | ||
136 | BPF_STMT(BPF_ALU | BPF_DIV | BPF_K, 0x70000000), | ||
137 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0), | ||
138 | BPF_STMT(BPF_RET | BPF_A, 0) | ||
139 | }, | ||
140 | CLASSIC | FLAG_NO_DATA, | ||
141 | { }, | ||
142 | { { 0, 0x40000001 } } | ||
143 | }, | ||
144 | { | ||
145 | "AND_OR_LSH_K", | ||
146 | .u.insns = { | ||
147 | BPF_STMT(BPF_LD | BPF_IMM, 0xff), | ||
148 | BPF_STMT(BPF_ALU | BPF_AND | BPF_K, 0xf0), | ||
149 | BPF_STMT(BPF_ALU | BPF_LSH | BPF_K, 27), | ||
150 | BPF_STMT(BPF_MISC | BPF_TAX, 0), | ||
151 | BPF_STMT(BPF_LD | BPF_IMM, 0xf), | ||
152 | BPF_STMT(BPF_ALU | BPF_OR | BPF_K, 0xf0), | ||
153 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0), | ||
154 | BPF_STMT(BPF_RET | BPF_A, 0) | ||
155 | }, | ||
156 | CLASSIC | FLAG_NO_DATA, | ||
157 | { }, | ||
158 | { { 0, 0x800000ff }, { 1, 0x800000ff } }, | ||
159 | }, | ||
160 | { | ||
161 | "LD_IMM_0", | ||
162 | .u.insns = { | ||
163 | BPF_STMT(BPF_LD | BPF_IMM, 0), /* ld #0 */ | ||
164 | BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, 0, 1, 0), | ||
165 | BPF_STMT(BPF_RET | BPF_K, 0), | ||
166 | BPF_STMT(BPF_RET | BPF_K, 1), | ||
167 | }, | ||
168 | CLASSIC, | ||
169 | { }, | ||
170 | { { 1, 1 } }, | ||
171 | }, | ||
172 | { | ||
173 | "LD_IND", | ||
174 | .u.insns = { | ||
175 | BPF_STMT(BPF_LDX | BPF_LEN, 0), | ||
176 | BPF_STMT(BPF_LD | BPF_H | BPF_IND, MAX_K), | ||
177 | BPF_STMT(BPF_RET | BPF_K, 1) | ||
178 | }, | ||
179 | CLASSIC, | ||
180 | { }, | ||
181 | { { 1, 0 }, { 10, 0 }, { 60, 0 } }, | ||
182 | }, | ||
183 | { | ||
184 | "LD_ABS", | ||
185 | .u.insns = { | ||
186 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, 1000), | ||
187 | BPF_STMT(BPF_RET | BPF_K, 1) | ||
188 | }, | ||
189 | CLASSIC, | ||
190 | { }, | ||
191 | { { 1, 0 }, { 10, 0 }, { 60, 0 } }, | ||
192 | }, | ||
193 | { | ||
194 | "LD_ABS_LL", | ||
195 | .u.insns = { | ||
196 | BPF_STMT(BPF_LD | BPF_B | BPF_ABS, SKF_LL_OFF), | ||
197 | BPF_STMT(BPF_MISC | BPF_TAX, 0), | ||
198 | BPF_STMT(BPF_LD | BPF_B | BPF_ABS, SKF_LL_OFF + 1), | ||
199 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0), | ||
200 | BPF_STMT(BPF_RET | BPF_A, 0) | ||
201 | }, | ||
202 | CLASSIC, | ||
203 | { 1, 2, 3 }, | ||
204 | { { 1, 0 }, { 2, 3 } }, | ||
205 | }, | ||
206 | { | ||
207 | "LD_IND_LL", | ||
208 | .u.insns = { | ||
209 | BPF_STMT(BPF_LD | BPF_IMM, SKF_LL_OFF - 1), | ||
210 | BPF_STMT(BPF_LDX | BPF_LEN, 0), | ||
211 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0), | ||
212 | BPF_STMT(BPF_MISC | BPF_TAX, 0), | ||
213 | BPF_STMT(BPF_LD | BPF_B | BPF_IND, 0), | ||
214 | BPF_STMT(BPF_RET | BPF_A, 0) | ||
215 | }, | ||
216 | CLASSIC, | ||
217 | { 1, 2, 3, 0xff }, | ||
218 | { { 1, 1 }, { 3, 3 }, { 4, 0xff } }, | ||
219 | }, | ||
220 | { | ||
221 | "LD_ABS_NET", | ||
222 | .u.insns = { | ||
223 | BPF_STMT(BPF_LD | BPF_B | BPF_ABS, SKF_NET_OFF), | ||
224 | BPF_STMT(BPF_MISC | BPF_TAX, 0), | ||
225 | BPF_STMT(BPF_LD | BPF_B | BPF_ABS, SKF_NET_OFF + 1), | ||
226 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0), | ||
227 | BPF_STMT(BPF_RET | BPF_A, 0) | ||
228 | }, | ||
229 | CLASSIC, | ||
230 | { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3 }, | ||
231 | { { 15, 0 }, { 16, 3 } }, | ||
232 | }, | ||
233 | { | ||
234 | "LD_IND_NET", | ||
235 | .u.insns = { | ||
236 | BPF_STMT(BPF_LD | BPF_IMM, SKF_NET_OFF - 15), | ||
237 | BPF_STMT(BPF_LDX | BPF_LEN, 0), | ||
238 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0), | ||
239 | BPF_STMT(BPF_MISC | BPF_TAX, 0), | ||
240 | BPF_STMT(BPF_LD | BPF_B | BPF_IND, 0), | ||
241 | BPF_STMT(BPF_RET | BPF_A, 0) | ||
242 | }, | ||
243 | CLASSIC, | ||
244 | { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 3 }, | ||
245 | { { 14, 0 }, { 15, 1 }, { 17, 3 } }, | ||
246 | }, | ||
247 | { | ||
248 | "LD_PKTTYPE", | ||
249 | .u.insns = { | ||
250 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, | ||
251 | SKF_AD_OFF + SKF_AD_PKTTYPE), | ||
252 | BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, SKB_TYPE, 1, 0), | ||
253 | BPF_STMT(BPF_RET | BPF_K, 1), | ||
254 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, | ||
255 | SKF_AD_OFF + SKF_AD_PKTTYPE), | ||
256 | BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, SKB_TYPE, 1, 0), | ||
257 | BPF_STMT(BPF_RET | BPF_K, 1), | ||
258 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, | ||
259 | SKF_AD_OFF + SKF_AD_PKTTYPE), | ||
260 | BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, SKB_TYPE, 1, 0), | ||
261 | BPF_STMT(BPF_RET | BPF_K, 1), | ||
262 | BPF_STMT(BPF_RET | BPF_A, 0) | ||
263 | }, | ||
264 | CLASSIC, | ||
265 | { }, | ||
266 | { { 1, 3 }, { 10, 3 } }, | ||
267 | }, | ||
268 | { | ||
269 | "LD_MARK", | ||
270 | .u.insns = { | ||
271 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, | ||
272 | SKF_AD_OFF + SKF_AD_MARK), | ||
273 | BPF_STMT(BPF_RET | BPF_A, 0) | ||
274 | }, | ||
275 | CLASSIC, | ||
276 | { }, | ||
277 | { { 1, SKB_MARK}, { 10, SKB_MARK} }, | ||
278 | }, | ||
279 | { | ||
280 | "LD_RXHASH", | ||
281 | .u.insns = { | ||
282 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, | ||
283 | SKF_AD_OFF + SKF_AD_RXHASH), | ||
284 | BPF_STMT(BPF_RET | BPF_A, 0) | ||
285 | }, | ||
286 | CLASSIC, | ||
287 | { }, | ||
288 | { { 1, SKB_HASH}, { 10, SKB_HASH} }, | ||
289 | }, | ||
290 | { | ||
291 | "LD_QUEUE", | ||
292 | .u.insns = { | ||
293 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, | ||
294 | SKF_AD_OFF + SKF_AD_QUEUE), | ||
295 | BPF_STMT(BPF_RET | BPF_A, 0) | ||
296 | }, | ||
297 | CLASSIC, | ||
298 | { }, | ||
299 | { { 1, SKB_QUEUE_MAP }, { 10, SKB_QUEUE_MAP } }, | ||
300 | }, | ||
301 | { | ||
302 | "LD_PROTOCOL", | ||
303 | .u.insns = { | ||
304 | BPF_STMT(BPF_LD | BPF_B | BPF_ABS, 1), | ||
305 | BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, 20, 1, 0), | ||
306 | BPF_STMT(BPF_RET | BPF_K, 0), | ||
307 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, | ||
308 | SKF_AD_OFF + SKF_AD_PROTOCOL), | ||
309 | BPF_STMT(BPF_MISC | BPF_TAX, 0), | ||
310 | BPF_STMT(BPF_LD | BPF_B | BPF_ABS, 2), | ||
311 | BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, 30, 1, 0), | ||
312 | BPF_STMT(BPF_RET | BPF_K, 0), | ||
313 | BPF_STMT(BPF_MISC | BPF_TXA, 0), | ||
314 | BPF_STMT(BPF_RET | BPF_A, 0) | ||
315 | }, | ||
316 | CLASSIC, | ||
317 | { 10, 20, 30 }, | ||
318 | { { 10, ETH_P_IP }, { 100, ETH_P_IP } }, | ||
319 | }, | ||
320 | { | ||
321 | "LD_VLAN_TAG", | ||
322 | .u.insns = { | ||
323 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, | ||
324 | SKF_AD_OFF + SKF_AD_VLAN_TAG), | ||
325 | BPF_STMT(BPF_RET | BPF_A, 0) | ||
326 | }, | ||
327 | CLASSIC, | ||
328 | { }, | ||
329 | { | ||
330 | { 1, SKB_VLAN_TCI & ~VLAN_TAG_PRESENT }, | ||
331 | { 10, SKB_VLAN_TCI & ~VLAN_TAG_PRESENT } | ||
332 | }, | ||
333 | }, | ||
334 | { | ||
335 | "LD_VLAN_TAG_PRESENT", | ||
336 | .u.insns = { | ||
337 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, | ||
338 | SKF_AD_OFF + SKF_AD_VLAN_TAG_PRESENT), | ||
339 | BPF_STMT(BPF_RET | BPF_A, 0) | ||
340 | }, | ||
341 | CLASSIC, | ||
342 | { }, | ||
343 | { | ||
344 | { 1, !!(SKB_VLAN_TCI & VLAN_TAG_PRESENT) }, | ||
345 | { 10, !!(SKB_VLAN_TCI & VLAN_TAG_PRESENT) } | ||
346 | }, | ||
347 | }, | ||
348 | { | ||
349 | "LD_IFINDEX", | ||
350 | .u.insns = { | ||
351 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, | ||
352 | SKF_AD_OFF + SKF_AD_IFINDEX), | ||
353 | BPF_STMT(BPF_RET | BPF_A, 0) | ||
354 | }, | ||
355 | CLASSIC, | ||
356 | { }, | ||
357 | { { 1, SKB_DEV_IFINDEX }, { 10, SKB_DEV_IFINDEX } }, | ||
358 | }, | ||
359 | { | ||
360 | "LD_HATYPE", | ||
361 | .u.insns = { | ||
362 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, | ||
363 | SKF_AD_OFF + SKF_AD_HATYPE), | ||
364 | BPF_STMT(BPF_RET | BPF_A, 0) | ||
365 | }, | ||
366 | CLASSIC, | ||
367 | { }, | ||
368 | { { 1, SKB_DEV_TYPE }, { 10, SKB_DEV_TYPE } }, | ||
369 | }, | ||
370 | { | ||
371 | "LD_CPU", | ||
372 | .u.insns = { | ||
373 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, | ||
374 | SKF_AD_OFF + SKF_AD_CPU), | ||
375 | BPF_STMT(BPF_MISC | BPF_TAX, 0), | ||
376 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, | ||
377 | SKF_AD_OFF + SKF_AD_CPU), | ||
378 | BPF_STMT(BPF_ALU | BPF_SUB | BPF_X, 0), | ||
379 | BPF_STMT(BPF_RET | BPF_A, 0) | ||
380 | }, | ||
381 | CLASSIC, | ||
382 | { }, | ||
383 | { { 1, 0 }, { 10, 0 } }, | ||
384 | }, | ||
385 | { | ||
386 | "LD_NLATTR", | ||
387 | .u.insns = { | ||
388 | BPF_STMT(BPF_LDX | BPF_IMM, 2), | ||
389 | BPF_STMT(BPF_MISC | BPF_TXA, 0), | ||
390 | BPF_STMT(BPF_LDX | BPF_IMM, 3), | ||
391 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, | ||
392 | SKF_AD_OFF + SKF_AD_NLATTR), | ||
393 | BPF_STMT(BPF_RET | BPF_A, 0) | ||
394 | }, | ||
395 | CLASSIC, | ||
396 | #ifdef __BIG_ENDIAN | ||
397 | { 0xff, 0xff, 0, 4, 0, 2, 0, 4, 0, 3 }, | ||
398 | #else | ||
399 | { 0xff, 0xff, 4, 0, 2, 0, 4, 0, 3, 0 }, | ||
400 | #endif | ||
401 | { { 4, 0 }, { 20, 6 } }, | ||
402 | }, | ||
403 | { | ||
404 | "LD_NLATTR_NEST", | ||
405 | .u.insns = { | ||
406 | BPF_STMT(BPF_LD | BPF_IMM, 2), | ||
407 | BPF_STMT(BPF_LDX | BPF_IMM, 3), | ||
408 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, | ||
409 | SKF_AD_OFF + SKF_AD_NLATTR_NEST), | ||
410 | BPF_STMT(BPF_LD | BPF_IMM, 2), | ||
411 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, | ||
412 | SKF_AD_OFF + SKF_AD_NLATTR_NEST), | ||
413 | BPF_STMT(BPF_LD | BPF_IMM, 2), | ||
414 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, | ||
415 | SKF_AD_OFF + SKF_AD_NLATTR_NEST), | ||
416 | BPF_STMT(BPF_LD | BPF_IMM, 2), | ||
417 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, | ||
418 | SKF_AD_OFF + SKF_AD_NLATTR_NEST), | ||
419 | BPF_STMT(BPF_LD | BPF_IMM, 2), | ||
420 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, | ||
421 | SKF_AD_OFF + SKF_AD_NLATTR_NEST), | ||
422 | BPF_STMT(BPF_LD | BPF_IMM, 2), | ||
423 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, | ||
424 | SKF_AD_OFF + SKF_AD_NLATTR_NEST), | ||
425 | BPF_STMT(BPF_LD | BPF_IMM, 2), | ||
426 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, | ||
427 | SKF_AD_OFF + SKF_AD_NLATTR_NEST), | ||
428 | BPF_STMT(BPF_LD | BPF_IMM, 2), | ||
429 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, | ||
430 | SKF_AD_OFF + SKF_AD_NLATTR_NEST), | ||
431 | BPF_STMT(BPF_RET | BPF_A, 0) | ||
432 | }, | ||
433 | CLASSIC, | ||
434 | #ifdef __BIG_ENDIAN | ||
435 | { 0xff, 0xff, 0, 12, 0, 1, 0, 4, 0, 2, 0, 4, 0, 3 }, | ||
436 | #else | ||
437 | { 0xff, 0xff, 12, 0, 1, 0, 4, 0, 2, 0, 4, 0, 3, 0 }, | ||
438 | #endif | ||
439 | { { 4, 0 }, { 20, 10 } }, | ||
440 | }, | ||
441 | { | ||
442 | "LD_PAYLOAD_OFF", | ||
443 | .u.insns = { | ||
444 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, | ||
445 | SKF_AD_OFF + SKF_AD_PAY_OFFSET), | ||
446 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, | ||
447 | SKF_AD_OFF + SKF_AD_PAY_OFFSET), | ||
448 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, | ||
449 | SKF_AD_OFF + SKF_AD_PAY_OFFSET), | ||
450 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, | ||
451 | SKF_AD_OFF + SKF_AD_PAY_OFFSET), | ||
452 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, | ||
453 | SKF_AD_OFF + SKF_AD_PAY_OFFSET), | ||
454 | BPF_STMT(BPF_RET | BPF_A, 0) | ||
455 | }, | ||
456 | CLASSIC, | ||
457 | /* 00:00:00:00:00:00 > 00:00:00:00:00:00, ethtype IPv4 (0x0800), | ||
458 | * length 98: 127.0.0.1 > 127.0.0.1: ICMP echo request, | ||
459 | * id 9737, seq 1, length 64 | ||
460 | */ | ||
461 | { 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, | ||
462 | 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, | ||
463 | 0x08, 0x00, | ||
464 | 0x45, 0x00, 0x00, 0x54, 0xac, 0x8b, 0x40, 0x00, 0x40, | ||
465 | 0x01, 0x90, 0x1b, 0x7f, 0x00, 0x00, 0x01 }, | ||
466 | { { 30, 0 }, { 100, 42 } }, | ||
467 | }, | ||
468 | { | ||
469 | "LD_ANC_XOR", | ||
470 | .u.insns = { | ||
471 | BPF_STMT(BPF_LD | BPF_IMM, 10), | ||
472 | BPF_STMT(BPF_LDX | BPF_IMM, 300), | ||
473 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, | ||
474 | SKF_AD_OFF + SKF_AD_ALU_XOR_X), | ||
475 | BPF_STMT(BPF_RET | BPF_A, 0) | ||
476 | }, | ||
477 | CLASSIC, | ||
478 | { }, | ||
479 | { { 4, 10 ^ 300 }, { 20, 10 ^ 300 } }, | ||
480 | }, | ||
481 | { | ||
482 | "SPILL_FILL", | ||
483 | .u.insns = { | ||
484 | BPF_STMT(BPF_LDX | BPF_LEN, 0), | ||
485 | BPF_STMT(BPF_LD | BPF_IMM, 2), | ||
486 | BPF_STMT(BPF_ALU | BPF_RSH, 1), | ||
487 | BPF_STMT(BPF_ALU | BPF_XOR | BPF_X, 0), | ||
488 | BPF_STMT(BPF_ST, 1), /* M1 = 1 ^ len */ | ||
489 | BPF_STMT(BPF_ALU | BPF_XOR | BPF_K, 0x80000000), | ||
490 | BPF_STMT(BPF_ST, 2), /* M2 = 1 ^ len ^ 0x80000000 */ | ||
491 | BPF_STMT(BPF_STX, 15), /* M3 = len */ | ||
492 | BPF_STMT(BPF_LDX | BPF_MEM, 1), | ||
493 | BPF_STMT(BPF_LD | BPF_MEM, 2), | ||
494 | BPF_STMT(BPF_ALU | BPF_XOR | BPF_X, 0), | ||
495 | BPF_STMT(BPF_LDX | BPF_MEM, 15), | ||
496 | BPF_STMT(BPF_ALU | BPF_XOR | BPF_X, 0), | ||
497 | BPF_STMT(BPF_RET | BPF_A, 0) | ||
498 | }, | ||
499 | CLASSIC, | ||
500 | { }, | ||
501 | { { 1, 0x80000001 }, { 2, 0x80000002 }, { 60, 0x80000000 ^ 60 } } | ||
502 | }, | ||
503 | { | ||
504 | "JEQ", | ||
505 | .u.insns = { | ||
506 | BPF_STMT(BPF_LDX | BPF_LEN, 0), | ||
507 | BPF_STMT(BPF_LD | BPF_B | BPF_ABS, 2), | ||
508 | BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_X, 0, 0, 1), | ||
509 | BPF_STMT(BPF_RET | BPF_K, 1), | ||
510 | BPF_STMT(BPF_RET | BPF_K, MAX_K) | ||
511 | }, | ||
512 | CLASSIC, | ||
513 | { 3, 3, 3, 3, 3 }, | ||
514 | { { 1, 0 }, { 3, 1 }, { 4, MAX_K } }, | ||
515 | }, | ||
516 | { | ||
517 | "JGT", | ||
518 | .u.insns = { | ||
519 | BPF_STMT(BPF_LDX | BPF_LEN, 0), | ||
520 | BPF_STMT(BPF_LD | BPF_B | BPF_ABS, 2), | ||
521 | BPF_JUMP(BPF_JMP | BPF_JGT | BPF_X, 0, 0, 1), | ||
522 | BPF_STMT(BPF_RET | BPF_K, 1), | ||
523 | BPF_STMT(BPF_RET | BPF_K, MAX_K) | ||
524 | }, | ||
525 | CLASSIC, | ||
526 | { 4, 4, 4, 3, 3 }, | ||
527 | { { 2, 0 }, { 3, 1 }, { 4, MAX_K } }, | ||
528 | }, | ||
529 | { | ||
530 | "JGE", | ||
531 | .u.insns = { | ||
532 | BPF_STMT(BPF_LDX | BPF_LEN, 0), | ||
533 | BPF_STMT(BPF_LD | BPF_B | BPF_IND, MAX_K), | ||
534 | BPF_JUMP(BPF_JMP | BPF_JGE | BPF_K, 1, 1, 0), | ||
535 | BPF_STMT(BPF_RET | BPF_K, 10), | ||
536 | BPF_JUMP(BPF_JMP | BPF_JGE | BPF_K, 2, 1, 0), | ||
537 | BPF_STMT(BPF_RET | BPF_K, 20), | ||
538 | BPF_JUMP(BPF_JMP | BPF_JGE | BPF_K, 3, 1, 0), | ||
539 | BPF_STMT(BPF_RET | BPF_K, 30), | ||
540 | BPF_JUMP(BPF_JMP | BPF_JGE | BPF_K, 4, 1, 0), | ||
541 | BPF_STMT(BPF_RET | BPF_K, 40), | ||
542 | BPF_STMT(BPF_RET | BPF_K, MAX_K) | ||
543 | }, | ||
544 | CLASSIC, | ||
545 | { 1, 2, 3, 4, 5 }, | ||
546 | { { 1, 20 }, { 3, 40 }, { 5, MAX_K } }, | ||
547 | }, | ||
548 | { | ||
549 | "JSET", | ||
550 | .u.insns = { | ||
551 | BPF_JUMP(BPF_JMP | BPF_JA, 0, 0, 0), | ||
552 | BPF_JUMP(BPF_JMP | BPF_JA, 1, 1, 1), | ||
553 | BPF_JUMP(BPF_JMP | BPF_JA, 0, 0, 0), | ||
554 | BPF_JUMP(BPF_JMP | BPF_JA, 0, 0, 0), | ||
555 | BPF_STMT(BPF_LDX | BPF_LEN, 0), | ||
556 | BPF_STMT(BPF_MISC | BPF_TXA, 0), | ||
557 | BPF_STMT(BPF_ALU | BPF_SUB | BPF_K, 4), | ||
558 | BPF_STMT(BPF_MISC | BPF_TAX, 0), | ||
559 | BPF_STMT(BPF_LD | BPF_W | BPF_IND, 0), | ||
560 | BPF_JUMP(BPF_JMP | BPF_JSET | BPF_K, 1, 0, 1), | ||
561 | BPF_STMT(BPF_RET | BPF_K, 10), | ||
562 | BPF_JUMP(BPF_JMP | BPF_JSET | BPF_K, 0x80000000, 0, 1), | ||
563 | BPF_STMT(BPF_RET | BPF_K, 20), | ||
564 | BPF_JUMP(BPF_JMP | BPF_JSET | BPF_K, 0xffffff, 1, 0), | ||
565 | BPF_STMT(BPF_RET | BPF_K, 30), | ||
566 | BPF_JUMP(BPF_JMP | BPF_JSET | BPF_K, 0xffffff, 1, 0), | ||
567 | BPF_STMT(BPF_RET | BPF_K, 30), | ||
568 | BPF_JUMP(BPF_JMP | BPF_JSET | BPF_K, 0xffffff, 1, 0), | ||
569 | BPF_STMT(BPF_RET | BPF_K, 30), | ||
570 | BPF_JUMP(BPF_JMP | BPF_JSET | BPF_K, 0xffffff, 1, 0), | ||
571 | BPF_STMT(BPF_RET | BPF_K, 30), | ||
572 | BPF_JUMP(BPF_JMP | BPF_JSET | BPF_K, 0xffffff, 1, 0), | ||
573 | BPF_STMT(BPF_RET | BPF_K, 30), | ||
574 | BPF_STMT(BPF_RET | BPF_K, MAX_K) | ||
575 | }, | ||
576 | CLASSIC, | ||
577 | { 0, 0xAA, 0x55, 1 }, | ||
578 | { { 4, 10 }, { 5, 20 }, { 6, MAX_K } }, | ||
579 | }, | ||
580 | { | ||
581 | "tcpdump port 22", | ||
582 | .u.insns = { | ||
583 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 12), | ||
584 | BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, 0x86dd, 0, 8), /* IPv6 */ | ||
585 | BPF_STMT(BPF_LD | BPF_B | BPF_ABS, 20), | ||
586 | BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, 0x84, 2, 0), | ||
587 | BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, 0x6, 1, 0), | ||
588 | BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, 0x11, 0, 17), | ||
589 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 54), | ||
590 | BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, 22, 14, 0), | ||
591 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 56), | ||
592 | BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, 22, 12, 13), | ||
593 | BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, 0x0800, 0, 12), /* IPv4 */ | ||
594 | BPF_STMT(BPF_LD | BPF_B | BPF_ABS, 23), | ||
595 | BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, 0x84, 2, 0), | ||
596 | BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, 0x6, 1, 0), | ||
597 | BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, 0x11, 0, 8), | ||
598 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 20), | ||
599 | BPF_JUMP(BPF_JMP | BPF_JSET | BPF_K, 0x1fff, 6, 0), | ||
600 | BPF_STMT(BPF_LDX | BPF_B | BPF_MSH, 14), | ||
601 | BPF_STMT(BPF_LD | BPF_H | BPF_IND, 14), | ||
602 | BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, 22, 2, 0), | ||
603 | BPF_STMT(BPF_LD | BPF_H | BPF_IND, 16), | ||
604 | BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, 22, 0, 1), | ||
605 | BPF_STMT(BPF_RET | BPF_K, 0xffff), | ||
606 | BPF_STMT(BPF_RET | BPF_K, 0), | ||
607 | }, | ||
608 | CLASSIC, | ||
609 | /* 3c:07:54:43:e5:76 > 10:bf:48:d6:43:d6, ethertype IPv4(0x0800) | ||
610 | * length 114: 10.1.1.149.49700 > 10.1.2.10.22: Flags [P.], | ||
611 | * seq 1305692979:1305693027, ack 3650467037, win 65535, | ||
612 | * options [nop,nop,TS val 2502645400 ecr 3971138], length 48 | ||
613 | */ | ||
614 | { 0x10, 0xbf, 0x48, 0xd6, 0x43, 0xd6, | ||
615 | 0x3c, 0x07, 0x54, 0x43, 0xe5, 0x76, | ||
616 | 0x08, 0x00, | ||
617 | 0x45, 0x10, 0x00, 0x64, 0x75, 0xb5, | ||
618 | 0x40, 0x00, 0x40, 0x06, 0xad, 0x2e, /* IP header */ | ||
619 | 0x0a, 0x01, 0x01, 0x95, /* ip src */ | ||
620 | 0x0a, 0x01, 0x02, 0x0a, /* ip dst */ | ||
621 | 0xc2, 0x24, | ||
622 | 0x00, 0x16 /* dst port */ }, | ||
623 | { { 10, 0 }, { 30, 0 }, { 100, 65535 } }, | ||
624 | }, | ||
625 | { | ||
626 | "tcpdump complex", | ||
627 | .u.insns = { | ||
628 | /* tcpdump -nei eth0 'tcp port 22 and (((ip[2:2] - | ||
629 | * ((ip[0]&0xf)<<2)) - ((tcp[12]&0xf0)>>2)) != 0) and | ||
630 | * (len > 115 or len < 30000000000)' -d | ||
631 | */ | ||
632 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 12), | ||
633 | BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, 0x86dd, 30, 0), | ||
634 | BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, 0x800, 0, 29), | ||
635 | BPF_STMT(BPF_LD | BPF_B | BPF_ABS, 23), | ||
636 | BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, 0x6, 0, 27), | ||
637 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 20), | ||
638 | BPF_JUMP(BPF_JMP | BPF_JSET | BPF_K, 0x1fff, 25, 0), | ||
639 | BPF_STMT(BPF_LDX | BPF_B | BPF_MSH, 14), | ||
640 | BPF_STMT(BPF_LD | BPF_H | BPF_IND, 14), | ||
641 | BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, 22, 2, 0), | ||
642 | BPF_STMT(BPF_LD | BPF_H | BPF_IND, 16), | ||
643 | BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_K, 22, 0, 20), | ||
644 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 16), | ||
645 | BPF_STMT(BPF_ST, 1), | ||
646 | BPF_STMT(BPF_LD | BPF_B | BPF_ABS, 14), | ||
647 | BPF_STMT(BPF_ALU | BPF_AND | BPF_K, 0xf), | ||
648 | BPF_STMT(BPF_ALU | BPF_LSH | BPF_K, 2), | ||
649 | BPF_STMT(BPF_MISC | BPF_TAX, 0x5), /* libpcap emits K on TAX */ | ||
650 | BPF_STMT(BPF_LD | BPF_MEM, 1), | ||
651 | BPF_STMT(BPF_ALU | BPF_SUB | BPF_X, 0), | ||
652 | BPF_STMT(BPF_ST, 5), | ||
653 | BPF_STMT(BPF_LDX | BPF_B | BPF_MSH, 14), | ||
654 | BPF_STMT(BPF_LD | BPF_B | BPF_IND, 26), | ||
655 | BPF_STMT(BPF_ALU | BPF_AND | BPF_K, 0xf0), | ||
656 | BPF_STMT(BPF_ALU | BPF_RSH | BPF_K, 2), | ||
657 | BPF_STMT(BPF_MISC | BPF_TAX, 0x9), /* libpcap emits K on TAX */ | ||
658 | BPF_STMT(BPF_LD | BPF_MEM, 5), | ||
659 | BPF_JUMP(BPF_JMP | BPF_JEQ | BPF_X, 0, 4, 0), | ||
660 | BPF_STMT(BPF_LD | BPF_LEN, 0), | ||
661 | BPF_JUMP(BPF_JMP | BPF_JGT | BPF_K, 0x73, 1, 0), | ||
662 | BPF_JUMP(BPF_JMP | BPF_JGE | BPF_K, 0xfc23ac00, 1, 0), | ||
663 | BPF_STMT(BPF_RET | BPF_K, 0xffff), | ||
664 | BPF_STMT(BPF_RET | BPF_K, 0), | ||
665 | }, | ||
666 | CLASSIC, | ||
667 | { 0x10, 0xbf, 0x48, 0xd6, 0x43, 0xd6, | ||
668 | 0x3c, 0x07, 0x54, 0x43, 0xe5, 0x76, | ||
669 | 0x08, 0x00, | ||
670 | 0x45, 0x10, 0x00, 0x64, 0x75, 0xb5, | ||
671 | 0x40, 0x00, 0x40, 0x06, 0xad, 0x2e, /* IP header */ | ||
672 | 0x0a, 0x01, 0x01, 0x95, /* ip src */ | ||
673 | 0x0a, 0x01, 0x02, 0x0a, /* ip dst */ | ||
674 | 0xc2, 0x24, | ||
675 | 0x00, 0x16 /* dst port */ }, | ||
676 | { { 10, 0 }, { 30, 0 }, { 100, 65535 } }, | ||
677 | }, | ||
678 | { | ||
679 | "RET_A", | ||
680 | .u.insns = { | ||
681 | /* check that unitialized X and A contain zeros */ | ||
682 | BPF_STMT(BPF_MISC | BPF_TXA, 0), | ||
683 | BPF_STMT(BPF_RET | BPF_A, 0) | ||
684 | }, | ||
685 | CLASSIC, | ||
686 | { }, | ||
687 | { {1, 0}, {2, 0} }, | ||
688 | }, | ||
689 | { | ||
690 | "INT: ADD trivial", | ||
691 | .u.insns_int = { | ||
692 | BPF_ALU64_IMM(BPF_MOV, R1, 1), | ||
693 | BPF_ALU64_IMM(BPF_ADD, R1, 2), | ||
694 | BPF_ALU64_IMM(BPF_MOV, R2, 3), | ||
695 | BPF_ALU64_REG(BPF_SUB, R1, R2), | ||
696 | BPF_ALU64_IMM(BPF_ADD, R1, -1), | ||
697 | BPF_ALU64_IMM(BPF_MUL, R1, 3), | ||
698 | BPF_ALU64_REG(BPF_MOV, R0, R1), | ||
699 | BPF_EXIT_INSN(), | ||
700 | }, | ||
701 | INTERNAL, | ||
702 | { }, | ||
703 | { { 0, 0xfffffffd } } | ||
704 | }, | ||
705 | { | ||
706 | "INT: MUL_X", | ||
707 | .u.insns_int = { | ||
708 | BPF_ALU64_IMM(BPF_MOV, R0, -1), | ||
709 | BPF_ALU64_IMM(BPF_MOV, R1, -1), | ||
710 | BPF_ALU64_IMM(BPF_MOV, R2, 3), | ||
711 | BPF_ALU64_REG(BPF_MUL, R1, R2), | ||
712 | BPF_JMP_IMM(BPF_JEQ, R1, 0xfffffffd, 1), | ||
713 | BPF_EXIT_INSN(), | ||
714 | BPF_ALU64_IMM(BPF_MOV, R0, 1), | ||
715 | BPF_EXIT_INSN(), | ||
716 | }, | ||
717 | INTERNAL, | ||
718 | { }, | ||
719 | { { 0, 1 } } | ||
720 | }, | ||
721 | { | ||
722 | "INT: MUL_X2", | ||
723 | .u.insns_int = { | ||
724 | BPF_ALU32_IMM(BPF_MOV, R0, -1), | ||
725 | BPF_ALU32_IMM(BPF_MOV, R1, -1), | ||
726 | BPF_ALU32_IMM(BPF_MOV, R2, 3), | ||
727 | BPF_ALU64_REG(BPF_MUL, R1, R2), | ||
728 | BPF_ALU64_IMM(BPF_RSH, R1, 8), | ||
729 | BPF_JMP_IMM(BPF_JEQ, R1, 0x2ffffff, 1), | ||
730 | BPF_EXIT_INSN(), | ||
731 | BPF_ALU32_IMM(BPF_MOV, R0, 1), | ||
732 | BPF_EXIT_INSN(), | ||
733 | }, | ||
734 | INTERNAL, | ||
735 | { }, | ||
736 | { { 0, 1 } } | ||
737 | }, | ||
738 | { | ||
739 | "INT: MUL32_X", | ||
740 | .u.insns_int = { | ||
741 | BPF_ALU32_IMM(BPF_MOV, R0, -1), | ||
742 | BPF_ALU64_IMM(BPF_MOV, R1, -1), | ||
743 | BPF_ALU32_IMM(BPF_MOV, R2, 3), | ||
744 | BPF_ALU32_REG(BPF_MUL, R1, R2), | ||
745 | BPF_ALU64_IMM(BPF_RSH, R1, 8), | ||
746 | BPF_JMP_IMM(BPF_JEQ, R1, 0xffffff, 1), | ||
747 | BPF_EXIT_INSN(), | ||
748 | BPF_ALU32_IMM(BPF_MOV, R0, 1), | ||
749 | BPF_EXIT_INSN(), | ||
750 | }, | ||
751 | INTERNAL, | ||
752 | { }, | ||
753 | { { 0, 1 } } | ||
754 | }, | ||
755 | { | ||
756 | /* Have to test all register combinations, since | ||
757 | * JITing of different registers will produce | ||
758 | * different asm code. | ||
759 | */ | ||
760 | "INT: ADD 64-bit", | ||
761 | .u.insns_int = { | ||
762 | BPF_ALU64_IMM(BPF_MOV, R0, 0), | ||
763 | BPF_ALU64_IMM(BPF_MOV, R1, 1), | ||
764 | BPF_ALU64_IMM(BPF_MOV, R2, 2), | ||
765 | BPF_ALU64_IMM(BPF_MOV, R3, 3), | ||
766 | BPF_ALU64_IMM(BPF_MOV, R4, 4), | ||
767 | BPF_ALU64_IMM(BPF_MOV, R5, 5), | ||
768 | BPF_ALU64_IMM(BPF_MOV, R6, 6), | ||
769 | BPF_ALU64_IMM(BPF_MOV, R7, 7), | ||
770 | BPF_ALU64_IMM(BPF_MOV, R8, 8), | ||
771 | BPF_ALU64_IMM(BPF_MOV, R9, 9), | ||
772 | BPF_ALU64_IMM(BPF_ADD, R0, 20), | ||
773 | BPF_ALU64_IMM(BPF_ADD, R1, 20), | ||
774 | BPF_ALU64_IMM(BPF_ADD, R2, 20), | ||
775 | BPF_ALU64_IMM(BPF_ADD, R3, 20), | ||
776 | BPF_ALU64_IMM(BPF_ADD, R4, 20), | ||
777 | BPF_ALU64_IMM(BPF_ADD, R5, 20), | ||
778 | BPF_ALU64_IMM(BPF_ADD, R6, 20), | ||
779 | BPF_ALU64_IMM(BPF_ADD, R7, 20), | ||
780 | BPF_ALU64_IMM(BPF_ADD, R8, 20), | ||
781 | BPF_ALU64_IMM(BPF_ADD, R9, 20), | ||
782 | BPF_ALU64_IMM(BPF_SUB, R0, 10), | ||
783 | BPF_ALU64_IMM(BPF_SUB, R1, 10), | ||
784 | BPF_ALU64_IMM(BPF_SUB, R2, 10), | ||
785 | BPF_ALU64_IMM(BPF_SUB, R3, 10), | ||
786 | BPF_ALU64_IMM(BPF_SUB, R4, 10), | ||
787 | BPF_ALU64_IMM(BPF_SUB, R5, 10), | ||
788 | BPF_ALU64_IMM(BPF_SUB, R6, 10), | ||
789 | BPF_ALU64_IMM(BPF_SUB, R7, 10), | ||
790 | BPF_ALU64_IMM(BPF_SUB, R8, 10), | ||
791 | BPF_ALU64_IMM(BPF_SUB, R9, 10), | ||
792 | BPF_ALU64_REG(BPF_ADD, R0, R0), | ||
793 | BPF_ALU64_REG(BPF_ADD, R0, R1), | ||
794 | BPF_ALU64_REG(BPF_ADD, R0, R2), | ||
795 | BPF_ALU64_REG(BPF_ADD, R0, R3), | ||
796 | BPF_ALU64_REG(BPF_ADD, R0, R4), | ||
797 | BPF_ALU64_REG(BPF_ADD, R0, R5), | ||
798 | BPF_ALU64_REG(BPF_ADD, R0, R6), | ||
799 | BPF_ALU64_REG(BPF_ADD, R0, R7), | ||
800 | BPF_ALU64_REG(BPF_ADD, R0, R8), | ||
801 | BPF_ALU64_REG(BPF_ADD, R0, R9), /* R0 == 155 */ | ||
802 | BPF_JMP_IMM(BPF_JEQ, R0, 155, 1), | ||
803 | BPF_EXIT_INSN(), | ||
804 | BPF_ALU64_REG(BPF_ADD, R1, R0), | ||
805 | BPF_ALU64_REG(BPF_ADD, R1, R1), | ||
806 | BPF_ALU64_REG(BPF_ADD, R1, R2), | ||
807 | BPF_ALU64_REG(BPF_ADD, R1, R3), | ||
808 | BPF_ALU64_REG(BPF_ADD, R1, R4), | ||
809 | BPF_ALU64_REG(BPF_ADD, R1, R5), | ||
810 | BPF_ALU64_REG(BPF_ADD, R1, R6), | ||
811 | BPF_ALU64_REG(BPF_ADD, R1, R7), | ||
812 | BPF_ALU64_REG(BPF_ADD, R1, R8), | ||
813 | BPF_ALU64_REG(BPF_ADD, R1, R9), /* R1 == 456 */ | ||
814 | BPF_JMP_IMM(BPF_JEQ, R1, 456, 1), | ||
815 | BPF_EXIT_INSN(), | ||
816 | BPF_ALU64_REG(BPF_ADD, R2, R0), | ||
817 | BPF_ALU64_REG(BPF_ADD, R2, R1), | ||
818 | BPF_ALU64_REG(BPF_ADD, R2, R2), | ||
819 | BPF_ALU64_REG(BPF_ADD, R2, R3), | ||
820 | BPF_ALU64_REG(BPF_ADD, R2, R4), | ||
821 | BPF_ALU64_REG(BPF_ADD, R2, R5), | ||
822 | BPF_ALU64_REG(BPF_ADD, R2, R6), | ||
823 | BPF_ALU64_REG(BPF_ADD, R2, R7), | ||
824 | BPF_ALU64_REG(BPF_ADD, R2, R8), | ||
825 | BPF_ALU64_REG(BPF_ADD, R2, R9), /* R2 == 1358 */ | ||
826 | BPF_JMP_IMM(BPF_JEQ, R2, 1358, 1), | ||
827 | BPF_EXIT_INSN(), | ||
828 | BPF_ALU64_REG(BPF_ADD, R3, R0), | ||
829 | BPF_ALU64_REG(BPF_ADD, R3, R1), | ||
830 | BPF_ALU64_REG(BPF_ADD, R3, R2), | ||
831 | BPF_ALU64_REG(BPF_ADD, R3, R3), | ||
832 | BPF_ALU64_REG(BPF_ADD, R3, R4), | ||
833 | BPF_ALU64_REG(BPF_ADD, R3, R5), | ||
834 | BPF_ALU64_REG(BPF_ADD, R3, R6), | ||
835 | BPF_ALU64_REG(BPF_ADD, R3, R7), | ||
836 | BPF_ALU64_REG(BPF_ADD, R3, R8), | ||
837 | BPF_ALU64_REG(BPF_ADD, R3, R9), /* R3 == 4063 */ | ||
838 | BPF_JMP_IMM(BPF_JEQ, R3, 4063, 1), | ||
839 | BPF_EXIT_INSN(), | ||
840 | BPF_ALU64_REG(BPF_ADD, R4, R0), | ||
841 | BPF_ALU64_REG(BPF_ADD, R4, R1), | ||
842 | BPF_ALU64_REG(BPF_ADD, R4, R2), | ||
843 | BPF_ALU64_REG(BPF_ADD, R4, R3), | ||
844 | BPF_ALU64_REG(BPF_ADD, R4, R4), | ||
845 | BPF_ALU64_REG(BPF_ADD, R4, R5), | ||
846 | BPF_ALU64_REG(BPF_ADD, R4, R6), | ||
847 | BPF_ALU64_REG(BPF_ADD, R4, R7), | ||
848 | BPF_ALU64_REG(BPF_ADD, R4, R8), | ||
849 | BPF_ALU64_REG(BPF_ADD, R4, R9), /* R4 == 12177 */ | ||
850 | BPF_JMP_IMM(BPF_JEQ, R4, 12177, 1), | ||
851 | BPF_EXIT_INSN(), | ||
852 | BPF_ALU64_REG(BPF_ADD, R5, R0), | ||
853 | BPF_ALU64_REG(BPF_ADD, R5, R1), | ||
854 | BPF_ALU64_REG(BPF_ADD, R5, R2), | ||
855 | BPF_ALU64_REG(BPF_ADD, R5, R3), | ||
856 | BPF_ALU64_REG(BPF_ADD, R5, R4), | ||
857 | BPF_ALU64_REG(BPF_ADD, R5, R5), | ||
858 | BPF_ALU64_REG(BPF_ADD, R5, R6), | ||
859 | BPF_ALU64_REG(BPF_ADD, R5, R7), | ||
860 | BPF_ALU64_REG(BPF_ADD, R5, R8), | ||
861 | BPF_ALU64_REG(BPF_ADD, R5, R9), /* R5 == 36518 */ | ||
862 | BPF_JMP_IMM(BPF_JEQ, R5, 36518, 1), | ||
863 | BPF_EXIT_INSN(), | ||
864 | BPF_ALU64_REG(BPF_ADD, R6, R0), | ||
865 | BPF_ALU64_REG(BPF_ADD, R6, R1), | ||
866 | BPF_ALU64_REG(BPF_ADD, R6, R2), | ||
867 | BPF_ALU64_REG(BPF_ADD, R6, R3), | ||
868 | BPF_ALU64_REG(BPF_ADD, R6, R4), | ||
869 | BPF_ALU64_REG(BPF_ADD, R6, R5), | ||
870 | BPF_ALU64_REG(BPF_ADD, R6, R6), | ||
871 | BPF_ALU64_REG(BPF_ADD, R6, R7), | ||
872 | BPF_ALU64_REG(BPF_ADD, R6, R8), | ||
873 | BPF_ALU64_REG(BPF_ADD, R6, R9), /* R6 == 109540 */ | ||
874 | BPF_JMP_IMM(BPF_JEQ, R6, 109540, 1), | ||
875 | BPF_EXIT_INSN(), | ||
876 | BPF_ALU64_REG(BPF_ADD, R7, R0), | ||
877 | BPF_ALU64_REG(BPF_ADD, R7, R1), | ||
878 | BPF_ALU64_REG(BPF_ADD, R7, R2), | ||
879 | BPF_ALU64_REG(BPF_ADD, R7, R3), | ||
880 | BPF_ALU64_REG(BPF_ADD, R7, R4), | ||
881 | BPF_ALU64_REG(BPF_ADD, R7, R5), | ||
882 | BPF_ALU64_REG(BPF_ADD, R7, R6), | ||
883 | BPF_ALU64_REG(BPF_ADD, R7, R7), | ||
884 | BPF_ALU64_REG(BPF_ADD, R7, R8), | ||
885 | BPF_ALU64_REG(BPF_ADD, R7, R9), /* R7 == 328605 */ | ||
886 | BPF_JMP_IMM(BPF_JEQ, R7, 328605, 1), | ||
887 | BPF_EXIT_INSN(), | ||
888 | BPF_ALU64_REG(BPF_ADD, R8, R0), | ||
889 | BPF_ALU64_REG(BPF_ADD, R8, R1), | ||
890 | BPF_ALU64_REG(BPF_ADD, R8, R2), | ||
891 | BPF_ALU64_REG(BPF_ADD, R8, R3), | ||
892 | BPF_ALU64_REG(BPF_ADD, R8, R4), | ||
893 | BPF_ALU64_REG(BPF_ADD, R8, R5), | ||
894 | BPF_ALU64_REG(BPF_ADD, R8, R6), | ||
895 | BPF_ALU64_REG(BPF_ADD, R8, R7), | ||
896 | BPF_ALU64_REG(BPF_ADD, R8, R8), | ||
897 | BPF_ALU64_REG(BPF_ADD, R8, R9), /* R8 == 985799 */ | ||
898 | BPF_JMP_IMM(BPF_JEQ, R8, 985799, 1), | ||
899 | BPF_EXIT_INSN(), | ||
900 | BPF_ALU64_REG(BPF_ADD, R9, R0), | ||
901 | BPF_ALU64_REG(BPF_ADD, R9, R1), | ||
902 | BPF_ALU64_REG(BPF_ADD, R9, R2), | ||
903 | BPF_ALU64_REG(BPF_ADD, R9, R3), | ||
904 | BPF_ALU64_REG(BPF_ADD, R9, R4), | ||
905 | BPF_ALU64_REG(BPF_ADD, R9, R5), | ||
906 | BPF_ALU64_REG(BPF_ADD, R9, R6), | ||
907 | BPF_ALU64_REG(BPF_ADD, R9, R7), | ||
908 | BPF_ALU64_REG(BPF_ADD, R9, R8), | ||
909 | BPF_ALU64_REG(BPF_ADD, R9, R9), /* R9 == 2957380 */ | ||
910 | BPF_ALU64_REG(BPF_MOV, R0, R9), | ||
911 | BPF_EXIT_INSN(), | ||
912 | }, | ||
913 | INTERNAL, | ||
914 | { }, | ||
915 | { { 0, 2957380 } } | ||
916 | }, | ||
917 | { | ||
918 | "INT: ADD 32-bit", | ||
919 | .u.insns_int = { | ||
920 | BPF_ALU32_IMM(BPF_MOV, R0, 20), | ||
921 | BPF_ALU32_IMM(BPF_MOV, R1, 1), | ||
922 | BPF_ALU32_IMM(BPF_MOV, R2, 2), | ||
923 | BPF_ALU32_IMM(BPF_MOV, R3, 3), | ||
924 | BPF_ALU32_IMM(BPF_MOV, R4, 4), | ||
925 | BPF_ALU32_IMM(BPF_MOV, R5, 5), | ||
926 | BPF_ALU32_IMM(BPF_MOV, R6, 6), | ||
927 | BPF_ALU32_IMM(BPF_MOV, R7, 7), | ||
928 | BPF_ALU32_IMM(BPF_MOV, R8, 8), | ||
929 | BPF_ALU32_IMM(BPF_MOV, R9, 9), | ||
930 | BPF_ALU64_IMM(BPF_ADD, R1, 10), | ||
931 | BPF_ALU64_IMM(BPF_ADD, R2, 10), | ||
932 | BPF_ALU64_IMM(BPF_ADD, R3, 10), | ||
933 | BPF_ALU64_IMM(BPF_ADD, R4, 10), | ||
934 | BPF_ALU64_IMM(BPF_ADD, R5, 10), | ||
935 | BPF_ALU64_IMM(BPF_ADD, R6, 10), | ||
936 | BPF_ALU64_IMM(BPF_ADD, R7, 10), | ||
937 | BPF_ALU64_IMM(BPF_ADD, R8, 10), | ||
938 | BPF_ALU64_IMM(BPF_ADD, R9, 10), | ||
939 | BPF_ALU32_REG(BPF_ADD, R0, R1), | ||
940 | BPF_ALU32_REG(BPF_ADD, R0, R2), | ||
941 | BPF_ALU32_REG(BPF_ADD, R0, R3), | ||
942 | BPF_ALU32_REG(BPF_ADD, R0, R4), | ||
943 | BPF_ALU32_REG(BPF_ADD, R0, R5), | ||
944 | BPF_ALU32_REG(BPF_ADD, R0, R6), | ||
945 | BPF_ALU32_REG(BPF_ADD, R0, R7), | ||
946 | BPF_ALU32_REG(BPF_ADD, R0, R8), | ||
947 | BPF_ALU32_REG(BPF_ADD, R0, R9), /* R0 == 155 */ | ||
948 | BPF_JMP_IMM(BPF_JEQ, R0, 155, 1), | ||
949 | BPF_EXIT_INSN(), | ||
950 | BPF_ALU32_REG(BPF_ADD, R1, R0), | ||
951 | BPF_ALU32_REG(BPF_ADD, R1, R1), | ||
952 | BPF_ALU32_REG(BPF_ADD, R1, R2), | ||
953 | BPF_ALU32_REG(BPF_ADD, R1, R3), | ||
954 | BPF_ALU32_REG(BPF_ADD, R1, R4), | ||
955 | BPF_ALU32_REG(BPF_ADD, R1, R5), | ||
956 | BPF_ALU32_REG(BPF_ADD, R1, R6), | ||
957 | BPF_ALU32_REG(BPF_ADD, R1, R7), | ||
958 | BPF_ALU32_REG(BPF_ADD, R1, R8), | ||
959 | BPF_ALU32_REG(BPF_ADD, R1, R9), /* R1 == 456 */ | ||
960 | BPF_JMP_IMM(BPF_JEQ, R1, 456, 1), | ||
961 | BPF_EXIT_INSN(), | ||
962 | BPF_ALU32_REG(BPF_ADD, R2, R0), | ||
963 | BPF_ALU32_REG(BPF_ADD, R2, R1), | ||
964 | BPF_ALU32_REG(BPF_ADD, R2, R2), | ||
965 | BPF_ALU32_REG(BPF_ADD, R2, R3), | ||
966 | BPF_ALU32_REG(BPF_ADD, R2, R4), | ||
967 | BPF_ALU32_REG(BPF_ADD, R2, R5), | ||
968 | BPF_ALU32_REG(BPF_ADD, R2, R6), | ||
969 | BPF_ALU32_REG(BPF_ADD, R2, R7), | ||
970 | BPF_ALU32_REG(BPF_ADD, R2, R8), | ||
971 | BPF_ALU32_REG(BPF_ADD, R2, R9), /* R2 == 1358 */ | ||
972 | BPF_JMP_IMM(BPF_JEQ, R2, 1358, 1), | ||
973 | BPF_EXIT_INSN(), | ||
974 | BPF_ALU32_REG(BPF_ADD, R3, R0), | ||
975 | BPF_ALU32_REG(BPF_ADD, R3, R1), | ||
976 | BPF_ALU32_REG(BPF_ADD, R3, R2), | ||
977 | BPF_ALU32_REG(BPF_ADD, R3, R3), | ||
978 | BPF_ALU32_REG(BPF_ADD, R3, R4), | ||
979 | BPF_ALU32_REG(BPF_ADD, R3, R5), | ||
980 | BPF_ALU32_REG(BPF_ADD, R3, R6), | ||
981 | BPF_ALU32_REG(BPF_ADD, R3, R7), | ||
982 | BPF_ALU32_REG(BPF_ADD, R3, R8), | ||
983 | BPF_ALU32_REG(BPF_ADD, R3, R9), /* R3 == 4063 */ | ||
984 | BPF_JMP_IMM(BPF_JEQ, R3, 4063, 1), | ||
985 | BPF_EXIT_INSN(), | ||
986 | BPF_ALU32_REG(BPF_ADD, R4, R0), | ||
987 | BPF_ALU32_REG(BPF_ADD, R4, R1), | ||
988 | BPF_ALU32_REG(BPF_ADD, R4, R2), | ||
989 | BPF_ALU32_REG(BPF_ADD, R4, R3), | ||
990 | BPF_ALU32_REG(BPF_ADD, R4, R4), | ||
991 | BPF_ALU32_REG(BPF_ADD, R4, R5), | ||
992 | BPF_ALU32_REG(BPF_ADD, R4, R6), | ||
993 | BPF_ALU32_REG(BPF_ADD, R4, R7), | ||
994 | BPF_ALU32_REG(BPF_ADD, R4, R8), | ||
995 | BPF_ALU32_REG(BPF_ADD, R4, R9), /* R4 == 12177 */ | ||
996 | BPF_JMP_IMM(BPF_JEQ, R4, 12177, 1), | ||
997 | BPF_EXIT_INSN(), | ||
998 | BPF_ALU32_REG(BPF_ADD, R5, R0), | ||
999 | BPF_ALU32_REG(BPF_ADD, R5, R1), | ||
1000 | BPF_ALU32_REG(BPF_ADD, R5, R2), | ||
1001 | BPF_ALU32_REG(BPF_ADD, R5, R3), | ||
1002 | BPF_ALU32_REG(BPF_ADD, R5, R4), | ||
1003 | BPF_ALU32_REG(BPF_ADD, R5, R5), | ||
1004 | BPF_ALU32_REG(BPF_ADD, R5, R6), | ||
1005 | BPF_ALU32_REG(BPF_ADD, R5, R7), | ||
1006 | BPF_ALU32_REG(BPF_ADD, R5, R8), | ||
1007 | BPF_ALU32_REG(BPF_ADD, R5, R9), /* R5 == 36518 */ | ||
1008 | BPF_JMP_IMM(BPF_JEQ, R5, 36518, 1), | ||
1009 | BPF_EXIT_INSN(), | ||
1010 | BPF_ALU32_REG(BPF_ADD, R6, R0), | ||
1011 | BPF_ALU32_REG(BPF_ADD, R6, R1), | ||
1012 | BPF_ALU32_REG(BPF_ADD, R6, R2), | ||
1013 | BPF_ALU32_REG(BPF_ADD, R6, R3), | ||
1014 | BPF_ALU32_REG(BPF_ADD, R6, R4), | ||
1015 | BPF_ALU32_REG(BPF_ADD, R6, R5), | ||
1016 | BPF_ALU32_REG(BPF_ADD, R6, R6), | ||
1017 | BPF_ALU32_REG(BPF_ADD, R6, R7), | ||
1018 | BPF_ALU32_REG(BPF_ADD, R6, R8), | ||
1019 | BPF_ALU32_REG(BPF_ADD, R6, R9), /* R6 == 109540 */ | ||
1020 | BPF_JMP_IMM(BPF_JEQ, R6, 109540, 1), | ||
1021 | BPF_EXIT_INSN(), | ||
1022 | BPF_ALU32_REG(BPF_ADD, R7, R0), | ||
1023 | BPF_ALU32_REG(BPF_ADD, R7, R1), | ||
1024 | BPF_ALU32_REG(BPF_ADD, R7, R2), | ||
1025 | BPF_ALU32_REG(BPF_ADD, R7, R3), | ||
1026 | BPF_ALU32_REG(BPF_ADD, R7, R4), | ||
1027 | BPF_ALU32_REG(BPF_ADD, R7, R5), | ||
1028 | BPF_ALU32_REG(BPF_ADD, R7, R6), | ||
1029 | BPF_ALU32_REG(BPF_ADD, R7, R7), | ||
1030 | BPF_ALU32_REG(BPF_ADD, R7, R8), | ||
1031 | BPF_ALU32_REG(BPF_ADD, R7, R9), /* R7 == 328605 */ | ||
1032 | BPF_JMP_IMM(BPF_JEQ, R7, 328605, 1), | ||
1033 | BPF_EXIT_INSN(), | ||
1034 | BPF_ALU32_REG(BPF_ADD, R8, R0), | ||
1035 | BPF_ALU32_REG(BPF_ADD, R8, R1), | ||
1036 | BPF_ALU32_REG(BPF_ADD, R8, R2), | ||
1037 | BPF_ALU32_REG(BPF_ADD, R8, R3), | ||
1038 | BPF_ALU32_REG(BPF_ADD, R8, R4), | ||
1039 | BPF_ALU32_REG(BPF_ADD, R8, R5), | ||
1040 | BPF_ALU32_REG(BPF_ADD, R8, R6), | ||
1041 | BPF_ALU32_REG(BPF_ADD, R8, R7), | ||
1042 | BPF_ALU32_REG(BPF_ADD, R8, R8), | ||
1043 | BPF_ALU32_REG(BPF_ADD, R8, R9), /* R8 == 985799 */ | ||
1044 | BPF_JMP_IMM(BPF_JEQ, R8, 985799, 1), | ||
1045 | BPF_EXIT_INSN(), | ||
1046 | BPF_ALU32_REG(BPF_ADD, R9, R0), | ||
1047 | BPF_ALU32_REG(BPF_ADD, R9, R1), | ||
1048 | BPF_ALU32_REG(BPF_ADD, R9, R2), | ||
1049 | BPF_ALU32_REG(BPF_ADD, R9, R3), | ||
1050 | BPF_ALU32_REG(BPF_ADD, R9, R4), | ||
1051 | BPF_ALU32_REG(BPF_ADD, R9, R5), | ||
1052 | BPF_ALU32_REG(BPF_ADD, R9, R6), | ||
1053 | BPF_ALU32_REG(BPF_ADD, R9, R7), | ||
1054 | BPF_ALU32_REG(BPF_ADD, R9, R8), | ||
1055 | BPF_ALU32_REG(BPF_ADD, R9, R9), /* R9 == 2957380 */ | ||
1056 | BPF_ALU32_REG(BPF_MOV, R0, R9), | ||
1057 | BPF_EXIT_INSN(), | ||
1058 | }, | ||
1059 | INTERNAL, | ||
1060 | { }, | ||
1061 | { { 0, 2957380 } } | ||
1062 | }, | ||
1063 | { /* Mainly checking JIT here. */ | ||
1064 | "INT: SUB", | ||
1065 | .u.insns_int = { | ||
1066 | BPF_ALU64_IMM(BPF_MOV, R0, 0), | ||
1067 | BPF_ALU64_IMM(BPF_MOV, R1, 1), | ||
1068 | BPF_ALU64_IMM(BPF_MOV, R2, 2), | ||
1069 | BPF_ALU64_IMM(BPF_MOV, R3, 3), | ||
1070 | BPF_ALU64_IMM(BPF_MOV, R4, 4), | ||
1071 | BPF_ALU64_IMM(BPF_MOV, R5, 5), | ||
1072 | BPF_ALU64_IMM(BPF_MOV, R6, 6), | ||
1073 | BPF_ALU64_IMM(BPF_MOV, R7, 7), | ||
1074 | BPF_ALU64_IMM(BPF_MOV, R8, 8), | ||
1075 | BPF_ALU64_IMM(BPF_MOV, R9, 9), | ||
1076 | BPF_ALU64_REG(BPF_SUB, R0, R0), | ||
1077 | BPF_ALU64_REG(BPF_SUB, R0, R1), | ||
1078 | BPF_ALU64_REG(BPF_SUB, R0, R2), | ||
1079 | BPF_ALU64_REG(BPF_SUB, R0, R3), | ||
1080 | BPF_ALU64_REG(BPF_SUB, R0, R4), | ||
1081 | BPF_ALU64_REG(BPF_SUB, R0, R5), | ||
1082 | BPF_ALU64_REG(BPF_SUB, R0, R6), | ||
1083 | BPF_ALU64_REG(BPF_SUB, R0, R7), | ||
1084 | BPF_ALU64_REG(BPF_SUB, R0, R8), | ||
1085 | BPF_ALU64_REG(BPF_SUB, R0, R9), | ||
1086 | BPF_ALU64_IMM(BPF_SUB, R0, 10), | ||
1087 | BPF_JMP_IMM(BPF_JEQ, R0, -55, 1), | ||
1088 | BPF_EXIT_INSN(), | ||
1089 | BPF_ALU64_REG(BPF_SUB, R1, R0), | ||
1090 | BPF_ALU64_REG(BPF_SUB, R1, R2), | ||
1091 | BPF_ALU64_REG(BPF_SUB, R1, R3), | ||
1092 | BPF_ALU64_REG(BPF_SUB, R1, R4), | ||
1093 | BPF_ALU64_REG(BPF_SUB, R1, R5), | ||
1094 | BPF_ALU64_REG(BPF_SUB, R1, R6), | ||
1095 | BPF_ALU64_REG(BPF_SUB, R1, R7), | ||
1096 | BPF_ALU64_REG(BPF_SUB, R1, R8), | ||
1097 | BPF_ALU64_REG(BPF_SUB, R1, R9), | ||
1098 | BPF_ALU64_IMM(BPF_SUB, R1, 10), | ||
1099 | BPF_ALU64_REG(BPF_SUB, R2, R0), | ||
1100 | BPF_ALU64_REG(BPF_SUB, R2, R1), | ||
1101 | BPF_ALU64_REG(BPF_SUB, R2, R3), | ||
1102 | BPF_ALU64_REG(BPF_SUB, R2, R4), | ||
1103 | BPF_ALU64_REG(BPF_SUB, R2, R5), | ||
1104 | BPF_ALU64_REG(BPF_SUB, R2, R6), | ||
1105 | BPF_ALU64_REG(BPF_SUB, R2, R7), | ||
1106 | BPF_ALU64_REG(BPF_SUB, R2, R8), | ||
1107 | BPF_ALU64_REG(BPF_SUB, R2, R9), | ||
1108 | BPF_ALU64_IMM(BPF_SUB, R2, 10), | ||
1109 | BPF_ALU64_REG(BPF_SUB, R3, R0), | ||
1110 | BPF_ALU64_REG(BPF_SUB, R3, R1), | ||
1111 | BPF_ALU64_REG(BPF_SUB, R3, R2), | ||
1112 | BPF_ALU64_REG(BPF_SUB, R3, R4), | ||
1113 | BPF_ALU64_REG(BPF_SUB, R3, R5), | ||
1114 | BPF_ALU64_REG(BPF_SUB, R3, R6), | ||
1115 | BPF_ALU64_REG(BPF_SUB, R3, R7), | ||
1116 | BPF_ALU64_REG(BPF_SUB, R3, R8), | ||
1117 | BPF_ALU64_REG(BPF_SUB, R3, R9), | ||
1118 | BPF_ALU64_IMM(BPF_SUB, R3, 10), | ||
1119 | BPF_ALU64_REG(BPF_SUB, R4, R0), | ||
1120 | BPF_ALU64_REG(BPF_SUB, R4, R1), | ||
1121 | BPF_ALU64_REG(BPF_SUB, R4, R2), | ||
1122 | BPF_ALU64_REG(BPF_SUB, R4, R3), | ||
1123 | BPF_ALU64_REG(BPF_SUB, R4, R5), | ||
1124 | BPF_ALU64_REG(BPF_SUB, R4, R6), | ||
1125 | BPF_ALU64_REG(BPF_SUB, R4, R7), | ||
1126 | BPF_ALU64_REG(BPF_SUB, R4, R8), | ||
1127 | BPF_ALU64_REG(BPF_SUB, R4, R9), | ||
1128 | BPF_ALU64_IMM(BPF_SUB, R4, 10), | ||
1129 | BPF_ALU64_REG(BPF_SUB, R5, R0), | ||
1130 | BPF_ALU64_REG(BPF_SUB, R5, R1), | ||
1131 | BPF_ALU64_REG(BPF_SUB, R5, R2), | ||
1132 | BPF_ALU64_REG(BPF_SUB, R5, R3), | ||
1133 | BPF_ALU64_REG(BPF_SUB, R5, R4), | ||
1134 | BPF_ALU64_REG(BPF_SUB, R5, R6), | ||
1135 | BPF_ALU64_REG(BPF_SUB, R5, R7), | ||
1136 | BPF_ALU64_REG(BPF_SUB, R5, R8), | ||
1137 | BPF_ALU64_REG(BPF_SUB, R5, R9), | ||
1138 | BPF_ALU64_IMM(BPF_SUB, R5, 10), | ||
1139 | BPF_ALU64_REG(BPF_SUB, R6, R0), | ||
1140 | BPF_ALU64_REG(BPF_SUB, R6, R1), | ||
1141 | BPF_ALU64_REG(BPF_SUB, R6, R2), | ||
1142 | BPF_ALU64_REG(BPF_SUB, R6, R3), | ||
1143 | BPF_ALU64_REG(BPF_SUB, R6, R4), | ||
1144 | BPF_ALU64_REG(BPF_SUB, R6, R5), | ||
1145 | BPF_ALU64_REG(BPF_SUB, R6, R7), | ||
1146 | BPF_ALU64_REG(BPF_SUB, R6, R8), | ||
1147 | BPF_ALU64_REG(BPF_SUB, R6, R9), | ||
1148 | BPF_ALU64_IMM(BPF_SUB, R6, 10), | ||
1149 | BPF_ALU64_REG(BPF_SUB, R7, R0), | ||
1150 | BPF_ALU64_REG(BPF_SUB, R7, R1), | ||
1151 | BPF_ALU64_REG(BPF_SUB, R7, R2), | ||
1152 | BPF_ALU64_REG(BPF_SUB, R7, R3), | ||
1153 | BPF_ALU64_REG(BPF_SUB, R7, R4), | ||
1154 | BPF_ALU64_REG(BPF_SUB, R7, R5), | ||
1155 | BPF_ALU64_REG(BPF_SUB, R7, R6), | ||
1156 | BPF_ALU64_REG(BPF_SUB, R7, R8), | ||
1157 | BPF_ALU64_REG(BPF_SUB, R7, R9), | ||
1158 | BPF_ALU64_IMM(BPF_SUB, R7, 10), | ||
1159 | BPF_ALU64_REG(BPF_SUB, R8, R0), | ||
1160 | BPF_ALU64_REG(BPF_SUB, R8, R1), | ||
1161 | BPF_ALU64_REG(BPF_SUB, R8, R2), | ||
1162 | BPF_ALU64_REG(BPF_SUB, R8, R3), | ||
1163 | BPF_ALU64_REG(BPF_SUB, R8, R4), | ||
1164 | BPF_ALU64_REG(BPF_SUB, R8, R5), | ||
1165 | BPF_ALU64_REG(BPF_SUB, R8, R6), | ||
1166 | BPF_ALU64_REG(BPF_SUB, R8, R7), | ||
1167 | BPF_ALU64_REG(BPF_SUB, R8, R9), | ||
1168 | BPF_ALU64_IMM(BPF_SUB, R8, 10), | ||
1169 | BPF_ALU64_REG(BPF_SUB, R9, R0), | ||
1170 | BPF_ALU64_REG(BPF_SUB, R9, R1), | ||
1171 | BPF_ALU64_REG(BPF_SUB, R9, R2), | ||
1172 | BPF_ALU64_REG(BPF_SUB, R9, R3), | ||
1173 | BPF_ALU64_REG(BPF_SUB, R9, R4), | ||
1174 | BPF_ALU64_REG(BPF_SUB, R9, R5), | ||
1175 | BPF_ALU64_REG(BPF_SUB, R9, R6), | ||
1176 | BPF_ALU64_REG(BPF_SUB, R9, R7), | ||
1177 | BPF_ALU64_REG(BPF_SUB, R9, R8), | ||
1178 | BPF_ALU64_IMM(BPF_SUB, R9, 10), | ||
1179 | BPF_ALU64_IMM(BPF_SUB, R0, 10), | ||
1180 | BPF_ALU64_IMM(BPF_NEG, R0, 0), | ||
1181 | BPF_ALU64_REG(BPF_SUB, R0, R1), | ||
1182 | BPF_ALU64_REG(BPF_SUB, R0, R2), | ||
1183 | BPF_ALU64_REG(BPF_SUB, R0, R3), | ||
1184 | BPF_ALU64_REG(BPF_SUB, R0, R4), | ||
1185 | BPF_ALU64_REG(BPF_SUB, R0, R5), | ||
1186 | BPF_ALU64_REG(BPF_SUB, R0, R6), | ||
1187 | BPF_ALU64_REG(BPF_SUB, R0, R7), | ||
1188 | BPF_ALU64_REG(BPF_SUB, R0, R8), | ||
1189 | BPF_ALU64_REG(BPF_SUB, R0, R9), | ||
1190 | BPF_EXIT_INSN(), | ||
1191 | }, | ||
1192 | INTERNAL, | ||
1193 | { }, | ||
1194 | { { 0, 11 } } | ||
1195 | }, | ||
1196 | { /* Mainly checking JIT here. */ | ||
1197 | "INT: XOR", | ||
1198 | .u.insns_int = { | ||
1199 | BPF_ALU64_REG(BPF_SUB, R0, R0), | ||
1200 | BPF_ALU64_REG(BPF_XOR, R1, R1), | ||
1201 | BPF_JMP_REG(BPF_JEQ, R0, R1, 1), | ||
1202 | BPF_EXIT_INSN(), | ||
1203 | BPF_ALU64_IMM(BPF_MOV, R0, 10), | ||
1204 | BPF_ALU64_IMM(BPF_MOV, R1, -1), | ||
1205 | BPF_ALU64_REG(BPF_SUB, R1, R1), | ||
1206 | BPF_ALU64_REG(BPF_XOR, R2, R2), | ||
1207 | BPF_JMP_REG(BPF_JEQ, R1, R2, 1), | ||
1208 | BPF_EXIT_INSN(), | ||
1209 | BPF_ALU64_REG(BPF_SUB, R2, R2), | ||
1210 | BPF_ALU64_REG(BPF_XOR, R3, R3), | ||
1211 | BPF_ALU64_IMM(BPF_MOV, R0, 10), | ||
1212 | BPF_ALU64_IMM(BPF_MOV, R1, -1), | ||
1213 | BPF_JMP_REG(BPF_JEQ, R2, R3, 1), | ||
1214 | BPF_EXIT_INSN(), | ||
1215 | BPF_ALU64_REG(BPF_SUB, R3, R3), | ||
1216 | BPF_ALU64_REG(BPF_XOR, R4, R4), | ||
1217 | BPF_ALU64_IMM(BPF_MOV, R2, 1), | ||
1218 | BPF_ALU64_IMM(BPF_MOV, R5, -1), | ||
1219 | BPF_JMP_REG(BPF_JEQ, R3, R4, 1), | ||
1220 | BPF_EXIT_INSN(), | ||
1221 | BPF_ALU64_REG(BPF_SUB, R4, R4), | ||
1222 | BPF_ALU64_REG(BPF_XOR, R5, R5), | ||
1223 | BPF_ALU64_IMM(BPF_MOV, R3, 1), | ||
1224 | BPF_ALU64_IMM(BPF_MOV, R7, -1), | ||
1225 | BPF_JMP_REG(BPF_JEQ, R5, R4, 1), | ||
1226 | BPF_EXIT_INSN(), | ||
1227 | BPF_ALU64_IMM(BPF_MOV, R5, 1), | ||
1228 | BPF_ALU64_REG(BPF_SUB, R5, R5), | ||
1229 | BPF_ALU64_REG(BPF_XOR, R6, R6), | ||
1230 | BPF_ALU64_IMM(BPF_MOV, R1, 1), | ||
1231 | BPF_ALU64_IMM(BPF_MOV, R8, -1), | ||
1232 | BPF_JMP_REG(BPF_JEQ, R5, R6, 1), | ||
1233 | BPF_EXIT_INSN(), | ||
1234 | BPF_ALU64_REG(BPF_SUB, R6, R6), | ||
1235 | BPF_ALU64_REG(BPF_XOR, R7, R7), | ||
1236 | BPF_JMP_REG(BPF_JEQ, R7, R6, 1), | ||
1237 | BPF_EXIT_INSN(), | ||
1238 | BPF_ALU64_REG(BPF_SUB, R7, R7), | ||
1239 | BPF_ALU64_REG(BPF_XOR, R8, R8), | ||
1240 | BPF_JMP_REG(BPF_JEQ, R7, R8, 1), | ||
1241 | BPF_EXIT_INSN(), | ||
1242 | BPF_ALU64_REG(BPF_SUB, R8, R8), | ||
1243 | BPF_ALU64_REG(BPF_XOR, R9, R9), | ||
1244 | BPF_JMP_REG(BPF_JEQ, R9, R8, 1), | ||
1245 | BPF_EXIT_INSN(), | ||
1246 | BPF_ALU64_REG(BPF_SUB, R9, R9), | ||
1247 | BPF_ALU64_REG(BPF_XOR, R0, R0), | ||
1248 | BPF_JMP_REG(BPF_JEQ, R9, R0, 1), | ||
1249 | BPF_EXIT_INSN(), | ||
1250 | BPF_ALU64_REG(BPF_SUB, R1, R1), | ||
1251 | BPF_ALU64_REG(BPF_XOR, R0, R0), | ||
1252 | BPF_JMP_REG(BPF_JEQ, R9, R0, 2), | ||
1253 | BPF_ALU64_IMM(BPF_MOV, R0, 0), | ||
1254 | BPF_EXIT_INSN(), | ||
1255 | BPF_ALU64_IMM(BPF_MOV, R0, 1), | ||
1256 | BPF_EXIT_INSN(), | ||
1257 | }, | ||
1258 | INTERNAL, | ||
1259 | { }, | ||
1260 | { { 0, 1 } } | ||
1261 | }, | ||
1262 | { /* Mainly checking JIT here. */ | ||
1263 | "INT: MUL", | ||
1264 | .u.insns_int = { | ||
1265 | BPF_ALU64_IMM(BPF_MOV, R0, 11), | ||
1266 | BPF_ALU64_IMM(BPF_MOV, R1, 1), | ||
1267 | BPF_ALU64_IMM(BPF_MOV, R2, 2), | ||
1268 | BPF_ALU64_IMM(BPF_MOV, R3, 3), | ||
1269 | BPF_ALU64_IMM(BPF_MOV, R4, 4), | ||
1270 | BPF_ALU64_IMM(BPF_MOV, R5, 5), | ||
1271 | BPF_ALU64_IMM(BPF_MOV, R6, 6), | ||
1272 | BPF_ALU64_IMM(BPF_MOV, R7, 7), | ||
1273 | BPF_ALU64_IMM(BPF_MOV, R8, 8), | ||
1274 | BPF_ALU64_IMM(BPF_MOV, R9, 9), | ||
1275 | BPF_ALU64_REG(BPF_MUL, R0, R0), | ||
1276 | BPF_ALU64_REG(BPF_MUL, R0, R1), | ||
1277 | BPF_ALU64_REG(BPF_MUL, R0, R2), | ||
1278 | BPF_ALU64_REG(BPF_MUL, R0, R3), | ||
1279 | BPF_ALU64_REG(BPF_MUL, R0, R4), | ||
1280 | BPF_ALU64_REG(BPF_MUL, R0, R5), | ||
1281 | BPF_ALU64_REG(BPF_MUL, R0, R6), | ||
1282 | BPF_ALU64_REG(BPF_MUL, R0, R7), | ||
1283 | BPF_ALU64_REG(BPF_MUL, R0, R8), | ||
1284 | BPF_ALU64_REG(BPF_MUL, R0, R9), | ||
1285 | BPF_ALU64_IMM(BPF_MUL, R0, 10), | ||
1286 | BPF_JMP_IMM(BPF_JEQ, R0, 439084800, 1), | ||
1287 | BPF_EXIT_INSN(), | ||
1288 | BPF_ALU64_REG(BPF_MUL, R1, R0), | ||
1289 | BPF_ALU64_REG(BPF_MUL, R1, R2), | ||
1290 | BPF_ALU64_REG(BPF_MUL, R1, R3), | ||
1291 | BPF_ALU64_REG(BPF_MUL, R1, R4), | ||
1292 | BPF_ALU64_REG(BPF_MUL, R1, R5), | ||
1293 | BPF_ALU64_REG(BPF_MUL, R1, R6), | ||
1294 | BPF_ALU64_REG(BPF_MUL, R1, R7), | ||
1295 | BPF_ALU64_REG(BPF_MUL, R1, R8), | ||
1296 | BPF_ALU64_REG(BPF_MUL, R1, R9), | ||
1297 | BPF_ALU64_IMM(BPF_MUL, R1, 10), | ||
1298 | BPF_ALU64_REG(BPF_MOV, R2, R1), | ||
1299 | BPF_ALU64_IMM(BPF_RSH, R2, 32), | ||
1300 | BPF_JMP_IMM(BPF_JEQ, R2, 0x5a924, 1), | ||
1301 | BPF_EXIT_INSN(), | ||
1302 | BPF_ALU64_IMM(BPF_LSH, R1, 32), | ||
1303 | BPF_ALU64_IMM(BPF_ARSH, R1, 32), | ||
1304 | BPF_JMP_IMM(BPF_JEQ, R1, 0xebb90000, 1), | ||
1305 | BPF_EXIT_INSN(), | ||
1306 | BPF_ALU64_REG(BPF_MUL, R2, R0), | ||
1307 | BPF_ALU64_REG(BPF_MUL, R2, R1), | ||
1308 | BPF_ALU64_REG(BPF_MUL, R2, R3), | ||
1309 | BPF_ALU64_REG(BPF_MUL, R2, R4), | ||
1310 | BPF_ALU64_REG(BPF_MUL, R2, R5), | ||
1311 | BPF_ALU64_REG(BPF_MUL, R2, R6), | ||
1312 | BPF_ALU64_REG(BPF_MUL, R2, R7), | ||
1313 | BPF_ALU64_REG(BPF_MUL, R2, R8), | ||
1314 | BPF_ALU64_REG(BPF_MUL, R2, R9), | ||
1315 | BPF_ALU64_IMM(BPF_MUL, R2, 10), | ||
1316 | BPF_ALU64_IMM(BPF_RSH, R2, 32), | ||
1317 | BPF_ALU64_REG(BPF_MOV, R0, R2), | ||
1318 | BPF_EXIT_INSN(), | ||
1319 | }, | ||
1320 | INTERNAL, | ||
1321 | { }, | ||
1322 | { { 0, 0x35d97ef2 } } | ||
1323 | }, | ||
1324 | { | ||
1325 | "INT: ALU MIX", | ||
1326 | .u.insns_int = { | ||
1327 | BPF_ALU64_IMM(BPF_MOV, R0, 11), | ||
1328 | BPF_ALU64_IMM(BPF_ADD, R0, -1), | ||
1329 | BPF_ALU64_IMM(BPF_MOV, R2, 2), | ||
1330 | BPF_ALU64_IMM(BPF_XOR, R2, 3), | ||
1331 | BPF_ALU64_REG(BPF_DIV, R0, R2), | ||
1332 | BPF_JMP_IMM(BPF_JEQ, R0, 10, 1), | ||
1333 | BPF_EXIT_INSN(), | ||
1334 | BPF_ALU64_IMM(BPF_MOD, R0, 3), | ||
1335 | BPF_JMP_IMM(BPF_JEQ, R0, 1, 1), | ||
1336 | BPF_EXIT_INSN(), | ||
1337 | BPF_ALU64_IMM(BPF_MOV, R0, -1), | ||
1338 | BPF_EXIT_INSN(), | ||
1339 | }, | ||
1340 | INTERNAL, | ||
1341 | { }, | ||
1342 | { { 0, -1 } } | ||
1343 | }, | ||
1344 | { | ||
1345 | "INT: DIV + ABS", | ||
1346 | .u.insns_int = { | ||
1347 | BPF_ALU64_REG(BPF_MOV, R6, R1), | ||
1348 | BPF_LD_ABS(BPF_B, 3), | ||
1349 | BPF_ALU64_IMM(BPF_MOV, R2, 2), | ||
1350 | BPF_ALU32_REG(BPF_DIV, R0, R2), | ||
1351 | BPF_ALU64_REG(BPF_MOV, R8, R0), | ||
1352 | BPF_LD_ABS(BPF_B, 4), | ||
1353 | BPF_ALU64_REG(BPF_ADD, R8, R0), | ||
1354 | BPF_LD_IND(BPF_B, R8, -70), | ||
1355 | BPF_EXIT_INSN(), | ||
1356 | }, | ||
1357 | INTERNAL, | ||
1358 | { 10, 20, 30, 40, 50 }, | ||
1359 | { { 4, 0 }, { 5, 10 } } | ||
1360 | }, | ||
1361 | { | ||
1362 | "INT: DIV by zero", | ||
1363 | .u.insns_int = { | ||
1364 | BPF_ALU64_REG(BPF_MOV, R6, R1), | ||
1365 | BPF_ALU64_IMM(BPF_MOV, R7, 0), | ||
1366 | BPF_LD_ABS(BPF_B, 3), | ||
1367 | BPF_ALU32_REG(BPF_DIV, R0, R7), | ||
1368 | BPF_EXIT_INSN(), | ||
1369 | }, | ||
1370 | INTERNAL, | ||
1371 | { 10, 20, 30, 40, 50 }, | ||
1372 | { { 3, 0 }, { 4, 0 } } | ||
1373 | }, | ||
1374 | { | ||
1375 | "check: missing ret", | ||
1376 | .u.insns = { | ||
1377 | BPF_STMT(BPF_LD | BPF_IMM, 1), | ||
1378 | }, | ||
1379 | CLASSIC | FLAG_NO_DATA | FLAG_EXPECTED_FAIL, | ||
1380 | { }, | ||
1381 | { } | ||
1382 | }, | ||
1383 | { | ||
1384 | "check: div_k_0", | ||
1385 | .u.insns = { | ||
1386 | BPF_STMT(BPF_ALU | BPF_DIV | BPF_K, 0), | ||
1387 | BPF_STMT(BPF_RET | BPF_K, 0) | ||
1388 | }, | ||
1389 | CLASSIC | FLAG_NO_DATA | FLAG_EXPECTED_FAIL, | ||
1390 | { }, | ||
1391 | { } | ||
1392 | }, | ||
1393 | { | ||
1394 | "check: unknown insn", | ||
1395 | .u.insns = { | ||
1396 | /* seccomp insn, rejected in socket filter */ | ||
1397 | BPF_STMT(BPF_LDX | BPF_W | BPF_ABS, 0), | ||
1398 | BPF_STMT(BPF_RET | BPF_K, 0) | ||
1399 | }, | ||
1400 | CLASSIC | FLAG_EXPECTED_FAIL, | ||
1401 | { }, | ||
1402 | { } | ||
1403 | }, | ||
1404 | { | ||
1405 | "check: out of range spill/fill", | ||
1406 | .u.insns = { | ||
1407 | BPF_STMT(BPF_STX, 16), | ||
1408 | BPF_STMT(BPF_RET | BPF_K, 0) | ||
1409 | }, | ||
1410 | CLASSIC | FLAG_NO_DATA | FLAG_EXPECTED_FAIL, | ||
1411 | { }, | ||
1412 | { } | ||
1413 | }, | ||
1414 | { | ||
1415 | "JUMPS + HOLES", | ||
1416 | .u.insns = { | ||
1417 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1418 | BPF_JUMP(BPF_JMP | BPF_JGE, 0, 13, 15), | ||
1419 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1420 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1421 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1422 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1423 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1424 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1425 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1426 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1427 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1428 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1429 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1430 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1431 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1432 | BPF_JUMP(BPF_JMP | BPF_JEQ, 0x90c2894d, 3, 4), | ||
1433 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1434 | BPF_JUMP(BPF_JMP | BPF_JEQ, 0x90c2894d, 1, 2), | ||
1435 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1436 | BPF_JUMP(BPF_JMP | BPF_JGE, 0, 14, 15), | ||
1437 | BPF_JUMP(BPF_JMP | BPF_JGE, 0, 13, 14), | ||
1438 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1439 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1440 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1441 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1442 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1443 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1444 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1445 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1446 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1447 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1448 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1449 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1450 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1451 | BPF_JUMP(BPF_JMP | BPF_JEQ, 0x2ac28349, 2, 3), | ||
1452 | BPF_JUMP(BPF_JMP | BPF_JEQ, 0x2ac28349, 1, 2), | ||
1453 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1454 | BPF_JUMP(BPF_JMP | BPF_JGE, 0, 14, 15), | ||
1455 | BPF_JUMP(BPF_JMP | BPF_JGE, 0, 13, 14), | ||
1456 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1457 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1458 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1459 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1460 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1461 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1462 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1463 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1464 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1465 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1466 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1467 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1468 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1469 | BPF_JUMP(BPF_JMP | BPF_JEQ, 0x90d2ff41, 2, 3), | ||
1470 | BPF_JUMP(BPF_JMP | BPF_JEQ, 0x90d2ff41, 1, 2), | ||
1471 | BPF_STMT(BPF_LD | BPF_H | BPF_ABS, 0), | ||
1472 | BPF_STMT(BPF_RET | BPF_A, 0), | ||
1473 | BPF_STMT(BPF_RET | BPF_A, 0), | ||
1474 | }, | ||
1475 | CLASSIC, | ||
1476 | { 0x00, 0x1b, 0x21, 0x3c, 0x9d, 0xf8, | ||
1477 | 0x90, 0xe2, 0xba, 0x0a, 0x56, 0xb4, | ||
1478 | 0x08, 0x00, | ||
1479 | 0x45, 0x00, 0x00, 0x28, 0x00, 0x00, | ||
1480 | 0x20, 0x00, 0x40, 0x11, 0x00, 0x00, /* IP header */ | ||
1481 | 0xc0, 0xa8, 0x33, 0x01, | ||
1482 | 0xc0, 0xa8, 0x33, 0x02, | ||
1483 | 0xbb, 0xb6, | ||
1484 | 0xa9, 0xfa, | ||
1485 | 0x00, 0x14, 0x00, 0x00, | ||
1486 | 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, | ||
1487 | 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, | ||
1488 | 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, | ||
1489 | 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, | ||
1490 | 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, | ||
1491 | 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, | ||
1492 | 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, 0xcc, | ||
1493 | 0xcc, 0xcc, 0xcc, 0xcc }, | ||
1494 | { { 88, 0x001b } } | ||
1495 | }, | ||
1496 | { | ||
1497 | "check: RET X", | ||
1498 | .u.insns = { | ||
1499 | BPF_STMT(BPF_RET | BPF_X, 0), | ||
1500 | }, | ||
1501 | CLASSIC | FLAG_NO_DATA | FLAG_EXPECTED_FAIL, | ||
1502 | { }, | ||
1503 | { }, | ||
1504 | }, | ||
1505 | { | ||
1506 | "check: LDX + RET X", | ||
1507 | .u.insns = { | ||
1508 | BPF_STMT(BPF_LDX | BPF_IMM, 42), | ||
1509 | BPF_STMT(BPF_RET | BPF_X, 0), | ||
1510 | }, | ||
1511 | CLASSIC | FLAG_NO_DATA | FLAG_EXPECTED_FAIL, | ||
1512 | { }, | ||
1513 | { }, | ||
1514 | }, | ||
1515 | { /* Mainly checking JIT here. */ | ||
1516 | "M[]: alt STX + LDX", | ||
1517 | .u.insns = { | ||
1518 | BPF_STMT(BPF_LDX | BPF_IMM, 100), | ||
1519 | BPF_STMT(BPF_STX, 0), | ||
1520 | BPF_STMT(BPF_LDX | BPF_MEM, 0), | ||
1521 | BPF_STMT(BPF_MISC | BPF_TXA, 0), | ||
1522 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_K, 1), | ||
1523 | BPF_STMT(BPF_MISC | BPF_TAX, 0), | ||
1524 | BPF_STMT(BPF_STX, 1), | ||
1525 | BPF_STMT(BPF_LDX | BPF_MEM, 1), | ||
1526 | BPF_STMT(BPF_MISC | BPF_TXA, 0), | ||
1527 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_K, 1), | ||
1528 | BPF_STMT(BPF_MISC | BPF_TAX, 0), | ||
1529 | BPF_STMT(BPF_STX, 2), | ||
1530 | BPF_STMT(BPF_LDX | BPF_MEM, 2), | ||
1531 | BPF_STMT(BPF_MISC | BPF_TXA, 0), | ||
1532 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_K, 1), | ||
1533 | BPF_STMT(BPF_MISC | BPF_TAX, 0), | ||
1534 | BPF_STMT(BPF_STX, 3), | ||
1535 | BPF_STMT(BPF_LDX | BPF_MEM, 3), | ||
1536 | BPF_STMT(BPF_MISC | BPF_TXA, 0), | ||
1537 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_K, 1), | ||
1538 | BPF_STMT(BPF_MISC | BPF_TAX, 0), | ||
1539 | BPF_STMT(BPF_STX, 4), | ||
1540 | BPF_STMT(BPF_LDX | BPF_MEM, 4), | ||
1541 | BPF_STMT(BPF_MISC | BPF_TXA, 0), | ||
1542 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_K, 1), | ||
1543 | BPF_STMT(BPF_MISC | BPF_TAX, 0), | ||
1544 | BPF_STMT(BPF_STX, 5), | ||
1545 | BPF_STMT(BPF_LDX | BPF_MEM, 5), | ||
1546 | BPF_STMT(BPF_MISC | BPF_TXA, 0), | ||
1547 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_K, 1), | ||
1548 | BPF_STMT(BPF_MISC | BPF_TAX, 0), | ||
1549 | BPF_STMT(BPF_STX, 6), | ||
1550 | BPF_STMT(BPF_LDX | BPF_MEM, 6), | ||
1551 | BPF_STMT(BPF_MISC | BPF_TXA, 0), | ||
1552 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_K, 1), | ||
1553 | BPF_STMT(BPF_MISC | BPF_TAX, 0), | ||
1554 | BPF_STMT(BPF_STX, 7), | ||
1555 | BPF_STMT(BPF_LDX | BPF_MEM, 7), | ||
1556 | BPF_STMT(BPF_MISC | BPF_TXA, 0), | ||
1557 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_K, 1), | ||
1558 | BPF_STMT(BPF_MISC | BPF_TAX, 0), | ||
1559 | BPF_STMT(BPF_STX, 8), | ||
1560 | BPF_STMT(BPF_LDX | BPF_MEM, 8), | ||
1561 | BPF_STMT(BPF_MISC | BPF_TXA, 0), | ||
1562 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_K, 1), | ||
1563 | BPF_STMT(BPF_MISC | BPF_TAX, 0), | ||
1564 | BPF_STMT(BPF_STX, 9), | ||
1565 | BPF_STMT(BPF_LDX | BPF_MEM, 9), | ||
1566 | BPF_STMT(BPF_MISC | BPF_TXA, 0), | ||
1567 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_K, 1), | ||
1568 | BPF_STMT(BPF_MISC | BPF_TAX, 0), | ||
1569 | BPF_STMT(BPF_STX, 10), | ||
1570 | BPF_STMT(BPF_LDX | BPF_MEM, 10), | ||
1571 | BPF_STMT(BPF_MISC | BPF_TXA, 0), | ||
1572 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_K, 1), | ||
1573 | BPF_STMT(BPF_MISC | BPF_TAX, 0), | ||
1574 | BPF_STMT(BPF_STX, 11), | ||
1575 | BPF_STMT(BPF_LDX | BPF_MEM, 11), | ||
1576 | BPF_STMT(BPF_MISC | BPF_TXA, 0), | ||
1577 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_K, 1), | ||
1578 | BPF_STMT(BPF_MISC | BPF_TAX, 0), | ||
1579 | BPF_STMT(BPF_STX, 12), | ||
1580 | BPF_STMT(BPF_LDX | BPF_MEM, 12), | ||
1581 | BPF_STMT(BPF_MISC | BPF_TXA, 0), | ||
1582 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_K, 1), | ||
1583 | BPF_STMT(BPF_MISC | BPF_TAX, 0), | ||
1584 | BPF_STMT(BPF_STX, 13), | ||
1585 | BPF_STMT(BPF_LDX | BPF_MEM, 13), | ||
1586 | BPF_STMT(BPF_MISC | BPF_TXA, 0), | ||
1587 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_K, 1), | ||
1588 | BPF_STMT(BPF_MISC | BPF_TAX, 0), | ||
1589 | BPF_STMT(BPF_STX, 14), | ||
1590 | BPF_STMT(BPF_LDX | BPF_MEM, 14), | ||
1591 | BPF_STMT(BPF_MISC | BPF_TXA, 0), | ||
1592 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_K, 1), | ||
1593 | BPF_STMT(BPF_MISC | BPF_TAX, 0), | ||
1594 | BPF_STMT(BPF_STX, 15), | ||
1595 | BPF_STMT(BPF_LDX | BPF_MEM, 15), | ||
1596 | BPF_STMT(BPF_MISC | BPF_TXA, 0), | ||
1597 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_K, 1), | ||
1598 | BPF_STMT(BPF_MISC | BPF_TAX, 0), | ||
1599 | BPF_STMT(BPF_RET | BPF_A, 0), | ||
1600 | }, | ||
1601 | CLASSIC | FLAG_NO_DATA, | ||
1602 | { }, | ||
1603 | { { 0, 116 } }, | ||
1604 | }, | ||
1605 | { /* Mainly checking JIT here. */ | ||
1606 | "M[]: full STX + full LDX", | ||
1607 | .u.insns = { | ||
1608 | BPF_STMT(BPF_LDX | BPF_IMM, 0xbadfeedb), | ||
1609 | BPF_STMT(BPF_STX, 0), | ||
1610 | BPF_STMT(BPF_LDX | BPF_IMM, 0xecabedae), | ||
1611 | BPF_STMT(BPF_STX, 1), | ||
1612 | BPF_STMT(BPF_LDX | BPF_IMM, 0xafccfeaf), | ||
1613 | BPF_STMT(BPF_STX, 2), | ||
1614 | BPF_STMT(BPF_LDX | BPF_IMM, 0xbffdcedc), | ||
1615 | BPF_STMT(BPF_STX, 3), | ||
1616 | BPF_STMT(BPF_LDX | BPF_IMM, 0xfbbbdccb), | ||
1617 | BPF_STMT(BPF_STX, 4), | ||
1618 | BPF_STMT(BPF_LDX | BPF_IMM, 0xfbabcbda), | ||
1619 | BPF_STMT(BPF_STX, 5), | ||
1620 | BPF_STMT(BPF_LDX | BPF_IMM, 0xaedecbdb), | ||
1621 | BPF_STMT(BPF_STX, 6), | ||
1622 | BPF_STMT(BPF_LDX | BPF_IMM, 0xadebbade), | ||
1623 | BPF_STMT(BPF_STX, 7), | ||
1624 | BPF_STMT(BPF_LDX | BPF_IMM, 0xfcfcfaec), | ||
1625 | BPF_STMT(BPF_STX, 8), | ||
1626 | BPF_STMT(BPF_LDX | BPF_IMM, 0xbcdddbdc), | ||
1627 | BPF_STMT(BPF_STX, 9), | ||
1628 | BPF_STMT(BPF_LDX | BPF_IMM, 0xfeefdfac), | ||
1629 | BPF_STMT(BPF_STX, 10), | ||
1630 | BPF_STMT(BPF_LDX | BPF_IMM, 0xcddcdeea), | ||
1631 | BPF_STMT(BPF_STX, 11), | ||
1632 | BPF_STMT(BPF_LDX | BPF_IMM, 0xaccfaebb), | ||
1633 | BPF_STMT(BPF_STX, 12), | ||
1634 | BPF_STMT(BPF_LDX | BPF_IMM, 0xbdcccdcf), | ||
1635 | BPF_STMT(BPF_STX, 13), | ||
1636 | BPF_STMT(BPF_LDX | BPF_IMM, 0xaaedecde), | ||
1637 | BPF_STMT(BPF_STX, 14), | ||
1638 | BPF_STMT(BPF_LDX | BPF_IMM, 0xfaeacdad), | ||
1639 | BPF_STMT(BPF_STX, 15), | ||
1640 | BPF_STMT(BPF_LDX | BPF_MEM, 0), | ||
1641 | BPF_STMT(BPF_MISC | BPF_TXA, 0), | ||
1642 | BPF_STMT(BPF_LDX | BPF_MEM, 1), | ||
1643 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0), | ||
1644 | BPF_STMT(BPF_LDX | BPF_MEM, 2), | ||
1645 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0), | ||
1646 | BPF_STMT(BPF_LDX | BPF_MEM, 3), | ||
1647 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0), | ||
1648 | BPF_STMT(BPF_LDX | BPF_MEM, 4), | ||
1649 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0), | ||
1650 | BPF_STMT(BPF_LDX | BPF_MEM, 5), | ||
1651 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0), | ||
1652 | BPF_STMT(BPF_LDX | BPF_MEM, 6), | ||
1653 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0), | ||
1654 | BPF_STMT(BPF_LDX | BPF_MEM, 7), | ||
1655 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0), | ||
1656 | BPF_STMT(BPF_LDX | BPF_MEM, 8), | ||
1657 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0), | ||
1658 | BPF_STMT(BPF_LDX | BPF_MEM, 9), | ||
1659 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0), | ||
1660 | BPF_STMT(BPF_LDX | BPF_MEM, 10), | ||
1661 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0), | ||
1662 | BPF_STMT(BPF_LDX | BPF_MEM, 11), | ||
1663 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0), | ||
1664 | BPF_STMT(BPF_LDX | BPF_MEM, 12), | ||
1665 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0), | ||
1666 | BPF_STMT(BPF_LDX | BPF_MEM, 13), | ||
1667 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0), | ||
1668 | BPF_STMT(BPF_LDX | BPF_MEM, 14), | ||
1669 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0), | ||
1670 | BPF_STMT(BPF_LDX | BPF_MEM, 15), | ||
1671 | BPF_STMT(BPF_ALU | BPF_ADD | BPF_X, 0), | ||
1672 | BPF_STMT(BPF_RET | BPF_A, 0), | ||
1673 | }, | ||
1674 | CLASSIC | FLAG_NO_DATA, | ||
1675 | { }, | ||
1676 | { { 0, 0x2a5a5e5 } }, | ||
1677 | }, | ||
1678 | { | ||
1679 | "check: SKF_AD_MAX", | ||
1680 | .u.insns = { | ||
1681 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, | ||
1682 | SKF_AD_OFF + SKF_AD_MAX), | ||
1683 | BPF_STMT(BPF_RET | BPF_A, 0), | ||
1684 | }, | ||
1685 | CLASSIC | FLAG_NO_DATA | FLAG_EXPECTED_FAIL, | ||
1686 | { }, | ||
1687 | { }, | ||
1688 | }, | ||
1689 | { /* Passes checker but fails during runtime. */ | ||
1690 | "LD [SKF_AD_OFF-1]", | ||
1691 | .u.insns = { | ||
1692 | BPF_STMT(BPF_LD | BPF_W | BPF_ABS, | ||
1693 | SKF_AD_OFF - 1), | ||
1694 | BPF_STMT(BPF_RET | BPF_K, 1), | ||
1695 | }, | ||
1696 | CLASSIC, | ||
1697 | { }, | ||
1698 | { { 1, 0 } }, | ||
1699 | }, | ||
1700 | }; | ||
1701 | |||
1702 | static struct net_device dev; | ||
1703 | |||
1704 | static struct sk_buff *populate_skb(char *buf, int size) | ||
1705 | { | ||
1706 | struct sk_buff *skb; | ||
1707 | |||
1708 | if (size >= MAX_DATA) | ||
1709 | return NULL; | ||
1710 | |||
1711 | skb = alloc_skb(MAX_DATA, GFP_KERNEL); | ||
1712 | if (!skb) | ||
1713 | return NULL; | ||
1714 | |||
1715 | memcpy(__skb_put(skb, size), buf, size); | ||
1716 | |||
1717 | /* Initialize a fake skb with test pattern. */ | ||
1718 | skb_reset_mac_header(skb); | ||
1719 | skb->protocol = htons(ETH_P_IP); | ||
1720 | skb->pkt_type = SKB_TYPE; | ||
1721 | skb->mark = SKB_MARK; | ||
1722 | skb->hash = SKB_HASH; | ||
1723 | skb->queue_mapping = SKB_QUEUE_MAP; | ||
1724 | skb->vlan_tci = SKB_VLAN_TCI; | ||
1725 | skb->dev = &dev; | ||
1726 | skb->dev->ifindex = SKB_DEV_IFINDEX; | ||
1727 | skb->dev->type = SKB_DEV_TYPE; | ||
1728 | skb_set_network_header(skb, min(size, ETH_HLEN)); | ||
1729 | |||
1730 | return skb; | ||
1731 | } | ||
1732 | |||
1733 | static void *generate_test_data(struct bpf_test *test, int sub) | ||
1734 | { | ||
1735 | if (test->aux & FLAG_NO_DATA) | ||
1736 | return NULL; | ||
1737 | |||
1738 | /* Test case expects an skb, so populate one. Various | ||
1739 | * subtests generate skbs of different sizes based on | ||
1740 | * the same data. | ||
1741 | */ | ||
1742 | return populate_skb(test->data, test->test[sub].data_size); | ||
1743 | } | ||
1744 | |||
1745 | static void release_test_data(const struct bpf_test *test, void *data) | ||
1746 | { | ||
1747 | if (test->aux & FLAG_NO_DATA) | ||
1748 | return; | ||
1749 | |||
1750 | kfree_skb(data); | ||
1751 | } | ||
1752 | |||
1753 | static int probe_filter_length(struct sock_filter *fp) | ||
1754 | { | ||
1755 | int len = 0; | ||
1756 | |||
1757 | for (len = MAX_INSNS - 1; len > 0; --len) | ||
1758 | if (fp[len].code != 0 || fp[len].k != 0) | ||
1759 | break; | ||
1760 | |||
1761 | return len + 1; | ||
1762 | } | ||
1763 | |||
1764 | static struct sk_filter *generate_filter(int which, int *err) | ||
1765 | { | ||
1766 | struct sk_filter *fp; | ||
1767 | struct sock_fprog_kern fprog; | ||
1768 | unsigned int flen = probe_filter_length(tests[which].u.insns); | ||
1769 | __u8 test_type = tests[which].aux & TEST_TYPE_MASK; | ||
1770 | |||
1771 | switch (test_type) { | ||
1772 | case CLASSIC: | ||
1773 | fprog.filter = tests[which].u.insns; | ||
1774 | fprog.len = flen; | ||
1775 | |||
1776 | *err = sk_unattached_filter_create(&fp, &fprog); | ||
1777 | if (tests[which].aux & FLAG_EXPECTED_FAIL) { | ||
1778 | if (*err == -EINVAL) { | ||
1779 | pr_cont("PASS\n"); | ||
1780 | /* Verifier rejected filter as expected. */ | ||
1781 | *err = 0; | ||
1782 | return NULL; | ||
1783 | } else { | ||
1784 | pr_cont("UNEXPECTED_PASS\n"); | ||
1785 | /* Verifier didn't reject the test that's | ||
1786 | * bad enough, just return! | ||
1787 | */ | ||
1788 | *err = -EINVAL; | ||
1789 | return NULL; | ||
1790 | } | ||
1791 | } | ||
1792 | /* We don't expect to fail. */ | ||
1793 | if (*err) { | ||
1794 | pr_cont("FAIL to attach err=%d len=%d\n", | ||
1795 | *err, fprog.len); | ||
1796 | return NULL; | ||
1797 | } | ||
1798 | break; | ||
1799 | |||
1800 | case INTERNAL: | ||
1801 | fp = kzalloc(sk_filter_size(flen), GFP_KERNEL); | ||
1802 | if (fp == NULL) { | ||
1803 | pr_cont("UNEXPECTED_FAIL no memory left\n"); | ||
1804 | *err = -ENOMEM; | ||
1805 | return NULL; | ||
1806 | } | ||
1807 | |||
1808 | fp->len = flen; | ||
1809 | memcpy(fp->insnsi, tests[which].u.insns_int, | ||
1810 | fp->len * sizeof(struct sock_filter_int)); | ||
1811 | |||
1812 | sk_filter_select_runtime(fp); | ||
1813 | break; | ||
1814 | } | ||
1815 | |||
1816 | *err = 0; | ||
1817 | return fp; | ||
1818 | } | ||
1819 | |||
1820 | static void release_filter(struct sk_filter *fp, int which) | ||
1821 | { | ||
1822 | __u8 test_type = tests[which].aux & TEST_TYPE_MASK; | ||
1823 | |||
1824 | switch (test_type) { | ||
1825 | case CLASSIC: | ||
1826 | sk_unattached_filter_destroy(fp); | ||
1827 | break; | ||
1828 | case INTERNAL: | ||
1829 | sk_filter_free(fp); | ||
1830 | break; | ||
1831 | } | ||
1832 | } | ||
1833 | |||
1834 | static int __run_one(const struct sk_filter *fp, const void *data, | ||
1835 | int runs, u64 *duration) | ||
1836 | { | ||
1837 | u64 start, finish; | ||
1838 | int ret, i; | ||
1839 | |||
1840 | start = ktime_to_us(ktime_get()); | ||
1841 | |||
1842 | for (i = 0; i < runs; i++) | ||
1843 | ret = SK_RUN_FILTER(fp, data); | ||
1844 | |||
1845 | finish = ktime_to_us(ktime_get()); | ||
1846 | |||
1847 | *duration = (finish - start) * 1000ULL; | ||
1848 | do_div(*duration, runs); | ||
1849 | |||
1850 | return ret; | ||
1851 | } | ||
1852 | |||
1853 | static int run_one(const struct sk_filter *fp, struct bpf_test *test) | ||
1854 | { | ||
1855 | int err_cnt = 0, i, runs = MAX_TESTRUNS; | ||
1856 | |||
1857 | for (i = 0; i < MAX_SUBTESTS; i++) { | ||
1858 | void *data; | ||
1859 | u64 duration; | ||
1860 | u32 ret; | ||
1861 | |||
1862 | if (test->test[i].data_size == 0 && | ||
1863 | test->test[i].result == 0) | ||
1864 | break; | ||
1865 | |||
1866 | data = generate_test_data(test, i); | ||
1867 | ret = __run_one(fp, data, runs, &duration); | ||
1868 | release_test_data(test, data); | ||
1869 | |||
1870 | if (ret == test->test[i].result) { | ||
1871 | pr_cont("%lld ", duration); | ||
1872 | } else { | ||
1873 | pr_cont("ret %d != %d ", ret, | ||
1874 | test->test[i].result); | ||
1875 | err_cnt++; | ||
1876 | } | ||
1877 | } | ||
1878 | |||
1879 | return err_cnt; | ||
1880 | } | ||
1881 | |||
1882 | static __init int test_bpf(void) | ||
1883 | { | ||
1884 | int i, err_cnt = 0, pass_cnt = 0; | ||
1885 | |||
1886 | for (i = 0; i < ARRAY_SIZE(tests); i++) { | ||
1887 | struct sk_filter *fp; | ||
1888 | int err; | ||
1889 | |||
1890 | pr_info("#%d %s ", i, tests[i].descr); | ||
1891 | |||
1892 | fp = generate_filter(i, &err); | ||
1893 | if (fp == NULL) { | ||
1894 | if (err == 0) { | ||
1895 | pass_cnt++; | ||
1896 | continue; | ||
1897 | } | ||
1898 | |||
1899 | return err; | ||
1900 | } | ||
1901 | err = run_one(fp, &tests[i]); | ||
1902 | release_filter(fp, i); | ||
1903 | |||
1904 | if (err) { | ||
1905 | pr_cont("FAIL (%d times)\n", err); | ||
1906 | err_cnt++; | ||
1907 | } else { | ||
1908 | pr_cont("PASS\n"); | ||
1909 | pass_cnt++; | ||
1910 | } | ||
1911 | } | ||
1912 | |||
1913 | pr_info("Summary: %d PASSED, %d FAILED\n", pass_cnt, err_cnt); | ||
1914 | return err_cnt ? -EINVAL : 0; | ||
1915 | } | ||
1916 | |||
1917 | static int __init test_bpf_init(void) | ||
1918 | { | ||
1919 | return test_bpf(); | ||
1920 | } | ||
1921 | |||
1922 | static void __exit test_bpf_exit(void) | ||
1923 | { | ||
1924 | } | ||
1925 | |||
1926 | module_init(test_bpf_init); | ||
1927 | module_exit(test_bpf_exit); | ||
1928 | |||
1929 | MODULE_LICENSE("GPL"); | ||