~ [ source navigation ] ~ [ diff markup ] ~ [ identifier search ] ~

TOMOYO Linux Cross Reference
Linux/tools/testing/selftests/bpf/verifier/atomic_xchg.c

Version: ~ [ linux-6.11-rc3 ] ~ [ linux-6.10.4 ] ~ [ linux-6.9.12 ] ~ [ linux-6.8.12 ] ~ [ linux-6.7.12 ] ~ [ linux-6.6.45 ] ~ [ linux-6.5.13 ] ~ [ linux-6.4.16 ] ~ [ linux-6.3.13 ] ~ [ linux-6.2.16 ] ~ [ linux-6.1.104 ] ~ [ linux-6.0.19 ] ~ [ linux-5.19.17 ] ~ [ linux-5.18.19 ] ~ [ linux-5.17.15 ] ~ [ linux-5.16.20 ] ~ [ linux-5.15.164 ] ~ [ linux-5.14.21 ] ~ [ linux-5.13.19 ] ~ [ linux-5.12.19 ] ~ [ linux-5.11.22 ] ~ [ linux-5.10.223 ] ~ [ linux-5.9.16 ] ~ [ linux-5.8.18 ] ~ [ linux-5.7.19 ] ~ [ linux-5.6.19 ] ~ [ linux-5.5.19 ] ~ [ linux-5.4.281 ] ~ [ linux-5.3.18 ] ~ [ linux-5.2.21 ] ~ [ linux-5.1.21 ] ~ [ linux-5.0.21 ] ~ [ linux-4.20.17 ] ~ [ linux-4.19.319 ] ~ [ linux-4.18.20 ] ~ [ linux-4.17.19 ] ~ [ linux-4.16.18 ] ~ [ linux-4.15.18 ] ~ [ linux-4.14.336 ] ~ [ linux-4.13.16 ] ~ [ linux-4.12.14 ] ~ [ linux-4.11.12 ] ~ [ linux-4.10.17 ] ~ [ linux-4.9.337 ] ~ [ linux-4.4.302 ] ~ [ linux-3.10.108 ] ~ [ linux-2.6.32.71 ] ~ [ linux-2.6.0 ] ~ [ linux-2.4.37.11 ] ~ [ unix-v6-master ] ~ [ ccs-tools-1.8.9 ] ~ [ policy-sample ] ~
Architecture: ~ [ i386 ] ~ [ alpha ] ~ [ m68k ] ~ [ mips ] ~ [ ppc ] ~ [ sparc ] ~ [ sparc64 ] ~

  1 {
  2         "atomic exchange smoketest - 64bit",
  3         .insns = {
  4                 /* val = 3; */
  5                 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 3),
  6                 /* old = atomic_xchg(&val, 4); */
  7                 BPF_MOV64_IMM(BPF_REG_1, 4),
  8                 BPF_ATOMIC_OP(BPF_DW, BPF_XCHG, BPF_REG_10, BPF_REG_1, -8),
  9                 /* if (old != 3) exit(1); */
 10                 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 3, 2),
 11                 BPF_MOV64_IMM(BPF_REG_0, 1),
 12                 BPF_EXIT_INSN(),
 13                 /* if (val != 4) exit(2); */
 14                 BPF_LDX_MEM(BPF_DW, BPF_REG_0, BPF_REG_10, -8),
 15                 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 4, 2),
 16                 BPF_MOV64_IMM(BPF_REG_0, 2),
 17                 BPF_EXIT_INSN(),
 18                 /* exit(0); */
 19                 BPF_MOV64_IMM(BPF_REG_0, 0),
 20                 BPF_EXIT_INSN(),
 21         },
 22         .result = ACCEPT,
 23 },
 24 {
 25         "atomic exchange smoketest - 32bit",
 26         .insns = {
 27                 /* val = 3; */
 28                 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 3),
 29                 /* old = atomic_xchg(&val, 4); */
 30                 BPF_MOV32_IMM(BPF_REG_1, 4),
 31                 BPF_ATOMIC_OP(BPF_W, BPF_XCHG, BPF_REG_10, BPF_REG_1, -4),
 32                 /* if (old != 3) exit(1); */
 33                 BPF_JMP32_IMM(BPF_JEQ, BPF_REG_1, 3, 2),
 34                 BPF_MOV32_IMM(BPF_REG_0, 1),
 35                 BPF_EXIT_INSN(),
 36                 /* if (val != 4) exit(2); */
 37                 BPF_LDX_MEM(BPF_W, BPF_REG_0, BPF_REG_10, -4),
 38                 BPF_JMP32_IMM(BPF_JEQ, BPF_REG_0, 4, 2),
 39                 BPF_MOV32_IMM(BPF_REG_0, 2),
 40                 BPF_EXIT_INSN(),
 41                 /* exit(0); */
 42                 BPF_MOV32_IMM(BPF_REG_0, 0),
 43                 BPF_EXIT_INSN(),
 44         },
 45         .result = ACCEPT,
 46 },
 47 

~ [ source navigation ] ~ [ diff markup ] ~ [ identifier search ] ~

kernel.org | git.kernel.org | LWN.net | Project Home | SVN repository | Mail admin

Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.

sflogo.php