]> asedeno.scripts.mit.edu Git - linux.git/commit
selftests: bpf: complete sub-register zero extension checks
authorJiong Wang <jiong.wang@netronome.com>
Wed, 29 May 2019 09:57:09 +0000 (10:57 +0100)
committerDaniel Borkmann <daniel@iogearbox.net>
Wed, 29 May 2019 11:31:05 +0000 (13:31 +0200)
commitc25d60c12534ada10312a43f1c584fa7384aa2e7
treed0cd9d846507593f603b06093730cf1c9c6a18c3
parent9e084bb9805226a3e53e9e28dcd9f3a8d4af35c8
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>
tools/testing/selftests/bpf/verifier/subreg.c