| blob | a677d471397f7557ea3da06cd82a9a1f7be860ef |
1 ; Test 32-bit floating-point strict subtraction.
2 ;
3 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z10 \
4 ; RUN: | FileCheck -check-prefix=CHECK -check-prefix=CHECK-SCALAR %s
5 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z14 | FileCheck %s
7 declare float @foo()
8 declare float @llvm.experimental.constrained.fsub.f32(float, float, metadata, metadata)
10 ; Check register subtraction.
11 define float @f1(float %f1, float %f2) #0 {
12 ; CHECK-LABEL: f1:
13 ; CHECK: sebr %f0, %f2
14 ; CHECK: br %r14
15 %res = call float @llvm.experimental.constrained.fsub.f32(
16 float %f1, float %f2,
17 metadata !"round.dynamic",
18 metadata !"fpexcept.strict") #0
19 ret float %res
20 }
22 ; Check the low end of the SEB range.
23 define float @f2(float %f1, ptr %ptr) #0 {
24 ; CHECK-LABEL: f2:
25 ; CHECK: seb %f0, 0(%r2)
26 ; CHECK: br %r14
27 %f2 = load float, ptr %ptr
28 %res = call float @llvm.experimental.constrained.fsub.f32(
29 float %f1, float %f2,
30 metadata !"round.dynamic",
31 metadata !"fpexcept.strict") #0
32 ret float %res
33 }
35 ; Check the high end of the aligned SEB range.
36 define float @f3(float %f1, ptr %base) #0 {
37 ; CHECK-LABEL: f3:
38 ; CHECK: seb %f0, 4092(%r2)
39 ; CHECK: br %r14
40 %ptr = getelementptr float, ptr %base, i64 1023
41 %f2 = load float, ptr %ptr
42 %res = call float @llvm.experimental.constrained.fsub.f32(
43 float %f1, float %f2,
44 metadata !"round.dynamic",
45 metadata !"fpexcept.strict") #0
46 ret float %res
47 }
49 ; Check the next word up, which needs separate address logic.
50 ; Other sequences besides this one would be OK.
51 define float @f4(float %f1, ptr %base) #0 {
52 ; CHECK-LABEL: f4:
53 ; CHECK: aghi %r2, 4096
54 ; CHECK: seb %f0, 0(%r2)
55 ; CHECK: br %r14
56 %ptr = getelementptr float, ptr %base, i64 1024
57 %f2 = load float, ptr %ptr
58 %res = call float @llvm.experimental.constrained.fsub.f32(
59 float %f1, float %f2,
60 metadata !"round.dynamic",
61 metadata !"fpexcept.strict") #0
62 ret float %res
63 }
65 ; Check negative displacements, which also need separate address logic.
66 define float @f5(float %f1, ptr %base) #0 {
67 ; CHECK-LABEL: f5:
68 ; CHECK: aghi %r2, -4
69 ; CHECK: seb %f0, 0(%r2)
70 ; CHECK: br %r14
71 %ptr = getelementptr float, ptr %base, i64 -1
72 %f2 = load float, ptr %ptr
73 %res = call float @llvm.experimental.constrained.fsub.f32(
74 float %f1, float %f2,
75 metadata !"round.dynamic",
76 metadata !"fpexcept.strict") #0
77 ret float %res
78 }
80 ; Check that SEB allows indices.
81 define float @f6(float %f1, ptr %base, i64 %index) #0 {
82 ; CHECK-LABEL: f6:
83 ; CHECK: sllg %r1, %r3, 2
84 ; CHECK: seb %f0, 400(%r1,%r2)
85 ; CHECK: br %r14
86 %ptr1 = getelementptr float, ptr %base, i64 %index
87 %ptr2 = getelementptr float, ptr %ptr1, i64 100
88 %f2 = load float, ptr %ptr2
89 %res = call float @llvm.experimental.constrained.fsub.f32(
90 float %f1, float %f2,
91 metadata !"round.dynamic",
92 metadata !"fpexcept.strict") #0
93 ret float %res
94 }
96 ; Check that subtractions of spilled values can use SEB rather than SEBR.
97 define float @f7(ptr %ptr0) #0 {
98 ; CHECK-LABEL: f7:
99 ; CHECK: brasl %r14, foo@PLT
100 ; CHECK-SCALAR: seb %f0, 16{{[04]}}(%r15)
101 ; CHECK: br %r14
102 %ptr1 = getelementptr float, ptr %ptr0, i64 2
103 %ptr2 = getelementptr float, ptr %ptr0, i64 4
104 %ptr3 = getelementptr float, ptr %ptr0, i64 6
105 %ptr4 = getelementptr float, ptr %ptr0, i64 8
106 %ptr5 = getelementptr float, ptr %ptr0, i64 10
107 %ptr6 = getelementptr float, ptr %ptr0, i64 12
108 %ptr7 = getelementptr float, ptr %ptr0, i64 14
109 %ptr8 = getelementptr float, ptr %ptr0, i64 16
110 %ptr9 = getelementptr float, ptr %ptr0, i64 18
111 %ptr10 = getelementptr float, ptr %ptr0, i64 20
113 %val0 = load float, ptr %ptr0
114 %val1 = load float, ptr %ptr1
115 %val2 = load float, ptr %ptr2
116 %val3 = load float, ptr %ptr3
117 %val4 = load float, ptr %ptr4
118 %val5 = load float, ptr %ptr5
119 %val6 = load float, ptr %ptr6
120 %val7 = load float, ptr %ptr7
121 %val8 = load float, ptr %ptr8
122 %val9 = load float, ptr %ptr9
123 %val10 = load float, ptr %ptr10
125 %ret = call float @foo() #0
127 %sub0 = call float @llvm.experimental.constrained.fsub.f32(
128 float %ret, float %val0,
129 metadata !"round.dynamic",
130 metadata !"fpexcept.strict") #0
131 %sub1 = call float @llvm.experimental.constrained.fsub.f32(
132 float %sub0, float %val1,
133 metadata !"round.dynamic",
134 metadata !"fpexcept.strict") #0
135 %sub2 = call float @llvm.experimental.constrained.fsub.f32(
136 float %sub1, float %val2,
137 metadata !"round.dynamic",
138 metadata !"fpexcept.strict") #0
139 %sub3 = call float @llvm.experimental.constrained.fsub.f32(
140 float %sub2, float %val3,
141 metadata !"round.dynamic",
142 metadata !"fpexcept.strict") #0
143 %sub4 = call float @llvm.experimental.constrained.fsub.f32(
144 float %sub3, float %val4,
145 metadata !"round.dynamic",
146 metadata !"fpexcept.strict") #0
147 %sub5 = call float @llvm.experimental.constrained.fsub.f32(
148 float %sub4, float %val5,
149 metadata !"round.dynamic",
150 metadata !"fpexcept.strict") #0
151 %sub6 = call float @llvm.experimental.constrained.fsub.f32(
152 float %sub5, float %val6,
153 metadata !"round.dynamic",
154 metadata !"fpexcept.strict") #0
155 %sub7 = call float @llvm.experimental.constrained.fsub.f32(
156 float %sub6, float %val7,
157 metadata !"round.dynamic",
158 metadata !"fpexcept.strict") #0
159 %sub8 = call float @llvm.experimental.constrained.fsub.f32(
160 float %sub7, float %val8,
161 metadata !"round.dynamic",
162 metadata !"fpexcept.strict") #0
163 %sub9 = call float @llvm.experimental.constrained.fsub.f32(
164 float %sub8, float %val9,
165 metadata !"round.dynamic",
166 metadata !"fpexcept.strict") #0
167 %sub10 = call float @llvm.experimental.constrained.fsub.f32(
168 float %sub9, float %val10,
169 metadata !"round.dynamic",
170 metadata !"fpexcept.strict") #0
172 ret float %sub10
173 }
175 attributes #0 = { strictfp }