The bpf selftest test_progs/test_sk_assign failed with llvm11 and llvm12. The reason is that the verifier did not handle xor operation and generate very conservative register bound. Patch #1 tries to fix the verifier issue and Patch #2 added additional tests in selftest test_verifier. Yonghong Song (2): bpf: fix a verifier failure with xor selftests/bpf: add verifier tests for xor operation kernel/bpf/verifier.c | 66 ++++++++ tools/testing/selftests/bpf/verifier/bounds.c | 146 ++++++++++++++++++ 2 files changed, 212 insertions(+) -- 2.24.1
