bpf/progs/verifier_subprog_precision.c

44 __msg("mark_precise: frame0: regs=r0 stack= before 6: (bf) r1 = r7")
45 __msg("mark_precise: frame0: regs=r0 stack= before 5: (27) r0 *= 4")
46 __msg("mark_precise: frame0: regs=r0 stack= before 11: (95) exit")
47 __msg("mark_precise: frame1: regs=r0 stack= before 10: (bf) r0 = r1")
48 __msg("mark_precise: frame1: regs=r1 stack= before 4: (85) call pc+5")
49 __msg("mark_precise: frame0: regs=r1 stack= before 3: (bf) r1 = r6")
50 __msg("mark_precise: frame0: regs=r6 stack= before 2: (b7) r6 = 3")
83 __msg("mark_precise: frame0: regs=r0 stack= before 8: (bf) r1 = r7")
84 __msg("mark_precise: frame0: regs=r0 stack= before 7: (27) r0 *= 4")
85 __msg("mark_precise: frame0: regs=r0 stack= before 5: (a5) if r0 < 0x4 goto pc+1")
86 __msg("mark_precise: frame0: regs=r0 stack= before 4: (85) call pc+7")
146 __msg("mark_precise: frame1: regs=r0 stack= before 11: (b7) r0 = 0")  in __flag()
149 /* check that branch code path marks r0 as precise, before failing */  in __flag()
150 __msg("mark_precise: frame1: regs=r0 stack= before 9: (85) call bpf_get_prandom_u32#7")  in __flag()
179 __msg("mark_precise: frame0: regs=r4 stack= before 8: (b7) r4 = 0")
183 __msg("mark_precise: frame0: regs=r1 stack= before 8: (b7) r4 = 0")
184 __msg("mark_precise: frame0: regs=r1 stack= before 7: (b7) r3 = 0")
185 __msg("mark_precise: frame0: regs=r1 stack= before 6: (bf) r2 = r8")
186 __msg("mark_precise: frame0: regs=r1 stack= before 5: (bf) r1 = r6")
187 __msg("mark_precise: frame0: regs=r6 stack= before 4: (b7) r6 = 3")
191 __msg("mark_precise: frame0: regs=r6 stack= before 13: (bf) r1 = r7")
192 __msg("mark_precise: frame0: regs=r6 stack= before 12: (27) r6 *= 4")
193 __msg("mark_precise: frame0: regs=r6 stack= before 11: (25) if r6 > 0x3 goto pc+4")
194 __msg("mark_precise: frame0: regs=r6 stack= before 10: (bf) r6 = r0")
195 __msg("mark_precise: frame0: regs=r0 stack= before 9: (85) call bpf_loop")
205 __msg("mark_precise: frame0: regs=r1,r4 stack= before 18: (95) exit")
244 __msg("mark_precise: frame0: regs=r6 stack= before 6: (bf) r1 = r7")
245 __msg("mark_precise: frame0: regs=r6 stack= before 5: (27) r6 *= 4")
246 __msg("mark_precise: frame0: regs=r6 stack= before 11: (95) exit")
247 __msg("mark_precise: frame1: regs= stack= before 10: (bf) r0 = r1")
248 __msg("mark_precise: frame1: regs= stack= before 4: (85) call pc+5")
249 __msg("mark_precise: frame0: regs=r6 stack= before 3: (b7) r1 = 0")
250 __msg("mark_precise: frame0: regs=r6 stack= before 2: (b7) r6 = 3")
280 __msg("mark_precise: frame0: regs=r6 stack= before 6: (bf) r1 = r7")
281 __msg("mark_precise: frame0: regs=r6 stack= before 5: (27) r6 *= 4")
282 __msg("mark_precise: frame0: regs=r6 stack= before 4: (85) call pc+5")
283 __msg("mark_precise: frame0: regs=r6 stack= before 3: (b7) r1 = 0")
284 __msg("mark_precise: frame0: regs=r6 stack= before 2: (b7) r6 = 3")
315 __msg("mark_precise: frame0: regs=r6 stack= before 11: (bf) r1 = r7")
316 __msg("mark_precise: frame0: regs=r6 stack= before 10: (27) r6 *= 4")
317 __msg("mark_precise: frame0: regs=r6 stack= before 9: (85) call bpf_loop")
320 __msg("mark_precise: frame0: regs=r6 stack= before 8: (b7) r4 = 0")
321 __msg("mark_precise: frame0: regs=r6 stack= before 7: (b7) r3 = 0")
322 __msg("mark_precise: frame0: regs=r6 stack= before 6: (bf) r2 = r8")
323 __msg("mark_precise: frame0: regs=r6 stack= before 5: (b7) r1 = 1")
324 __msg("mark_precise: frame0: regs=r6 stack= before 4: (b7) r6 = 3")
333  * r6 was marked before backtracking to callback body.
337 __msg("mark_precise: frame0: regs=r1,r4,r6 stack= before 16: (95) exit")
338 __msg("mark_precise: frame1: regs= stack= before 15: (b7) r0 = 0")
339 __msg("mark_precise: frame1: regs= stack= before 9: (85) call bpf_loop")
376 __msg("mark_precise: frame0: regs=r6 stack= before 8: (bf) r1 = r7")
377 __msg("mark_precise: frame0: regs=r6 stack= before 7: (27) r6 *= 4")
378 __msg("mark_precise: frame0: regs=r6 stack= before 6: (79) r6 = *(u64 *)(r10 -8)")
381 __msg("mark_precise: frame0: regs= stack=-8 before 13: (95) exit")
382 __msg("mark_precise: frame1: regs= stack= before 12: (bf) r0 = r1")
383 __msg("mark_precise: frame1: regs= stack= before 5: (85) call pc+6")
384 __msg("mark_precise: frame0: regs= stack=-8 before 4: (b7) r1 = 0")
385 __msg("mark_precise: frame0: regs= stack=-8 before 3: (7b) *(u64 *)(r10 -8) = r6")
386 __msg("mark_precise: frame0: regs=r6 stack= before 2: (b7) r6 = 3")
424 __msg("mark_precise: frame0: regs=r6 stack= before 8: (bf) r1 = r7")
425 __msg("mark_precise: frame0: regs=r6 stack= before 7: (27) r6 *= 4")
426 __msg("mark_precise: frame0: regs=r6 stack= before 6: (79) r6 = *(u64 *)(r10 -8)")
427 __msg("mark_precise: frame0: regs= stack=-8 before 5: (85) call pc+6")
428 __msg("mark_precise: frame0: regs= stack=-8 before 4: (b7) r1 = 0")
429 __msg("mark_precise: frame0: regs= stack=-8 before 3: (7b) *(u64 *)(r10 -8) = r6")
430 __msg("mark_precise: frame0: regs=r6 stack= before 2: (b7) r6 = 3")
469 __msg("mark_precise: frame0: regs=r6 stack= before 13: (bf) r1 = r7")
470 __msg("mark_precise: frame0: regs=r6 stack= before 12: (27) r6 *= 4")
471 __msg("mark_precise: frame0: regs=r6 stack= before 11: (79) r6 = *(u64 *)(r10 -8)")
472 __msg("mark_precise: frame0: regs= stack=-8 before 10: (85) call bpf_loop")
475 __msg("mark_precise: frame0: regs= stack=-8 before 9: (b7) r4 = 0")
476 __msg("mark_precise: frame0: regs= stack=-8 before 8: (b7) r3 = 0")
477 __msg("mark_precise: frame0: regs= stack=-8 before 7: (bf) r2 = r8")
478 __msg("mark_precise: frame0: regs= stack=-8 before 6: (bf) r1 = r6")
479 __msg("mark_precise: frame0: regs= stack=-8 before 5: (7b) *(u64 *)(r10 -8) = r6")
480 __msg("mark_precise: frame0: regs=r6 stack= before 4: (b7) r6 = 3")
489  * fp-8 was marked before backtracking to callback body.
493 __msg("mark_precise: frame0: regs=r1,r4 stack=-8 before 18: (95) exit")
494 __msg("mark_precise: frame1: regs= stack= before 17: (b7) r0 = 0")
495 __msg("mark_precise: frame1: regs= stack= before 10: (85) call bpf_loop#181")
544 __msg("mark_precise: frame1: regs=r1 stack= before 6: (18) r2 = ")
545 __msg("mark_precise: frame1: regs=r1 stack= before 5: (67) r1 <<= 2")
546 __msg("mark_precise: frame1: regs=r1 stack= before 2: (85) call pc+2")
547 __msg("mark_precise: frame0: regs=r1 stack= before 1: (bf) r1 = r6")
548 __msg("mark_precise: frame0: regs=r6 stack= before 0: (b7) r6 = 3")
594 __msg("mark_precise: frame0: regs=r7 stack= before 9: (bf) r1 = r8")
595 __msg("mark_precise: frame0: regs=r7 stack= before 8: (27) r7 *= 4")
596 __msg("mark_precise: frame0: regs=r7 stack= before 7: (79) r7 = *(u64 *)(r10 -8)")
599 __msg("mark_precise: frame0: regs= stack=-8 before 18: (95) exit")
600 __msg("mark_precise: frame1: regs= stack= before 17: (0f) r0 += r2")
601 __msg("mark_precise: frame1: regs= stack= before 16: (79) r2 = *(u64 *)(r1 +0)")
602 __msg("mark_precise: frame1: regs= stack= before 15: (79) r0 = *(u64 *)(r10 -16)")
603 __msg("mark_precise: frame1: regs= stack= before 14: (7b) *(u64 *)(r10 -16) = r2")
604 __msg("mark_precise: frame1: regs= stack= before 13: (7b) *(u64 *)(r1 +0) = r2")
605 __msg("mark_precise: frame1: regs=r2 stack= before 6: (85) call pc+6")
606 __msg("mark_precise: frame0: regs=r2 stack= before 5: (bf) r2 = r6")
607 __msg("mark_precise: frame0: regs=r6 stack= before 4: (07) r1 += -8")
608 __msg("mark_precise: frame0: regs=r6 stack= before 3: (bf) r1 = r10")
609 __msg("mark_precise: frame0: regs=r6 stack= before 2: (b7) r6 = 1")
648 __msg("mark_precise: frame0: regs=r0 stack= before 16: (bf) r1 = r7")
649 __msg("mark_precise: frame0: regs=r0 stack= before 15: (27) r0 *= 4")
650 __msg("mark_precise: frame0: regs=r0 stack= before 14: (79) r0 = *(u64 *)(r10 -16)")
651 __msg("mark_precise: frame0: regs= stack=-16 before 13: (7b) *(u64 *)(r7 -8) = r0")
652 __msg("mark_precise: frame0: regs=r0 stack= before 12: (79) r0 = *(u64 *)(r8 +16)")
653 __msg("mark_precise: frame0: regs= stack=-16 before 11: (7b) *(u64 *)(r8 +16) = r0")
654 __msg("mark_precise: frame0: regs=r0 stack= before 10: (79) r0 = *(u64 *)(r7 -8)")
655 __msg("mark_precise: frame0: regs= stack=-16 before 9: (7b) *(u64 *)(r10 -16) = r0")
656 __msg("mark_precise: frame0: regs=r0 stack= before 8: (07) r8 += -32")
657 __msg("mark_precise: frame0: regs=r0 stack= before 7: (bf) r8 = r10")
658 __msg("mark_precise: frame0: regs=r0 stack= before 6: (07) r7 += -8")
659 __msg("mark_precise: frame0: regs=r0 stack= before 5: (bf) r7 = r10")
660 __msg("mark_precise: frame0: regs=r0 stack= before 21: (95) exit")
661 __msg("mark_precise: frame1: regs=r0 stack= before 20: (bf) r0 = r1")
662 __msg("mark_precise: frame1: regs=r1 stack= before 4: (85) call pc+15")
663 __msg("mark_precise: frame0: regs=r1 stack= before 3: (bf) r1 = r6")
664 __msg("mark_precise: frame0: regs=r6 stack= before 2: (b7) r6 = 1")