With latest llvm, bpf selftest test_progs, which has +alu32 enabled, failed for strobemeta.o and a few other subtests. The reason is due to that verifier did not provide better var_off.mask after jmp32 instructions. This patch set addressed this issue and after the fix, test_progs passed with alu32. Patch #1 provided detailed explanation of the problem and the fix. Patch #2 added three tests in test_verifier. Yonghong Song (2): bpf: provide better register bounds after jmp32 instructions tools/bpf: add verifier tests for better jmp32 register bounds kernel/bpf/verifier.c | 32 +++++++- tools/testing/selftests/bpf/verifier/jmp32.c | 83 ++++++++++++++++++++ 2 files changed, 111 insertions(+), 4 deletions(-) -- 2.17.1
