]> www.infradead.org Git - users/jedix/linux-maple.git/commit
selftests/bpf: Verify zero-extension behavior in load-acquire tests
authorPeilin Ye <yepeilin@google.com>
Wed, 7 May 2025 03:43:25 +0000 (03:43 +0000)
committerAlexei Starovoitov <ast@kernel.org>
Fri, 9 May 2025 17:05:27 +0000 (10:05 -0700)
commit0357f29de80983992c2d3e9a5ccb4fcd03a79d76
tree8b4a1f13c62e3b770ff1228e4dfaf8987e2e60f6
parent6e492ffcab6064cd7b317dc1f49fb9f92407aaa7
selftests/bpf: Verify zero-extension behavior in load-acquire tests

Verify that 8-, 16- and 32-bit load-acquires are zero-extending by using
immediate values with their highest bit set.  Do the same for the 64-bit
variant to keep the style consistent.

Acked-by: Björn Töpel <bjorn@kernel.org>
Reviewed-by: Pu Lehui <pulehui@huawei.com>
Tested-by: Björn Töpel <bjorn@rivosinc.com> # QEMU/RVA23
Signed-off-by: Peilin Ye <yepeilin@google.com>
Link: https://lore.kernel.org/r/11097fd515f10308b3941469ee4c86cb8872db3f.1746588351.git.yepeilin@google.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
tools/testing/selftests/bpf/progs/verifier_load_acquire.c