kernel/tools/testing/selftests/bpf/verifier/subreg.c, branch linux-6.2.yHosts the 0x221E linux distro kernel.https://universe.0xinfinity.dev/distro/kernel/atom?h=linux-6.2.y2019-05-29T11:31:05Zselftests: bpf: complete sub-register zero extension checks2019-05-29T11:31:05ZJiong Wangjiong.wang@netronome.com2019-05-29T09:57:09Zurn:sha1:c25d60c12534ada10312a43f1c584fa7384aa2e7
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>
selftests: bpf: move sub-register zero extension checks into subreg.c2019-05-29T11:31:05ZJiong Wangjiong.wang@netronome.com2019-05-29T09:57:08Zurn:sha1:9e084bb9805226a3e53e9e28dcd9f3a8d4af35c8
It is better to centralize all sub-register zero extension checks into an
independent file.
This patch takes the first step to move existing sub-register zero
extension checks into subreg.c.
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>