2020-05-01 02:07:14

by Luke Nelson

Subject: [PATCH bpf 0/2] bpf, arm: Small JIT optimizations

As Daniel suggested to us, we ran our formal verification tool, Serval,
over the arm JIT. The bugs we found have been patched and applied to the
bpf tree [1, 2]. This patch series introduces two small optimizations
that simplify the JIT and use fewer instructions.

[1] https://lore.kernel.org/bpf/[email protected]/
[2] https://lore.kernel.org/bpf/[email protected]/

Luke Nelson (2):
bpf, arm: Optimize emit_a32_arsh_r64 using conditional instruction
bpf, arm: Optimize ALU ARSH K using asr immediate instruction

arch/arm/net/bpf_jit_32.c | 14 +++++++++-----
arch/arm/net/bpf_jit_32.h | 2 ++
2 files changed, 11 insertions(+), 5 deletions(-)

--
2.17.1

2020-05-04 16:08:12

by Daniel Borkmann

Subject: Re: [PATCH bpf 0/2] bpf, arm: Small JIT optimizations

On 5/1/20 4:02 AM, Luke Nelson wrote:
> As Daniel suggested to us, we ran our formal verification tool, Serval,
> over the arm JIT. The bugs we found have been patched and applied to the
> bpf tree [1, 2]. This patch series introduces two small optimizations
> that simplify the JIT and use fewer instructions.
>
> [1] https://lore.kernel.org/bpf/[email protected]/
> [2] https://lore.kernel.org/bpf/[email protected]/
>
> Luke Nelson (2):
> bpf, arm: Optimize emit_a32_arsh_r64 using conditional instruction
> bpf, arm: Optimize ALU ARSH K using asr immediate instruction
>
> arch/arm/net/bpf_jit_32.c | 14 +++++++++-----
> arch/arm/net/bpf_jit_32.h | 2 ++
> 2 files changed, 11 insertions(+), 5 deletions(-)
>

Applied, thanks!