bpf/progs/verifier_precision.c

10 __msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r1 = r10")
11 __msg("mark_precise: frame0: regs=r2 stack= before 2: (55) if r2 != 0xfffffff8 goto pc+2")
12 __msg("mark_precise: frame0: regs=r2 stack= before 1: (87) r2 = -r2")
13 __msg("mark_precise: frame0: regs=r2 stack= before 0: (b7) r2 = 8")
30 __msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r1 = r10")
31 __msg("mark_precise: frame0: regs=r2 stack= before 2: (55) if r2 != 0x0 goto pc+2")
32 __msg("mark_precise: frame0: regs=r2 stack= before 1: (d4) r2 = le16 r2")
33 __msg("mark_precise: frame0: regs=r2 stack= before 0: (b7) r2 = 0")
51 __msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r1 = r10")
52 __msg("mark_precise: frame0: regs=r2 stack= before 2: (55) if r2 != 0x0 goto pc+2")
53 __msg("mark_precise: frame0: regs=r2 stack= before 1: (dc) r2 = be16 r2")
54 __msg("mark_precise: frame0: regs=r2 stack= before 0: (b7) r2 = 0")
76 __msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r1 = r10")
77 __msg("mark_precise: frame0: regs=r2 stack= before 2: (55) if r2 != 0x0 goto pc+2")
78 __msg("mark_precise: frame0: regs=r2 stack= before 1: (d7) r2 = bswap16 r2")
79 __msg("mark_precise: frame0: regs=r2 stack= before 0: (b7) r2 = 0")
99 __msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r3 = r10")
100 __msg("mark_precise: frame0: regs=r2 stack= before 2: (db) r2 = load_acquire((u64 *)(r10 -8))")
101 __msg("mark_precise: frame0: regs= stack=-8 before 1: (7b) *(u64 *)(r10 -8) = r1")
102 __msg("mark_precise: frame0: regs=r1 stack= before 0: (b7) r1 = 8")
121 __msg("mark_precise: frame0: regs=r1 stack= before 3: (bf) r2 = r10")
122 __msg("mark_precise: frame0: regs=r1 stack= before 2: (79) r1 = *(u64 *)(r10 -8)")
123 __msg("mark_precise: frame0: regs= stack=-8 before 1: (db) store_release((u64 *)(r10 -8), r1)")
124 __msg("mark_precise: frame0: regs=r1 stack= before 0: (b7) r1 = 8")
157 __msg("mark_precise: frame0: regs=r0 stack= before 2: (07) r0 += 1")
158 __msg("mark_precise: frame0: regs=r0 stack= before 1: (07) r0 += 1")
159 __msg("mark_precise: frame0: regs=r0 stack= before 4: (05) goto pc-4")
160 __msg("mark_precise: frame0: regs=r0 stack= before 3: (35) if r0 >= 0xa goto pc+1")