bpf/progs/verifier_scalar_ids.c

13 __msg("frame0: regs=r0,r1,r2 stack= before 4: (bf) r3 = r10")
14 __msg("frame0: regs=r0,r1,r2 stack= before 3: (bf) r2 = r0")
15 __msg("frame0: regs=r0,r1 stack= before 2: (bf) r1 = r0")
16 __msg("frame0: regs=r0 stack= before 1: (57) r0 &= 255")
17 __msg("frame0: regs=r0 stack= before 0: (85) call bpf_ktime_get_ns")
45 __msg("frame0: last_idx 6 first_idx 5 subseq_idx -1")
46 __msg("frame0: regs=r0,r1,r2 stack= before 5: (bf) r3 = r10")
47 __msg("frame0: parent state regs=r0,r1,r2 stack=:")
48 __msg("frame0: regs=r0,r1,r2 stack= before 4: (05) goto pc+0")
49 __msg("frame0: regs=r0,r1,r2 stack= before 3: (bf) r2 = r0")
50 __msg("frame0: regs=r0,r1 stack= before 2: (bf) r1 = r0")
51 __msg("frame0: regs=r0 stack= before 1: (57) r0 &= 255")
52 __msg("frame0: parent state regs=r0 stack=:")
53 __msg("frame0: regs=r0 stack= before 0: (85) call bpf_ktime_get_ns")
79  * links, note that r1 is absent from regs=... in __msg below.
83 __msg("frame0: regs=r0,r2 stack= before 5: (bf) r3 = r10")
84 __msg("frame0: regs=r0,r2 stack= before 4: (b7) r1 = 0")
85 __msg("frame0: regs=r0,r2 stack= before 3: (bf) r2 = r0")
86 __msg("frame0: regs=r0 stack= before 2: (bf) r1 = r0")
87 __msg("frame0: regs=r0 stack= before 1: (57) r0 &= 255")
88 __msg("frame0: regs=r0 stack= before 0: (85) call bpf_ktime_get_ns")
120 __msg("frame0: regs=r0,r2 stack= before 6: (bf) r3 = r10")
121 __msg("frame0: regs=r0,r2 stack= before 5: (b7) r1 = 0")
122 __msg("frame0: parent state regs=r0,r2 stack=:")
123 __msg("frame0: regs=r0,r1,r2 stack= before 4: (05) goto pc+0")
124 __msg("frame0: regs=r0,r1,r2 stack= before 3: (bf) r2 = r0")
125 __msg("frame0: regs=r0,r1 stack= before 2: (bf) r1 = r0")
126 __msg("frame0: regs=r0 stack= before 1: (57) r0 &= 255")
127 __msg("frame0: parent state regs=r0 stack=:")
128 __msg("frame0: regs=r0 stack= before 0: (85) call bpf_ktime_get_ns")
167 __msg("11: (0f) r2 += r1")
169 __msg("frame2: last_idx 11 first_idx 10 subseq_idx -1")
170 __msg("frame2: regs=r1 stack= before 10: (bf) r2 = r10")
171 __msg("frame2: parent state regs=r1 stack=")
175 __msg("frame1: parent state regs=r6,r7 stack=")
176 __msg("frame0: parent state regs=r6 stack=")
178 __msg("frame2: last_idx 8 first_idx 8 subseq_idx 10")
179 __msg("frame2: regs=r1 stack= before 8: (85) call pc+1")
181 __msg("frame1: parent state regs=r1,r6,r7 stack=")
182 __msg("frame0: parent state regs=r6 stack=")
184 __msg("frame1: last_idx 7 first_idx 6 subseq_idx 8")
185 __msg("frame1: regs=r1,r6,r7 stack= before 7: (bf) r7 = r1")
186 __msg("frame1: regs=r1,r6 stack= before 6: (bf) r6 = r1")
187 __msg("frame1: parent state regs=r1 stack=")
188 __msg("frame0: parent state regs=r6 stack=")
190 __msg("frame1: last_idx 4 first_idx 4 subseq_idx 6")
191 __msg("frame1: regs=r1 stack= before 4: (85) call pc+1")
192 __msg("frame0: parent state regs=r1,r6 stack=")
194 __msg("frame0: last_idx 3 first_idx 1 subseq_idx 4")
195 __msg("frame0: regs=r0,r1,r6 stack= before 3: (bf) r6 = r0")
196 __msg("frame0: regs=r0,r1 stack= before 2: (bf) r1 = r0")
197 __msg("frame0: regs=r0 stack= before 1: (57) r0 &= 255")
251 __msg("frame1: regs=r1 stack=-8,-16 before 9: (bf) r2 = r10")
252 __msg("frame1: regs=r1 stack=-8,-16 before 8: (7b) *(u64 *)(r10 -16) = r1")
253 __msg("frame1: regs=r1 stack=-8 before 7: (7b) *(u64 *)(r10 -8) = r1")
254 __msg("frame1: regs=r1 stack= before 4: (85) call pc+2")
256 __msg("frame0: regs=r0,r1 stack=-8 before 3: (7b) *(u64 *)(r10 -8) = r1")
257 __msg("frame0: regs=r0,r1 stack= before 2: (bf) r1 = r0")
258 __msg("frame0: regs=r0 stack= before 1: (57) r0 &= 255")
302 __msg("11: (0f) r3 += r7")
303 __msg("frame0: regs=r6,r7 stack= before 10: (bf) r3 = r10")
305 __msg("frame0: regs=r6,r7 stack= before 3: (bf) r7 = r0")
306 __msg("frame0: regs=r0,r6 stack= before 2: (bf) r6 = r0")
308 __msg("12: (0f) r3 += r9")
309 __msg("frame0: regs=r8,r9 stack= before 11: (0f) r3 += r7")
311 __msg("frame0: regs=r8,r9 stack= before 7: (bf) r9 = r0")
312 __msg("frame0: regs=r0,r8 stack= before 6: (bf) r8 = r0")
359 __failure __msg("register with unbounded min value")
406 __failure __msg("register with unbounded min value")
463 __msg("11: (1d) if r3 == r4 goto pc+0")
464 __msg("frame 0: propagating r3,r4")
465 __msg("11: safe")
466 __msg("processed 15 insns")
499 __msg("11: (1e) if w3 == w4 goto pc+0")
500 __msg("frame 0: propagating r3,r4")
501 __msg("11: safe")
502 __msg("processed 15 insns")
539 __msg("6: (25) if r6 > 0x7 goto pc+1")
540 __msg("7: (57) r1 &= 255")
541 __msg("8: (bf) r2 = r10")
542 __msg("from 6 to 8: safe")
543 __msg("processed 12 insns")
579 __msg("6: (25) if r6 > 0x7 goto pc+1")
580 __msg("7: (05) goto pc+1")
581 __msg("9: (bf) r2 = r10")
582 __msg("9: safe")
583 __msg("processed 13 insns")
622 __msg("13: (95) exit")
623 __msg("13: (95) exit")
624 __msg("processed 18 insns")