bpf/verifier/map_kptr.c

5 	BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
8 	BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4),
10 	BPF_ST_MEM(BPF_W, BPF_REG_2, 0, 0),
25 	BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
28 	BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4),
30 	BPF_ST_MEM(BPF_W, BPF_REG_2, 0, 0),
45 	BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
48 	BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4),
50 	BPF_ST_MEM(BPF_W, BPF_REG_2, 0, 0),
55 	BPF_LDX_MEM(BPF_DW, BPF_REG_2, BPF_REG_0, 0),
56 	BPF_JMP_IMM(BPF_JNE, BPF_REG_2, 0, 1),
58 	BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_2, 0),
59 	BPF_JMP_IMM(BPF_JLE, BPF_REG_2, 4, 1),
61 	BPF_JMP_IMM(BPF_JGE, BPF_REG_2, 0, 1),
63 	BPF_ALU64_REG(BPF_ADD, BPF_REG_3, BPF_REG_2),
76 	BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
79 	BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4),
81 	BPF_ST_MEM(BPF_W, BPF_REG_2, 0, 0),
86 	BPF_LDX_MEM(BPF_DW, BPF_REG_2, BPF_REG_0, 0),
87 	BPF_JMP_IMM(BPF_JNE, BPF_REG_2, 0, 1),
89 	BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_2, 0),
90 	BPF_JMP_IMM(BPF_JLE, BPF_REG_2, 4, 1),
92 	BPF_JMP_IMM(BPF_JGE, BPF_REG_2, 0, 1),
94 	BPF_ALU64_REG(BPF_ADD, BPF_REG_3, BPF_REG_2),
96 	BPF_MOV64_IMM(BPF_REG_2, 0),
108 	BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
111 	BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4),
113 	BPF_ST_MEM(BPF_W, BPF_REG_2, 0, 0),
130 	BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
133 	BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4),
135 	BPF_ST_MEM(BPF_W, BPF_REG_2, 0, 0),
142 	BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, 0),
143 	BPF_JMP_IMM(BPF_JLE, BPF_REG_2, 4, 1),
145 	BPF_JMP_IMM(BPF_JGE, BPF_REG_2, 0, 1),
147 	BPF_ALU64_REG(BPF_ADD, BPF_REG_1, BPF_REG_2),
160 	BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
163 	BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4),
165 	BPF_ST_MEM(BPF_W, BPF_REG_2, 0, 0),
184 	BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
187 	BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4),
189 	BPF_ST_MEM(BPF_W, BPF_REG_2, 0, 0),
205 	BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
208 	BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4),
210 	BPF_ST_MEM(BPF_W, BPF_REG_2, 0, 0),
228 	BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
231 	BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4),
233 	BPF_ST_MEM(BPF_W, BPF_REG_2, 0, 0),
252 	BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
255 	BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4),
257 	BPF_ST_MEM(BPF_W, BPF_REG_2, 0, 0),
273 	BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
276 	BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4),
278 	BPF_ST_MEM(BPF_W, BPF_REG_2, 0, 0),
283 	BPF_MOV64_IMM(BPF_REG_2, 0),
297 	BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
300 	BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4),
302 	BPF_ST_MEM(BPF_W, BPF_REG_2, 0, 0),
319 	BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
322 	BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4),
324 	BPF_ST_MEM(BPF_W, BPF_REG_2, 0, 0),
331 	BPF_MOV64_IMM(BPF_REG_2, 0),
338 	BPF_MOV64_REG(BPF_REG_2, BPF_REG_0),
350 	BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
353 	BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4),
355 	BPF_ST_MEM(BPF_W, BPF_REG_2, 0, 0),
368 	BPF_MOV64_REG(BPF_REG_2, BPF_REG_0),
384 	BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
387 	BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4),
389 	BPF_ST_MEM(BPF_W, BPF_REG_2, 0, 0),
405 	BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
408 	BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4),
410 	BPF_ST_MEM(BPF_W, BPF_REG_2, 0, 0),
425 	BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
428 	BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4),
430 	BPF_ST_MEM(BPF_W, BPF_REG_2, 0, 0),
436 	BPF_MOV64_REG(BPF_REG_2, BPF_REG_0),