1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
|
// RUN: %clang_cc1 -triple arm64-none-linux-gnu -target-feature +fullfp16 \
// RUN: -fallow-half-arguments-and-returns -S -disable-O0-optnone \
// RUN: -emit-llvm -o - %s | opt -S -mem2reg \
// RUN: | FileCheck --check-prefix=COMMON --check-prefix=COMMONIR --check-prefix=UNCONSTRAINED %s
// RUN: %clang_cc1 -triple arm64-none-linux-gnu -target-feature +fullfp16 \
// RUN: -fallow-half-arguments-and-returns -S -disable-O0-optnone \
// RUN: -ffp-exception-behavior=strict -emit-llvm -o - %s | opt -S -mem2reg \
// RUN: | FileCheck --check-prefix=COMMON --check-prefix=COMMONIR --check-prefix=CONSTRAINED %s
// RUN: %clang_cc1 -triple arm64-none-linux-gnu -target-feature +fullfp16 \
// RUN: -fallow-half-arguments-and-returns -S -disable-O0-optnone -o - %s \
// RUN: | FileCheck --check-prefix=COMMON --check-prefix=CHECK-ASM %s
// RUN: %clang_cc1 -triple arm64-none-linux-gnu -target-feature +fullfp16 \
// RUN: -ffp-exception-behavior=strict \
// RUN: -fallow-half-arguments-and-returns -S -disable-O0-optnone -o - %s \
// RUN: | FileCheck --check-prefix=COMMON --check-prefix=CHECK-ASM %s
// REQUIRES: aarch64-registered-target
// "Lowering of strict fp16 not yet implemented"
// XFAIL: *
#include <arm_fp16.h>
// COMMON-LABEL: test_vceqzh_f16
// UNCONSTRAINED: [[TMP1:%.*]] = fcmp oeq half %a, 0xH0000
// CONSTRAINED: [[TMP1:%.*]] = call i1 @llvm.experimental.constrained.fcmp.f16(half %a, half 0xH0000, metadata !"oeq", metadata !"fpexcept.strict")
// CHECK-ASM: fcmp
// CHECK-ASM: cset {{w[0-9]+}}, eq
// COMMONIR: [[TMP2:%.*]] = sext i1 [[TMP1]] to i16
// COMMONIR: ret i16 [[TMP2]]
uint16_t test_vceqzh_f16(float16_t a) {
return vceqzh_f16(a);
}
// COMMON-LABEL: test_vcgezh_f16
// UNCONSTRAINED: [[TMP1:%.*]] = fcmp oge half %a, 0xH0000
// CONSTRAINED: [[TMP1:%.*]] = call i1 @llvm.experimental.constrained.fcmp.f16(half %a, half 0xH0000, metadata !"oge", metadata !"fpexcept.strict")
// CHECK-ASM: fcmp
// CHECK-ASM: cset {{w[0-9]+}}, ge
// COMMONIR: [[TMP2:%.*]] = sext i1 [[TMP1]] to i16
// COMMONIR: ret i16 [[TMP2]]
uint16_t test_vcgezh_f16(float16_t a) {
return vcgezh_f16(a);
}
// COMMON-LABEL: test_vcgtzh_f16
// UNCONSTRAINED: [[TMP1:%.*]] = fcmp ogt half %a, 0xH0000
// CONSTRAINED: [[TMP1:%.*]] = call i1 @llvm.experimental.constrained.fcmp.f16(half %a, half 0xH0000, metadata !"ogt", metadata !"fpexcept.strict")
// CHECK-ASM: fcmp
// CHECK-ASM: cset {{w[0-9]+}}, gt
// COMMONIR: [[TMP2:%.*]] = sext i1 [[TMP1]] to i16
// COMMONIR: ret i16 [[TMP2]]
uint16_t test_vcgtzh_f16(float16_t a) {
return vcgtzh_f16(a);
}
// COMMON-LABEL: test_vclezh_f16
// UNCONSTRAINED: [[TMP1:%.*]] = fcmp ole half %a, 0xH0000
// CONSTRAINED: [[TMP1:%.*]] = call i1 @llvm.experimental.constrained.fcmp.f16(half %a, half 0xH0000, metadata !"ole", metadata !"fpexcept.strict")
// CHECK-ASM: fcmp
// CHECK-ASM: cset {{w[0-9]+}}, ls
// COMMONIR: [[TMP2:%.*]] = sext i1 [[TMP1]] to i16
// COMMONIR: ret i16 [[TMP2]]
uint16_t test_vclezh_f16(float16_t a) {
return vclezh_f16(a);
}
// COMMON-LABEL: test_vcltzh_f16
// UNCONSTRAINED: [[TMP1:%.*]] = fcmp olt half %a, 0xH0000
// CONSTRAINED: [[TMP1:%.*]] = call i1 @llvm.experimental.constrained.fcmp.f16(half %a, half 0xH0000, metadata !"olt", metadata !"fpexcept.strict")
// CHECK-ASM: fcmp
// CHECK-ASM: cset {{w[0-9]+}}, mi
// COMMONIR: [[TMP2:%.*]] = sext i1 [[TMP1]] to i16
// COMMONIR: ret i16 [[TMP2]]
uint16_t test_vcltzh_f16(float16_t a) {
return vcltzh_f16(a);
}
// COMMON-LABEL: test_vcvth_f16_s16
// UNCONSTRAINED: [[VCVT:%.*]] = sitofp i16 %a to half
// CONSTRAINED: [[VCVT:%.*]] = call half @llvm.experimental.constrained.sitofp.f16.i16(i16 %a, metadata !"round.tonearest", metadata !"fpexcept.strict")
// CHECK-ASM: scvtf
// COMMONIR: ret half [[VCVT]]
float16_t test_vcvth_f16_s16 (int16_t a) {
return vcvth_f16_s16(a);
}
// COMMON-LABEL: test_vcvth_f16_s32
// UNCONSTRAINED: [[VCVT:%.*]] = sitofp i32 %a to half
// CONSTRAINED: [[VCVT:%.*]] = call half @llvm.experimental.constrained.sitofp.f16.i32(i32 %a, metadata !"round.tonearest", metadata !"fpexcept.strict")
// CHECK-ASM: scvtf
// COMMONIR: ret half [[VCVT]]
float16_t test_vcvth_f16_s32 (int32_t a) {
return vcvth_f16_s32(a);
}
// COMMON-LABEL: test_vcvth_f16_s64
// UNCONSTRAINED: [[VCVT:%.*]] = sitofp i64 %a to half
// CONSTRAINED: [[VCVT:%.*]] = call half @llvm.experimental.constrained.sitofp.f16.i64(i64 %a, metadata !"round.tonearest", metadata !"fpexcept.strict")
// CHECK-ASM: scvtf
// COMMONIR: ret half [[VCVT]]
float16_t test_vcvth_f16_s64 (int64_t a) {
return vcvth_f16_s64(a);
}
// COMMON-LABEL: test_vcvth_f16_u16
// UNCONSTRAINED: [[VCVT:%.*]] = uitofp i16 %a to half
// CONSTRAINED: [[VCVT:%.*]] = call half @llvm.experimental.constrained.uitofp.f16.i16(i16 %a, metadata !"round.tonearest", metadata !"fpexcept.strict")
// CHECK-ASM: ucvtf
// COMMONIR: ret half [[VCVT]]
float16_t test_vcvth_f16_u16 (uint16_t a) {
return vcvth_f16_u16(a);
}
// COMMON-LABEL: test_vcvth_f16_u32
// UNCONSTRAINED: [[VCVT:%.*]] = uitofp i32 %a to half
// CONSTRAINED: [[VCVT:%.*]] = call half @llvm.experimental.constrained.uitofp.f16.i32(i32 %a, metadata !"round.tonearest", metadata !"fpexcept.strict")
// CHECK-ASM: ucvtf
// COMMONIR: ret half [[VCVT]]
float16_t test_vcvth_f16_u32 (uint32_t a) {
return vcvth_f16_u32(a);
}
// COMMON-LABEL: test_vcvth_f16_u64
// UNCONSTRAINED: [[VCVT:%.*]] = uitofp i64 %a to half
// CONSTRAINED: [[VCVT:%.*]] = call half @llvm.experimental.constrained.uitofp.f16.i64(i64 %a, metadata !"round.tonearest", metadata !"fpexcept.strict")
// CHECK-ASM: ucvtf
// COMMONIR: ret half [[VCVT]]
float16_t test_vcvth_f16_u64 (uint64_t a) {
return vcvth_f16_u64(a);
}
// COMMON-LABEL: test_vcvth_s16_f16
// UNCONSTRAINED: [[VCVT:%.*]] = fptosi half %a to i16
// CONSTRAINED: [[VCVT:%.*]] = call i16 @llvm.experimental.constrained.fptosi.i16.f16(half %a, metadata !"fpexcept.strict")
// CHECK-ASM: fcvt [[CVTREG:s[0-9]+]], {{h[0-9]+}}
// CHECK-ASM: fcvtzs {{w[0-9]+}}, [[CVTREG]]
// COMMONIR: ret i16 [[VCVT]]
int16_t test_vcvth_s16_f16 (float16_t a) {
return vcvth_s16_f16(a);
}
// COMMON-LABEL: test_vcvth_s32_f16
// UNCONSTRAINED: [[VCVT:%.*]] = fptosi half %a to i32
// CONSTRAINED: [[VCVT:%.*]] = call i32 @llvm.experimental.constrained.fptosi.i32.f16(half %a, metadata !"fpexcept.strict")
// CHECK-ASM: fcvt [[CVTREG:s[0-9]+]], {{h[0-9]+}}
// CHECK-ASM: fcvtzs {{w[0-9]+}}, [[CVTREG]]
// COMMONIR: ret i32 [[VCVT]]
int32_t test_vcvth_s32_f16 (float16_t a) {
return vcvth_s32_f16(a);
}
// COMMON-LABEL: test_vcvth_s64_f16
// UNCONSTRAINED: [[VCVT:%.*]] = fptosi half %a to i64
// CONSTRAINED: [[VCVT:%.*]] = call i64 @llvm.experimental.constrained.fptosi.i64.f16(half %a, metadata !"fpexcept.strict")
// CHECK-ASM: fcvt [[CVTREG:s[0-9]+]], {{h[0-9]+}}
// CHECK-ASM: fcvtzs {{x[0-9]+}}, [[CVTREG]]
// COMMONIR: ret i64 [[VCVT]]
int64_t test_vcvth_s64_f16 (float16_t a) {
return vcvth_s64_f16(a);
}
// COMMON-LABEL: test_vcvth_u16_f16
// UNCONSTRAINED: [[VCVT:%.*]] = fptoui half %a to i16
// CONSTRAINED: [[VCVT:%.*]] = call i16 @llvm.experimental.constrained.fptoui.i16.f16(half %a, metadata !"fpexcept.strict")
// CHECK-ASM: fcvt [[CVTREG:s[0-9]+]], {{h[0-9]+}}
// CHECK-ASM: fcvtzu {{w[0-9]+}}, [[CVTREG]]
// COMMONIR: ret i16 [[VCVT]]
uint16_t test_vcvth_u16_f16 (float16_t a) {
return vcvth_u16_f16(a);
}
// COMMON-LABEL: test_vcvth_u32_f16
// UNCONSTRAINED: [[VCVT:%.*]] = fptoui half %a to i32
// CONSTRAINED: [[VCVT:%.*]] = call i32 @llvm.experimental.constrained.fptoui.i32.f16(half %a, metadata !"fpexcept.strict")
// CHECK-ASM: fcvt [[CVTREG:s[0-9]+]], {{h[0-9]+}}
// CHECK-ASM: fcvtzu {{w[0-9]+}}, [[CVTREG]]
// COMMONIR: ret i32 [[VCVT]]
uint32_t test_vcvth_u32_f16 (float16_t a) {
return vcvth_u32_f16(a);
}
// COMMON-LABEL: test_vcvth_u64_f16
// UNCONSTRAINED: [[VCVT:%.*]] = fptoui half %a to i64
// CONSTRAINED: [[VCVT:%.*]] = call i64 @llvm.experimental.constrained.fptoui.i64.f16(half %a, metadata !"fpexcept.strict")
// CHECK-ASM: fcvt [[CVTREG:s[0-9]+]], {{h[0-9]+}}
// CHECK-ASM: fcvtzu {{x[0-9]+}}, [[CVTREG]]
// COMMONIR: ret i64 [[VCVT]]
uint64_t test_vcvth_u64_f16 (float16_t a) {
return vcvth_u64_f16(a);
}
// COMMON-LABEL: test_vrndh_f16
// UNCONSTRAINED: [[RND:%.*]] = call half @llvm.trunc.f16(half %a)
// CONSTRAINED: [[RND:%.*]] = call half @llvm.experimental.constrained.trunc.f16(half %a, metadata !"fpexcept.strict")
// CHECK-ASM: frintz
// COMMONIR: ret half [[RND]]
float16_t test_vrndh_f16(float16_t a) {
return vrndh_f16(a);
}
// COMMON-LABEL: test_vrndah_f16
// UNCONSTRAINED: [[RND:%.*]] = call half @llvm.round.f16(half %a)
// CONSTRAINED: [[RND:%.*]] = call half @llvm.experimental.constrained.round.f16(half %a, metadata !"fpexcept.strict")
// CHECK-ASM: frinta
// COMMONIR: ret half [[RND]]
float16_t test_vrndah_f16(float16_t a) {
return vrndah_f16(a);
}
// COMMON-LABEL: test_vrndih_f16
// UNCONSTRAINED: [[RND:%.*]] = call half @llvm.nearbyint.f16(half %a)
// CONSTRAINED: [[RND:%.*]] = call half @llvm.experimental.constrained.nearbyint.f16(half %a, metadata !"round.tonearest", metadata !"fpexcept.strict")
// CHECK-ASM: frinti
// COMMONIR: ret half [[RND]]
float16_t test_vrndih_f16(float16_t a) {
return vrndih_f16(a);
}
// COMMON-LABEL: test_vrndmh_f16
// UNCONSTRAINED: [[RND:%.*]] = call half @llvm.floor.f16(half %a)
// CONSTRAINED: [[RND:%.*]] = call half @llvm.experimental.constrained.floor.f16(half %a, metadata !"fpexcept.strict")
// CHECK-ASM: frintm
// COMMONIR: ret half [[RND]]
float16_t test_vrndmh_f16(float16_t a) {
return vrndmh_f16(a);
}
// COMMON-LABEL: test_vrndph_f16
// UNCONSTRAINED: [[RND:%.*]] = call half @llvm.ceil.f16(half %a)
// CONSTRAINED: [[RND:%.*]] = call half @llvm.experimental.constrained.ceil.f16(half %a, metadata !"fpexcept.strict")
// CHECK-ASM: frintp
// COMMONIR: ret half [[RND]]
float16_t test_vrndph_f16(float16_t a) {
return vrndph_f16(a);
}
// COMMON-LABEL: test_vrndxh_f16
// UNCONSTRAINED: [[RND:%.*]] = call half @llvm.rint.f16(half %a)
// CONSTRAINED: [[RND:%.*]] = call half @llvm.experimental.constrained.rint.f16(half %a, metadata !"round.tonearest", metadata !"fpexcept.strict")
// CHECK-ASM: frintx
// COMMONIR: ret half [[RND]]
float16_t test_vrndxh_f16(float16_t a) {
return vrndxh_f16(a);
}
// COMMON-LABEL: test_vsqrth_f16
// UNCONSTRAINED: [[SQR:%.*]] = call half @llvm.sqrt.f16(half %a)
// CONSTRAINED: [[SQR:%.*]] = call half @llvm.experimental.constrained.sqrt.f16(half %a, metadata !"round.tonearest", metadata !"fpexcept.strict")
// CHECK-ASM: fsqrt
// COMMONIR: ret half [[SQR]]
float16_t test_vsqrth_f16(float16_t a) {
return vsqrth_f16(a);
}
// COMMON-LABEL: test_vaddh_f16
// UNCONSTRAINED: [[ADD:%.*]] = fadd half %a, %b
// CONSTRAINED: [[ADD:%.*]] = call half @llvm.experimental.constrained.fadd.f16(half %a, half %b, metadata !"round.tonearest", metadata !"fpexcept.strict")
// CHECK-ASM: fadd
// COMMONIR: ret half [[ADD]]
float16_t test_vaddh_f16(float16_t a, float16_t b) {
return vaddh_f16(a, b);
}
// COMMON-LABEL: test_vceqh_f16
// UNCONSTRAINED: [[TMP1:%.*]] = fcmp oeq half %a, %b
// CONSTRAINED: [[TMP1:%.*]] = call i1 @llvm.experimental.constrained.fcmp.f16(half %a, half %b, metadata !"oeq", metadata !"fpexcept.strict")
// CHECK-ASM: fcmp
// CHECK-ASM: cset {{w[0-9]+}}, eq
// COMMONIR: [[TMP2:%.*]] = sext i1 [[TMP1]] to i16
// COMMONIR: ret i16 [[TMP2]]
uint16_t test_vceqh_f16(float16_t a, float16_t b) {
return vceqh_f16(a, b);
}
// COMMON-LABEL: test_vcgeh_f16
// UNCONSTRAINED: [[TMP1:%.*]] = fcmp oge half %a, %b
// CONSTRAINED: [[TMP1:%.*]] = call i1 @llvm.experimental.constrained.fcmp.f16(half %a, half %b, metadata !"oge", metadata !"fpexcept.strict")
// CHECK-ASM: fcmp
// CHECK-ASM: cset {{w[0-9]+}}, ge
// COMMONIR: [[TMP2:%.*]] = sext i1 [[TMP1]] to i16
// COMMONIR: ret i16 [[TMP2]]
uint16_t test_vcgeh_f16(float16_t a, float16_t b) {
return vcgeh_f16(a, b);
}
// COMMON-LABEL: test_vcgth_f16
// UNCONSTRAINED: [[TMP1:%.*]] = fcmp ogt half %a, %b
// CONSTRAINED: [[TMP1:%.*]] = call i1 @llvm.experimental.constrained.fcmp.f16(half %a, half %b, metadata !"ogt", metadata !"fpexcept.strict")
// CHECK-ASM: fcmp
// CHECK-ASM: cset {{w[0-9]+}}, gt
// COMMONIR: [[TMP2:%.*]] = sext i1 [[TMP1]] to i16
// COMMONIR: ret i16 [[TMP2]]
uint16_t test_vcgth_f16(float16_t a, float16_t b) {
return vcgth_f16(a, b);
}
// COMMON-LABEL: test_vcleh_f16
// UNCONSTRAINED: [[TMP1:%.*]] = fcmp ole half %a, %b
// CONSTRAINED: [[TMP1:%.*]] = call i1 @llvm.experimental.constrained.fcmp.f16(half %a, half %b, metadata !"ole", metadata !"fpexcept.strict")
// CHECK-ASM: fcmp
// CHECK-ASM: cset {{w[0-9]+}}, ls
// COMMONIR: [[TMP2:%.*]] = sext i1 [[TMP1]] to i16
// COMMONIR: ret i16 [[TMP2]]
uint16_t test_vcleh_f16(float16_t a, float16_t b) {
return vcleh_f16(a, b);
}
// COMMON-LABEL: test_vclth_f16
// UNCONSTRAINED: [[TMP1:%.*]] = fcmp olt half %a, %b
// CONSTRAINED: [[TMP1:%.*]] = call i1 @llvm.experimental.constrained.fcmp.f16(half %a, half %b, metadata !"olt", metadata !"fpexcept.strict")
// CHECK-ASM: fcmp
// CHECK-ASM: cset {{w[0-9]+}}, mi
// COMMONIR: [[TMP2:%.*]] = sext i1 [[TMP1]] to i16
// COMMONIR: ret i16 [[TMP2]]
uint16_t test_vclth_f16(float16_t a, float16_t b) {
return vclth_f16(a, b);
}
// COMMON-LABEL: test_vdivh_f16
// UNCONSTRAINED: [[DIV:%.*]] = fdiv half %a, %b
// CONSTRAINED: [[DIV:%.*]] = call half @llvm.experimental.constrained.fdiv.f16(half %a, half %b, metadata !"round.tonearest", metadata !"fpexcept.strict")
// CHECK-ASM: fdiv
// COMMONIR: ret half [[DIV]]
float16_t test_vdivh_f16(float16_t a, float16_t b) {
return vdivh_f16(a, b);
}
// COMMON-LABEL: test_vmulh_f16
// UNCONSTRAINED: [[MUL:%.*]] = fmul half %a, %b
// CONSTRAINED: [[MUL:%.*]] = call half @llvm.experimental.constrained.fmul.f16(half %a, half %b, metadata !"round.tonearest", metadata !"fpexcept.strict")
// CHECK-ASM: fmul
// COMMONIR: ret half [[MUL]]
float16_t test_vmulh_f16(float16_t a, float16_t b) {
return vmulh_f16(a, b);
}
// COMMON-LABEL: test_vsubh_f16
// UNCONSTRAINED: [[SUB:%.*]] = fsub half %a, %b
// CONSTRAINED: [[SUB:%.*]] = call half @llvm.experimental.constrained.fsub.f16(half %a, half %b, metadata !"round.tonearest", metadata !"fpexcept.strict")
// CHECK-ASM: fsub
// COMMONIR: ret half [[SUB]]
float16_t test_vsubh_f16(float16_t a, float16_t b) {
return vsubh_f16(a, b);
}
// COMMON-LABEL: test_vfmah_f16
// UNCONSTRAINED: [[FMA:%.*]] = call half @llvm.fma.f16(half %b, half %c, half %a)
// CONSTRAINED: [[FMA:%.*]] = call half @llvm.experimental.constrained.fma.f16(half %b, half %c, half %a, metadata !"round.tonearest", metadata !"fpexcept.strict")
// CHECK-ASM: fmadd
// COMMONIR: ret half [[FMA]]
float16_t test_vfmah_f16(float16_t a, float16_t b, float16_t c) {
return vfmah_f16(a, b, c);
}
// COMMON-LABEL: test_vfmsh_f16
// UNCONSTRAINED: [[SUB:%.*]] = fsub half 0xH8000, %b
// CONSTRAINED: [[SUB:%.*]] = call half @llvm.experimental.constrained.fsub.f16(half 0xH8000, half %b, metadata !"round.tonearest", metadata !"fpexcept.strict")
// UNCONSTRAINED: [[ADD:%.*]] = call half @llvm.fma.f16(half [[SUB]], half %c, half %a)
// CONSTRAINED: [[ADD:%.*]] = call half @llvm.experimental.constrained.fma.f16(half [[SUB]], half %c, half %a, metadata !"round.tonearest", metadata !"fpexcept.strict")
// CHECK-ASM: fmsub
// COMMONIR: ret half [[ADD]]
float16_t test_vfmsh_f16(float16_t a, float16_t b, float16_t c) {
return vfmsh_f16(a, b, c);
}
|
