bpf/verifier/jmp32.c

5 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
7 	BPF_JMP32_IMM(BPF_JSET, BPF_REG_7, -2, 1),
11 	BPF_JMP32_IMM(BPF_JSET, BPF_REG_7, 1, 1),
36 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
38 	BPF_JMP32_REG(BPF_JSET, BPF_REG_7, BPF_REG_8, 1),
43 	BPF_JMP32_REG(BPF_JSET, BPF_REG_7, BPF_REG_8, 1),
68 	BPF_LD_IMM64(BPF_REG_7, 0x8000000000000000),
70 	BPF_JMP_REG(BPF_JSET, BPF_REG_7, BPF_REG_8, 1),
72 	BPF_JMP32_REG(BPF_JSET, BPF_REG_7, BPF_REG_8, 1),
84 	BPF_JMP32_IMM(BPF_JSET, BPF_REG_7, 0x10, 1),
86 	BPF_JMP32_IMM(BPF_JGE, BPF_REG_7, 0x10, 1),
98 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
99 	BPF_JMP32_IMM(BPF_JEQ, BPF_REG_7, -1, 1),
121 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
123 	BPF_JMP32_REG(BPF_JEQ, BPF_REG_7, BPF_REG_8, 1),
149 	BPF_JMP32_IMM(BPF_JEQ, BPF_REG_7, 0x10, 1),
151 	BPF_JMP32_IMM(BPF_JSGE, BPF_REG_7, 0xf, 1),
163 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
164 	BPF_JMP32_IMM(BPF_JNE, BPF_REG_7, -1, 1),
186 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
188 	BPF_JMP32_REG(BPF_JNE, BPF_REG_7, BPF_REG_8, 1),
214 	BPF_JMP32_IMM(BPF_JNE, BPF_REG_7, 0x10, 1),
215 	BPF_JMP_IMM(BPF_JNE, BPF_REG_7, 0x10, 1),
228 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
229 	BPF_JMP32_IMM(BPF_JGE, BPF_REG_7, UINT_MAX - 1, 1),
255 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
256 	BPF_JMP32_REG(BPF_JGE, BPF_REG_7, BPF_REG_8, 1),
283 	BPF_JMP32_REG(BPF_JGE, BPF_REG_7, BPF_REG_8, 1),
285 	BPF_JMP32_IMM(BPF_JGE, BPF_REG_7, 0x7ffffff0, 1),
299 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
300 	BPF_JMP32_IMM(BPF_JGT, BPF_REG_7, UINT_MAX - 1, 1),
326 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
327 	BPF_JMP32_REG(BPF_JGT, BPF_REG_7, BPF_REG_8, 1),
354 	BPF_JMP32_REG(BPF_JGT, BPF_REG_7, BPF_REG_8, 1),
356 	BPF_JMP_IMM(BPF_JGT, BPF_REG_7, 0x7ffffff0, 1),
370 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
371 	BPF_JMP32_IMM(BPF_JLE, BPF_REG_7, INT_MAX, 1),
397 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
398 	BPF_JMP32_REG(BPF_JLE, BPF_REG_7, BPF_REG_8, 1),
425 	BPF_JMP32_REG(BPF_JLE, BPF_REG_7, BPF_REG_8, 1),
427 	BPF_JMP32_IMM(BPF_JLE, BPF_REG_7, 0x7ffffff0, 1),
441 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
442 	BPF_JMP32_IMM(BPF_JLT, BPF_REG_7, INT_MAX, 1),
468 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
469 	BPF_JMP32_REG(BPF_JLT, BPF_REG_7, BPF_REG_8, 1),
496 	BPF_JMP32_REG(BPF_JLT, BPF_REG_7, BPF_REG_8, 1),
498 	BPF_JMP_IMM(BPF_JSLT, BPF_REG_7, 0x7ffffff0, 1),
512 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
513 	BPF_JMP32_IMM(BPF_JSGE, BPF_REG_7, -1, 1),
539 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
540 	BPF_JMP32_REG(BPF_JSGE, BPF_REG_7, BPF_REG_8, 1),
567 	BPF_JMP32_REG(BPF_JSGE, BPF_REG_7, BPF_REG_8, 1),
569 	BPF_JMP_IMM(BPF_JSGE, BPF_REG_7, 0x7ffffff0, 1),
583 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
584 	BPF_JMP32_IMM(BPF_JSGT, BPF_REG_7, -1, 1),
610 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
611 	BPF_JMP32_REG(BPF_JSGT, BPF_REG_7, BPF_REG_8, 1),
638 	BPF_JMP32_REG(BPF_JSGT, BPF_REG_7, BPF_REG_8, 1),
640 	BPF_JMP_IMM(BPF_JSGT, BPF_REG_7, -2, 1),
654 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
655 	BPF_JMP32_IMM(BPF_JSLE, BPF_REG_7, -1, 1),
681 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
682 	BPF_JMP32_REG(BPF_JSLE, BPF_REG_7, BPF_REG_8, 1),
709 	BPF_JMP32_REG(BPF_JSLE, BPF_REG_7, BPF_REG_8, 1),
711 	BPF_JMP_IMM(BPF_JSLE, BPF_REG_7, 0x7ffffff0, 1),
725 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
726 	BPF_JMP32_IMM(BPF_JSLT, BPF_REG_7, -1, 1),
752 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
753 	BPF_JMP32_REG(BPF_JSLT, BPF_REG_7, BPF_REG_8, 1),
780 	BPF_JMP32_REG(BPF_JSLT, BPF_REG_7, BPF_REG_8, 1),
782 	BPF_JMP32_IMM(BPF_JSLT, BPF_REG_7, -1, 1),