selftests/bpf: Add test for sign extension in coerce_subreg_to_size_sx()
authorDimitar Kanaliev <dimitar.kanaliev@siteground.com>
Mon, 14 Oct 2024 12:11:55 +0000 (15:11 +0300)
committerAlexei Starovoitov <ast@kernel.org>
Tue, 15 Oct 2024 18:16:25 +0000 (11:16 -0700)
commit35ccd576a23ce495b4064f4a3445626de790cd23
treee182ec5e34751574f8d6d7a69ddb8f77a40bc0c4
parent61f506eacc77a9dad510fce92477af72be82c89d
selftests/bpf: Add test for sign extension in coerce_subreg_to_size_sx()

Add a test for unsigned ranges after signed extension instruction. This
case isn't currently covered by existing tests in verifier_movsx.c.

Acked-by: Shung-Hsi Yu <shung-hsi.yu@suse.com>
Signed-off-by: Dimitar Kanaliev <dimitar.kanaliev@siteground.com>
Acked-by: Yonghong Song <yonghong.song@linux.dev>
Link: https://lore.kernel.org/r/20241014121155.92887-4-dimitar.kanaliev@siteground.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
tools/testing/selftests/bpf/progs/verifier_movsx.c