[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-Id: <20181220061309.28287-1-jakub.kicinski@netronome.com>
Date: Wed, 19 Dec 2018 22:13:02 -0800
From: Jakub Kicinski <jakub.kicinski@...ronome.com>
To: alexei.starovoitov@...il.com, daniel@...earbox.net
Cc: oss-drivers@...ronome.com, netdev@...r.kernel.org,
Jakub Kicinski <jakub.kicinski@...ronome.com>
Subject: [PATCH bpf-next v2 0/7] bpf: teach the verifier about JSET and add tests
Hi!
This is a v2 of the patch set to teach the verifier about BPF_JSET
instruction. There is also a number of tests include for both
basic functioning of the instruction and the verifier logic.
The NFP JIT handling of JSET is tweaked. Last patch adds missing
file to gitignore.
Reposting part of previous series without the dead code elimination.
Jakub Kicinski (7):
selftests: bpf: add trivial JSET tests
bpf: verifier: teach the verifier to reason about the BPF_JSET
instruction
selftests: bpf: verifier: add tests for JSET interpretation
bpf: verifier: reorder stack size check with dead code sanitization
nfp: bpf: remove the trivial JSET optimization
nfp: bpf: optimize codegen for JSET with a constant
selftests: bpf: add missing executables to .gitignore
drivers/net/ethernet/netronome/nfp/bpf/jit.c | 27 +-
kernel/bpf/verifier.c | 25 +-
tools/testing/selftests/bpf/.gitignore | 1 +
tools/testing/selftests/bpf/test_verifier.c | 305 +++++++++++++++++--
4 files changed, 308 insertions(+), 50 deletions(-)
--
2.19.2
Powered by blists - more mailing lists