1 ; RUN: llc < %s -mtriple=x86_64-apple-darwin -mcpu=knl --show-mc-encoding | FileCheck %s
4 ; CHECK: vcvtdq2ps %zmm
6 define <16 x float> @sitof32(<16 x i32> %a) nounwind {
7 %b = sitofp <16 x i32> %a to <16 x float>
11 ; CHECK-LABEL: fptosi00
12 ; CHECK: vcvttps2dq %zmm
14 define <16 x i32> @fptosi00(<16 x float> %a) nounwind {
15 %b = fptosi <16 x float> %a to <16 x i32>
19 ; CHECK-LABEL: fptoui00
22 define <16 x i32> @fptoui00(<16 x float> %a) nounwind {
23 %b = fptoui <16 x float> %a to <16 x i32>
27 ; CHECK-LABEL: fptoui_256
30 define <8 x i32> @fptoui_256(<8 x float> %a) nounwind {
31 %b = fptoui <8 x float> %a to <8 x i32>
35 ; CHECK-LABEL: fptoui_128
38 define <4 x i32> @fptoui_128(<4 x float> %a) nounwind {
39 %b = fptoui <4 x float> %a to <4 x i32>
43 ; CHECK-LABEL: fptoui01
46 define <8 x i32> @fptoui01(<8 x double> %a) nounwind {
47 %b = fptoui <8 x double> %a to <8 x i32>
51 ; CHECK-LABEL: sitof64
52 ; CHECK: vcvtdq2pd %ymm
54 define <8 x double> @sitof64(<8 x i32> %a) {
55 %b = sitofp <8 x i32> %a to <8 x double>
59 ; CHECK-LABEL: fptosi01
60 ; CHECK: vcvttpd2dq %zmm
62 define <8 x i32> @fptosi01(<8 x double> %a) {
63 %b = fptosi <8 x double> %a to <8 x i32>
67 ; CHECK-LABEL: fptrunc00
68 ; CHECK: vcvtpd2ps %zmm
69 ; CHECK-NEXT: vcvtpd2ps %zmm
70 ; CHECK-NEXT: vinsertf64x4 $1
72 define <16 x float> @fptrunc00(<16 x double> %b) nounwind {
73 %a = fptrunc <16 x double> %b to <16 x float>
77 ; CHECK-LABEL: fpext00
78 ; CHECK: vcvtps2pd %ymm0, %zmm0
80 define <8 x double> @fpext00(<8 x float> %b) nounwind {
81 %a = fpext <8 x float> %b to <8 x double>
86 ; CHECK: vcvtsi2sdq (%rdi){{.*}} encoding: [0x62
88 define double @funcA(i64* nocapture %e) {
90 %tmp1 = load i64* %e, align 8
91 %conv = sitofp i64 %tmp1 to double
96 ; CHECK: vcvtsi2sdl (%{{.*}} encoding: [0x62
98 define double @funcB(i32* %e) {
100 %tmp1 = load i32* %e, align 4
101 %conv = sitofp i32 %tmp1 to double
106 ; CHECK: vcvtsi2ssl (%{{.*}} encoding: [0x62
108 define float @funcC(i32* %e) {
110 %tmp1 = load i32* %e, align 4
111 %conv = sitofp i32 %tmp1 to float
115 ; CHECK-LABEL: i64tof32
116 ; CHECK: vcvtsi2ssq (%{{.*}} encoding: [0x62
118 define float @i64tof32(i64* %e) {
120 %tmp1 = load i64* %e, align 8
121 %conv = sitofp i64 %tmp1 to float
126 ; CHECK: vcvtss2sd {{.*}} encoding: [0x62
128 define void @fpext() {
130 %f = alloca float, align 4
131 %d = alloca double, align 8
132 %tmp = load float* %f, align 4
133 %conv = fpext float %tmp to double
134 store double %conv, double* %d, align 8
138 ; CHECK-LABEL: fpround_scalar
139 ; CHECK: vmovsd {{.*}} encoding: [0x62
140 ; CHECK: vcvtsd2ss {{.*}} encoding: [0x62
141 ; CHECK: vmovss {{.*}} encoding: [0x62
143 define void @fpround_scalar() nounwind uwtable {
145 %f = alloca float, align 4
146 %d = alloca double, align 8
147 %tmp = load double* %d, align 8
148 %conv = fptrunc double %tmp to float
149 store float %conv, float* %f, align 4
153 ; CHECK-LABEL: long_to_double
154 ; CHECK: vmovq {{.*}} encoding: [0x62
156 define double @long_to_double(i64 %x) {
157 %res = bitcast i64 %x to double
161 ; CHECK-LABEL: double_to_long
162 ; CHECK: vmovq {{.*}} encoding: [0x62
164 define i64 @double_to_long(double %x) {
165 %res = bitcast double %x to i64
169 ; CHECK-LABEL: int_to_float
170 ; CHECK: vmovd {{.*}} encoding: [0x62
172 define float @int_to_float(i32 %x) {
173 %res = bitcast i32 %x to float
177 ; CHECK-LABEL: float_to_int
178 ; CHECK: vmovd {{.*}} encoding: [0x62
180 define i32 @float_to_int(float %x) {
181 %res = bitcast float %x to i32
185 ; CHECK-LABEL: uitof64
187 ; CHECK: vextracti64x4
190 define <16 x double> @uitof64(<16 x i32> %a) nounwind {
191 %b = uitofp <16 x i32> %a to <16 x double>
195 ; CHECK-LABEL: uitof64_256
198 define <4 x double> @uitof64_256(<4 x i32> %a) nounwind {
199 %b = uitofp <4 x i32> %a to <4 x double>
203 ; CHECK-LABEL: uitof32
206 define <16 x float> @uitof32(<16 x i32> %a) nounwind {
207 %b = uitofp <16 x i32> %a to <16 x float>
211 ; CHECK-LABEL: uitof32_256
214 define <8 x float> @uitof32_256(<8 x i32> %a) nounwind {
215 %b = uitofp <8 x i32> %a to <8 x float>
219 ; CHECK-LABEL: uitof32_128
222 define <4 x float> @uitof32_128(<4 x i32> %a) nounwind {
223 %b = uitofp <4 x i32> %a to <4 x float>
227 ; CHECK-LABEL: @fptosi02
228 ; CHECK: vcvttss2si {{.*}} encoding: [0x62
230 define i32 @fptosi02(float %a) nounwind {
231 %b = fptosi float %a to i32
235 ; CHECK-LABEL: @fptoui02
236 ; CHECK: vcvttss2usi {{.*}} encoding: [0x62
238 define i32 @fptoui02(float %a) nounwind {
239 %b = fptoui float %a to i32
243 ; CHECK-LABEL: @uitofp02
246 define float @uitofp02(i32 %a) nounwind {
247 %b = uitofp i32 %a to float
251 ; CHECK-LABEL: @uitofp03
254 define double @uitofp03(i32 %a) nounwind {
255 %b = uitofp i32 %a to double
259 ; CHECK-LABEL: @sitofp_16i1_float
260 ; CHECK: vpbroadcastd
262 define <16 x float> @sitofp_16i1_float(<16 x i32> %a) {
263 %mask = icmp slt <16 x i32> %a, zeroinitializer
264 %1 = sitofp <16 x i1> %mask to <16 x float>
268 ; CHECK-LABEL: @sitofp_16i8_float
271 define <16 x float> @sitofp_16i8_float(<16 x i8> %a) {
272 %1 = sitofp <16 x i8> %a to <16 x float>
276 ; CHECK-LABEL: @sitofp_16i16_float
279 define <16 x float> @sitofp_16i16_float(<16 x i16> %a) {
280 %1 = sitofp <16 x i16> %a to <16 x float>
284 ; CHECK-LABEL: @sitofp_8i16_double
287 define <8 x double> @sitofp_8i16_double(<8 x i16> %a) {
288 %1 = sitofp <8 x i16> %a to <8 x double>
292 ; CHECK-LABEL: sitofp_8i8_double
297 define <8 x double> @sitofp_8i8_double(<8 x i8> %a) {
298 %1 = sitofp <8 x i8> %a to <8 x double>
303 ; CHECK-LABEL: @sitofp_8i1_double
304 ; CHECK: vpbroadcastq
306 define <8 x double> @sitofp_8i1_double(<8 x double> %a) {
307 %cmpres = fcmp ogt <8 x double> %a, zeroinitializer
308 %1 = sitofp <8 x i1> %cmpres to <8 x double>