projects / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb05077) | patch
bpf: verifier: record original instruction index
authorJakub Kicinski <jakub.kicinski@netronome.com>
Wed, 23 Jan 2019 06:45:23 +0000 (22:45 -0800)
committerAlexei Starovoitov <ast@kernel.org>
Thu, 24 Jan 2019 01:35:32 +0000 (17:35 -0800)
commit9e4c24e7ee7dfd3898269519103e823892b730d8
treeb62ec0289acccf464e0fc6bcee8fd3417f4bc24ctree | snapshot
parentcb05077508bf3635fcf1637fdb30136559555c65commit | diff
bpf: verifier: record original instruction index

The communication between the verifier and advanced JITs is based
on instruction indexes.  We have to keep them stable throughout
the optimizations otherwise referring to a particular instruction
gets messy quickly.

Signed-off-by: Jakub Kicinski <jakub.kicinski@netronome.com>
Reviewed-by: Quentin Monnet <quentin.monnet@netronome.com>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
include/linux/bpf_verifier.h diff | blob | history
kernel/bpf/verifier.c diff | blob | history
ep93xx device tree rework repo: git://git.maquefel.me/linux.git