bpf/verifier/atomic_fetch.c

7 		BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
8 		BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8),
9 		BPF_STX_MEM(BPF_DW, BPF_REG_2, BPF_REG_9, 0),
10 		BPF_ATOMIC_OP(BPF_DW, BPF_AND | BPF_FETCH, BPF_REG_2, BPF_REG_1, 0),
11 		BPF_LDX_MEM(BPF_DW, BPF_REG_9, BPF_REG_2, 0),
12 		BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0),
31 		BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
32 		BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8),
33 		BPF_STX_MEM(BPF_DW, BPF_REG_2, BPF_REG_9, 0),
34 		BPF_ATOMIC_OP(BPF_DW, BPF_AND | BPF_FETCH, BPF_REG_2, BPF_REG_1, 0),
36 		BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0),
55 		BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
56 		BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8),
57 		BPF_STX_MEM(BPF_DW, BPF_REG_2, BPF_REG_9, 0),
58 		BPF_ATOMIC_OP(BPF_W, BPF_AND | BPF_FETCH, BPF_REG_2, BPF_REG_1, 0),
59 		BPF_LDX_MEM(BPF_DW, BPF_REG_9, BPF_REG_2, 0),
60 		BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0),
78 		BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
79 		BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8),
80 		BPF_STX_MEM(BPF_DW, BPF_REG_2, BPF_REG_9, 0),
81 		BPF_ATOMIC_OP(BPF_W, BPF_AND | BPF_FETCH, BPF_REG_2, BPF_REG_1, 0),
83 		BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0),
121 __ATOMIC_FETCH_OP_TEST(BPF_REG_1, BPF_REG_2, 1, BPF_ADD | BPF_FETCH, 2, 3),
124 __ATOMIC_FETCH_OP_TEST(BPF_REG_2, BPF_REG_3, 1, BPF_ADD | BPF_FETCH, 2, 3),
127 __ATOMIC_FETCH_OP_TEST(BPF_REG_1, BPF_REG_2, 0x010, BPF_AND | BPF_FETCH, 0x011, 0x010),
130 __ATOMIC_FETCH_OP_TEST(BPF_REG_2, BPF_REG_3, 0x010, BPF_AND | BPF_FETCH, 0x011, 0x010),
133 __ATOMIC_FETCH_OP_TEST(BPF_REG_1, BPF_REG_2, 0x010, BPF_OR | BPF_FETCH, 0x011, 0x011),
136 __ATOMIC_FETCH_OP_TEST(BPF_REG_2, BPF_REG_3, 0x010, BPF_OR | BPF_FETCH, 0x011, 0x011),
139 __ATOMIC_FETCH_OP_TEST(BPF_REG_1, BPF_REG_2, 0x010, BPF_XOR | BPF_FETCH, 0x011, 0x001),
142 __ATOMIC_FETCH_OP_TEST(BPF_REG_2, BPF_REG_3, 0x010, BPF_XOR | BPF_FETCH, 0x011, 0x001),
145 __ATOMIC_FETCH_OP_TEST(BPF_REG_1, BPF_REG_2, 0x010, BPF_XCHG, 0x011, 0x011),
148 __ATOMIC_FETCH_OP_TEST(BPF_REG_2, BPF_REG_3, 0x010, BPF_XCHG, 0x011, 0x011),