lkml.org 
[lkml]   [2020]   [Apr]   [30]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
From
Subject[PATCH bpf 0/2] bpf, arm: Small JIT optimizations
Date
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/20200408181229.10909-1-luke.r.nels@gmail.com/
[2] https://lore.kernel.org/bpf/20200409221752.28448-1-luke.r.nels@gmail.com/

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

\
 
 \ /
  Last update: 2020-05-01 04:02    [W:0.034 / U:0.312 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site