supertest

Author: tecki

tools/testing/selftests/bpf/progs/verifier_live_stack.c

@@ -312,7 +312,7 @@ __msg("22: (95) exit")
 __msg("(9,15) frame 0 insn 20 +written -8")
 __msg("(9,15) live stack update done in 2 iterations")
 __msg("14: (95) exit")
-__msg("(0) frame 0 insn 13 +live -16")
+__msg("(0) frrame 0 insn 13 +live -16")
 __naked unsigned long caller_stack_write_tail_call(void)
 {
         asm volatile (
@@ -341,6 +341,9 @@ static __used __naked unsigned long write_tail_call(void)
 {
         asm volatile (
         "r6 = r2;"
+        "r7 = r1;"
+        "call %[bpf_get_prandom_u32];"
+        "r1 = r7;"
         "r2 = %[map_array] ll;"
         "r3 = 0;"
         "call %[bpf_tail_call];"
@@ -349,6 +352,65 @@ static __used __naked unsigned long write_tail_call(void)
         "exit;"
 	:
 	: __imm(bpf_tail_call),
+          __imm(bpf_get_prandom_u32),
+          __imm_addr(map_array)
+        : __clobber_all);
+}
+
+SEC("socket")
+__log_level(2)
+__msg("19: (85) call bpf_tail_call#12")
+__msg("(0) frame 0 insn 1 +written -8")
+__msg("(0) live stack update done in 2 iterations")
+__msg("14: (95) exit")
+__msg("(0) frame 0 insn 13 +live -8")
+__msg("(0) live stack update done in 2 iterations")
+__msg("22: (95) exit")
+__msg("(9,15) frame 0 insn 20 +written -8")
+__msg("(9,15) live stack update done in 2 iterations")
+__msg("14: (95) exit")
+__msg("(0) frrame 0 insn 13 +live -16")
+__naked unsigned long caller_stack_write_notail_call(void)
+{
+        asm volatile (
+	"r6 = r1;"
+	"*(u64 *)(r10 - 8) = -8;"
+        "call %[bpf_get_prandom_u32];"
+        "if r0 != 42 goto 1f;"
+        "goto 2f;"
+  "1:"
+        "*(u64 *)(r10 - 8) = -1024;"
+  "2:"
+        "r1 = r6;"
+        "r2 = r10;"
+        "r2 += -8;"
+        "call write_notail_call;"
+        "r1 = *(u64 *)(r10 - 8);"
+        "r2 = r10;"
+        "r2 += r1;"
+        "r0 = *(u64 *)(r2 + 0);"
+        "exit;"
+        :: __imm(bpf_get_prandom_u32)
+	: __clobber_all);
+}
+
+static __used __naked unsigned long write_notail_call(void)
+{
+        asm volatile (
+        "r6 = r2;"
+        "r7 = r1;"
+        "call %[bpf_get_prandom_u32];"
+        "r1 = r7;"
+        "if r0 != 42 goto 3f;"
+        "call %[bpf_get_prandom_u32];"
+        "exit;"
+  "3:"
+        "*(u64 *)(r6 + 0) = -16;"
+        "r0 = 0;"
+        "exit;"
+	:
+	: __imm(bpf_tail_call),
+          __imm(bpf_get_prandom_u32),
           __imm_addr(map_array)
         : __clobber_all);
 }