bpf/verifier/atomic_and.c

4 		/* val = 0x110; */
5 		BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0x110),
6 		/* atomic_and(&val, 0x011); */
7 		BPF_MOV64_IMM(BPF_REG_1, 0x011),
9 		/* if (val != 0x010) exit(2); */
11 		BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0x010, 2),
15 		BPF_MOV64_IMM(BPF_REG_0, 0),
16 		BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 0x011, 1),
26 		/* val = 0x110; */
27 		BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0x110),
28 		/* old = atomic_fetch_and(&val, 0x011); */
29 		BPF_MOV64_IMM(BPF_REG_1, 0x011),
31 		/* if (old != 0x110) exit(3); */
32 		BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 0x110, 2),
35 		/* if (val != 0x010) exit(2); */
37 		BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 0x010, 2),
44 		/* exit(0); */
45 		BPF_MOV64_IMM(BPF_REG_0, 0),
54 		BPF_MOV64_IMM(BPF_REG_0, 0),
56 		/* val = 0x110; */
57 		BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 0x110),
58 		/* old = atomic_fetch_and(&val, 0x011); */
59 		BPF_MOV32_IMM(BPF_REG_1, 0x011),
61 		/* if (old != 0x110) exit(3); */
62 		BPF_JMP32_IMM(BPF_JEQ, BPF_REG_1, 0x110, 2),
65 		/* if (val != 0x010) exit(2); */
67 		BPF_JMP32_IMM(BPF_JEQ, BPF_REG_1, 0x010, 2),
81 		/* val = 0x110; */
82 		BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0x110),
83 		/* old = atomic_fetch_and(&val, 0x011); */
84 		BPF_MOV64_IMM(BPF_REG_0, 0x011),
86 		/* if (old != 0x110) exit(3); */
87 		BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0x110, 2),
90 		/* if (val != 0x010) exit(2); */
92 		BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 0x010, 2),
95 		/* exit(0); */
96 		BPF_MOV64_IMM(BPF_REG_0, 0),