test/CodeGen/X86/avx512-trunc-ext.ll

   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
   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>
   8   ret <16 x i8> %x
   9 }
  10
  11 ; CHECK-LABEL: trunc_8x64_to_8x16
  12 ; CHECK: vpmovqw
  13 ; CHECK: ret
  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>
  16   ret <8 x i16> %x
  17 }
  18
  19
  20 ; CHECK-LABEL: zext_16x8_to_16x32
  21 ; CHECK: vpmovzxbd {{.*}}%zmm
  22 ; CHECK: ret
  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>
  25   ret <16 x i32> %x
  26 }
  27
  28 ; CHECK-LABEL: sext_16x8_to_16x32
  29 ; CHECK: vpmovsxbd {{.*}}%zmm
  30 ; CHECK: ret
  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>
  33   ret <16 x i32> %x
  34 }
  35
  36
  37 ; CHECK-LABEL: zext_16x16_to_16x32
  38 ; CHECK: vpmovzxwd {{.*}}%zmm
  39 ; CHECK: ret
  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>
  42   ret <16 x i32> %x
  43 }
  44
  45 ; CHECK-LABEL: zext_8x16_to_8x64
  46 ; CHECK: vpmovzxwq
  47 ; CHECK: ret
  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>
  50   ret <8 x i64> %x
  51 }
  52
  53 ;CHECK-LABEL: fptrunc_test
  54 ;CHECK: vcvtpd2ps {{.*}}%zmm
  55 ;CHECK: ret
  56 define <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
  64 define <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
  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>
  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
  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>
  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
  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
  95   ret i16 %mask
  96 }
  97
  98 ; CHECK-LABEL: trunc_16i32_to_16i1
  99 ; CHECK: vpandd
 100 ; CHECK: vptestmd
 101 ; CHECK: ret
 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
 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
 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
 116   ret i8 %mask
 117 }
 118
 119 ; CHECK-LABEL: sext_8i1_8i32
 120 ; CHECK: vpbroadcastq  LCP{{.*}}(%rip), %zmm0 {%k1} {z}
 121 ; CHECK: ret
 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>
 126   ret <8 x i32> %y
 127 }
 128
 129 ; CHECK-LABEL: trunc_v16i32_to_v16i16
 130 ; CHECK: vpmovdw
 131 ; CHECK: ret
 132 define <16 x i16> @trunc_v16i32_to_v16i16(<16 x i32> %x) {
 133   %1 = trunc <16 x i32> %x to <16 x i16>
 134   ret <16 x i16> %1
 135 }
 136
 137 ; CHECK-LABEL: trunc_i32_to_i1
 138 ; CHECK: testb
 139 ; CHECK: setne
 140 ; CKECK: orl
 141 ; CHECK: ret
 142 define i16 @trunc_i32_to_i1(i32 %a) {
 143   %a_i = trunc i32 %a to i1
 144   %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
 145   %res = bitcast <16 x i1> %maskv to i16
 146   ret i16 %res
 147 }