On 12/20/2018 07:13 AM, Jakub Kicinski wrote: > 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(-) >
Looks good, applied to bpf-next, thanks!
