aboutsummaryrefslogtreecommitdiff
path: root/sim/testsuite/bpf/xadd.s
blob: 0d889ac881a1cd24b891069fc44f0ecea6dec3e0 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
# mach: bpf
# output: pass\nexit 0 (0x0)\n
/* xadd.s
   Tests for BPF atomic exchange-and-add instructions in simulator

   The xadd instructions (XADDW, XADDDW) operate on a memory location
   specified in $dst + offset16, atomically adding the value in $src.

   In the simulator, there isn't anything else happening. The atomic
   instructions are identical to a non-atomic load/add/store.  */

    .include "testutils.inc"

    .text
    .global main
    .type main, @function
main:
    mov         %r1, 0x1000
    mov         %r2, 5

    /* basic xadd w */
    stw         [%r1+0], 10
    xaddw       [%r1+0], %r2
    ldxw        %r3, [%r1+0]
    fail_ne     %r3, 15

    /* basic xadd dw */
    stdw        [%r1+8], 42
    xadddw      [%r1+8], %r2
    ldxdw       %r3, [%r1+8]
    fail_ne     %r3, 47

    /* xadd w negative value */
    mov         %r4, -1
    xaddw       [%r1+0], %r4
    ldxw        %r3, [%r1+0]
    fail_ne     %r3, 14

    /* xadd dw negative val */
    xadddw      [%r1+8], %r4
    ldxdw       %r3, [%r1+8]
    fail_ne     %r3, 46

    pass