1 ; RUN: llc -mtriple=thumbv7s-apple-ios7.0 -o - %s | FileCheck %s
3 define i32 @test_return(i32* %p, i32 %oldval, i32 %newval) {
4 ; CHECK-LABEL: test_return:
8 ; CHECK: [[LOOP:LBB[0-9]+_[0-9]+]]:
9 ; CHECK: ldrex [[LOADED:r[0-9]+]], [r0]
10 ; CHECK: cmp [[LOADED]], r1
11 ; CHECK: bne [[FAILED:LBB[0-9]+_[0-9]+]]
13 ; CHECK: strex [[STATUS:r[0-9]+]], {{r[0-9]+}}, [r0]
14 ; CHECK: cmp [[STATUS]], #0
17 ; CHECK-NOT: cmp {{r[0-9]+}}, {{r[0-9]+}}
23 ; CHECK-NOT: cmp {{r[0-9]+}}, {{r[0-9]+}}
28 %loaded = cmpxchg i32* %p, i32 %oldval, i32 %newval seq_cst seq_cst
29 %success = icmp eq i32 %loaded, %oldval
30 %conv = zext i1 %success to i32
34 define i1 @test_return_bool(i8* %value, i8 %oldValue, i8 %newValue) {
35 ; CHECK-LABEL: test_return_bool:
37 ; CHECK: uxtb [[OLDBYTE:r[0-9]+]], r1
40 ; CHECK: [[LOOP:LBB[0-9]+_[0-9]+]]:
41 ; CHECK: ldrexb [[LOADED:r[0-9]+]], [r0]
42 ; CHECK: cmp [[LOADED]], [[OLDBYTE]]
48 ; CHECK: strexb [[STATUS:r[0-9]+]], {{r[0-9]+}}, [r0]
49 ; CHECK: cmp [[STATUS]], #0
52 ; CHECK-NOT: cmp {{r[0-9]+}}, {{r[0-9]+}}
56 %loaded = cmpxchg i8* %value, i8 %oldValue, i8 %newValue acq_rel monotonic
57 %failure = icmp ne i8 %loaded, %oldValue
61 define void @test_conditional(i32* %p, i32 %oldval, i32 %newval) {
62 ; CHECK-LABEL: test_conditional:
66 ; CHECK: [[LOOP:LBB[0-9]+_[0-9]+]]:
67 ; CHECK: ldrex [[LOADED:r[0-9]+]], [r0]
68 ; CHECK: cmp [[LOADED]], r1
69 ; CHECK: bne [[FAILED:LBB[0-9]+_[0-9]+]]
71 ; CHECK: strex [[STATUS:r[0-9]+]], r2, [r0]
72 ; CHECK: cmp [[STATUS]], #0
75 ; CHECK-NOT: cmp {{r[0-9]+}}, {{r[0-9]+}}
80 ; CHECK-NOT: cmp {{r[0-9]+}}, {{r[0-9]+}}
84 %loaded = cmpxchg i32* %p, i32 %oldval, i32 %newval seq_cst seq_cst
85 %success = icmp eq i32 %loaded, %oldval
86 br i1 %success, label %true, label %false
89 tail call void @bar() #2
93 tail call void @baz() #2