/tools/testing/selftests/bpf/verifier/ |
D | atomic_cmpxchg.c | 5 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 3), 9 BPF_ATOMIC_OP(BPF_DW, BPF_CMPXCHG, BPF_REG_10, BPF_REG_1, -8), 15 BPF_LDX_MEM(BPF_DW, BPF_REG_0, BPF_REG_10, -8), 22 BPF_ATOMIC_OP(BPF_DW, BPF_CMPXCHG, BPF_REG_10, BPF_REG_1, -8), 28 BPF_LDX_MEM(BPF_DW, BPF_REG_0, BPF_REG_10, -8), 42 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 3), 46 BPF_ATOMIC_OP(BPF_W, BPF_CMPXCHG, BPF_REG_10, BPF_REG_1, -4), 52 BPF_LDX_MEM(BPF_W, BPF_REG_0, BPF_REG_10, -4), 59 BPF_ATOMIC_OP(BPF_W, BPF_CMPXCHG, BPF_REG_10, BPF_REG_1, -4), 65 BPF_LDX_MEM(BPF_W, BPF_REG_0, BPF_REG_10, -4), [all …]
|
D | bounds_mix_sign_unsign.c | 5 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_0, -16), 6 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 7 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 12 BPF_LDX_MEM(BPF_DW, BPF_REG_1, BPF_REG_10, -16), 29 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_0, -16), 30 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 31 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 36 BPF_LDX_MEM(BPF_DW, BPF_REG_1, BPF_REG_10, -16), 53 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_0, -16), 54 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), [all …]
|
D | helper_access_var_len.c | 4 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 7 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_0, -64), 8 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_0, -56), 9 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_0, -48), 10 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_0, -40), 11 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_0, -32), 12 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_0, -24), 13 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_0, -16), 14 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_0, -8), 33 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), [all …]
|
D | spill_fill.c | 5 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_1, -8), 7 BPF_LDX_MEM(BPF_DW, BPF_REG_2, BPF_REG_10, -8), 22 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_6, -8), 23 BPF_LDX_MEM(BPF_DW, BPF_REG_0, BPF_REG_10, -8), 35 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 45 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_6, -8), 47 BPF_LDX_MEM(BPF_DW, BPF_REG_7, BPF_REG_10, -8), 65 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_1, -8), 67 BPF_ST_MEM(BPF_B, BPF_REG_10, -7, 0x23), 71 BPF_LDX_MEM(BPF_DW, BPF_REG_0, BPF_REG_10, -8), [all …]
|
D | xadd.c | 5 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_0, -8), 6 BPF_ATOMIC_OP(BPF_W, BPF_ADD, BPF_REG_10, BPF_REG_0, -7), 7 BPF_LDX_MEM(BPF_DW, BPF_REG_0, BPF_REG_10, -8), 17 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 18 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 63 BPF_MOV64_REG(BPF_REG_7, BPF_REG_10), 64 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_0, -8), 65 BPF_ATOMIC_OP(BPF_DW, BPF_ADD, BPF_REG_10, BPF_REG_0, -8), 66 BPF_ATOMIC_OP(BPF_DW, BPF_ADD, BPF_REG_10, BPF_REG_0, -8), 68 BPF_JMP_REG(BPF_JNE, BPF_REG_7, BPF_REG_10, 2), [all …]
|
D | map_in_map.c | 4 BPF_ST_MEM(0, BPF_REG_10, -4, 0), 5 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 10 BPF_ST_MEM(0, BPF_REG_10, -4, 0), 11 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 24 BPF_ST_MEM(0, BPF_REG_10, -4, 0), 25 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 30 BPF_ST_MEM(0, BPF_REG_10, -4, 0), 31 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 46 BPF_ST_MEM(0, BPF_REG_10, -4, 0), 47 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), [all …]
|
D | var_off.c | 24 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 33 BPF_ALU64_REG(BPF_ADD, BPF_REG_2, BPF_REG_10), 55 BPF_ALU64_REG(BPF_ADD, BPF_REG_2, BPF_REG_10), 76 BPF_ALU64_REG(BPF_ADD, BPF_REG_2, BPF_REG_10), 112 BPF_ALU64_REG(BPF_ADD, BPF_REG_2, BPF_REG_10), 114 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_0, -8), 118 BPF_LDX_MEM(BPF_DW, BPF_REG_2, BPF_REG_10, -8), 143 BPF_ST_MEM(BPF_DW, BPF_REG_10, -16, 0), 144 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 154 BPF_ALU64_REG(BPF_ADD, BPF_REG_4, BPF_REG_10), [all …]
|
D | jump.c | 4 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 28 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 56 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 93 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, BPF_REG_10, 1), 94 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, BPF_REG_10, 2), 95 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, BPF_REG_10, 3), 96 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, BPF_REG_10, 4), 97 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, BPF_REG_10, 1), 98 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, BPF_REG_10, 2), 99 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, BPF_REG_10, 3), [all …]
|
D | atomic_and.c | 5 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0x110), 8 BPF_ATOMIC_OP(BPF_DW, BPF_AND, BPF_REG_10, BPF_REG_1, -8), 10 BPF_LDX_MEM(BPF_DW, BPF_REG_0, BPF_REG_10, -8), 27 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0x110), 30 BPF_ATOMIC_OP(BPF_DW, BPF_AND | BPF_FETCH, BPF_REG_10, BPF_REG_1, -8), 36 BPF_LDX_MEM(BPF_DW, BPF_REG_1, BPF_REG_10, -8), 57 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 0x110), 60 BPF_ATOMIC_OP(BPF_W, BPF_AND | BPF_FETCH, BPF_REG_10, BPF_REG_1, -4), 66 BPF_LDX_MEM(BPF_W, BPF_REG_1, BPF_REG_10, -4), 82 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0x110), [all …]
|
D | atomic_fetch_add.c | 6 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 3), 9 BPF_ATOMIC_OP(BPF_DW, BPF_ADD | BPF_FETCH, BPF_REG_10, BPF_REG_1, -8), 15 BPF_LDX_MEM(BPF_DW, BPF_REG_1, BPF_REG_10, -8), 28 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 3), 31 BPF_ATOMIC_OP(BPF_W, BPF_ADD | BPF_FETCH, BPF_REG_10, BPF_REG_1, -4), 37 BPF_LDX_MEM(BPF_W, BPF_REG_1, BPF_REG_10, -4), 49 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 3), 50 BPF_ATOMIC_OP(BPF_DW, BPF_ADD | BPF_FETCH, BPF_REG_10, BPF_REG_10, -8), 61 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 3), 62 BPF_ATOMIC_OP(BPF_DW, BPF_ADD | BPF_FETCH, BPF_REG_10, BPF_REG_2, -8),
|
D | stack_ptr.c | 4 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 16 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 28 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 40 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 53 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 65 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 77 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 88 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 102 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 115 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), [all …]
|
D | unpriv.c | 4 BPF_MOV64_REG(BPF_REG_0, BPF_REG_10), 24 BPF_ALU64_REG(BPF_ADD, BPF_REG_1, BPF_REG_10), 56 BPF_JMP_REG(BPF_JEQ, BPF_REG_1, BPF_REG_10, 0), 67 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 68 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 84 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 85 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 102 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_10, -8), 103 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 118 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_10, -8), [all …]
|
D | array_access.c | 4 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 5 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 21 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 22 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 42 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 43 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 64 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 65 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 90 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 91 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), [all …]
|
D | search_pruning.c | 4 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 5 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 12 BPF_MOV64_REG(BPF_REG_0, BPF_REG_10), 25 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 26 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 31 BPF_MOV64_REG(BPF_REG_0, BPF_REG_10), 61 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 62 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 87 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 98 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_4, -16), [all …]
|
D | atomic_or.c | 5 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0x110), 8 BPF_ATOMIC_OP(BPF_DW, BPF_OR, BPF_REG_10, BPF_REG_1, -8), 10 BPF_LDX_MEM(BPF_DW, BPF_REG_0, BPF_REG_10, -8), 27 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0x110), 30 BPF_ATOMIC_OP(BPF_DW, BPF_OR | BPF_FETCH, BPF_REG_10, BPF_REG_1, -8), 36 BPF_LDX_MEM(BPF_DW, BPF_REG_1, BPF_REG_10, -8), 57 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 0x110), 60 BPF_ATOMIC_OP(BPF_W, BPF_OR | BPF_FETCH, BPF_REG_10, BPF_REG_1, -4), 66 BPF_LDX_MEM(BPF_W, BPF_REG_1, BPF_REG_10, -4), 85 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_1, -8), [all …]
|
D | atomic_xor.c | 5 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0x110), 8 BPF_ATOMIC_OP(BPF_DW, BPF_XOR, BPF_REG_10, BPF_REG_1, -8), 10 BPF_LDX_MEM(BPF_DW, BPF_REG_0, BPF_REG_10, -8), 27 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0x110), 30 BPF_ATOMIC_OP(BPF_DW, BPF_XOR | BPF_FETCH, BPF_REG_10, BPF_REG_1, -8), 36 BPF_LDX_MEM(BPF_DW, BPF_REG_1, BPF_REG_10, -8), 57 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 0x110), 60 BPF_ATOMIC_OP(BPF_W, BPF_XOR | BPF_FETCH, BPF_REG_10, BPF_REG_1, -4), 66 BPF_LDX_MEM(BPF_W, BPF_REG_1, BPF_REG_10, -4),
|
D | regalloc.c | 5 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 6 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 30 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 31 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 55 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 56 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 81 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 82 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 108 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 109 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), [all …]
|
D | bounds.c | 4 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 5 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 29 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 30 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 81 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 82 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 105 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 106 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 130 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 131 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), [all …]
|
D | map_ret_val.c | 4 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 5 BPF_ALU64_REG(BPF_MOV, BPF_REG_2, BPF_REG_10), 17 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 18 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 32 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 33 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 49 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 50 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
|
D | value_or_null.c | 5 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_1, -8), 6 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 23 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_1, -8), 24 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 44 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_1, -8), 45 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 64 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_1, -8), 65 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 84 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_1, -8), 85 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), [all …]
|
D | value_ptr_arith.c | 6 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 7 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 39 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 40 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 72 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 73 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 103 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 104 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 132 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 133 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), [all …]
|
D | atomic_xchg.c | 5 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 3), 8 BPF_ATOMIC_OP(BPF_DW, BPF_XCHG, BPF_REG_10, BPF_REG_1, -8), 14 BPF_LDX_MEM(BPF_DW, BPF_REG_0, BPF_REG_10, -8), 28 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 3), 31 BPF_ATOMIC_OP(BPF_W, BPF_XCHG, BPF_REG_10, BPF_REG_1, -4), 37 BPF_LDX_MEM(BPF_W, BPF_REG_0, BPF_REG_10, -4),
|
D | basic_stack.c | 4 BPF_ST_MEM(BPF_DW, BPF_REG_10, 8, 0), 13 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 26 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 38 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 50 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_0, -8), 58 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
|
D | spin_lock.c | 4 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 0), 5 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 32 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 0), 33 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 61 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 0), 62 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 91 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 0), 92 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 121 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 0), 122 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), [all …]
|
D | calls.c | 94 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 95 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 113 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 403 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 404 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 449 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 468 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 715 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 716 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 738 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), [all …]
|