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
