1; RUN: llc < %s -mtriple=x86_64-apple-darwin -mcpu=knl | FileCheck %s
2
3; CHECK-LABEL: trunc_16x32_to_16x8
4; CHECK: vpmovdb
5; CHECK: ret
6define <16 x i8> @trunc_16x32_to_16x8(<16 x i32> %i) nounwind readnone {
7  %x = trunc <16 x i32> %i to <16 x i8>
8  ret <16 x i8> %x
9}
10
11; CHECK-LABEL: trunc_8x64_to_8x16
12; CHECK: vpmovqw
13; CHECK: ret
14define <8 x i16> @trunc_8x64_to_8x16(<8 x i64> %i) nounwind readnone {
15  %x = trunc <8 x i64> %i to <8 x i16>
16  ret <8 x i16> %x
17}
18
19
20; CHECK-LABEL: zext_16x8_to_16x32
21; CHECK; vpmovzxbd {{.*}}%zmm
22; CHECK: ret
23define <16 x i32> @zext_16x8_to_16x32(<16 x i8> %i) nounwind readnone {
24  %x = zext <16 x i8> %i to <16 x i32>
25  ret <16 x i32> %x
26}
27
28; CHECK-LABEL: sext_16x8_to_16x32
29; CHECK; vpmovsxbd {{.*}}%zmm
30; CHECK: ret
31define <16 x i32> @sext_16x8_to_16x32(<16 x i8> %i) nounwind readnone {
32  %x = sext <16 x i8> %i to <16 x i32>
33  ret <16 x i32> %x
34}
35
36
37; CHECK-LABEL: zext_16x16_to_16x32
38; CHECK; vpmovzxwd {{.*}}%zmm
39; CHECK: ret
40define <16 x i32> @zext_16x16_to_16x32(<16 x i16> %i) nounwind readnone {
41  %x = zext <16 x i16> %i to <16 x i32>
42  ret <16 x i32> %x
43}
44
45; CHECK-LABEL: zext_8x16_to_8x64
46; CHECK; vpmovzxwq
47; CHECK: ret
48define <8 x i64> @zext_8x16_to_8x64(<8 x i16> %i) nounwind readnone {
49  %x = zext <8 x i16> %i to <8 x i64>
50  ret <8 x i64> %x
51}
52
53;CHECK-LABEL: fptrunc_test
54;CHECK: vcvtpd2ps {{.*}}%zmm
55;CHECK: ret
56define <8 x float> @fptrunc_test(<8 x double> %a) nounwind readnone {
57  %b = fptrunc <8 x double> %a to <8 x float>
58  ret <8 x float> %b
59}
60
61;CHECK-LABEL: fpext_test
62;CHECK: vcvtps2pd {{.*}}%zmm
63;CHECK: ret
64define <8 x double> @fpext_test(<8 x float> %a) nounwind readnone {
65  %b = fpext <8 x float> %a to <8 x double>
66  ret <8 x double> %b
67}
68
69; CHECK-LABEL: zext_16i1_to_16xi32
70; CHECK: vpbroadcastd LCP{{.*}}(%rip), %zmm0 {%k1} {z}
71; CHECK: ret
72define   <16 x i32> @zext_16i1_to_16xi32(i16 %b) {
73  %a = bitcast i16 %b to <16 x i1>
74  %c = zext <16 x i1> %a to <16 x i32>
75  ret <16 x i32> %c
76}
77
78; CHECK-LABEL: zext_8i1_to_8xi64
79; CHECK: vpbroadcastq LCP{{.*}}(%rip), %zmm0 {%k1} {z}
80; CHECK: ret
81define   <8 x i64> @zext_8i1_to_8xi64(i8 %b) {
82  %a = bitcast i8 %b to <8 x i1>
83  %c = zext <8 x i1> %a to <8 x i64>
84  ret <8 x i64> %c
85}
86
87; CHECK-LABEL: trunc_16i8_to_16i1
88; CHECK: vpmovsxbd
89; CHECK: vpandd
90; CHECK: vptestmd
91; CHECK: ret
92define i16 @trunc_16i8_to_16i1(<16 x i8> %a) {
93  %mask_b = trunc <16 x i8>%a to <16 x i1>
94  %mask = bitcast <16 x i1> %mask_b to i16
95  ret i16 %mask
96}
97
98; CHECK-LABEL: trunc_16i32_to_16i1
99; CHECK: vpandd
100; CHECK: vptestmd
101; CHECK: ret
102define i16 @trunc_16i32_to_16i1(<16 x i32> %a) {
103  %mask_b = trunc <16 x i32>%a to <16 x i1>
104  %mask = bitcast <16 x i1> %mask_b to i16
105  ret i16 %mask
106}
107
108; CHECK-LABEL: trunc_8i16_to_8i1
109; CHECK: vpmovsxwq
110; CHECK: vpandq LCP{{.*}}(%rip){1to8}
111; CHECK: vptestmq
112; CHECK: ret
113define i8 @trunc_8i16_to_8i1(<8 x i16> %a) {
114  %mask_b = trunc <8 x i16>%a to <8 x i1>
115  %mask = bitcast <8 x i1> %mask_b to i8
116  ret i8 %mask
117}
118
119; CHECK: sext_8i1_8i32
120; CHECK: vpbroadcastq  LCP{{.*}}(%rip), %zmm0 {%k1} {z}
121; CHECK: ret
122define <8 x i32> @sext_8i1_8i32(<8 x i32> %a1, <8 x i32> %a2) nounwind {
123  %x = icmp slt <8 x i32> %a1, %a2
124  %x1 = xor <8 x i1>%x, <i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true>
125  %y = sext <8 x i1> %x1 to <8 x i32>
126  ret <8 x i32> %y
127}
128