diff options
| author | Ulrich Weigand <ulrich.weigand@de.ibm.com> | 2017-09-28 16:22:54 +0000 |
|---|---|---|
| committer | Ulrich Weigand <ulrich.weigand@de.ibm.com> | 2017-09-28 16:22:54 +0000 |
| commit | e7870d75ef7b9b6c844b38f37ecf931ca39e394c (patch) | |
| tree | a9f038bf4ebbf60d4895f2dddad96d8b439f152f /test/CodeGen/SystemZ/cmpxchg-02.ll | |
| parent | 6bae1b9b2b8ac34fb81415e1fd8824574acf3765 (diff) | |
[SystemZ] Custom-expand ATOMIC_CMP_AND_SWAP_WITH_SUCCESS
The SystemZ compare-and-swap instructions already provide the "success"
indication via a condition-code value, so the default expansion of those
operations generates an unnecessary extra comparsion.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@314428 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGen/SystemZ/cmpxchg-02.ll')
| -rw-r--r-- | test/CodeGen/SystemZ/cmpxchg-02.ll | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/test/CodeGen/SystemZ/cmpxchg-02.ll b/test/CodeGen/SystemZ/cmpxchg-02.ll index 2445c0deab1..48e1e18db9b 100644 --- a/test/CodeGen/SystemZ/cmpxchg-02.ll +++ b/test/CodeGen/SystemZ/cmpxchg-02.ll @@ -55,3 +55,36 @@ define i16 @f2(i16 *%src) { %res = extractvalue { i16, i1 } %pair, 0 ret i16 %res } + +; Check generating the comparison result. +define i32 @f3(i16 %dummy, i16 *%src, i16 %cmp, i16 %swap) { +; CHECK-MAIN-LABEL: f3: +; CHECK-MAIN: risbg [[RISBG:%r[1-9]+]], %r3, 0, 189, 0{{$}} +; CHECK-MAIN: sll %r3, 3 +; CHECK-MAIN: l [[OLD:%r[0-9]+]], 0([[RISBG]]) +; CHECK-MAIN: [[LOOP:\.[^ ]*]]: +; CHECK-MAIN: rll [[TMP:%r[0-9]+]], [[OLD]], 16(%r3) +; CHECK-MAIN: risbg %r4, [[TMP]], 32, 47, 0 +; CHECK-MAIN: crjlh [[TMP]], %r4, [[EXIT:\.[^ ]*]] +; CHECK-MAIN: risbg %r5, [[TMP]], 32, 47, 0 +; CHECK-MAIN: rll [[NEW:%r[0-9]+]], %r5, -16({{%r[1-9]+}}) +; CHECK-MAIN: cs [[OLD]], [[NEW]], 0([[RISBG]]) +; CHECK-MAIN: jl [[LOOP]] +; CHECK-MAIN: [[EXIT]]: +; CHECK-MAIN-NEXT: ipm %r2 +; CHECK-MAIN-NEXT: afi %r2, -268435456 +; CHECK-MAIN-NEXT: srl %r2, 31 +; CHECK-MAIN-NOT: %r2 +; CHECK-MAIN: br %r14 +; +; CHECK-SHIFT-LABEL: f3: +; CHECK-SHIFT: sll %r3, 3 +; CHECK-SHIFT: lcr [[NEGSHIFT:%r[1-9]+]], %r3 +; CHECK-SHIFT: rll +; CHECK-SHIFT: rll {{%r[0-9]+}}, %r5, -16([[NEGSHIFT]]) + %pair = cmpxchg i16 *%src, i16 %cmp, i16 %swap seq_cst seq_cst + %val = extractvalue { i16, i1 } %pair, 1 + %res = zext i1 %val to i32 + ret i32 %res +} + |