]> www.infradead.org Git - users/jedix/linux-maple.git/commit
selftests/bpf: Emit top frequent code lines in veristat
authorMykyta Yatsenko <yatsenko@meta.com>
Mon, 30 Sep 2024 23:15:22 +0000 (00:15 +0100)
committerAlexei Starovoitov <ast@kernel.org>
Fri, 4 Oct 2024 00:48:05 +0000 (17:48 -0700)
commita5da3d65681f86f582420b5aea49c1d9a7c7e51e
treed9c13380ad2e2519f38f8de99df63a0bcf1552f5
parent904181b33478a25bbc08f3427f6b25c9001cdbeb
selftests/bpf: Emit top frequent code lines in veristat

Production BPF programs are increasing in number of instructions and states
to the point, where optimising verification process for them is necessary
to avoid running into instruction limit. Authors of those BPF programs
need to analyze verifier output, for example, collecting the most
frequent source code lines to understand which part of the program has
the biggest verification cost.

This patch introduces `--top-src-lines` flag in veristat.
`--top-src-lines=N` makes veristat output N the most popular sorce code
lines, parsed from verification log.

An example of output:
```
sudo ./veristat  --top-src-lines=2   bpf_flow.bpf.o
Processing 'bpf_flow.bpf.o'...
Top source lines (_dissect):
    4: (bpf_helpers.h:161) asm volatile("r1 = %[ctx]\n\t"
    4: (bpf_flow.c:155) if (iph && iph->ihl == 5 &&
...
```

Signed-off-by: Mykyta Yatsenko <yatsenko@meta.com>
Signed-off-by: Andrii Nakryiko <andrii@kernel.org>
Link: https://lore.kernel.org/bpf/20240930231522.58650-1-mykyta.yatsenko5@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
tools/testing/selftests/bpf/veristat.c