1; Test 128-bit floating-point stores.
2;
3; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
4
5; Check stores with no offset.
6define void @f1(i64 %src, double %val) {
7; CHECK-LABEL: f1:
8; CHECK: std %f0, 0(%r2)
9; CHECK: std %f2, 8(%r2)
10; CHECK: br %r14
11  %ptr = inttoptr i64 %src to fp128 *
12  %ext = fpext double %val to fp128
13  store fp128 %ext, fp128 *%ptr
14  ret void
15}
16
17; Check the highest aligned offset that allows STD for both halves.
18define void @f2(i64 %src, double %val) {
19; CHECK-LABEL: f2:
20; CHECK: std %f0, 4080(%r2)
21; CHECK: std %f2, 4088(%r2)
22; CHECK: br %r14
23  %add = add i64 %src, 4080
24  %ptr = inttoptr i64 %add to fp128 *
25  %ext = fpext double %val to fp128
26  store fp128 %ext, fp128 *%ptr
27  ret void
28}
29
30; Check the next doubleword up, which requires a mixture of STD and STDY.
31define void @f3(i64 %src, double %val) {
32; CHECK-LABEL: f3:
33; CHECK: std %f0, 4088(%r2)
34; CHECK: stdy %f2, 4096(%r2)
35; CHECK: br %r14
36  %add = add i64 %src, 4088
37  %ptr = inttoptr i64 %add to fp128 *
38  %ext = fpext double %val to fp128
39  store fp128 %ext, fp128 *%ptr
40  ret void
41}
42
43; Check the next doubleword after that, which requires STDY for both halves.
44define void @f4(i64 %src, double %val) {
45; CHECK-LABEL: f4:
46; CHECK: stdy %f0, 4096(%r2)
47; CHECK: stdy %f2, 4104(%r2)
48; CHECK: br %r14
49  %add = add i64 %src, 4096
50  %ptr = inttoptr i64 %add to fp128 *
51  %ext = fpext double %val to fp128
52  store fp128 %ext, fp128 *%ptr
53  ret void
54}
55
56; Check the highest aligned offset that allows STDY for both halves.
57define void @f5(i64 %src, double %val) {
58; CHECK-LABEL: f5:
59; CHECK: stdy %f0, 524272(%r2)
60; CHECK: stdy %f2, 524280(%r2)
61; CHECK: br %r14
62  %add = add i64 %src, 524272
63  %ptr = inttoptr i64 %add to fp128 *
64  %ext = fpext double %val to fp128
65  store fp128 %ext, fp128 *%ptr
66  ret void
67}
68
69; Check the next doubleword up, which requires separate address logic.
70; Other sequences besides this one would be OK.
71define void @f6(i64 %src, double %val) {
72; CHECK-LABEL: f6:
73; CHECK: lay %r1, 524280(%r2)
74; CHECK: std %f0, 0(%r1)
75; CHECK: std %f2, 8(%r1)
76; CHECK: br %r14
77  %add = add i64 %src, 524280
78  %ptr = inttoptr i64 %add to fp128 *
79  %ext = fpext double %val to fp128
80  store fp128 %ext, fp128 *%ptr
81  ret void
82}
83
84; Check the highest aligned negative offset, which needs a combination of
85; STDY and STD.
86define void @f7(i64 %src, double %val) {
87; CHECK-LABEL: f7:
88; CHECK: stdy %f0, -8(%r2)
89; CHECK: std %f2, 0(%r2)
90; CHECK: br %r14
91  %add = add i64 %src, -8
92  %ptr = inttoptr i64 %add to fp128 *
93  %ext = fpext double %val to fp128
94  store fp128 %ext, fp128 *%ptr
95  ret void
96}
97
98; Check the next doubleword down, which requires STDY for both halves.
99define void @f8(i64 %src, double %val) {
100; CHECK-LABEL: f8:
101; CHECK: stdy %f0, -16(%r2)
102; CHECK: stdy %f2, -8(%r2)
103; CHECK: br %r14
104  %add = add i64 %src, -16
105  %ptr = inttoptr i64 %add to fp128 *
106  %ext = fpext double %val to fp128
107  store fp128 %ext, fp128 *%ptr
108  ret void
109}
110
111; Check the lowest offset that allows STDY for both halves.
112define void @f9(i64 %src, double %val) {
113; CHECK-LABEL: f9:
114; CHECK: stdy %f0, -524288(%r2)
115; CHECK: stdy %f2, -524280(%r2)
116; CHECK: br %r14
117  %add = add i64 %src, -524288
118  %ptr = inttoptr i64 %add to fp128 *
119  %ext = fpext double %val to fp128
120  store fp128 %ext, fp128 *%ptr
121  ret void
122}
123
124; Check the next doubleword down, which requires separate address logic.
125; Other sequences besides this one would be OK.
126define void @f10(i64 %src, double %val) {
127; CHECK-LABEL: f10:
128; CHECK: agfi %r2, -524296
129; CHECK: std %f0, 0(%r2)
130; CHECK: std %f2, 8(%r2)
131; CHECK: br %r14
132  %add = add i64 %src, -524296
133  %ptr = inttoptr i64 %add to fp128 *
134  %ext = fpext double %val to fp128
135  store fp128 %ext, fp128 *%ptr
136  ret void
137}
138
139; Check that indices are allowed.
140define void @f11(i64 %src, i64 %index, double %val) {
141; CHECK-LABEL: f11:
142; CHECK: std %f0, 4088({{%r2,%r3|%r3,%r2}})
143; CHECK: stdy %f2, 4096({{%r2,%r3|%r3,%r2}})
144; CHECK: br %r14
145  %add1 = add i64 %src, %index
146  %add2 = add i64 %add1, 4088
147  %ptr = inttoptr i64 %add2 to fp128 *
148  %ext = fpext double %val to fp128
149  store fp128 %ext, fp128 *%ptr
150  ret void
151}
152