Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 81616a72ea53175f23931b34a1372c7cafb80736 / . / llvm / test / CodeGen / ARM / atomic-cmpxchg.ll
blob: 10db26c53e43d1f79b5785d78c0557cf8f11b439 [file] [log] [blame]
Ahmed Bougacha81616a72015-09-22 17:22:58 +0000[diff] [blame^]1; RUN: llc < %s -mtriple=arm-linux-gnueabi -asm-verbose=false -verify-machineinstrs | FileCheck %s -check-prefix=CHECK-ARM
2; RUN: llc < %s -mtriple=thumb-linux-gnueabi -asm-verbose=false -verify-machineinstrs | FileCheck %s -check-prefix=CHECK-THUMB
Logan Chien63bee2a2014-07-21 17:33:44 +0000[diff] [blame]3
Ahmed Bougacha81616a72015-09-22 17:22:58 +0000[diff] [blame^]4; RUN: llc < %s -mtriple=armv7-linux-gnueabi -asm-verbose=false -verify-machineinstrs | FileCheck %s -check-prefix=CHECK-ARMV7
5; RUN: llc < %s -mtriple=thumbv7-linux-gnueabi -asm-verbose=false -verify-machineinstrs | FileCheck %s -check-prefix=CHECK-THUMBV7
Logan Chien63bee2a2014-07-21 17:33:44 +0000[diff] [blame]6
7define zeroext i1 @test_cmpxchg_res_i8(i8* %addr, i8 %desired, i8 zeroext %new) {
8entry:
9 %0 = cmpxchg i8* %addr, i8 %desired, i8 %new monotonic monotonic
10 %1 = extractvalue { i8, i1 } %0, 1
11 ret i1 %1
12}
13
14; CHECK-ARM-LABEL: test_cmpxchg_res_i8
15; CHECK-ARM: bl __sync_val_compare_and_swap_1
16; CHECK-ARM: mov [[REG:r[0-9]+]], #0
17; CHECK-ARM: cmp r0, {{r[0-9]+}}
18; CHECK-ARM: moveq [[REG]], #1
19; CHECK-ARM: mov r0, [[REG]]
20
21; CHECK-THUMB-LABEL: test_cmpxchg_res_i8
22; CHECK-THUMB: bl __sync_val_compare_and_swap_1
Jonathan Roelofs44937d92014-08-20 23:38:50 +0000[diff] [blame]23; CHECK-THUMB-NOT: mov [[R1:r[0-7]]], r0
24; CHECK-THUMB: push {r0}
25; CHECK-THUMB: pop {[[R1:r[0-7]]]}
Logan Chien63bee2a2014-07-21 17:33:44 +0000[diff] [blame]26; CHECK-THUMB: movs r0, #1
27; CHECK-THUMB: movs [[R2:r[0-9]+]], #0
28; CHECK-THUMB: cmp [[R1]], {{r[0-9]+}}
29; CHECK-THU<B: beq
Jonathan Roelofs44937d92014-08-20 23:38:50 +0000[diff] [blame]30; CHECK-THUMB: push {[[R2]]}
31; CHECK-THUMB: pop {r0}
Logan Chien63bee2a2014-07-21 17:33:44 +0000[diff] [blame]32
Ahmed Bougacha81616a72015-09-22 17:22:58 +0000[diff] [blame^]33; CHECK-ARMV7-LABEL: test_cmpxchg_res_i8:
34; CHECK-ARMV7-NEXT: .fnstart
35; CHECK-ARMV7-NEXT: uxtb [[DESIRED:r[0-9]+]], r1
36; CHECK-ARMV7-NEXT: [[TRY:.LBB[0-9_]+]]:
37; CHECK-ARMV7-NEXT: ldrexb [[LD:r[0-9]+]], [r0]
38; CHECK-ARMV7-NEXT: cmp [[LD]], [[DESIRED]]
39; CHECK-ARMV7-NEXT: bne [[FAIL:.LBB[0-9_]+]]
40; CHECK-ARMV7-NEXT: strexb [[SUCCESS:r[0-9]+]], r2, [r0]
41; CHECK-ARMV7-NEXT: mov [[RES:r[0-9]+]], #1
42; CHECK-ARMV7-NEXT: cmp [[SUCCESS]], #0
43; CHECK-ARMV7-NEXT: bne [[TRY]]
44; CHECK-ARMV7-NEXT: b [[END:.LBB[0-9_]+]]
45; CHECK-ARMV7-NEXT: [[FAIL]]:
46; CHECK-ARMV7-NEXT: clrex
47; CHECK-ARMV7-NEXT: mov [[RES]], #0
48; CHECK-ARMV7-NEXT: [[END]]:
49; CHECK-ARMV7-NEXT: mov r0, [[RES]]
50; CHECK-ARMV7-NEXT: bx lr
Logan Chien63bee2a2014-07-21 17:33:44 +0000[diff] [blame]51
Ahmed Bougacha81616a72015-09-22 17:22:58 +0000[diff] [blame^]52; CHECK-THUMBV7-LABEL: test_cmpxchg_res_i8:
53; CHECK-THUMBV7-NEXT: .fnstart
54; CHECK-THUMBV7-NEXT: uxtb [[DESIRED:r[0-9]+]], r1
55; CHECK-THUMBV7-NEXT: b [[TRYLD:.LBB[0-9_]+]]
56; CHECK-THUMBV7-NEXT: [[TRYST:.LBB[0-9_]+]]:
57; CHECK-THUMBV7-NEXT: strexb [[SUCCESS:r[0-9]+]], r2, [r0]
58; CHECK-THUMBV7-NEXT: cmp [[SUCCESS]], #0
59; CHECK-THUMBV7-NEXT: itt eq
60; CHECK-THUMBV7-NEXT: moveq r0, #1
61; CHECK-THUMBV7-NEXT: bxeq lr
62; CHECK-THUMBV7-NEXT: [[TRYLD]]:
63; CHECK-THUMBV7-NEXT: ldrexb [[LD:r[0-9]+]], [r0]
64; CHECK-THUMBV7-NEXT: cmp [[LD]], [[DESIRED]]
65; CHECK-THUMBV7-NEXT: beq [[TRYST:.LBB[0-9_]+]]
66; CHECK-THUMBV7-NEXT: clrex
67; CHECK-THUMBV7-NEXT: movs r0, #0
68; CHECK-THUMBV7-NEXT: bx lr