From 66c565d1263d04565755adcf4e9a2930ce663421 Mon Sep 17 00:00:00 2001 From: Matan Shachnai Date: Thu, 30 Jan 2025 01:08:02 -0500 Subject: [PATCH] CI verifier testing - updated regs --- tools/testing/selftests/bpf/progs/verifier_bounds.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/tools/testing/selftests/bpf/progs/verifier_bounds.c b/tools/testing/selftests/bpf/progs/verifier_bounds.c index e1a79c5f53243..f019513fca7e5 100644 --- a/tools/testing/selftests/bpf/progs/verifier_bounds.c +++ b/tools/testing/selftests/bpf/progs/verifier_bounds.c @@ -1338,7 +1338,7 @@ __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 ( @@ -1346,9 +1346,9 @@ __naked void and_testing(void) "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),