selftests/bpf: adjust OP_EQ/OP_NE handling to use subranges for branch taken
authorAndrii Nakryiko <andrii@kernel.org>
Sun, 12 Nov 2023 01:06:04 +0000 (17:06 -0800)
committerAlexei Starovoitov <ast@kernel.org>
Wed, 15 Nov 2023 20:03:42 +0000 (12:03 -0800)
commit774f94c5e74d86d554c4fd1e97c517a1a7ee7fe0
treeb7a6bc96ec3eea83c9cd15bb719d98e1ae34483e
parent8863238993e23ccc6d5a9d4ff9f1c043f88f692e
selftests/bpf: adjust OP_EQ/OP_NE handling to use subranges for branch taken

Similar to kernel-side BPF verifier logic enhancements, use 32-bit
subrange knowledge for is_branch_taken() logic in reg_bounds selftests.

Signed-off-by: Andrii Nakryiko <andrii@kernel.org>
Acked-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20231112010609.848406-9-andrii@kernel.org
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
tools/testing/selftests/bpf/prog_tests/reg_bounds.c