CI verifier testing - updated regs

kernel-patches · Jan 30, 2025 · 66c565d · 66c565d
1 parent 6d68cbc
commit 66c565d
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/tools/testing/selftests/bpf/progs/verifier_bounds.c b/tools/testing/selftests/bpf/progs/verifier_bounds.c
@@ -1338,17 +1338,17 @@ __naked void mult_sign_ovf(void)
 SEC("tc")
 __description("bpf_and precision. test 1")
 __success __log_level(2)
-__msg("r6 *= r7 {{.*}}; R6_w=scalar(smin=smin32=-100,smax=smax32=200)")
+__msg("r6 &= r7 {{.*}}; R6_w=scalar(smin=smin32=-100,smax=smax32=200)")
 __naked void and_testing(void)
 {
 	asm volatile (
 	"call %[bpf_get_prandom_u32];"
 	"r6 = r0;"
 	"call %[bpf_get_prandom_u32];"
 	"r7 = r0;"
-	"r6 >>= 33;"
-	"r6 &= 30 ;"
-	"r6 *= r7;"
+	"r6 >>= 23;"
+	"r7 >>= 32 ;"
+	"r6 &= r7;"
 	"exit"
 	:
 	: __imm(bpf_get_prandom_u32),