On Wed, 2025-08-27 at 16:24 +0800, Feng Yang wrote:
[...]
I don't know much about assembly language. Could you tell me if the following changes are correct?
Looks correct, should be similar to verifier_search_pruning.c:short_loop1().
Unfortunately, I'm afraid that the best source for assembly syntax doc are llvm backend tests and sources, e.g.: - https://github.com/llvm/llvm-project/blob/main/llvm/test/CodeGen/BPF/assembl... - https://github.com/llvm/llvm-project/blob/main/llvm/test/CodeGen/BPF/assembl... - https://github.com/llvm/llvm-project/blob/main/llvm/lib/Target/BPF/BPFInstrI...
The directives should gas compatible (subset supported by llvm): - https://sourceware.org/binutils/docs/as/8byte.html
diff --git a/tools/testing/selftests/bpf/progs/compute_live_registers.c b/tools/testing/selftests/bpf/progs/compute_live_registers.c index 6884ab99a421..01d73ad76faf 100644 --- a/tools/testing/selftests/bpf/progs/compute_live_registers.c +++ b/tools/testing/selftests/bpf/progs/compute_live_registers.c @@ -249,11 +249,13 @@ __naked void if3_jset_bug(void) asm volatile ( "r0 = 1;" "r2 = 2;"
"if r1 & 0x7 goto +1;"
".8byte %[jset];" /* same as 'if r1 & 0x7 goto +1;' */
::: __clobber_all);
:: __imm_insn(jset, BPF_JMP_IMM(BPF_JSET, BPF_REG_1, 0x7, 1)): __clobber_all);}