1 ; RUN: llc < %s -mtriple=x86_64-apple-darwin -mcpu=knl | FileCheck %s
3 ; CHECK-LABEL: trunc_16x32_to_16x8
6 define <16 x i8> @trunc_16x32_to_16x8(<16 x i32> %i) nounwind readnone {
7 %x = trunc <16 x i32> %i to <16 x i8>
11 ; CHECK-LABEL: trunc_8x64_to_8x16
14 define <8 x i16> @trunc_8x64_to_8x16(<8 x i64> %i) nounwind readnone {
15 %x = trunc <8 x i64> %i to <8 x i16>
20 ; CHECK-LABEL: zext_16x8_to_16x32
21 ; CHECK; vpmovzxbd {{.*}}%zmm
23 define <16 x i32> @zext_16x8_to_16x32(<16 x i8> %i) nounwind readnone {
24 %x = zext <16 x i8> %i to <16 x i32>
28 ; CHECK-LABEL: sext_16x8_to_16x32
29 ; CHECK; vpmovsxbd {{.*}}%zmm
31 define <16 x i32> @sext_16x8_to_16x32(<16 x i8> %i) nounwind readnone {
32 %x = sext <16 x i8> %i to <16 x i32>
37 ; CHECK-LABEL: zext_16x16_to_16x32
38 ; CHECK; vpmovzxwd {{.*}}%zmm
40 define <16 x i32> @zext_16x16_to_16x32(<16 x i16> %i) nounwind readnone {
41 %x = zext <16 x i16> %i to <16 x i32>
45 ; CHECK-LABEL: zext_8x16_to_8x64
48 define <8 x i64> @zext_8x16_to_8x64(<8 x i16> %i) nounwind readnone {
49 %x = zext <8 x i16> %i to <8 x i64>
53 ;CHECK-LABEL: fptrunc_test
54 ;CHECK: vcvtpd2ps {{.*}}%zmm
56 define <8 x float> @fptrunc_test(<8 x double> %a) nounwind readnone {
57 %b = fptrunc <8 x double> %a to <8 x float>
61 ;CHECK-LABEL: fpext_test
62 ;CHECK: vcvtps2pd {{.*}}%zmm
64 define <8 x double> @fpext_test(<8 x float> %a) nounwind readnone {
65 %b = fpext <8 x float> %a to <8 x double>
69 ; CHECK-LABEL: zext_16i1_to_16xi32
70 ; CHECK: vpbroadcastd LCP{{.*}}(%rip), %zmm0{%k1}{z}
72 define <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>
78 ; CHECK-LABEL: zext_8i1_to_8xi64
79 ; CHECK: vpbroadcastq LCP{{.*}}(%rip), %zmm0{%k1}{z}
81 define <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>
87 ; CHECK-LABEL: trunc_16i8_to_16i1
92 define 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
98 ; CHECK-LABEL: trunc_16i32_to_16i1
102 define 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
108 ; CHECK-LABEL: trunc_8i16_to_8i1
110 ; CHECK: vpandq LCP{{.*}}(%rip){1to8}
113 define 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
119 ; CHECK: sext_8i1_8i32
120 ; CHECK: vpbroadcastq LCP{{.*}}(%rip), %zmm0{%k1}{z}
122 define <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>