diff options
| author |   Jiong Wang <jiong.wang@netronome.com> | 2019-05-29 10:57:09 +0100 |
|---|---|---|
| committer |   Daniel Borkmann <daniel@iogearbox.net> | 2019-05-29 13:31:05 +0200 |
| commit | c25d60c12534ada10312a43f1c584fa7384aa2e7 (patch) | |
| tree | d0cd9d846507593f603b06093730cf1c9c6a18c3 /tools/testing/selftests/bpf/verifier/basic.c | |
| parent | selftests: bpf: move sub-register zero extension checks into subreg.c (diff) | |
| download | linux-dev-c25d60c12534ada10312a43f1c584fa7384aa2e7.tar.xz linux-dev-c25d60c12534ada10312a43f1c584fa7384aa2e7.zip | |
selftests: bpf: complete sub-register zero extension checks
eBPF ISA specification requires high 32-bit cleared when only low 32-bit
sub-register is written. JIT back-ends must guarantee this semantics when
doing code-gen.
This patch complete unit tests for all of those insns that could be visible
to JIT back-ends and defining sub-registers, if JIT back-ends failed to
guarantee the mentioned semantics, these unit tests will fail.
Acked-by: Jakub Kicinski <jakub.kicinski@netronome.com>
Reviewed-by: Quentin Monnet <quentin.monnet@netronome.com>
Signed-off-by: Jiong Wang <jiong.wang@netronome.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Diffstat (limited to 'tools/testing/selftests/bpf/verifier/basic.c')
0 files changed, 0 insertions, 0 deletions