From: Yang Jihong <yangjihong1@huawei.com>
To: "Russell King (Oracle)" <linux@armlinux.org.uk>
Cc: <ast@kernel.org>, <daniel@iogearbox.net>, <andrii@kernel.org>,
<martin.lau@linux.dev>, <song@kernel.org>, <yhs@fb.com>,
<john.fastabend@gmail.com>, <kpsingh@kernel.org>,
<sdf@google.com>, <haoluo@google.com>, <jolsa@kernel.org>,
<illusionist.neo@gmail.com>, <davem@davemloft.net>,
<edumazet@google.com>, <kuba@kernel.org>, <pabeni@redhat.com>,
<mykolal@fb.com>, <shuah@kernel.org>,
<benjamin.tissoires@redhat.com>, <memxor@gmail.com>,
<delyank@fb.com>, <asavkov@redhat.com>, <bpf@vger.kernel.org>,
<linux-arm-kernel@lists.infradead.org>,
<linux-kernel@vger.kernel.org>, <netdev@vger.kernel.org>,
<linux-kselftest@vger.kernel.org>
Subject: Re: [PATCH bpf RESEND 3/4] bpf: Add kernel function call support in 32-bit ARM
Date: Mon, 7 Nov 2022 17:10:58 +0800 [thread overview]
Message-ID: <6e078f09-2f84-d3e7-2c46-7686a7ad3e17@huawei.com> (raw)
In-Reply-To: <Y2OnedQdQaIQEPDQ@shell.armlinux.org.uk>
Hello,
On 2022/11/3 19:35, Russell King (Oracle) wrote:
> On Thu, Nov 03, 2022 at 05:21:17PM +0800, Yang Jihong wrote:
>> This patch adds kernel function call support to the 32-bit ARM bpf jit.
>>
>> Signed-off-by: Yang Jihong <yangjihong1@huawei.com>
>> ---
>> arch/arm/net/bpf_jit_32.c | 130 ++++++++++++++++++++++++++++++++++++++
>> 1 file changed, 130 insertions(+)
>>
>> diff --git a/arch/arm/net/bpf_jit_32.c b/arch/arm/net/bpf_jit_32.c
>> index 6a1c9fca5260..51428c82bec6 100644
>> --- a/arch/arm/net/bpf_jit_32.c
>> +++ b/arch/arm/net/bpf_jit_32.c
>> @@ -1337,6 +1337,118 @@ static void build_epilogue(struct jit_ctx *ctx)
>> #endif
>> }
>>
>> +/*
>> + * Input parameters of function in 32-bit ARM architecture:
>> + * The first four word-sized parameters passed to a function will be
>> + * transferred in registers R0-R3. Sub-word sized arguments, for example,
>> + * char, will still use a whole register.
>> + * Arguments larger than a word will be passed in multiple registers.
>> + * If more arguments are passed, the fifth and subsequent words will be passed
>> + * on the stack.
>> + *
>> + * The first for args of a function will be considered for
>> + * putting into the 32bit register R1, R2, R3 and R4.
>> + *
>> + * Two 32bit registers are used to pass a 64bit arg.
>> + *
>> + * For example,
>> + * void foo(u32 a, u32 b, u32 c, u32 d, u32 e):
>> + * u32 a: R0
>> + * u32 b: R1
>> + * u32 c: R2
>> + * u32 d: R3
>> + * u32 e: stack
>> + *
>> + * void foo(u64 a, u32 b, u32 c, u32 d):
>> + * u64 a: R0 (lo32) R1 (hi32)
>> + * u32 b: R2
>> + * u32 c: R3
>> + * u32 d: stack
>> + *
>> + * void foo(u32 a, u64 b, u32 c, u32 d):
>> + * u32 a: R0
>> + * u64 b: R2 (lo32) R3 (hi32)
>> + * u32 c: stack
>> + * u32 d: stack
>
> This code supports both EABI and OABI, but the above is EABI-only.
> Either we need to decide not to support OABI, or we need to add code
> for both. That can probably be done by making:
>
Yes, the OABI situation was not considered here before,
Because I don't have OABI ARM machine, I can't actually verify it,
only EABI is supported.
In the next version, will check whether CONFIG_AEABI is enabled.
>> + for (i = 0; i < fm->nr_args; i++) {
>> + if (fm->arg_size[i] > sizeof(u32)) {
>> + if (arg_regs_idx + 1 < nr_arg_regs) {
>> + /*
>> + * AAPCS states:
>> + * A double-word sized type is passed in two
>> + * consecutive registers (e.g., r0 and r1, or
>> + * r2 and r3). The content of the registers is
>> + * as if the value had been loaded from memory
>> + * representation with a single LDM instruction.
>> + */
>> + if (arg_regs_idx & 1)
>> + arg_regs_idx++;
>
> ... this conditional on IS_ENABLED(CONFIG_AEABI).
>
>> + emit(ARM_LDRD_I(arg_regs[arg_regs_idx], ARM_FP,
>> + EBPF_SCRATCH_TO_ARM_FP(
>> + bpf2a32[BPF_REG_1 + i][1])), ctx);
>
> You probably want to re-use the internals of arm_bpf_get_reg64() to load
> the register.
OK, will re-use arm_bpf_get_reg64 in next version.
>
>> +
>> + arg_regs_idx += 2;
>> + } else {
>> + stack_off = ALIGN(stack_off, STACK_ALIGNMENT);
>> +
>> + emit(ARM_LDRD_I(tmp[1], ARM_FP,
>> + EBPF_SCRATCH_TO_ARM_FP(
>> + bpf2a32[BPF_REG_1 + i][1])), ctx);
>
> Same here.
OK, will re-use arm_bpf_get_reg64 in next version.
>
>> + emit(ARM_STRD_I(tmp[1], ARM_SP, stack_off), ctx);
>
> and the internals of arm_bpf_put_reg64() here. Not all Arm CPUs that
> this code runs on supports ldrd and strd.
>
Yes, the ARM CPUs that do not support LDRD and STRD have not been
considered, will fix in next version.
Thanks,
Yang
next prev parent reply other threads:[~2022-11-07 9:11 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-11-03 9:21 [PATCH bpf RESEND 0/4] bpf: Support kernel function call " Yang Jihong
2022-11-03 9:21 ` [PATCH bpf RESEND 1/4] bpf: Adapt 32-bit return value kfunc for 32-bit ARM when zext extension Yang Jihong
2022-11-03 9:21 ` [PATCH bpf RESEND 2/4] bpf: Remove size check for sk in bpf_skb_is_valid_access for 32-bit architecture Yang Jihong
2022-11-03 11:23 ` Russell King (Oracle)
2022-11-03 18:15 ` Alexei Starovoitov
2022-11-04 22:43 ` Andrii Nakryiko
2022-11-04 23:37 ` Alexei Starovoitov
2022-11-07 9:22 ` Yang Jihong
2022-11-07 9:12 ` Yang Jihong
2022-11-03 9:21 ` [PATCH bpf RESEND 3/4] bpf: Add kernel function call support in 32-bit ARM Yang Jihong
2022-11-03 11:35 ` Russell King (Oracle)
2022-11-07 9:10 ` Yang Jihong [this message]
2022-11-03 9:21 ` [PATCH bpf RESEND 4/4] bpf:selftests: Add kfunc_call test for mixing 32-bit and 64-bit parameters Yang Jihong
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=6e078f09-2f84-d3e7-2c46-7686a7ad3e17@huawei.com \
--to=yangjihong1@huawei.com \
--cc=andrii@kernel.org \
--cc=asavkov@redhat.com \
--cc=ast@kernel.org \
--cc=benjamin.tissoires@redhat.com \
--cc=bpf@vger.kernel.org \
--cc=daniel@iogearbox.net \
--cc=davem@davemloft.net \
--cc=delyank@fb.com \
--cc=edumazet@google.com \
--cc=haoluo@google.com \
--cc=illusionist.neo@gmail.com \
--cc=john.fastabend@gmail.com \
--cc=jolsa@kernel.org \
--cc=kpsingh@kernel.org \
--cc=kuba@kernel.org \
--cc=linux-arm-kernel@lists.infradead.org \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-kselftest@vger.kernel.org \
--cc=linux@armlinux.org.uk \
--cc=martin.lau@linux.dev \
--cc=memxor@gmail.com \
--cc=mykolal@fb.com \
--cc=netdev@vger.kernel.org \
--cc=pabeni@redhat.com \
--cc=sdf@google.com \
--cc=shuah@kernel.org \
--cc=song@kernel.org \
--cc=yhs@fb.com \
/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
all inboxes | Powered by JetHome®