OSDN Git Service

selftests/bpf: Add verifier tests for xor operation
authorYonghong Song <yhs@fb.com>
Tue, 25 Aug 2020 06:46:09 +0000 (23:46 -0700)
committerAlexei Starovoitov <ast@kernel.org>
Thu, 27 Aug 2020 04:47:32 +0000 (21:47 -0700)
commitf5493c514cdbcd8c3f9f3ffca4f68b97f122e60a
tree4fe8df8ebf245dd886d1ee17c7bd65e5b4ca2e2b
parent2921c90d471889242c24cff529043afb378937fa
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
tools/testing/selftests/bpf/verifier/bounds.c