On Fri, Jun 14, 2019 at 12:26 AM Alexei Starovoitov <ast@xxxxxxxxxx> wrote: > > This patch extends is_branch_taken() logic from JMP+K instructions > to JMP+X instructions. > Conditional branches are often done when src and dst registers > contain known scalars. In such case the verifier can follow > the branch that is going to be taken when program executes. > That speeds up the verification and is essential feature to support > bounded loops. > > Signed-off-by: Alexei Starovoitov <ast@xxxxxxxxxx> > --- > kernel/bpf/verifier.c | 34 +++++++++++++++++++--------------- > 1 file changed, 19 insertions(+), 15 deletions(-) > Acked-by: Andrii Nakryiko <andriin@xxxxxx>
