bpf/prog_tests/align.c

107 			{5, "R4_w", "14"},
126 			{2, "R3_w", "14"},
206 			{14, "R4_w", "var_off=(0x0; 0x7f8)"},
219 			BPF_ALU64_IMM(BPF_ADD, BPF_REG_5, 14),
239 			{4, "R5_w", "pkt(off=14,r=0)"},
240 			{5, "R4_w", "pkt(off=14,r=0)"},
242 			{10, "R5", "pkt(off=14,r=18)"},
245 			{14, "R4_w", "var_off=(0x0; 0xffff)"},
254 			/* First, add a constant to the R5 packet pointer,
255 			 * then a variable with a known alignment.
258 			BPF_ALU64_IMM(BPF_ADD, BPF_REG_5, 14),
272 			BPF_ALU64_IMM(BPF_ADD, BPF_REG_5, 14),
280 			 * into a packet pointer.
283 			BPF_ALU64_IMM(BPF_ADD, BPF_REG_5, 14),
307 			{11, "R5_w", "pkt(id=1,off=14,"},
310 			 * reg->aux_off (14) which is 16.  Then the variable
319 			 * interfering we also have a no-op R4 = R5
326 			 * reg->off of 14.
328 			{19, "R5_w", "pkt(id=2,off=14,"},
331 			 * (14) which is 16.  Then the variable offset is 4-byte
338 			 * resulting in reg->off value of 14.
340 			{26, "R5_w", "pkt(off=14,r=8)"},
341 			/* Variable offset is added to R5, resulting in a
349 			/* And once more we add a variable; resulting var_off
351 			 * Also, we create a new reg->id.
371 			BPF_ALU64_IMM(BPF_ADD, BPF_REG_6, 14),
375 			/* Check bounds and perform a read */
381 			/* Make a (4n) offset from the value we just read */
386 			/* Check bounds and perform a read */
402 			/* Adding 14 makes R6 be (4n+2) */
441 			/* We have a (4n) value.  Let's make a packet offset
442 			 * out of it.  First add 14, to make it a (4n+2)
444 			BPF_ALU64_IMM(BPF_ADD, BPF_REG_5, 14),
451 			/* Check bounds and perform a read */
465 			/* (4n) + 14 == (4n+2).  We blow our bounds, because
478 			 * So we did not get a 'range' on R6, and the access
491 			BPF_ALU64_IMM(BPF_ADD, BPF_REG_6, 14),
503 			/* Check bounds and perform a read */
518 			/* Adding 14 makes R6 be (4n+2) */
525 			{14, "R6", "var_off=(0x2; 0x7fc)"},
539 			 * to [14,74]
545 			BPF_ALU64_IMM(BPF_ADD, BPF_REG_6, 14),
556 			/* Check bounds and perform a read */
571 			/* Adding 14 makes R6 be (4n+2) */
576 			{14, "R7_w", "var_off=(0x0; 0x7fc)"},
633 		/* We make a local copy so that we can strtok() it */  in do_test_single()
660 			 * did not have a corresponding bpf insn. Example:  in do_test_single()