* [PATCH v2] ARM: net fix emit_udiv() for BPF_ALU | BPF_DIV | BPF_K intruction.
@ 2015-05-06 16:31 Nicolas Schichan
2015-05-09 21:40 ` David Miller
` (2 more replies)
0 siblings, 3 replies; 4+ messages in thread
From: Nicolas Schichan @ 2015-05-06 16:31 UTC (permalink / raw)
To: Russell King, David S. Miller, Mircea Gherzan, Daniel Borkmann
Cc: Alexei Starovoitov, Nicolas Schichan, linux-arm-kernel,
linux-kernel, netdev, stable
In that case, emit_udiv() will be called with rn == ARM_R0 (r_scratch)
and loading rm first into ARM_R0 will result in jit_udiv() function
being called the same dividend and divisor. Fix that by loading rn
first into ARM_R1 and then rm into ARM_R0.
Signed-off-by: Nicolas Schichan <nschichan@freebox.fr>
Cc: <stable@vger.kernel.org> # v3.13+
Fixes: aee636c4809f (bpf: do not use reciprocal divide)
---
arch/arm/net/bpf_jit_32.c | 15 +++++++++++++--
1 file changed, 13 insertions(+), 2 deletions(-)
This patch was part of a serie adding support to JITed seccomp filters
to ARM but as it is an unrelated fix, it is more appropriate to send
it separately.
Changes from previous version: add a comment clarifying how
emit_udiv() is called when translating BPF_ALU | BPF_DIV | BPF_K and
BPF_ALU | BPF_DIV | BPF_X with respect to the rm and rn parameters.
diff --git a/arch/arm/net/bpf_jit_32.c b/arch/arm/net/bpf_jit_32.c
index e1268f9..f412b53 100644
--- a/arch/arm/net/bpf_jit_32.c
+++ b/arch/arm/net/bpf_jit_32.c
@@ -449,10 +449,21 @@ static inline void emit_udiv(u8 rd, u8 rm, u8 rn, struct jit_ctx *ctx)
return;
}
#endif
- if (rm != ARM_R0)
- emit(ARM_MOV_R(ARM_R0, rm), ctx);
+
+ /*
+ * For BPF_ALU | BPF_DIV | BPF_K instructions, rm is ARM_R4
+ * (r_A) and rn is ARM_R0 (r_scratch) so load rn first into
+ * ARM_R1 to avoid accidentally overwriting ARM_R0 with rm
+ * before using it as a source for ARM_R1.
+ *
+ * For BPF_ALU | BPF_DIV | BPF_X rm is ARM_R4 (r_A) and rn is
+ * ARM_R5 (r_X) so there is no particular register overlap
+ * issues.
+ */
if (rn != ARM_R1)
emit(ARM_MOV_R(ARM_R1, rn), ctx);
+ if (rm != ARM_R0)
+ emit(ARM_MOV_R(ARM_R0, rm), ctx);
ctx->seen |= SEEN_CALL;
emit_mov_i(ARM_R3, (u32)jit_udiv, ctx);
--
1.9.1
^ permalink raw reply related [flat|nested] 4+ messages in thread
* Re: [PATCH v2] ARM: net fix emit_udiv() for BPF_ALU | BPF_DIV | BPF_K intruction.
2015-05-06 16:31 [PATCH v2] ARM: net fix emit_udiv() for BPF_ALU | BPF_DIV | BPF_K intruction Nicolas Schichan
@ 2015-05-09 21:40 ` David Miller
2015-05-10 11:31 ` Mircea Gherzan
2015-05-10 23:20 ` David Miller
2 siblings, 0 replies; 4+ messages in thread
From: David Miller @ 2015-05-09 21:40 UTC (permalink / raw)
To: nschichan
Cc: linux, mgherzan, daniel, ast, linux-arm-kernel, linux-kernel,
netdev, stable
From: Nicolas Schichan <nschichan@freebox.fr>
Date: Wed, 6 May 2015 18:31:56 +0200
> In that case, emit_udiv() will be called with rn == ARM_R0 (r_scratch)
> and loading rm first into ARM_R0 will result in jit_udiv() function
> being called the same dividend and divisor. Fix that by loading rn
> first into ARM_R1 and then rm into ARM_R0.
>
> Signed-off-by: Nicolas Schichan <nschichan@freebox.fr>
> Cc: <stable@vger.kernel.org> # v3.13+
> Fixes: aee636c4809f (bpf: do not use reciprocal divide)
Do you want me to push this via my net tree?
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [PATCH v2] ARM: net fix emit_udiv() for BPF_ALU | BPF_DIV | BPF_K intruction.
2015-05-06 16:31 [PATCH v2] ARM: net fix emit_udiv() for BPF_ALU | BPF_DIV | BPF_K intruction Nicolas Schichan
2015-05-09 21:40 ` David Miller
@ 2015-05-10 11:31 ` Mircea Gherzan
2015-05-10 23:20 ` David Miller
2 siblings, 0 replies; 4+ messages in thread
From: Mircea Gherzan @ 2015-05-10 11:31 UTC (permalink / raw)
To: Nicolas Schichan, Russell King, David S. Miller, Daniel Borkmann
Cc: Alexei Starovoitov, linux-arm-kernel, linux-kernel, netdev, stable
On 05/06/2015 06:31 PM, Nicolas Schichan wrote:
> In that case, emit_udiv() will be called with rn == ARM_R0 (r_scratch)
> and loading rm first into ARM_R0 will result in jit_udiv() function
> being called the same dividend and divisor. Fix that by loading rn
> first into ARM_R1 and then rm into ARM_R0.
>
> Signed-off-by: Nicolas Schichan <nschichan@freebox.fr>
> Cc: <stable@vger.kernel.org> # v3.13+
> Fixes: aee636c4809f (bpf: do not use reciprocal divide)
> ---
> arch/arm/net/bpf_jit_32.c | 15 +++++++++++++--
> 1 file changed, 13 insertions(+), 2 deletions(-)
>
> This patch was part of a serie adding support to JITed seccomp filters
> to ARM but as it is an unrelated fix, it is more appropriate to send
> it separately.
>
> Changes from previous version: add a comment clarifying how
> emit_udiv() is called when translating BPF_ALU | BPF_DIV | BPF_K and
> BPF_ALU | BPF_DIV | BPF_X with respect to the rm and rn parameters.
>
> diff --git a/arch/arm/net/bpf_jit_32.c b/arch/arm/net/bpf_jit_32.c
> index e1268f9..f412b53 100644
> --- a/arch/arm/net/bpf_jit_32.c
> +++ b/arch/arm/net/bpf_jit_32.c
> @@ -449,10 +449,21 @@ static inline void emit_udiv(u8 rd, u8 rm, u8 rn, struct jit_ctx *ctx)
> return;
> }
> #endif
> - if (rm != ARM_R0)
> - emit(ARM_MOV_R(ARM_R0, rm), ctx);
> +
> + /*
> + * For BPF_ALU | BPF_DIV | BPF_K instructions, rm is ARM_R4
> + * (r_A) and rn is ARM_R0 (r_scratch) so load rn first into
> + * ARM_R1 to avoid accidentally overwriting ARM_R0 with rm
> + * before using it as a source for ARM_R1.
> + *
> + * For BPF_ALU | BPF_DIV | BPF_X rm is ARM_R4 (r_A) and rn is
> + * ARM_R5 (r_X) so there is no particular register overlap
> + * issues.
> + */
> if (rn != ARM_R1)
> emit(ARM_MOV_R(ARM_R1, rn), ctx);
> + if (rm != ARM_R0)
> + emit(ARM_MOV_R(ARM_R0, rm), ctx);
>
> ctx->seen |= SEEN_CALL;
> emit_mov_i(ARM_R3, (u32)jit_udiv, ctx);
>
Acked-by: Mircea Gherzan <mgherzan@gmail.com>
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [PATCH v2] ARM: net fix emit_udiv() for BPF_ALU | BPF_DIV | BPF_K intruction.
2015-05-06 16:31 [PATCH v2] ARM: net fix emit_udiv() for BPF_ALU | BPF_DIV | BPF_K intruction Nicolas Schichan
2015-05-09 21:40 ` David Miller
2015-05-10 11:31 ` Mircea Gherzan
@ 2015-05-10 23:20 ` David Miller
2 siblings, 0 replies; 4+ messages in thread
From: David Miller @ 2015-05-10 23:20 UTC (permalink / raw)
To: nschichan
Cc: linux, mgherzan, daniel, ast, linux-arm-kernel, linux-kernel,
netdev, stable
From: Nicolas Schichan <nschichan@freebox.fr>
Date: Wed, 6 May 2015 18:31:56 +0200
> In that case, emit_udiv() will be called with rn == ARM_R0 (r_scratch)
> and loading rm first into ARM_R0 will result in jit_udiv() function
> being called the same dividend and divisor. Fix that by loading rn
> first into ARM_R1 and then rm into ARM_R0.
>
> Signed-off-by: Nicolas Schichan <nschichan@freebox.fr>
> Cc: <stable@vger.kernel.org> # v3.13+
> Fixes: aee636c4809f (bpf: do not use reciprocal divide)
Applied, thank you.
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2015-05-10 23:20 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-05-06 16:31 [PATCH v2] ARM: net fix emit_udiv() for BPF_ALU | BPF_DIV | BPF_K intruction Nicolas Schichan
2015-05-09 21:40 ` David Miller
2015-05-10 11:31 ` Mircea Gherzan
2015-05-10 23:20 ` David Miller
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).