bpf/verifier/atomic_fetch.c

5 		BPF_LD_MAP_FD(BPF_REG_8, 0),
6 		BPF_LD_MAP_FD(BPF_REG_9, 0),
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),
15 		BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 1),
16 		BPF_STX_MEM(BPF_DW, BPF_REG_0, BPF_REG_9, 0),
17 		BPF_MOV64_IMM(BPF_REG_0, 0),
29 		BPF_LD_MAP_FD(BPF_REG_8, 0),
30 		BPF_LD_MAP_FD(BPF_REG_9, 0),
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),
39 		BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 1),
40 		BPF_STX_MEM(BPF_DW, BPF_REG_0, BPF_REG_9, 0),
41 		BPF_MOV64_IMM(BPF_REG_0, 0),
53 		BPF_LD_MAP_FD(BPF_REG_8, 0),
54 		BPF_LD_MAP_FD(BPF_REG_9, 0),
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),
63 		BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 1),
64 		BPF_STX_MEM(BPF_DW, BPF_REG_0, BPF_REG_9, 0),
65 		BPF_MOV64_IMM(BPF_REG_0, 0),
76 		BPF_LD_MAP_FD(BPF_REG_8, 0),
77 		BPF_LD_MAP_FD(BPF_REG_9, 0),
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),
86 		BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 1),
87 		BPF_STX_MEM(BPF_DW, BPF_REG_0, BPF_REG_9, 0),
88 		BPF_MOV64_IMM(BPF_REG_0, 0),
115 			/* exit(0); */					\
116 			BPF_MOV64_IMM(BPF_REG_0, 0),			\
127 __ATOMIC_FETCH_OP_TEST(BPF_REG_1, BPF_REG_2, 0x010, BPF_AND | BPF_FETCH, 0x011, 0x010),
128 __ATOMIC_FETCH_OP_TEST(BPF_REG_0, BPF_REG_1, 0x010, BPF_AND | BPF_FETCH, 0x011, 0x010),
129 __ATOMIC_FETCH_OP_TEST(BPF_REG_1, BPF_REG_0, 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),
131 __ATOMIC_FETCH_OP_TEST(BPF_REG_4, BPF_REG_5, 0x010, BPF_AND | BPF_FETCH, 0x011, 0x010),
132 __ATOMIC_FETCH_OP_TEST(BPF_REG_9, BPF_REG_8, 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),
134 __ATOMIC_FETCH_OP_TEST(BPF_REG_0, BPF_REG_1, 0x010, BPF_OR | BPF_FETCH, 0x011, 0x011),
135 __ATOMIC_FETCH_OP_TEST(BPF_REG_1, BPF_REG_0, 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),
137 __ATOMIC_FETCH_OP_TEST(BPF_REG_4, BPF_REG_5, 0x010, BPF_OR | BPF_FETCH, 0x011, 0x011),
138 __ATOMIC_FETCH_OP_TEST(BPF_REG_9, BPF_REG_8, 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),
140 __ATOMIC_FETCH_OP_TEST(BPF_REG_0, BPF_REG_1, 0x010, BPF_XOR | BPF_FETCH, 0x011, 0x001),
141 __ATOMIC_FETCH_OP_TEST(BPF_REG_1, BPF_REG_0, 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),
143 __ATOMIC_FETCH_OP_TEST(BPF_REG_4, BPF_REG_5, 0x010, BPF_XOR | BPF_FETCH, 0x011, 0x001),
144 __ATOMIC_FETCH_OP_TEST(BPF_REG_9, BPF_REG_8, 0x010, BPF_XOR | BPF_FETCH, 0x011, 0x001),
145 __ATOMIC_FETCH_OP_TEST(BPF_REG_1, BPF_REG_2, 0x010, BPF_XCHG, 0x011, 0x011),
146 __ATOMIC_FETCH_OP_TEST(BPF_REG_0, BPF_REG_1, 0x010, BPF_XCHG, 0x011, 0x011),
147 __ATOMIC_FETCH_OP_TEST(BPF_REG_1, BPF_REG_0, 0x010, BPF_XCHG, 0x011, 0x011),
148 __ATOMIC_FETCH_OP_TEST(BPF_REG_2, BPF_REG_3, 0x010, BPF_XCHG, 0x011, 0x011),
149 __ATOMIC_FETCH_OP_TEST(BPF_REG_4, BPF_REG_5, 0x010, BPF_XCHG, 0x011, 0x011),
150 __ATOMIC_FETCH_OP_TEST(BPF_REG_9, BPF_REG_8, 0x010, BPF_XCHG, 0x011, 0x011),