1 ; Test f64 conditional stores that are presented as selects.
3 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
5 declare void @foo(double *)
7 ; Test with the loaded value first.
8 define void @f1(double *%ptr, double %alt, i32 %limit) {
11 ; CHECK: jl [[LABEL:[^ ]*]]
13 ; CHECK: std %f0, 0(%r2)
16 %cond = icmp ult i32 %limit, 420
17 %orig = load double *%ptr
18 %res = select i1 %cond, double %orig, double %alt
19 store double %res, double *%ptr
23 ; ...and with the loaded value second
24 define void @f2(double *%ptr, double %alt, i32 %limit) {
27 ; CHECK: jhe [[LABEL:[^ ]*]]
29 ; CHECK: std %f0, 0(%r2)
32 %cond = icmp ult i32 %limit, 420
33 %orig = load double *%ptr
34 %res = select i1 %cond, double %alt, double %orig
35 store double %res, double *%ptr
39 ; Check the high end of the aligned STD range.
40 define void @f3(double *%base, double %alt, i32 %limit) {
43 ; CHECK: jl [[LABEL:[^ ]*]]
45 ; CHECK: std %f0, 4088(%r2)
48 %ptr = getelementptr double *%base, i64 511
49 %cond = icmp ult i32 %limit, 420
50 %orig = load double *%ptr
51 %res = select i1 %cond, double %orig, double %alt
52 store double %res, double *%ptr
56 ; Check the next doubleword up, which should use STDY instead of STD.
57 define void @f4(double *%base, double %alt, i32 %limit) {
60 ; CHECK: jl [[LABEL:[^ ]*]]
62 ; CHECK: stdy %f0, 4096(%r2)
65 %ptr = getelementptr double *%base, i64 512
66 %cond = icmp ult i32 %limit, 420
67 %orig = load double *%ptr
68 %res = select i1 %cond, double %orig, double %alt
69 store double %res, double *%ptr
73 ; Check the high end of the aligned STDY range.
74 define void @f5(double *%base, double %alt, i32 %limit) {
77 ; CHECK: jl [[LABEL:[^ ]*]]
79 ; CHECK: stdy %f0, 524280(%r2)
82 %ptr = getelementptr double *%base, i64 65535
83 %cond = icmp ult i32 %limit, 420
84 %orig = load double *%ptr
85 %res = select i1 %cond, double %orig, double %alt
86 store double %res, double *%ptr
90 ; Check the next doubleword up, which needs separate address logic.
91 ; Other sequences besides this one would be OK.
92 define void @f6(double *%base, double %alt, i32 %limit) {
95 ; CHECK: jl [[LABEL:[^ ]*]]
97 ; CHECK: agfi %r2, 524288
98 ; CHECK: std %f0, 0(%r2)
101 %ptr = getelementptr double *%base, i64 65536
102 %cond = icmp ult i32 %limit, 420
103 %orig = load double *%ptr
104 %res = select i1 %cond, double %orig, double %alt
105 store double %res, double *%ptr
109 ; Check the low end of the STDY range.
110 define void @f7(double *%base, double %alt, i32 %limit) {
113 ; CHECK: jl [[LABEL:[^ ]*]]
115 ; CHECK: stdy %f0, -524288(%r2)
118 %ptr = getelementptr double *%base, i64 -65536
119 %cond = icmp ult i32 %limit, 420
120 %orig = load double *%ptr
121 %res = select i1 %cond, double %orig, double %alt
122 store double %res, double *%ptr
126 ; Check the next doubleword down, which needs separate address logic.
127 ; Other sequences besides this one would be OK.
128 define void @f8(double *%base, double %alt, i32 %limit) {
131 ; CHECK: jl [[LABEL:[^ ]*]]
133 ; CHECK: agfi %r2, -524296
134 ; CHECK: std %f0, 0(%r2)
137 %ptr = getelementptr double *%base, i64 -65537
138 %cond = icmp ult i32 %limit, 420
139 %orig = load double *%ptr
140 %res = select i1 %cond, double %orig, double %alt
141 store double %res, double *%ptr
145 ; Check that STDY allows an index.
146 define void @f9(i64 %base, i64 %index, double %alt, i32 %limit) {
149 ; CHECK: jl [[LABEL:[^ ]*]]
151 ; CHECK: stdy %f0, 524287(%r3,%r2)
154 %add1 = add i64 %base, %index
155 %add2 = add i64 %add1, 524287
156 %ptr = inttoptr i64 %add2 to double *
157 %cond = icmp ult i32 %limit, 420
158 %orig = load double *%ptr
159 %res = select i1 %cond, double %orig, double %alt
160 store double %res, double *%ptr
164 ; Check that volatile loads are not matched.
165 define void @f10(double *%ptr, double %alt, i32 %limit) {
167 ; CHECK: ld {{%f[0-5]}}, 0(%r2)
168 ; CHECK: {{jl|jnl}} [[LABEL:[^ ]*]]
170 ; CHECK: std {{%f[0-5]}}, 0(%r2)
172 %cond = icmp ult i32 %limit, 420
173 %orig = load volatile double *%ptr
174 %res = select i1 %cond, double %orig, double %alt
175 store double %res, double *%ptr
179 ; ...likewise stores. In this case we should have a conditional load into %f0.
180 define void @f11(double *%ptr, double %alt, i32 %limit) {
182 ; CHECK: jhe [[LABEL:[^ ]*]]
183 ; CHECK: ld %f0, 0(%r2)
185 ; CHECK: std %f0, 0(%r2)
187 %cond = icmp ult i32 %limit, 420
188 %orig = load double *%ptr
189 %res = select i1 %cond, double %orig, double %alt
190 store volatile double %res, double *%ptr
194 ; Try a frame index base.
195 define void @f12(double %alt, i32 %limit) {
197 ; CHECK: brasl %r14, foo@PLT
199 ; CHECK: jl [[LABEL:[^ ]*]]
201 ; CHECK: std {{%f[0-9]+}}, {{[0-9]+}}(%r15)
203 ; CHECK: brasl %r14, foo@PLT
206 call void @foo(double *%ptr)
207 %cond = icmp ult i32 %limit, 420
208 %orig = load double *%ptr
209 %res = select i1 %cond, double %orig, double %alt
210 store double %res, double *%ptr
211 call void @foo(double *%ptr)