summaryrefslogtreecommitdiff
path: root/sim/testsuite/bpf/xadd.s
blob: be6071424257be653f63197bc37746f7f5ac678b (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