bpf/verifier/value_ptr_arith.c

4 	BPF_LDX_MEM(BPF_W, BPF_REG_0, BPF_REG_1,
10 	BPF_LD_MAP_FD(BPF_REG_1, 0),
12 	BPF_LD_MAP_FD(BPF_REG_1, 0),
15 	BPF_MOV64_IMM(BPF_REG_1, 4),
16 	BPF_ALU64_REG(BPF_ADD, BPF_REG_1, BPF_REG_0),
17 	BPF_LDX_MEM(BPF_B, BPF_REG_0, BPF_REG_1, 0),
29 	BPF_LDX_MEM(BPF_W, BPF_REG_0, BPF_REG_1,
35 	BPF_LD_MAP_FD(BPF_REG_1, 0),
37 	BPF_LD_MAP_FD(BPF_REG_1, 0),
40 	BPF_MOV64_IMM(BPF_REG_1, 4),
41 	BPF_ALU64_REG(BPF_SUB, BPF_REG_0, BPF_REG_1),
42 	BPF_ALU64_REG(BPF_ADD, BPF_REG_0, BPF_REG_1),
57 	BPF_LDX_MEM(BPF_W, BPF_REG_0, BPF_REG_1,
63 	BPF_LD_MAP_FD(BPF_REG_1, 0),
65 	BPF_LD_MAP_FD(BPF_REG_1, 0),
68 	BPF_MOV64_IMM(BPF_REG_1, 4),
69 	BPF_ALU64_REG(BPF_ADD, BPF_REG_1, BPF_REG_0),
70 	BPF_LDX_MEM(BPF_B, BPF_REG_0, BPF_REG_1, 0),
92 	BPF_LDX_MEM(BPF_B, BPF_REG_1, BPF_REG_0, 0),
94 	BPF_JMP_IMM(BPF_JNE, BPF_REG_1, 0, 3),
105 	BPF_JMP_IMM(BPF_JNE, BPF_REG_1, 0, 1),
139 	BPF_LDX_MEM(BPF_B, BPF_REG_1, BPF_REG_0, 0),
141 	BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 0, 3),
152 	BPF_JMP_IMM(BPF_JNE, BPF_REG_1, 0, 1),
184 	BPF_LDX_MEM(BPF_W, BPF_REG_1, BPF_REG_0, 0),
185 	BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 0, 3),
203 	BPF_LD_MAP_FD(BPF_REG_1, 0),
204 	BPF_MOV64_REG(BPF_REG_6, BPF_REG_1),
210 	BPF_MOV64_REG(BPF_REG_1, BPF_REG_6),
247 	BPF_LD_MAP_FD(BPF_REG_1, 0),
250 	BPF_MOV64_IMM(BPF_REG_1, 48),
251 	BPF_ALU64_REG(BPF_ADD, BPF_REG_0, BPF_REG_1),
252 	BPF_ALU64_REG(BPF_SUB, BPF_REG_0, BPF_REG_1),
269 	BPF_LD_MAP_FD(BPF_REG_1, 0),
272 	BPF_MOV64_IMM(BPF_REG_1, 49),
273 	BPF_ALU64_REG(BPF_ADD, BPF_REG_0, BPF_REG_1),
274 	BPF_ALU64_REG(BPF_SUB, BPF_REG_0, BPF_REG_1),
291 	BPF_LD_MAP_FD(BPF_REG_1, 0),
294 	BPF_MOV64_IMM(BPF_REG_1, 47),
295 	BPF_ALU64_REG(BPF_ADD, BPF_REG_0, BPF_REG_1),
296 	BPF_ALU64_REG(BPF_SUB, BPF_REG_0, BPF_REG_1),
313 	BPF_LD_MAP_FD(BPF_REG_1, 0),
316 	BPF_MOV64_IMM(BPF_REG_1, 47),
317 	BPF_ALU64_REG(BPF_ADD, BPF_REG_0, BPF_REG_1),
318 	BPF_MOV64_IMM(BPF_REG_1, 48),
319 	BPF_ALU64_REG(BPF_SUB, BPF_REG_0, BPF_REG_1),
336 	BPF_LD_MAP_FD(BPF_REG_1, 0),
339 	BPF_MOV64_IMM(BPF_REG_1, 47),
340 	BPF_ALU64_REG(BPF_ADD, BPF_REG_0, BPF_REG_1),
341 	BPF_MOV64_IMM(BPF_REG_1, 48),
342 	BPF_ALU64_REG(BPF_SUB, BPF_REG_0, BPF_REG_1),
343 	BPF_MOV64_IMM(BPF_REG_1, 1),
344 	BPF_ALU64_REG(BPF_ADD, BPF_REG_0, BPF_REG_1),
361 	BPF_LD_MAP_FD(BPF_REG_1, 0),
364 	BPF_MOV64_IMM(BPF_REG_1, 47),
365 	BPF_ALU64_REG(BPF_ADD, BPF_REG_0, BPF_REG_1),
366 	BPF_MOV64_IMM(BPF_REG_1, 47),
367 	BPF_ALU64_REG(BPF_SUB, BPF_REG_0, BPF_REG_1),
384 	BPF_LD_MAP_FD(BPF_REG_1, 0),
387 	BPF_MOV64_IMM(BPF_REG_1, 4),
388 	BPF_ALU64_REG(BPF_ADD, BPF_REG_1, BPF_REG_0),
389 	BPF_LDX_MEM(BPF_B, BPF_REG_0, BPF_REG_1, 0),
403 	BPF_LD_MAP_FD(BPF_REG_1, 0),
406 	BPF_MOV64_IMM(BPF_REG_1, 4),
407 	BPF_ALU64_REG(BPF_ADD, BPF_REG_0, BPF_REG_1),
408 	BPF_LDX_MEM(BPF_B, BPF_REG_1, BPF_REG_0, 0),
422 	BPF_LD_MAP_FD(BPF_REG_1, 0),
425 	BPF_MOV64_IMM(BPF_REG_1, 49),
426 	BPF_ALU64_REG(BPF_ADD, BPF_REG_0, BPF_REG_1),
427 	BPF_LDX_MEM(BPF_B, BPF_REG_1, BPF_REG_0, 0),
441 	BPF_LD_MAP_FD(BPF_REG_1, 0),
444 	BPF_MOV64_IMM(BPF_REG_1, -1),
445 	BPF_ALU64_REG(BPF_ADD, BPF_REG_0, BPF_REG_1),
446 	BPF_LDX_MEM(BPF_B, BPF_REG_1, BPF_REG_0, 0),
460 	BPF_LD_MAP_FD(BPF_REG_1, 0),
463 	BPF_MOV64_IMM(BPF_REG_1, 5),
464 	BPF_ALU64_REG(BPF_ADD, BPF_REG_0, BPF_REG_1),
465 	BPF_MOV64_IMM(BPF_REG_1, -2),
466 	BPF_ALU64_REG(BPF_ADD, BPF_REG_0, BPF_REG_1),
467 	BPF_MOV64_IMM(BPF_REG_1, -1),
468 	BPF_ALU64_REG(BPF_ADD, BPF_REG_0, BPF_REG_1),
469 	BPF_LDX_MEM(BPF_B, BPF_REG_1, BPF_REG_0, 0),
485 	BPF_LD_MAP_FD(BPF_REG_1, 0),
488 	BPF_MOV64_IMM(BPF_REG_1, (6 + 1) * sizeof(int)),
489 	BPF_ALU64_REG(BPF_ADD, BPF_REG_1, BPF_REG_0),
490 	BPF_LDX_MEM(BPF_W, BPF_REG_0, BPF_REG_1, 0),
503 	BPF_LD_MAP_FD(BPF_REG_1, 0),
506 	BPF_MOV64_IMM(BPF_REG_1, (3 + 1) * sizeof(int)),
507 	BPF_ALU64_REG(BPF_ADD, BPF_REG_0, BPF_REG_1),
508 	BPF_MOV64_IMM(BPF_REG_1, 3 * sizeof(int)),
509 	BPF_ALU64_REG(BPF_ADD, BPF_REG_0, BPF_REG_1),
523 	BPF_LD_MAP_FD(BPF_REG_1, 0),
526 	BPF_MOV32_IMM(BPF_REG_1, 0x12345678),
527 	BPF_STX_MEM(BPF_W, BPF_REG_0, BPF_REG_1, 0),
529 	BPF_MOV64_IMM(BPF_REG_1, 2),
530 	BPF_ALU64_REG(BPF_SUB, BPF_REG_0, BPF_REG_1),
544 	BPF_LD_MAP_FD(BPF_REG_1, 0),
547 	BPF_LDX_MEM(BPF_B, BPF_REG_1, BPF_REG_0, 0),
548 	BPF_ALU64_IMM(BPF_AND, BPF_REG_1, 0xf),
549 	BPF_ALU64_REG(BPF_ADD, BPF_REG_1, BPF_REG_0),
550 	BPF_LDX_MEM(BPF_B, BPF_REG_0, BPF_REG_1, 0),
564 	BPF_LD_MAP_FD(BPF_REG_1, 0),
567 	BPF_LDX_MEM(BPF_W, BPF_REG_1, BPF_REG_0, 0),
568 	BPF_ALU64_IMM(BPF_AND, BPF_REG_1, 31),
569 	BPF_ALU64_REG(BPF_ADD, BPF_REG_1, BPF_REG_0),
570 	BPF_LDX_MEM(BPF_W, BPF_REG_0, BPF_REG_1, 0),
584 	BPF_LD_MAP_FD(BPF_REG_1, 0),
587 	BPF_MOV64_IMM(BPF_REG_1, -1),
588 	BPF_ALU64_REG(BPF_ADD, BPF_REG_0, BPF_REG_1),
589 	BPF_MOV64_IMM(BPF_REG_1, 1),
590 	BPF_ALU64_REG(BPF_ADD, BPF_REG_0, BPF_REG_1),
591 	BPF_LDX_MEM(BPF_W, BPF_REG_1, BPF_REG_0, 0),
592 	BPF_ALU64_IMM(BPF_AND, BPF_REG_1, 31),
593 	BPF_ALU64_REG(BPF_ADD, BPF_REG_1, BPF_REG_0),
594 	BPF_LDX_MEM(BPF_W, BPF_REG_0, BPF_REG_1, 0),
610 	BPF_LD_MAP_FD(BPF_REG_1, 0),
613 	BPF_MOV64_IMM(BPF_REG_1, 19),
614 	BPF_ALU64_REG(BPF_ADD, BPF_REG_0, BPF_REG_1),
615 	BPF_LDX_MEM(BPF_W, BPF_REG_1, BPF_REG_0, 0),
616 	BPF_ALU64_IMM(BPF_AND, BPF_REG_1, 31),
617 	BPF_ALU64_REG(BPF_ADD, BPF_REG_1, BPF_REG_0),
618 	BPF_LDX_MEM(BPF_W, BPF_REG_0, BPF_REG_1, 0),
633 	BPF_LD_MAP_FD(BPF_REG_1, 0),
636 	BPF_LDX_MEM(BPF_B, BPF_REG_1, BPF_REG_0, 0),
637 	BPF_ALU64_IMM(BPF_AND, BPF_REG_1, 0xf),
638 	BPF_ALU64_REG(BPF_ADD, BPF_REG_0, BPF_REG_1),
639 	BPF_LDX_MEM(BPF_B, BPF_REG_1, BPF_REG_0, 0),
653 	BPF_LD_MAP_FD(BPF_REG_1, 0),
656 	BPF_LDX_MEM(BPF_W, BPF_REG_1, BPF_REG_0, 0),
657 	BPF_ALU64_IMM(BPF_AND, BPF_REG_1, 31),
658 	BPF_ALU64_REG(BPF_ADD, BPF_REG_0, BPF_REG_1),
673 	BPF_LD_MAP_FD(BPF_REG_1, 0),
676 	BPF_LDX_MEM(BPF_DW, BPF_REG_1, BPF_REG_0, 0),
679 	BPF_ALU64_IMM(BPF_AND, BPF_REG_1, 0xf),
700 	BPF_LD_MAP_FD(BPF_REG_1, 0),
704 	BPF_LDX_MEM(BPF_B, BPF_REG_1, BPF_REG_0, 0),
718 	BPF_LD_MAP_FD(BPF_REG_1, 0),
721 	BPF_MOV64_IMM(BPF_REG_1, 4),
722 	BPF_ALU64_REG(BPF_SUB, BPF_REG_1, BPF_REG_0),
723 	BPF_LDX_MEM(BPF_B, BPF_REG_0, BPF_REG_1, 0),
737 	BPF_LD_MAP_FD(BPF_REG_1, 0),
740 	BPF_MOV64_IMM(BPF_REG_1, 4),
741 	BPF_ALU64_REG(BPF_SUB, BPF_REG_0, BPF_REG_1),
742 	BPF_LDX_MEM(BPF_B, BPF_REG_1, BPF_REG_0, 0),
756 	BPF_LD_MAP_FD(BPF_REG_1, 0),
759 	BPF_MOV64_IMM(BPF_REG_1, 6),
761 	BPF_ALU64_REG(BPF_ADD, BPF_REG_0, BPF_REG_1),
763 	BPF_LDX_MEM(BPF_B, BPF_REG_1, BPF_REG_0, 0),
779 	BPF_LD_MAP_FD(BPF_REG_1, 0),
782 	BPF_LDX_MEM(BPF_B, BPF_REG_1, BPF_REG_0, 0),
783 	BPF_ALU64_IMM(BPF_AND, BPF_REG_1, 0xf),
784 	BPF_ALU64_REG(BPF_SUB, BPF_REG_1, BPF_REG_0),
785 	BPF_LDX_MEM(BPF_B, BPF_REG_0, BPF_REG_1, 0),
799 	BPF_LD_MAP_FD(BPF_REG_1, 0),
802 	BPF_LDX_MEM(BPF_B, BPF_REG_1, BPF_REG_0, 0),
803 	BPF_ALU64_IMM(BPF_AND, BPF_REG_1, 0xf),
804 	BPF_ALU64_REG(BPF_SUB, BPF_REG_0, BPF_REG_1),
805 	BPF_LDX_MEM(BPF_B, BPF_REG_1, BPF_REG_0, 0),
819 	BPF_LD_MAP_FD(BPF_REG_1, 0),
822 	BPF_LDX_MEM(BPF_B, BPF_REG_1, BPF_REG_0, 0),
823 	BPF_ALU64_IMM(BPF_AND, BPF_REG_1, 0xf),
824 	BPF_ALU64_IMM(BPF_OR, BPF_REG_1, 0x7),
825 	BPF_ALU64_REG(BPF_ADD, BPF_REG_0, BPF_REG_1),
826 	BPF_LDX_MEM(BPF_B, BPF_REG_1, BPF_REG_0, 0),
827 	BPF_ALU64_IMM(BPF_AND, BPF_REG_1, 0x7),
828 	BPF_ALU64_REG(BPF_SUB, BPF_REG_0, BPF_REG_1),
829 	BPF_LDX_MEM(BPF_B, BPF_REG_1, BPF_REG_0, 0),
845 	BPF_LD_MAP_FD(BPF_REG_1, 0),
849 	BPF_LDX_MEM(BPF_B, BPF_REG_1, BPF_REG_0, 0),
861 	BPF_LDX_MEM(BPF_W, BPF_REG_8, BPF_REG_1,
863 	BPF_LDX_MEM(BPF_W, BPF_REG_7, BPF_REG_1,
880 	BPF_LDX_MEM(BPF_W, BPF_REG_8, BPF_REG_1,
882 	BPF_LDX_MEM(BPF_W, BPF_REG_7, BPF_REG_1,