1; RUN: llc -mtriple=aarch64-- -O0 -fast-isel -fast-isel-abort=4 -verify-machineinstrs < %s | FileCheck %s
2
3; CHECK-LABEL: cmpxchg_monotonic_32:
4; CHECK: [[RETRY:.LBB[0-9_]+]]:
5; CHECK-NEXT:     ldaxr [[OLD:w[0-9]+]], [x0]
6; CHECK-NEXT:     cmp [[OLD]], w1
7; CHECK-NEXT:     b.ne [[DONE:.LBB[0-9_]+]]
8; CHECK-NEXT: // BB#2:
9; CHECK-NEXT:     stlxr [[STATUS:w[0-9]+]], w2, [x0]
10; CHECK-NEXT:     cbnz [[STATUS]], [[RETRY]]
11; CHECK-NEXT: [[DONE]]:
12; CHECK-NEXT:     cmp [[OLD]], w1
13; CHECK-NEXT:     cset [[STATUS:w[0-9]+]], eq
14; CHECK-NEXT:     and [[STATUS32:w[0-9]+]], [[STATUS]], #0x1
15; CHECK-NEXT:     str [[STATUS32]], [x3]
16; CHECK-NEXT:     mov w0, [[OLD]]
17define i32 @cmpxchg_monotonic_32(i32* %p, i32 %cmp, i32 %new, i32* %ps) #0 {
18  %tmp0 = cmpxchg i32* %p, i32 %cmp, i32 %new monotonic monotonic
19  %tmp1 = extractvalue { i32, i1 } %tmp0, 0
20  %tmp2 = extractvalue { i32, i1 } %tmp0, 1
21  %tmp3 = zext i1 %tmp2 to i32
22  store i32 %tmp3, i32* %ps
23  ret i32 %tmp1
24}
25
26; CHECK-LABEL: cmpxchg_acq_rel_32_load:
27; CHECK:      // BB#0:
28; CHECK:     ldr [[NEW:w[0-9]+]], [x2]
29; CHECK-NEXT: [[RETRY:.LBB[0-9_]+]]:
30; CHECK-NEXT:     ldaxr [[OLD:w[0-9]+]], [x0]
31; CHECK-NEXT:     cmp [[OLD]], w1
32; CHECK-NEXT:     b.ne [[DONE:.LBB[0-9_]+]]
33; CHECK-NEXT: // BB#2:
34; CHECK-NEXT:     stlxr [[STATUS:w[0-9]+]], [[NEW]], [x0]
35; CHECK-NEXT:     cbnz [[STATUS]], [[RETRY]]
36; CHECK-NEXT: [[DONE]]:
37; CHECK-NEXT:     cmp [[OLD]], w1
38; CHECK-NEXT:     cset [[STATUS:w[0-9]+]], eq
39; CHECK-NEXT:     and [[STATUS32:w[0-9]+]], [[STATUS]], #0x1
40; CHECK-NEXT:     str [[STATUS32]], [x3]
41; CHECK-NEXT:     mov w0, [[OLD]]
42define i32 @cmpxchg_acq_rel_32_load(i32* %p, i32 %cmp, i32* %pnew, i32* %ps) #0 {
43  %new = load i32, i32* %pnew
44  %tmp0 = cmpxchg i32* %p, i32 %cmp, i32 %new acq_rel acquire
45  %tmp1 = extractvalue { i32, i1 } %tmp0, 0
46  %tmp2 = extractvalue { i32, i1 } %tmp0, 1
47  %tmp3 = zext i1 %tmp2 to i32
48  store i32 %tmp3, i32* %ps
49  ret i32 %tmp1
50}
51
52; CHECK-LABEL: cmpxchg_seq_cst_64:
53; CHECK: [[RETRY:.LBB[0-9_]+]]:
54; CHECK-NEXT:     ldaxr [[OLD:x[0-9]+]], [x0]
55; CHECK-NEXT:     cmp [[OLD]], x1
56; CHECK-NEXT:     b.ne [[DONE:.LBB[0-9_]+]]
57; CHECK-NEXT: // BB#2:
58; CHECK-NEXT:     stlxr [[STATUS:w[0-9]+]], x2, [x0]
59; CHECK-NEXT:     cbnz [[STATUS]], [[RETRY]]
60; CHECK-NEXT: [[DONE]]:
61; CHECK-NEXT:     cmp [[OLD]], x1
62; CHECK-NEXT:     cset [[STATUS:w[0-9]+]], eq
63; CHECK-NEXT:     and [[STATUS32:w[0-9]+]], [[STATUS]], #0x1
64; CHECK-NEXT:     str [[STATUS32]], [x3]
65; CHECK-NEXT:     mov x0, [[OLD]]
66define i64 @cmpxchg_seq_cst_64(i64* %p, i64 %cmp, i64 %new, i32* %ps) #0 {
67  %tmp0 = cmpxchg i64* %p, i64 %cmp, i64 %new seq_cst seq_cst
68  %tmp1 = extractvalue { i64, i1 } %tmp0, 0
69  %tmp2 = extractvalue { i64, i1 } %tmp0, 1
70  %tmp3 = zext i1 %tmp2 to i32
71  store i32 %tmp3, i32* %ps
72  ret i64 %tmp1
73}
74
75attributes #0 = { nounwind }
76