diff options
| author | Yonghong Song <[email protected]> | 2020-08-24 22:28:07 +0000 |
|---|---|---|
| committer | Alexei Starovoitov <[email protected]> | 2020-08-25 04:15:13 +0000 |
| commit | 0fcdfffe80346d015b920228203d0269284d8b13 (patch) | |
| tree | 7ee8b1d806fa55f59819b006b7848ed70d9e8831 /security/bpf/hooks.c | |
| parent | samples: bpf: Refactor tracepoint tracing programs with libbpf (diff) | |
| download | kernel-0fcdfffe80346d015b920228203d0269284d8b13.tar.gz kernel-0fcdfffe80346d015b920228203d0269284d8b13.zip | |
selftests/bpf: Enable tc verbose mode for test_sk_assign
Currently test_sk_assign failed verifier with llvm11/llvm12.
During debugging, I found the default verifier output is
truncated like below
Verifier analysis:
Skipped 2200 bytes, use 'verb' option for the full verbose log.
[...]
off=23,r=34,imm=0) R5=inv0 R6=ctx(id=0,off=0,imm=0) R7=pkt(id=0,off=0,r=34,imm=0) R10=fp0
80: (0f) r7 += r2
last_idx 80 first_idx 21
regs=4 stack=0 before 78: (16) if w3 == 0x11 goto pc+1
when I am using "./test_progs -vv -t assign".
The reason is tc verbose mode is not enabled.
This patched enabled tc verbose mode and the output looks like below
Verifier analysis:
0: (bf) r6 = r1
1: (b4) w0 = 2
2: (61) r1 = *(u32 *)(r6 +80)
3: (61) r7 = *(u32 *)(r6 +76)
4: (bf) r2 = r7
5: (07) r2 += 14
6: (2d) if r2 > r1 goto pc+61
R0_w=inv2 R1_w=pkt_end(id=0,off=0,imm=0) R2_w=pkt(id=0,off=14,r=14,imm=0)
...
Signed-off-by: Yonghong Song <[email protected]>
Signed-off-by: Alexei Starovoitov <[email protected]>
Link: https://lore.kernel.org/bpf/[email protected]
Diffstat (limited to 'security/bpf/hooks.c')
0 files changed, 0 insertions, 0 deletions