]> www.infradead.org Git - users/jedix/linux-maple.git/commit
selftests/bpf: activate the OP_NE logic in range_cond()
authorMenglong Dong <menglong8.dong@gmail.com>
Tue, 19 Dec 2023 13:47:59 +0000 (21:47 +0800)
committerAlexei Starovoitov <ast@kernel.org>
Wed, 20 Dec 2023 01:18:55 +0000 (17:18 -0800)
commit31d9cc96b1e3b28daf74938cb1233231474bbcf6
tree6d98c10a4b818287d05d9f22f132ad77ca72c650
parent1de584832375d0dc4234ee406185384a58fb96ac
selftests/bpf: activate the OP_NE logic in range_cond()

The edge range checking for the registers is supported by the verifier
now, so we can activate the extended logic in
tools/testing/selftests/bpf/prog_tests/reg_bounds.c/range_cond() to test
such logic.

Besides, I added some cases to the "crafted_cases" array for this logic.
These cases are mainly used to test the edge of the src reg and dst reg.

All reg bounds testings has passed in the SLOW_TESTS mode:

$ export SLOW_TESTS=1 && ./test_progs -t reg_bounds -j
Summary: 65/18959832 PASSED, 0 SKIPPED, 0 FAILED

Signed-off-by: Menglong Dong <menglong8.dong@gmail.com>
Acked-by: Andrii Nakryiko <andrii@kernel.org>
Link: https://lore.kernel.org/r/20231219134800.1550388-4-menglong8.dong@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
tools/testing/selftests/bpf/prog_tests/reg_bounds.c