BPF List
 help / color / mirror / Atom feed
From: Yonghong Song <yonghong.song@linux.dev>
To: bot+bpf-ci@kernel.org, bpf@vger.kernel.org
Cc: ast@kernel.org, andrii@kernel.org, daniel@iogearbox.net,
	eddyz87@gmail.com, kernel-team@fb.com, martin.lau@kernel.org,
	clm@meta.com, ihor.solodrai@linux.dev
Subject: Re: [PATCH bpf-next v7 08/10] selftests/bpf: Add C tests for 16-byte returns in R0:R2
Date: Wed, 19 Aug 2026 09:15:02 -0700	[thread overview]
Message-ID: <edd7ac42-0b2f-4a72-8cb0-ba169a6f22c9@linux.dev> (raw)
In-Reply-To: <057ae35eeaccbbb9dc187bb5edbf0b29c974dab9bf2142c2ff924c12e9e21db4@mail.kernel.org>



On 8/18/26 11:49 PM, bot+bpf-ci@kernel.org wrote:
>> Add selftests that exercise a 16-byte return value passed in the R0:R2
>> register pair, written in C so that they depend on the compiler lowering
>> the register-pair return.
>>
>> The R0:R2 convention is only emitted by LLVM 23 and newer, and a by-value
>> aggregate return does not compile at all before that, so the programs sit
>> behind a __clang_major__ guard. An older compiler builds the dummy test in
>> the #else branch instead, which keeps the object non-empty and says in its
>> description why nothing was exercised.
>>
>> The kfunc tests are tagged __arch_x86_64/__arch_arm64 and skip elsewhere.
>> Those are the architectures whose JIT advertises
>> bpf_jit_supports_kfunc_ret_reg_pair(), which bpf_add_kfunc_call() requires
>> before it accepts a kfunc returning more than 8 bytes, and they are also
>> the only ones building the kfuncs.
> The changelog states that x86_64 and arm64 are "the architectures whose
> JIT advertises bpf_jit_supports_kfunc_ret_reg_pair()". Is this accurate?
>
> Looking at commit 4b4530101f35 ("bpf: Wire up JIT support for 16-byte
> kfunc returns"), the first patch of this same series, it adds
> bpf_jit_supports_kfunc_ret_reg_pair() returning true to three JITs, not
> two:
>
>    arch/x86/net/bpf_jit_comp.c       bool bpf_jit_supports_kfunc_ret_reg_pair(void) { return true; }
>    arch/arm64/net/bpf_jit_comp.c     bool bpf_jit_supports_kfunc_ret_reg_pair(void) { return true; }
>    arch/riscv/net/bpf_jit_comp64.c   bool bpf_jit_supports_kfunc_ret_reg_pair(void) { return true; }
>
> and its own changelog says so explicitly: "Only the x86-64, arm64 and
> riscv64 JITs opt in so far." kernel/bpf/core.c keeps the __weak default
> at false for everything else.
>
> Stating the JIT capability as the reason for the architecture tagging
> misleads a reader into believing riscv64 has no R0:R2 JIT support,
> which is the opposite of what the series does.

We are fine. I didn't add riscv64 selftest. As mentioned in
    bpf: Wire up JIT support for 16-byte kfunc returns
riscv64 is not tested.

>
>
> ---
> AI reviewed your patch. Please fix the bug or email reply why it's not a bug.
> See: https://github.com/kernel-patches/vmtest/blob/master/ci/claude/README.md
>
> CI run summary: https://github.com/kernel-patches/bpf/actions/runs/32221968339


  reply	other threads:[~2026-08-19 16:15 UTC|newest]

Thread overview: 30+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2026-08-19  5:52 [PATCH bpf-next v7 00/10] bpf: Support aggregate return values up to 16 bytes Yonghong Song
2026-08-19  5:52 ` [PATCH bpf-next v7 01/10] bpf: Factor check_global_ret_scalar_reg() out of the global return check Yonghong Song
2026-08-19  5:52 ` [PATCH bpf-next v7 02/10] bpf: Add helpers to describe the R0:R2 return register pair Yonghong Song
2026-08-19  6:17   ` sashiko-bot
2026-08-19 15:41     ` Yonghong Song
2026-08-19 15:50     ` Yonghong Song
2026-08-19  5:52 ` [PATCH bpf-next v7 03/10] bpf: Wire up JIT support for 16-byte kfunc returns Yonghong Song
2026-08-19  6:49   ` bot+bpf-ci
2026-08-19 15:52     ` Yonghong Song
2026-08-19  5:52 ` [PATCH bpf-next v7 04/10] bpf: Handle R2 as a return register in precision backtracking Yonghong Song
2026-08-19  6:03   ` sashiko-bot
2026-08-19 15:54     ` Yonghong Song
2026-08-19  5:53 ` [PATCH bpf-next v7 05/10] bpf: Account R2 of register-pair returns in live register analysis Yonghong Song
2026-08-19  6:20   ` sashiko-bot
2026-08-19 15:57     ` Yonghong Song
2026-08-19  6:32   ` bot+bpf-ci
2026-08-19 15:58     ` Yonghong Song
2026-08-19  5:53 ` [PATCH bpf-next v7 06/10] bpf: Add verifier support for 16-byte returns in R0:R2 Yonghong Song
2026-08-19  6:14   ` sashiko-bot
2026-08-19 16:01     ` Yonghong Song
2026-08-19  5:53 ` [PATCH bpf-next v7 07/10] bpf: Enable aggregate return types up to 16 bytes Yonghong Song
2026-08-19  6:13   ` sashiko-bot
2026-08-19 16:04     ` Yonghong Song
2026-08-19  6:50   ` bot+bpf-ci
2026-08-19 16:12     ` Yonghong Song
2026-08-19  5:53 ` [PATCH bpf-next v7 08/10] selftests/bpf: Add C tests for 16-byte returns in R0:R2 Yonghong Song
2026-08-19  6:49   ` bot+bpf-ci
2026-08-19 16:15     ` Yonghong Song [this message]
2026-08-19  5:53 ` [PATCH bpf-next v7 09/10] selftests/bpf: Add inline-asm and subprog tests for R0:R2 returns Yonghong Song
2026-08-19  5:53 ` [PATCH bpf-next v7 10/10] Documentation/bpf: Document up to 16-byte kfunc return values in R0:R2 Yonghong Song

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=edd7ac42-0b2f-4a72-8cb0-ba169a6f22c9@linux.dev \
    --to=yonghong.song@linux.dev \
    --cc=andrii@kernel.org \
    --cc=ast@kernel.org \
    --cc=bot+bpf-ci@kernel.org \
    --cc=bpf@vger.kernel.org \
    --cc=clm@meta.com \
    --cc=daniel@iogearbox.net \
    --cc=eddyz87@gmail.com \
    --cc=ihor.solodrai@linux.dev \
    --cc=kernel-team@fb.com \
    --cc=martin.lau@kernel.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox