Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / bc041b82d44b51a3b7da79c38e4052e28ff8011c / . / llvm / test / Transforms / LowerAtomic / atomic-swap.ll
blob: 77000527a11f2c6f29126c14989751bb79b40b0b [file] [log] [blame]
Peter Collingbourneddaaf402010-08-03 16:19:16 +0000[diff] [blame]1; RUN: opt < %s -loweratomic -S | FileCheck %s
2
Peter Collingbourneddaaf402010-08-03 16:19:16 +0000[diff] [blame]3define i8 @cmpswap() {
Stephen Linc1c7a132013-07-14 01:42:54 +0000[diff] [blame]4; CHECK-LABEL: @cmpswap(
Peter Collingbourneddaaf402010-08-03 16:19:16 +0000[diff] [blame]5 %i = alloca i8
Tim Northover420a2162014-06-13 14:24:07 +0000[diff] [blame]6 %pair = cmpxchg i8* %i, i8 0, i8 42 monotonic monotonic
7 %j = extractvalue { i8, i1 } %pair, 0
David Blaikiea79ac142015-02-27 21:17:42 +0000[diff] [blame]8; CHECK: [[OLDVAL:%[a-z0-9]+]] = load i8, i8* [[ADDR:%[a-z0-9]+]]
Tim Northover420a2162014-06-13 14:24:07 +0000[diff] [blame]9; CHECK-NEXT: [[SAME:%[a-z0-9]+]] = icmp eq i8 [[OLDVAL]], 0
10; CHECK-NEXT: [[TO_STORE:%[a-z0-9]+]] = select i1 [[SAME]], i8 42, i8 [[OLDVAL]]
11; CHECK-NEXT: store i8 [[TO_STORE]], i8* [[ADDR]]
12; CHECK-NEXT: [[TMP:%[a-z0-9]+]] = insertvalue { i8, i1 } undef, i8 [[OLDVAL]], 0
13; CHECK-NEXT: [[RES:%[a-z0-9]+]] = insertvalue { i8, i1 } [[TMP]], i1 [[SAME]], 1
14; CHECK-NEXT: [[VAL:%[a-z0-9]+]] = extractvalue { i8, i1 } [[RES]], 0
Peter Collingbourneddaaf402010-08-03 16:19:16 +0000[diff] [blame]15 ret i8 %j
Tim Northover420a2162014-06-13 14:24:07 +0000[diff] [blame]16; CHECK: ret i8 [[VAL]]
Peter Collingbourneddaaf402010-08-03 16:19:16 +0000[diff] [blame]17}
18
Tim Northover420a2162014-06-13 14:24:07 +0000[diff] [blame]19
Peter Collingbourneddaaf402010-08-03 16:19:16 +0000[diff] [blame]20define i8 @swap() {
Stephen Linc1c7a132013-07-14 01:42:54 +0000[diff] [blame]21; CHECK-LABEL: @swap(
Peter Collingbourneddaaf402010-08-03 16:19:16 +0000[diff] [blame]22 %i = alloca i8
Eli Friedmanbda9e7a2011-09-26 20:15:56 +0000[diff] [blame]23 %j = atomicrmw xchg i8* %i, i8 42 monotonic
Peter Collingbourneddaaf402010-08-03 16:19:16 +0000[diff] [blame]24; CHECK: [[INST:%[a-z0-9]+]] = load
25; CHECK-NEXT: store
26 ret i8 %j
27; CHECK: ret i8 [[INST]]
28}