diff options
| author |   Yonghong Song <yhs@fb.com> | 2020-08-24 23:46:09 -0700 |
|---|---|---|
| committer |   Alexei Starovoitov <ast@kernel.org> | 2020-08-26 21:47:32 -0700 |
| commit | f5493c514cdbcd8c3f9f3ffca4f68b97f122e60a (patch) | |
| tree | 4fe8df8ebf245dd886d1ee17c7bd65e5b4ca2e2b /tools/bpf/bpftool/Makefile | |
| parent | bpf: Fix a verifier failure with xor (diff) | |
| download | linux-dev-f5493c514cdbcd8c3f9f3ffca4f68b97f122e60a.tar.xz linux-dev-f5493c514cdbcd8c3f9f3ffca4f68b97f122e60a.zip | |
selftests/bpf: Add verifier tests for xor operation
Added some test_verifier bounds check test cases for
xor operations.
$ ./test_verifier
...
#78/u bounds check for reg = 0, reg xor 1 OK
#78/p bounds check for reg = 0, reg xor 1 OK
#79/u bounds check for reg32 = 0, reg32 xor 1 OK
#79/p bounds check for reg32 = 0, reg32 xor 1 OK
#80/u bounds check for reg = 2, reg xor 3 OK
#80/p bounds check for reg = 2, reg xor 3 OK
#81/u bounds check for reg = any, reg xor 3 OK
#81/p bounds check for reg = any, reg xor 3 OK
#82/u bounds check for reg32 = any, reg32 xor 3 OK
#82/p bounds check for reg32 = any, reg32 xor 3 OK
#83/u bounds check for reg > 0, reg xor 3 OK
#83/p bounds check for reg > 0, reg xor 3 OK
#84/u bounds check for reg32 > 0, reg32 xor 3 OK
#84/p bounds check for reg32 > 0, reg32 xor 3 OK
...
Signed-off-by: Yonghong Song <yhs@fb.com>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Cc: John Fastabend <john.fastabend@gmail.com>
Link: https://lore.kernel.org/bpf/20200825064609.2018077-1-yhs@fb.com
Diffstat (limited to 'tools/bpf/bpftool/Makefile')
0 files changed, 0 insertions, 0 deletions