bpf/progs/verifier_precision.c

17 __msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r1 = r10")
18 __msg("mark_precise: frame0: regs=r2 stack= before 2: (55) if r2 != 0xfffffff8 goto pc+2")
19 __msg("mark_precise: frame0: regs=r2 stack= before 1: (87) r2 = -r2")
20 __msg("mark_precise: frame0: regs=r2 stack= before 0: (b7) r2 = 8")
37 __msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r1 = r10")
38 __msg("mark_precise: frame0: regs=r2 stack= before 2: (55) if r2 != 0x0 goto pc+2")
39 __msg("mark_precise: frame0: regs=r2 stack= before 1: (d4) r2 = le16 r2")
40 __msg("mark_precise: frame0: regs=r2 stack= before 0: (b7) r2 = 0")
58 __msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r1 = r10")
59 __msg("mark_precise: frame0: regs=r2 stack= before 2: (55) if r2 != 0x0 goto pc+2")
60 __msg("mark_precise: frame0: regs=r2 stack= before 1: (dc) r2 = be16 r2")
61 __msg("mark_precise: frame0: regs=r2 stack= before 0: (b7) r2 = 0")
83 __msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r1 = r10")
84 __msg("mark_precise: frame0: regs=r2 stack= before 2: (55) if r2 != 0x0 goto pc+2")
85 __msg("mark_precise: frame0: regs=r2 stack= before 1: (d7) r2 = bswap16 r2")
86 __msg("mark_precise: frame0: regs=r2 stack= before 0: (b7) r2 = 0")
105 __msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r3 = r10")
106 __msg("mark_precise: frame0: regs=r2 stack= before 2: (db) r2 = load_acquire((u64 *)(r10 -8))")
107 __msg("mark_precise: frame0: regs= stack=-8 before 1: (7b) *(u64 *)(r10 -8) = r1")
108 __msg("mark_precise: frame0: regs=r1 stack= before 0: (b7) r1 = 8")
127 __msg("mark_precise: frame0: regs=r1 stack= before 3: (bf) r2 = r10")
128 __msg("mark_precise: frame0: regs=r1 stack= before 2: (79) r1 = *(u64 *)(r10 -8)")
129 __msg("mark_precise: frame0: regs= stack=-8 before 1: (db) store_release((u64 *)(r10 -8), r1)")
130 __msg("mark_precise: frame0: regs=r1 stack= before 0: (b7) r1 = 8")
163 __msg("mark_precise: frame0: regs=r0 stack= before 2: (07) r0 += 1")
164 __msg("mark_precise: frame0: regs=r0 stack= before 1: (07) r0 += 1")
165 __msg("mark_precise: frame0: regs=r0 stack= before 4: (05) goto pc-4")
166 __msg("mark_precise: frame0: regs=r0 stack= before 3: (35) if r0 >= 0xa goto pc+1")
167 __msg("mark_precise: frame0: parent state regs= stack=:  R0=P4")
207 __msg("mark_precise: frame1: regs=r2 stack= before 9: (35) if r1 >= 0xffe3fff8 goto pc+0")
208 __msg("mark_precise: frame1: regs=r2 stack= before 8: (bd) if r2 <= r10 goto pc+3")
209 __msg("mark_precise: frame1: regs=r2 stack= before 7: (05) goto pc+0")
226 __msg("mark_precise: frame0: regs=r2 stack= before 4: (bd) if r3 <= r2 goto pc+1")
227 __msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r3 = r10")
246 __msg("mark_precise: frame0: regs=r0 stack= before 1: (84) w0 = -w0")
247 __msg("mark_precise: frame0: regs=r0 stack= before 0: (b7) r0 = 1")
281 __msg("mark_precise: frame0: regs=r0 stack= before 1: (87) r0 = -r0")
282 __msg("mark_precise: frame0: regs=r0 stack= before 0: (b7) r0 = 1")
313 __msg("mark_precise: frame0: regs=r2 stack= before 4: (bf) r3 = r10")
314 __msg("mark_precise: frame0: regs=r2 stack= before 3: (db) r2 = atomic64_fetch_add((u64 *)(r10 -8),…
315 __msg("mark_precise: frame0: regs= stack=-8 before 2: (b7) r2 = 0")
316 __msg("mark_precise: frame0: regs= stack=-8 before 1: (7b) *(u64 *)(r10 -8) = r1")
317 __msg("mark_precise: frame0: regs=r1 stack= before 0: (b7) r1 = 8")
337 __msg("mark_precise: frame0: regs=r2 stack= before 4: (bf) r3 = r10")
338 __msg("mark_precise: frame0: regs=r2 stack= before 3: (db) r2 = atomic64_xchg((u64 *)(r10 -8), r2)")
339 __msg("mark_precise: frame0: regs= stack=-8 before 2: (b7) r2 = 0")
340 __msg("mark_precise: frame0: regs= stack=-8 before 1: (7b) *(u64 *)(r10 -8) = r1")
341 __msg("mark_precise: frame0: regs=r1 stack= before 0: (b7) r1 = 8")
361 __msg("mark_precise: frame0: regs=r2 stack= before 4: (bf) r3 = r10")
362 __msg("mark_precise: frame0: regs=r2 stack= before 3: (db) r2 = atomic64_fetch_or((u64 *)(r10 -8), …
363 __msg("mark_precise: frame0: regs= stack=-8 before 2: (b7) r2 = 0")
364 __msg("mark_precise: frame0: regs= stack=-8 before 1: (7b) *(u64 *)(r10 -8) = r1")
365 __msg("mark_precise: frame0: regs=r1 stack= before 0: (b7) r1 = 8")
385 __msg("mark_precise: frame0: regs=r2 stack= before 4: (bf) r3 = r10")
386 __msg("mark_precise: frame0: regs=r2 stack= before 3: (db) r2 = atomic64_fetch_and((u64 *)(r10 -8),…
387 __msg("mark_precise: frame0: regs= stack=-8 before 2: (b7) r2 = 0")
388 __msg("mark_precise: frame0: regs= stack=-8 before 1: (7b) *(u64 *)(r10 -8) = r1")
389 __msg("mark_precise: frame0: regs=r1 stack= before 0: (b7) r1 = 8")
409 __msg("mark_precise: frame0: regs=r2 stack= before 4: (bf) r3 = r10")
410 __msg("mark_precise: frame0: regs=r2 stack= before 3: (db) r2 = atomic64_fetch_xor((u64 *)(r10 -8),…
411 __msg("mark_precise: frame0: regs= stack=-8 before 2: (b7) r2 = 0")
412 __msg("mark_precise: frame0: regs= stack=-8 before 1: (7b) *(u64 *)(r10 -8) = r1")
413 __msg("mark_precise: frame0: regs=r1 stack= before 0: (b7) r1 = 8")
433 __msg("mark_precise: frame0: regs=r0 stack= before 5: (bf) r3 = r10")
434 __msg("mark_precise: frame0: regs=r0 stack= before 4: (db) r0 = atomic64_cmpxchg((u64 *)(r10 -8), r…
435 __msg("mark_precise: frame0: regs= stack=-8 before 3: (b7) r2 = 0")
436 __msg("mark_precise: frame0: regs= stack=-8 before 2: (b7) r0 = 0")
437 __msg("mark_precise: frame0: regs= stack=-8 before 1: (7b) *(u64 *)(r10 -8) = r1")
438 __msg("mark_precise: frame0: regs=r1 stack= before 0: (b7) r1 = 8")
458  * a reread of the same stack slot (r3) are tracked for precision. After
459  * the atomic operation, the stack slot is STACK_MISC. Thus, the ldx at
460  * insn 4 does NOT set INSN_F_STACK_ACCESS. Precision for the stack slot
465 __msg("mark_precise: frame0: regs=r2,r3 stack= before 4: (79) r3 = *(u64 *)(r10 -8)")
466 __msg("mark_precise: frame0: regs=r2 stack= before 3: (db) r2 = atomic64_fetch_add((u64 *)(r10 -8),…
467 __msg("mark_precise: frame0: regs= stack=-8 before 2: (b7) r2 = 0")
468 __msg("mark_precise: frame0: regs= stack=-8 before 1: (7b) *(u64 *)(r10 -8) = r1")
469 __msg("mark_precise: frame0: regs=r1 stack= before 0: (b7) r1 = 8")
493 __msg("mark_precise: frame0: regs=r0,r3 stack= before 5: (79) r3 = *(u64 *)(r10 -8)")
494 __msg("mark_precise: frame0: regs=r0 stack= before 4: (db) r0 = atomic64_cmpxchg((u64 *)(r10 -8), r…
495 __msg("mark_precise: frame0: regs= stack=-8 before 3: (b7) r2 = 0")
496 __msg("mark_precise: frame0: regs= stack=-8 before 2: (b7) r0 = 8")
497 __msg("mark_precise: frame0: regs= stack=-8 before 1: (7b) *(u64 *)(r10 -8) = r1")
498 __msg("mark_precise: frame0: regs=r1 stack= before 0: (b7) r1 = 8")
523 __msg("mark_precise: frame0: regs=r1 stack= before 10: (57) r1 &= 7")
524 __msg("mark_precise: frame0: regs=r1 stack= before 9: (db) r1 = atomic64_fetch_add((u64 *)(r0 +0), …
553 __msg("mark_precise: frame0: regs=r0 stack= before 12: (57) r0 &= 7")
554 __msg("mark_precise: frame0: regs=r0 stack= before 11: (db) r0 = atomic64_cmpxchg((u64 *)(r6 +0), r…
585 __msg("mark_precise: frame0: regs=r1 stack= before 10: (57) r1 &= 7")
586 __msg("mark_precise: frame0: regs=r1 stack= before 9: (c3) r1 = atomic_fetch_add((u32 *)(r0 +0), r1…
615 __msg("mark_precise: frame0: regs=r0 stack= before 12: (57) r0 &= 7")
616 __msg("mark_precise: frame0: regs=r0 stack= before 11: (c3) r0 = atomic_cmpxchg((u32 *)(r6 +0), r0,…