1 ; RUN: llc < %s -mtriple=x86_64-apple-darwin -mcpu=knl | FileCheck %s
2 ; RUN: llc < %s -mtriple=x86_64-apple-darwin -mcpu=skx | FileCheck --check-prefix=SKX %s
4 ; CHECK-LABEL: trunc_16x32_to_16x8
7 define <16 x i8> @trunc_16x32_to_16x8(<16 x i32> %i) nounwind readnone {
8 %x = trunc <16 x i32> %i to <16 x i8>
12 ; CHECK-LABEL: trunc_8x64_to_8x16
15 define <8 x i16> @trunc_8x64_to_8x16(<8 x i64> %i) nounwind readnone {
16 %x = trunc <8 x i64> %i to <8 x i16>
21 ; CHECK-LABEL: zext_16x8_to_16x32
22 ; CHECK: vpmovzxbd {{.*}}%zmm
24 define <16 x i32> @zext_16x8_to_16x32(<16 x i8> %i) nounwind readnone {
25 %x = zext <16 x i8> %i to <16 x i32>
29 ; CHECK-LABEL: sext_16x8_to_16x32
30 ; CHECK: vpmovsxbd {{.*}}%zmm
32 define <16 x i32> @sext_16x8_to_16x32(<16 x i8> %i) nounwind readnone {
33 %x = sext <16 x i8> %i to <16 x i32>
38 ; CHECK-LABEL: zext_16x16_to_16x32
39 ; CHECK: vpmovzxwd {{.*}}%zmm
41 define <16 x i32> @zext_16x16_to_16x32(<16 x i16> %i) nounwind readnone {
42 %x = zext <16 x i16> %i to <16 x i32>
46 ; CHECK-LABEL: zext_8x16_to_8x64
49 define <8 x i64> @zext_8x16_to_8x64(<8 x i16> %i) nounwind readnone {
50 %x = zext <8 x i16> %i to <8 x i64>
54 ;CHECK-LABEL: fptrunc_test
55 ;CHECK: vcvtpd2ps {{.*}}%zmm
57 define <8 x float> @fptrunc_test(<8 x double> %a) nounwind readnone {
58 %b = fptrunc <8 x double> %a to <8 x float>
62 ;CHECK-LABEL: fpext_test
63 ;CHECK: vcvtps2pd {{.*}}%zmm
65 define <8 x double> @fpext_test(<8 x float> %a) nounwind readnone {
66 %b = fpext <8 x float> %a to <8 x double>
70 ; CHECK-LABEL: zext_16i1_to_16xi32
71 ; CHECK: vpbroadcastd LCP{{.*}}(%rip), %zmm0 {%k1} {z}
73 define <16 x i32> @zext_16i1_to_16xi32(i16 %b) {
74 %a = bitcast i16 %b to <16 x i1>
75 %c = zext <16 x i1> %a to <16 x i32>
79 ; CHECK-LABEL: zext_8i1_to_8xi64
80 ; CHECK: vpbroadcastq LCP{{.*}}(%rip), %zmm0 {%k1} {z}
82 define <8 x i64> @zext_8i1_to_8xi64(i8 %b) {
83 %a = bitcast i8 %b to <8 x i1>
84 %c = zext <8 x i1> %a to <8 x i64>
88 ; CHECK-LABEL: trunc_16i8_to_16i1
93 ; SKX-LABEL: trunc_16i8_to_16i1
95 define i16 @trunc_16i8_to_16i1(<16 x i8> %a) {
96 %mask_b = trunc <16 x i8>%a to <16 x i1>
97 %mask = bitcast <16 x i1> %mask_b to i16
101 ; CHECK-LABEL: trunc_16i32_to_16i1
105 ; SKX-LABEL: trunc_16i32_to_16i1
107 define i16 @trunc_16i32_to_16i1(<16 x i32> %a) {
108 %mask_b = trunc <16 x i32>%a to <16 x i1>
109 %mask = bitcast <16 x i1> %mask_b to i16
113 ; SKX-LABEL: trunc_4i32_to_4i1
117 define <4 x i32> @trunc_4i32_to_4i1(<4 x i32> %a, <4 x i32> %b) {
118 %mask_a = trunc <4 x i32>%a to <4 x i1>
119 %mask_b = trunc <4 x i32>%b to <4 x i1>
120 %a_and_b = and <4 x i1>%mask_a, %mask_b
121 %res = sext <4 x i1>%a_and_b to <4 x i32>
125 ; CHECK-LABEL: trunc_8i16_to_8i1
127 ; CHECK: vpandq LCP{{.*}}(%rip){1to8}
131 ; SKX-LABEL: trunc_8i16_to_8i1
133 define i8 @trunc_8i16_to_8i1(<8 x i16> %a) {
134 %mask_b = trunc <8 x i16>%a to <8 x i1>
135 %mask = bitcast <8 x i1> %mask_b to i8
139 ; CHECK-LABEL: sext_8i1_8i32
140 ; CHECK: vpbroadcastq LCP{{.*}}(%rip), %zmm0 {%k1} {z}
143 define <8 x i32> @sext_8i1_8i32(<8 x i32> %a1, <8 x i32> %a2) nounwind {
144 %x = icmp slt <8 x i32> %a1, %a2
145 %x1 = xor <8 x i1>%x, <i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true>
146 %y = sext <8 x i1> %x1 to <8 x i32>
150 ; CHECK-LABEL: trunc_v16i32_to_v16i16
153 define <16 x i16> @trunc_v16i32_to_v16i16(<16 x i32> %x) {
154 %1 = trunc <16 x i32> %x to <16 x i16>
158 ; CHECK-LABEL: trunc_i32_to_i1
163 define i16 @trunc_i32_to_i1(i32 %a) {
164 %a_i = trunc i32 %a to i1
165 %maskv = insertelement <16 x i1> <i1 true, i1 false, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true>, i1 %a_i, i32 0
166 %res = bitcast <16 x i1> %maskv to i16
170 ; CHECK-LABEL: sext_8i1_8i16
173 define <8 x i16> @sext_8i1_8i16(<8 x i32> %a1, <8 x i32> %a2) nounwind {
174 %x = icmp slt <8 x i32> %a1, %a2
175 %y = sext <8 x i1> %x to <8 x i16>
179 ; CHECK-LABEL: sext_16i1_16i32
182 define <16 x i32> @sext_16i1_16i32(<16 x i32> %a1, <16 x i32> %a2) nounwind {
183 %x = icmp slt <16 x i32> %a1, %a2
184 %y = sext <16 x i1> %x to <16 x i32>
188 ; CHECK-LABEL: sext_8i1_8i64
191 define <8 x i64> @sext_8i1_8i64(<8 x i32> %a1, <8 x i32> %a2) nounwind {
192 %x = icmp slt <8 x i32> %a1, %a2
193 %y = sext <8 x i1> %x to <8 x i64>