bpf/verifier/direct_value_access.c

2 	"direct map access, write test 1",
4 	BPF_MOV64_IMM(BPF_REG_0, 1),
9 	.fixup_map_array_48b = { 1 },
11 	.retval = 1,
16 	BPF_MOV64_IMM(BPF_REG_0, 1),
21 	.fixup_map_array_48b = { 1 },
23 	.retval = 1,
28 	BPF_MOV64_IMM(BPF_REG_0, 1),
33 	.fixup_map_array_48b = { 1 },
35 	.retval = 1,
40 	BPF_MOV64_IMM(BPF_REG_0, 1),
45 	.fixup_map_array_48b = { 1 },
47 	.retval = 1,
52 	BPF_MOV64_IMM(BPF_REG_0, 1),
57 	.fixup_map_array_48b = { 1 },
59 	.retval = 1,
64 	BPF_MOV64_IMM(BPF_REG_0, 1),
69 	.fixup_map_array_48b = { 1 },
77 	BPF_MOV64_IMM(BPF_REG_0, 1),
78 	BPF_LD_MAP_VALUE(BPF_REG_1, 0, -1),
82 	.fixup_map_array_48b = { 1 },
89 	BPF_MOV64_IMM(BPF_REG_0, 1),
90 	BPF_LD_MAP_VALUE(BPF_REG_1, 0, 1),
91 	BPF_ST_MEM(BPF_DW, BPF_REG_1, -1, 4242),
94 	.fixup_map_array_48b = { 1 },
96 	.retval = 1,
101 	BPF_MOV64_IMM(BPF_REG_0, 1),
106 	.fixup_map_array_48b = { 1 },
113 	BPF_MOV64_IMM(BPF_REG_0, 1),
114 	BPF_LD_MAP_VALUE(BPF_REG_1, 0, 47),
118 	.fixup_map_array_48b = { 1 },
120 	.retval = 1,
125 	BPF_MOV64_IMM(BPF_REG_0, 1),
130 	.fixup_map_array_48b = { 1 },
137 	BPF_MOV64_IMM(BPF_REG_0, 1),
138 	BPF_LD_MAP_VALUE(BPF_REG_1, 0, (1<<29)),
142 	.fixup_map_array_48b = { 1 },
149 	BPF_MOV64_IMM(BPF_REG_0, 1),
150 	BPF_LD_MAP_VALUE(BPF_REG_1, 0, (1<<29)-1),
154 	.fixup_map_array_48b = { 1 },
161 	BPF_MOV64_IMM(BPF_REG_0, 1),
162 	BPF_LD_MAP_VALUE(BPF_REG_1, 0, 47),
168 	.fixup_map_array_48b = { 1, 3 },
175 	BPF_MOV64_IMM(BPF_REG_0, 1),
182 	.fixup_map_array_48b = { 1, 3 },
189 	BPF_MOV64_IMM(BPF_REG_0, 1),
191 	BPF_LD_MAP_VALUE(BPF_REG_2, 0, 47),
196 	.fixup_map_array_48b = { 1, 3 },
198 	.errstr = "invalid access to map value, value_size=48 off=47 size=2",
204 	BPF_MOV64_IMM(BPF_REG_0, 1),
207 	BPF_ST_MEM(BPF_H, BPF_REG_2, 1, 0xffff),
211 	.fixup_map_array_48b = { 1, 3 },
213 	.errstr = "invalid access to map value, value_size=48 off=47 size=2",
219 	BPF_MOV64_IMM(BPF_REG_0, 1),
224 	.fixup_map_array_small = { 1 },
231 	BPF_MOV64_IMM(BPF_REG_0, 1),
236 	.fixup_map_array_small = { 1 },
238 	.retval = 1,
243 	BPF_MOV64_IMM(BPF_REG_0, 1),
244 	BPF_LD_MAP_VALUE(BPF_REG_1, 0, 1),
248 	.fixup_map_array_small = { 1 },
253 	"direct map access, invalid insn test 1",
255 	BPF_MOV64_IMM(BPF_REG_0, 1),
256 	BPF_LD_IMM64_RAW_FULL(BPF_REG_1, BPF_PSEUDO_MAP_VALUE, 0, 1, 0, 47),
259 	.fixup_map_array_48b = { 1 },
266 	BPF_MOV64_IMM(BPF_REG_0, 1),
267 	BPF_LD_IMM64_RAW_FULL(BPF_REG_1, BPF_PSEUDO_MAP_VALUE, 1, 0, 0, 47),
270 	.fixup_map_array_48b = { 1 },
277 	BPF_MOV64_IMM(BPF_REG_0, 1),
278 	BPF_LD_IMM64_RAW_FULL(BPF_REG_1, BPF_PSEUDO_MAP_VALUE, ~0, 0, 0, 47),
281 	.fixup_map_array_48b = { 1 },
288 	BPF_MOV64_IMM(BPF_REG_0, 1),
289 	BPF_LD_IMM64_RAW_FULL(BPF_REG_1, BPF_PSEUDO_MAP_VALUE, 0, ~0, 0, 47),
292 	.fixup_map_array_48b = { 1 },
299 	BPF_MOV64_IMM(BPF_REG_0, 1),
300 	BPF_LD_IMM64_RAW_FULL(BPF_REG_1, BPF_PSEUDO_MAP_VALUE, ~0, ~0, 0, 47),
303 	.fixup_map_array_48b = { 1 },
310 	BPF_MOV64_IMM(BPF_REG_0, 1),
314 	.fixup_map_array_48b = { 1 },
321 	BPF_MOV64_IMM(BPF_REG_0, 1),
325 	.fixup_map_array_48b = { 1 },
332 	BPF_MOV64_IMM(BPF_REG_0, 1),
336 	.fixup_map_array_48b = { 1 },
343 	BPF_MOV64_IMM(BPF_REG_0, 1),
344 	BPF_LD_IMM64_RAW_FULL(BPF_REG_1, BPF_PSEUDO_MAP_FD, 0, 0, 0, 47),
347 	.fixup_map_array_48b = { 1 },