[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-Id: <20250827031540.461017-1-yangfeng59949@163.com>
Date: Wed, 27 Aug 2025 11:15:40 +0800
From: Feng Yang <yangfeng59949@....com>
To: ast@...nel.org,
daniel@...earbox.net,
john.fastabend@...il.com,
andrii@...nel.org,
martin.lau@...ux.dev,
eddyz87@...il.com,
song@...nel.org,
yonghong.song@...ux.dev,
kpsingh@...nel.org,
sdf@...ichev.me,
haoluo@...gle.com,
jolsa@...nel.org
Cc: bpf@...r.kernel.org,
linux-kernel@...r.kernel.org,
linux-kselftest@...r.kernel.org,
llvm@...ts.linux.dev
Subject: [PATCH bpf-next] selftests/bpf: Fix the invalid operand for instruction issue
From: Feng Yang <yangfeng@...inos.cn>
The following issue occurs when compiling with clang version 17.0.6,
but not with version 18.1.8. Add a version restriction to fix this problem.
progs/compute_live_registers.c:251:3: error: invalid operand for instruction
251 | "r0 = 1;"
| ^
<inline asm>:1:22: note: instantiated into assembly here
1 | r0 = 1;r2 = 2;if r1 & 0x7 goto +1;exit;r0 = r2;exit;
| ^
1 error generated.
Fixes: 4a4b84ba9e453 ("selftests/bpf: verify jset handling in CFG computation")
Signed-off-by: Feng Yang <yangfeng@...inos.cn>
---
tools/testing/selftests/bpf/progs/compute_live_registers.c | 2 ++
1 file changed, 2 insertions(+)
diff --git a/tools/testing/selftests/bpf/progs/compute_live_registers.c b/tools/testing/selftests/bpf/progs/compute_live_registers.c
index 6884ab99a421..56aec43f206f 100644
--- a/tools/testing/selftests/bpf/progs/compute_live_registers.c
+++ b/tools/testing/selftests/bpf/progs/compute_live_registers.c
@@ -240,6 +240,7 @@ __naked void if2(void)
::: __clobber_all);
}
+#if __clang_major__ >= 18
/* Verifier misses that r2 is alive if jset is not handled properly */
SEC("socket")
__log_level(2)
@@ -255,6 +256,7 @@ __naked void if3_jset_bug(void)
"exit;"
::: __clobber_all);
}
+#endif
SEC("socket")
__log_level(2)
--
2.43.0
Powered by blists - more mailing lists