From: Daniel Borkmann <daniel@iogearbox.net>
Date: Wed, 6 May 2020 07:48:16 +0000 (+0200)
Subject: Merge branch 'bpf-rv64-jit'
X-Git-Url: http://git.maquefel.me/?a=commitdiff_plain;h=a085a1eeea5ed4ae7aa0c19031449ade145110fc;p=linux.git

Merge branch 'bpf-rv64-jit'

Luke Nelson says:

====================
This patch series introduces a set of optimizations to the BPF JIT
on RV64. The optimizations are related to the verifier zero-extension
optimization and BPF_JMP BPF_K.

We tested the optimizations on a QEMU riscv64 virt machine, using
lib/test_bpf and test_verifier, and formally verified their correctness
using Serval.
====================

Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
---

a085a1eeea5ed4ae7aa0c19031449ade145110fc