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 instruct

[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/2