selftests/bpf: Test gotol with large offsets

Test gotol with offsets that don't fit into a short (i.e., larger than
32k or smaller than -32k).

Signed-off-by: Ilya Leoshkevich <iii@linux.ibm.com>
Acked-by: Yonghong Song <yonghong.song@linux.dev>
Acked-by: John Fastabend <john.fastabend@gmail.com>
Link: https://lore.kernel.org/r/20240102193531.3169422-4-iii@linux.ibm.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>

diff --git a/tools/testing/selftests/bpf/progs/verifier_gotol.c b/tools/testing/selftests/bpf/progs/verifier_gotol.c
index d1edbcff9a18589908d9e1654101507c6a096798..05a329ee45ee95c10b8a37db13e7794c1df38fdd 100644 (file)
--- a/tools/testing/selftests/bpf/progs/verifier_gotol.c
+++ b/tools/testing/selftests/bpf/progs/verifier_gotol.c
@@ -33,6 +33,25 @@ l3_%=:                                                       \
        : __clobber_all);
 }
 
+SEC("socket")
+__description("gotol, large_imm")
+__success __failure_unpriv __retval(40000)
+__naked void gotol_large_imm(void)
+{
+       asm volatile ("                                 \
+       gotol 1f;                                       \
+0:                                                     \
+       r0 = 0;                                         \
+       .rept 40000;                                    \
+       r0 += 1;                                        \
+       .endr;                                          \
+       exit;                                           \
+1:     gotol 0b;                                       \
+"      :
+       :
+       : __clobber_all);
+}
+
 #else
 
 SEC("socket")