JIT back-ends need to guarantee high 32-bit cleared whenever one eBPF insn write low 32-bit sub-register only. It is possible that some JIT back-ends have failed doing this and are silently generating wrong image.
This set completes the unit tests, so bug on this could be exposed. Jiong Wang (2): selftests: bpf: move sub-register zero extension checks into subreg.c selftests: bpf: complete sub-register zero extension checks tools/testing/selftests/bpf/verifier/basic_instr.c | 39 -- tools/testing/selftests/bpf/verifier/subreg.c | 533 +++++++++++++++++++++ 2 files changed, 533 insertions(+), 39 deletions(-) create mode 100644 tools/testing/selftests/bpf/verifier/subreg.c -- 2.7.4
