xref: /llvm-project/llvm/test/CodeGen/SystemZ/atomicrmw-fmin-03.ll (revision 0a0cac6dbd0ef67eb473f85a968bbf4ebea5220d)
1; Test atomic long double minimum.
2; Expect a libcall in a compare-and-swap loop.
3;
4; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
5
6define void @f1(ptr %ret, ptr %src, ptr %b) {
7; CHECK-LABEL: f1:
8; CHECK: lgr [[SRC:%r[0-9]+]], %r3
9; CHECK: ld [[FBL:%f[0-9]+]], 0(%r4)
10; CHECK: ld [[FBH:%f[0-9]+]], 8(%r4)
11; CHECK: ld [[FSL:%f[0-9]+]], 0(%r3)
12; CHECK: ld [[FSH:%f[0-9]+]], 8(%r3)
13; CHECK: lgr [[RET:%r[0-9]+]], %r2
14; CHECK: [[L:\.L.+]]:
15; CHECK: std [[FBL]], 160(%r15)
16; CHECK: std [[FBH]], 168(%r15)
17; CHECK: la %r2, 192(%r15)
18; CHECK: la %r3, 176(%r15)
19; CHECK: la %r4, 160(%r15)
20; CHECK: std [[FSL]], 176(%r15)
21; CHECK: std [[FSH]], 184(%r15)
22; CHECK: brasl %r14, fminl@PLT
23; CHECK: lg [[RH:%r[0-9]+]], 200(%r15)
24; CHECK: lg [[RL:%r[0-9]+]], 192(%r15)
25; CHECK: lgdr [[RSH:%r[0-9]+]], [[FSH]]
26; CHECK: lgdr [[RSL:%r[0-9]+]], [[FSL]]
27; CHECK: cdsg [[RSL]], [[RL]], 0([[SRC]])
28; CHECK: stg [[RSH]], 216(%r15)
29; CHECK: stg [[RSL]], 208(%r15)
30; CHECK: ld [[FSL]], 208(%r15)
31; CHECK: ld [[FSH]], 216(%r15)
32; CHECK: jl [[L]]
33; CHECK: std [[FSL]], 0([[RET]])
34; CHECK: std [[FSH]], 8([[RET]])
35; CHECK: br %r14
36  %val = load fp128, ptr %b
37  %res = atomicrmw fmin ptr %src, fp128 %val seq_cst
38  store fp128 %res, ptr %ret
39  ret void
40}
41