selftests/bpf: adjust verifier scale test
authorAlexei Starovoitov <ast@kernel.org>
Wed, 22 May 2019 03:14:20 +0000 (20:14 -0700)
committerGreg Kroah-Hartman <gregkh@linuxfoundation.org>
Fri, 26 Jul 2019 07:10:13 +0000 (09:10 +0200)
commitd3e0b8c350e49f46aa36db269e5432a5e7366c8f
tree0a769e4ad27f3bd8da496c5431942a5b2675bd60
parent1610f0fbd6ff10a29bdd8e8b95596d0c9d20bc76
selftests/bpf: adjust verifier scale test

[ Upstream commit 7c0c6095d48dcd0e67c917aa73cdbb2715aafc36 ]

Adjust scale tests to check for new jmp sequence limit.

BPF_JGT had to be changed to BPF_JEQ because the verifier was
too smart. It tracked the known safe range of R0 values
and pruned the search earlier before hitting exact 8192 limit.
bpf_semi_rand_get() was too (un)?lucky.

k = 0; was missing in bpf_fill_scale2.
It was testing a bit shorter sequence of jumps than intended.

Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Acked-by: Andrii Nakryiko <andriin@fb.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Signed-off-by: Sasha Levin <sashal@kernel.org>
tools/testing/selftests/bpf/test_verifier.c