[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-Id: <20201006200955.12350-1-alexei.starovoitov@gmail.com>
Date: Tue, 6 Oct 2020 13:09:52 -0700
From: Alexei Starovoitov <alexei.starovoitov@...il.com>
To: davem@...emloft.net
Cc: daniel@...earbox.net, john.fastabend@...il.com,
netdev@...r.kernel.org, bpf@...r.kernel.org, kernel-team@...com
Subject: [PATCH bpf-next 0/3] bpf: Make the verifier recognize llvm register allocation patterns.
From: Alexei Starovoitov <ast@...nel.org>
Make two verifier improvements:
- The llvm register allocator may use two different registers representing the
same virtual register. Teach the verifier to recognize that.
- Track bounded scalar spill/fill.
The 'profiler' test in patch 3 will fail to load without patches 1 and 2.
Alexei Starovoitov (2):
bpf: Propagate scalar ranges through register assignments.
selftests/bpf: Add profiler test
Yonghong Song (1):
bpf: Track spill/fill of bounded scalars.
kernel/bpf/verifier.c | 54 +-
.../testing/selftests/bpf/prog_tests/align.c | 16 +-
.../selftests/bpf/prog_tests/test_profiler.c | 72 ++
tools/testing/selftests/bpf/progs/profiler.h | 177 ++++
.../selftests/bpf/progs/profiler.inc.h | 969 ++++++++++++++++++
tools/testing/selftests/bpf/progs/profiler1.c | 6 +
tools/testing/selftests/bpf/progs/profiler2.c | 6 +
tools/testing/selftests/bpf/progs/profiler3.c | 6 +
.../bpf/verifier/direct_packet_access.c | 2 +-
9 files changed, 1298 insertions(+), 10 deletions(-)
create mode 100644 tools/testing/selftests/bpf/prog_tests/test_profiler.c
create mode 100644 tools/testing/selftests/bpf/progs/profiler.h
create mode 100644 tools/testing/selftests/bpf/progs/profiler.inc.h
create mode 100644 tools/testing/selftests/bpf/progs/profiler1.c
create mode 100644 tools/testing/selftests/bpf/progs/profiler2.c
create mode 100644 tools/testing/selftests/bpf/progs/profiler3.c
--
2.23.0
Powered by blists - more mailing lists