|
83
|
1 ; RUN: opt -S -instcombine < %s | FileCheck %s
|
|
|
2
|
|
|
3 declare float @llvm.minnum.f32(float, float) #0
|
|
|
4 declare float @llvm.minnum.v2f32(<2 x float>, <2 x float>) #0
|
|
|
5 declare <4 x float> @llvm.minnum.v4f32(<4 x float>, <4 x float>) #0
|
|
|
6
|
|
|
7 declare double @llvm.minnum.f64(double, double) #0
|
|
|
8 declare <2 x double> @llvm.minnum.v2f64(<2 x double>, <2 x double>) #0
|
|
|
9
|
|
|
10 declare float @llvm.maxnum.f32(float, float) #0
|
|
|
11
|
|
|
12 ; CHECK-LABEL: @constant_fold_minnum_f32
|
|
|
13 ; CHECK-NEXT: ret float 1.000000e+00
|
|
|
14 define float @constant_fold_minnum_f32() #0 {
|
|
|
15 %x = call float @llvm.minnum.f32(float 1.0, float 2.0) #0
|
|
|
16 ret float %x
|
|
|
17 }
|
|
|
18
|
|
|
19 ; CHECK-LABEL: @constant_fold_minnum_f32_inv
|
|
|
20 ; CHECK-NEXT: ret float 1.000000e+00
|
|
|
21 define float @constant_fold_minnum_f32_inv() #0 {
|
|
|
22 %x = call float @llvm.minnum.f32(float 2.0, float 1.0) #0
|
|
|
23 ret float %x
|
|
|
24 }
|
|
|
25
|
|
|
26 ; CHECK-LABEL: @constant_fold_minnum_f32_nan0
|
|
|
27 ; CHECK-NEXT: ret float 2.000000e+00
|
|
|
28 define float @constant_fold_minnum_f32_nan0() #0 {
|
|
|
29 %x = call float @llvm.minnum.f32(float 0x7FF8000000000000, float 2.0) #0
|
|
|
30 ret float %x
|
|
|
31 }
|
|
|
32
|
|
|
33 ; CHECK-LABEL: @constant_fold_minnum_f32_nan1
|
|
|
34 ; CHECK-NEXT: ret float 2.000000e+00
|
|
|
35 define float @constant_fold_minnum_f32_nan1() #0 {
|
|
|
36 %x = call float @llvm.minnum.f32(float 2.0, float 0x7FF8000000000000) #0
|
|
|
37 ret float %x
|
|
|
38 }
|
|
|
39
|
|
|
40 ; CHECK-LABEL: @constant_fold_minnum_f32_nan_nan
|
|
|
41 ; CHECK-NEXT: ret float 0x7FF8000000000000
|
|
|
42 define float @constant_fold_minnum_f32_nan_nan() #0 {
|
|
|
43 %x = call float @llvm.minnum.f32(float 0x7FF8000000000000, float 0x7FF8000000000000) #0
|
|
|
44 ret float %x
|
|
|
45 }
|
|
|
46
|
|
|
47 ; CHECK-LABEL: @constant_fold_minnum_f32_p0_p0
|
|
|
48 ; CHECK-NEXT: ret float 0.000000e+00
|
|
|
49 define float @constant_fold_minnum_f32_p0_p0() #0 {
|
|
|
50 %x = call float @llvm.minnum.f32(float 0.0, float 0.0) #0
|
|
|
51 ret float %x
|
|
|
52 }
|
|
|
53
|
|
|
54 ; CHECK-LABEL: @constant_fold_minnum_f32_p0_n0
|
|
|
55 ; CHECK-NEXT: ret float 0.000000e+00
|
|
|
56 define float @constant_fold_minnum_f32_p0_n0() #0 {
|
|
|
57 %x = call float @llvm.minnum.f32(float 0.0, float -0.0) #0
|
|
|
58 ret float %x
|
|
|
59 }
|
|
|
60
|
|
|
61 ; CHECK-LABEL: @constant_fold_minnum_f32_n0_p0
|
|
|
62 ; CHECK-NEXT: ret float -0.000000e+00
|
|
|
63 define float @constant_fold_minnum_f32_n0_p0() #0 {
|
|
|
64 %x = call float @llvm.minnum.f32(float -0.0, float 0.0) #0
|
|
|
65 ret float %x
|
|
|
66 }
|
|
|
67
|
|
|
68 ; CHECK-LABEL: @constant_fold_minnum_f32_n0_n0
|
|
|
69 ; CHECK-NEXT: ret float -0.000000e+00
|
|
|
70 define float @constant_fold_minnum_f32_n0_n0() #0 {
|
|
|
71 %x = call float @llvm.minnum.f32(float -0.0, float -0.0) #0
|
|
|
72 ret float %x
|
|
|
73 }
|
|
|
74
|
|
|
75 ; CHECK-LABEL: @constant_fold_minnum_v4f32
|
|
|
76 ; CHECK-NEXT: ret <4 x float> <float 1.000000e+00, float 2.000000e+00, float 3.000000e+00, float 5.000000e+00>
|
|
|
77 define <4 x float> @constant_fold_minnum_v4f32() #0 {
|
|
|
78 %x = call <4 x float> @llvm.minnum.v4f32(<4 x float> <float 1.0, float 8.0, float 3.0, float 9.0>, <4 x float> <float 2.0, float 2.0, float 10.0, float 5.0>)
|
|
|
79 ret <4 x float> %x
|
|
|
80 }
|
|
|
81
|
|
|
82 ; CHECK-LABEL: @constant_fold_minnum_f64
|
|
|
83 ; CHECK-NEXT: ret double 1.000000e+00
|
|
|
84 define double @constant_fold_minnum_f64() #0 {
|
|
|
85 %x = call double @llvm.minnum.f64(double 1.0, double 2.0) #0
|
|
|
86 ret double %x
|
|
|
87 }
|
|
|
88
|
|
|
89 ; CHECK-LABEL: @constant_fold_minnum_f64_nan0
|
|
|
90 ; CHECK-NEXT: ret double 2.000000e+00
|
|
|
91 define double @constant_fold_minnum_f64_nan0() #0 {
|
|
|
92 %x = call double @llvm.minnum.f64(double 0x7FF8000000000000, double 2.0) #0
|
|
|
93 ret double %x
|
|
|
94 }
|
|
|
95
|
|
|
96 ; CHECK-LABEL: @constant_fold_minnum_f64_nan1
|
|
|
97 ; CHECK-NEXT: ret double 2.000000e+00
|
|
|
98 define double @constant_fold_minnum_f64_nan1() #0 {
|
|
|
99 %x = call double @llvm.minnum.f64(double 2.0, double 0x7FF8000000000000) #0
|
|
|
100 ret double %x
|
|
|
101 }
|
|
|
102
|
|
|
103 ; CHECK-LABEL: @constant_fold_minnum_f64_nan_nan
|
|
|
104 ; CHECK-NEXT: ret double 0x7FF8000000000000
|
|
|
105 define double @constant_fold_minnum_f64_nan_nan() #0 {
|
|
|
106 %x = call double @llvm.minnum.f64(double 0x7FF8000000000000, double 0x7FF8000000000000) #0
|
|
|
107 ret double %x
|
|
|
108 }
|
|
|
109
|
|
|
110 ; CHECK-LABEL: @canonicalize_constant_minnum_f32
|
|
|
111 ; CHECK: call float @llvm.minnum.f32(float %x, float 1.000000e+00)
|
|
|
112 define float @canonicalize_constant_minnum_f32(float %x) #0 {
|
|
|
113 %y = call float @llvm.minnum.f32(float 1.0, float %x) #0
|
|
|
114 ret float %y
|
|
|
115 }
|
|
|
116
|
|
|
117 ; CHECK-LABEL: @noop_minnum_f32
|
|
|
118 ; CHECK-NEXT: ret float %x
|
|
|
119 define float @noop_minnum_f32(float %x) #0 {
|
|
|
120 %y = call float @llvm.minnum.f32(float %x, float %x) #0
|
|
|
121 ret float %y
|
|
|
122 }
|
|
|
123
|
|
|
124 ; CHECK-LABEL: @minnum_f32_nan_val
|
|
|
125 ; CHECK-NEXT: ret float %x
|
|
|
126 define float @minnum_f32_nan_val(float %x) #0 {
|
|
|
127 %y = call float @llvm.minnum.f32(float 0x7FF8000000000000, float %x) #0
|
|
|
128 ret float %y
|
|
|
129 }
|
|
|
130
|
|
|
131 ; CHECK-LABEL: @minnum_f32_val_nan
|
|
|
132 ; CHECK-NEXT: ret float %x
|
|
|
133 define float @minnum_f32_val_nan(float %x) #0 {
|
|
|
134 %y = call float @llvm.minnum.f32(float %x, float 0x7FF8000000000000) #0
|
|
|
135 ret float %y
|
|
|
136 }
|
|
|
137
|
|
|
138 ; CHECK-LABEL: @fold_minnum_f32_undef_undef
|
|
|
139 ; CHECK-NEXT: ret float undef
|
|
|
140 define float @fold_minnum_f32_undef_undef(float %x) nounwind {
|
|
|
141 %val = call float @llvm.minnum.f32(float undef, float undef) #0
|
|
|
142 ret float %val
|
|
|
143 }
|
|
|
144
|
|
|
145 ; CHECK-LABEL: @fold_minnum_f32_val_undef
|
|
|
146 ; CHECK-NEXT: ret float %x
|
|
|
147 define float @fold_minnum_f32_val_undef(float %x) nounwind {
|
|
|
148 %val = call float @llvm.minnum.f32(float %x, float undef) #0
|
|
|
149 ret float %val
|
|
|
150 }
|
|
|
151
|
|
|
152 ; CHECK-LABEL: @fold_minnum_f32_undef_val
|
|
|
153 ; CHECK-NEXT: ret float %x
|
|
|
154 define float @fold_minnum_f32_undef_val(float %x) nounwind {
|
|
|
155 %val = call float @llvm.minnum.f32(float undef, float %x) #0
|
|
|
156 ret float %val
|
|
|
157 }
|
|
|
158
|
|
|
159 ; CHECK-LABEL: @minnum_x_minnum_x_y
|
|
|
160 ; CHECK-NEXT: call float @llvm.minnum.f32(float %x, float %y)
|
|
|
161 ; CHECK-NEXT: ret float
|
|
|
162 define float @minnum_x_minnum_x_y(float %x, float %y) #0 {
|
|
|
163 %a = call float @llvm.minnum.f32(float %x, float %y) #0
|
|
|
164 %b = call float @llvm.minnum.f32(float %x, float %a) #0
|
|
|
165 ret float %b
|
|
|
166 }
|
|
|
167
|
|
|
168 ; CHECK-LABEL: @minnum_y_minnum_x_y
|
|
|
169 ; CHECK-NEXT: call float @llvm.minnum.f32(float %x, float %y)
|
|
|
170 ; CHECK-NEXT: ret float
|
|
|
171 define float @minnum_y_minnum_x_y(float %x, float %y) #0 {
|
|
|
172 %a = call float @llvm.minnum.f32(float %x, float %y) #0
|
|
|
173 %b = call float @llvm.minnum.f32(float %y, float %a) #0
|
|
|
174 ret float %b
|
|
|
175 }
|
|
|
176
|
|
|
177 ; CHECK-LABEL: @minnum_z_minnum_x_y
|
|
|
178 ; CHECK-NEXT: call float @llvm.minnum.f32(float %x, float %y)
|
|
|
179 ; CHECK-NEXT: call float @llvm.minnum.f32(float %z, float %a)
|
|
|
180 ; CHECK-NEXT: ret float
|
|
|
181 define float @minnum_z_minnum_x_y(float %x, float %y, float %z) #0 {
|
|
|
182 %a = call float @llvm.minnum.f32(float %x, float %y) #0
|
|
|
183 %b = call float @llvm.minnum.f32(float %z, float %a) #0
|
|
|
184 ret float %b
|
|
|
185 }
|
|
|
186
|
|
|
187 ; CHECK-LABEL: @minnum_minnum_x_y_z
|
|
|
188 ; CHECK-NEXT: call float @llvm.minnum.f32(float %x, float %y)
|
|
|
189 ; CHECK-NEXT: call float @llvm.minnum.f32(float %a, float %z)
|
|
|
190 ; CHECK-NEXT: ret float
|
|
|
191 define float @minnum_minnum_x_y_z(float %x, float %y, float %z) #0 {
|
|
|
192 %a = call float @llvm.minnum.f32(float %x, float %y) #0
|
|
|
193 %b = call float @llvm.minnum.f32(float %a, float %z) #0
|
|
|
194 ret float %b
|
|
|
195 }
|
|
|
196
|
|
|
197 ; CHECK-LABEL: @minnum4
|
|
|
198 ; CHECK-NEXT: call float @llvm.minnum.f32(float %x, float %y)
|
|
|
199 ; CHECK-NEXT: call float @llvm.minnum.f32(float %z, float %w)
|
|
|
200 ; CHECK-NEXT: call float @llvm.minnum.f32(float %a, float %b)
|
|
|
201 ; CHECK-NEXT: ret float
|
|
|
202 define float @minnum4(float %x, float %y, float %z, float %w) #0 {
|
|
|
203 %a = call float @llvm.minnum.f32(float %x, float %y) #0
|
|
|
204 %b = call float @llvm.minnum.f32(float %z, float %w) #0
|
|
|
205 %c = call float @llvm.minnum.f32(float %a, float %b) #0
|
|
|
206 ret float %c
|
|
|
207 }
|
|
|
208
|
|
|
209 ; CHECK-LABEL: @minnum_x_maxnum_x_y
|
|
|
210 ; CHECK-NEXT: call float @llvm.maxnum.f32
|
|
|
211 ; CHECK-NEXT: call float @llvm.minnum.f32
|
|
|
212 ; CHECK-NEXT: ret float
|
|
|
213 define float @minnum_x_maxnum_x_y(float %x, float %y) #0 {
|
|
|
214 %a = call float @llvm.maxnum.f32(float %x, float %y) #0
|
|
|
215 %b = call float @llvm.minnum.f32(float %x, float %a) #0
|
|
|
216 ret float %b
|
|
|
217 }
|
|
|
218
|
|
|
219 ; CHECK-LABEL: @maxnum_x_minnum_x_y
|
|
|
220 ; CHECK-NEXT: call float @llvm.minnum.f32
|
|
|
221 ; CHECK-NEXT: call float @llvm.maxnum.f32
|
|
|
222 ; CHECK-NEXT: ret float
|
|
|
223 define float @maxnum_x_minnum_x_y(float %x, float %y) #0 {
|
|
|
224 %a = call float @llvm.minnum.f32(float %x, float %y) #0
|
|
|
225 %b = call float @llvm.maxnum.f32(float %x, float %a) #0
|
|
|
226 ret float %b
|
|
|
227 }
|
|
|
228
|
|
|
229 ; CHECK-LABEL: @fold_minnum_f32_inf_val
|
|
|
230 ; CHECK-NEXT: call float @llvm.minnum.f32(float %x, float 0x7FF0000000000000)
|
|
|
231 ; CHECK-NEXT: ret float
|
|
|
232 define float @fold_minnum_f32_inf_val(float %x) nounwind {
|
|
|
233 %val = call float @llvm.minnum.f32(float 0x7FF0000000000000, float %x) #0
|
|
|
234 ret float %val
|
|
|
235 }
|
|
|
236
|
|
|
237 ; CHECK-LABEL: @fold_minnum_f32_minf_val
|
|
|
238 ; CHECK-NEXT: ret float 0xFFF0000000000000
|
|
|
239 define float @fold_minnum_f32_minf_val(float %x) nounwind {
|
|
|
240 %val = call float @llvm.minnum.f32(float 0xFFF0000000000000, float %x) #0
|
|
|
241 ret float %val
|
|
|
242 }
|
|
|
243
|
|
|
244 attributes #0 = { nounwind readnone }
|
