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),
96 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
97 	BPF_JMP32_IMM(BPF_JEQ, BPF_REG_7, -1, 1),
119 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
121 	BPF_JMP32_REG(BPF_JEQ, BPF_REG_7, BPF_REG_8, 1),
147 	BPF_JMP32_IMM(BPF_JEQ, BPF_REG_7, 0x10, 1),
149 	BPF_JMP32_IMM(BPF_JSGE, BPF_REG_7, 0xf, 1),
159 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
160 	BPF_JMP32_IMM(BPF_JNE, BPF_REG_7, -1, 1),
182 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
184 	BPF_JMP32_REG(BPF_JNE, BPF_REG_7, BPF_REG_8, 1),
210 	BPF_JMP32_IMM(BPF_JNE, BPF_REG_7, 0x10, 1),
211 	BPF_JMP_IMM(BPF_JNE, BPF_REG_7, 0x10, 1),
222 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
223 	BPF_JMP32_IMM(BPF_JGE, BPF_REG_7, UINT_MAX - 1, 1),
249 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
250 	BPF_JMP32_REG(BPF_JGE, BPF_REG_7, BPF_REG_8, 1),
277 	BPF_JMP32_REG(BPF_JGE, BPF_REG_7, BPF_REG_8, 1),
279 	BPF_JMP32_IMM(BPF_JGE, BPF_REG_7, 0x7ffffff0, 1),
290 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
291 	BPF_JMP32_IMM(BPF_JGT, BPF_REG_7, UINT_MAX - 1, 1),
317 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
318 	BPF_JMP32_REG(BPF_JGT, BPF_REG_7, BPF_REG_8, 1),
345 	BPF_JMP32_REG(BPF_JGT, BPF_REG_7, BPF_REG_8, 1),
347 	BPF_JMP_IMM(BPF_JGT, BPF_REG_7, 0x7ffffff0, 1),
358 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
359 	BPF_JMP32_IMM(BPF_JLE, BPF_REG_7, INT_MAX, 1),
385 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
386 	BPF_JMP32_REG(BPF_JLE, BPF_REG_7, BPF_REG_8, 1),
413 	BPF_JMP32_REG(BPF_JLE, BPF_REG_7, BPF_REG_8, 1),
415 	BPF_JMP32_IMM(BPF_JLE, BPF_REG_7, 0x7ffffff0, 1),
426 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
427 	BPF_JMP32_IMM(BPF_JLT, BPF_REG_7, INT_MAX, 1),
453 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
454 	BPF_JMP32_REG(BPF_JLT, BPF_REG_7, BPF_REG_8, 1),
481 	BPF_JMP32_REG(BPF_JLT, BPF_REG_7, BPF_REG_8, 1),
483 	BPF_JMP_IMM(BPF_JSLT, BPF_REG_7, 0x7ffffff0, 1),
494 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
495 	BPF_JMP32_IMM(BPF_JSGE, BPF_REG_7, -1, 1),
521 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
522 	BPF_JMP32_REG(BPF_JSGE, BPF_REG_7, BPF_REG_8, 1),
549 	BPF_JMP32_REG(BPF_JSGE, BPF_REG_7, BPF_REG_8, 1),
551 	BPF_JMP_IMM(BPF_JSGE, BPF_REG_7, 0x7ffffff0, 1),
562 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
563 	BPF_JMP32_IMM(BPF_JSGT, BPF_REG_7, -1, 1),
589 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
590 	BPF_JMP32_REG(BPF_JSGT, BPF_REG_7, BPF_REG_8, 1),
617 	BPF_JMP32_REG(BPF_JSGT, BPF_REG_7, BPF_REG_8, 1),
619 	BPF_JMP_IMM(BPF_JSGT, BPF_REG_7, -2, 1),
630 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
631 	BPF_JMP32_IMM(BPF_JSLE, BPF_REG_7, -1, 1),
657 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
658 	BPF_JMP32_REG(BPF_JSLE, BPF_REG_7, BPF_REG_8, 1),
685 	BPF_JMP32_REG(BPF_JSLE, BPF_REG_7, BPF_REG_8, 1),
687 	BPF_JMP_IMM(BPF_JSLE, BPF_REG_7, 0x7ffffff0, 1),
698 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
699 	BPF_JMP32_IMM(BPF_JSLT, BPF_REG_7, -1, 1),
725 	BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_2, 0),
726 	BPF_JMP32_REG(BPF_JSLT, BPF_REG_7, BPF_REG_8, 1),
753 	BPF_JMP32_REG(BPF_JSLT, BPF_REG_7, BPF_REG_8, 1),
755 	BPF_JMP32_IMM(BPF_JSLT, BPF_REG_7, -1, 1),