test/CodeGen/X86/vector-reduce-xor-bool.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+sse2 | FileCheck %s --check-prefixes=SSE,SSE2
   3 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+sse4.1 | FileCheck %s --check-prefixes=SSE,SSE41
   4 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx | FileCheck %s --check-prefixes=AVX,AVX1
   5 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx2 | FileCheck %s --check-prefixes=AVX,AVX2
   6 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx512f | FileCheck %s --check-prefixes=AVX512,AVX512F
   7 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx512f,+avx512bw | FileCheck %s --check-prefixes=AVX512,AVX512BW
   8 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx512f,+avx512bw,+avx512vl | FileCheck %s --check-prefixes=AVX512,AVX512VL
   9
  10 ;
  11 ; Truncate
  12 ;
  13
  14 define i1 @trunc_v2i64_v2i1(<2 x i64>) {
  15 ; SSE-LABEL: trunc_v2i64_v2i1:
  16 ; SSE:       # %bb.0:
  17 ; SSE-NEXT:    psllq $63, %xmm0
  18 ; SSE-NEXT:    movmskpd %xmm0, %eax
  19 ; SSE-NEXT:    xorb $0, %al
  20 ; SSE-NEXT:    setnp %al
  21 ; SSE-NEXT:    retq
  22 ;
  23 ; AVX-LABEL: trunc_v2i64_v2i1:
  24 ; AVX:       # %bb.0:
  25 ; AVX-NEXT:    vpsllq $63, %xmm0, %xmm0
  26 ; AVX-NEXT:    vmovmskpd %xmm0, %eax
  27 ; AVX-NEXT:    xorb $0, %al
  28 ; AVX-NEXT:    setnp %al
  29 ; AVX-NEXT:    retq
  30 ;
  31 ; AVX512F-LABEL: trunc_v2i64_v2i1:
  32 ; AVX512F:       # %bb.0:
  33 ; AVX512F-NEXT:    vpsllq $63, %xmm0, %xmm0
  34 ; AVX512F-NEXT:    vptestmq %zmm0, %zmm0, %k0
  35 ; AVX512F-NEXT:    kmovw %k0, %eax
  36 ; AVX512F-NEXT:    andl $3, %eax
  37 ; AVX512F-NEXT:    xorb $0, %al
  38 ; AVX512F-NEXT:    setnp %al
  39 ; AVX512F-NEXT:    vzeroupper
  40 ; AVX512F-NEXT:    retq
  41 ;
  42 ; AVX512BW-LABEL: trunc_v2i64_v2i1:
  43 ; AVX512BW:       # %bb.0:
  44 ; AVX512BW-NEXT:    vpsllq $63, %xmm0, %xmm0
  45 ; AVX512BW-NEXT:    vptestmq %zmm0, %zmm0, %k0
  46 ; AVX512BW-NEXT:    kmovd %k0, %eax
  47 ; AVX512BW-NEXT:    andl $3, %eax
  48 ; AVX512BW-NEXT:    xorb $0, %al
  49 ; AVX512BW-NEXT:    setnp %al
  50 ; AVX512BW-NEXT:    vzeroupper
  51 ; AVX512BW-NEXT:    retq
  52 ;
  53 ; AVX512VL-LABEL: trunc_v2i64_v2i1:
  54 ; AVX512VL:       # %bb.0:
  55 ; AVX512VL-NEXT:    vpsllq $63, %xmm0, %xmm0
  56 ; AVX512VL-NEXT:    vptestmq %xmm0, %xmm0, %k0
  57 ; AVX512VL-NEXT:    kmovd %k0, %eax
  58 ; AVX512VL-NEXT:    andl $3, %eax
  59 ; AVX512VL-NEXT:    xorb $0, %al
  60 ; AVX512VL-NEXT:    setnp %al
  61 ; AVX512VL-NEXT:    retq
  62   %a = trunc <2 x i64> %0 to <2 x i1>
  63   %b = call i1 @llvm.experimental.vector.reduce.xor.v2i1(<2 x i1> %a)
  64   ret i1 %b
  65 }
  66
  67 define i1 @trunc_v4i32_v4i1(<4 x i32>) {
  68 ; SSE-LABEL: trunc_v4i32_v4i1:
  69 ; SSE:       # %bb.0:
  70 ; SSE-NEXT:    pslld $31, %xmm0
  71 ; SSE-NEXT:    movmskps %xmm0, %eax
  72 ; SSE-NEXT:    xorb $0, %al
  73 ; SSE-NEXT:    setnp %al
  74 ; SSE-NEXT:    retq
  75 ;
  76 ; AVX-LABEL: trunc_v4i32_v4i1:
  77 ; AVX:       # %bb.0:
  78 ; AVX-NEXT:    vpslld $31, %xmm0, %xmm0
  79 ; AVX-NEXT:    vmovmskps %xmm0, %eax
  80 ; AVX-NEXT:    xorb $0, %al
  81 ; AVX-NEXT:    setnp %al
  82 ; AVX-NEXT:    retq
  83 ;
  84 ; AVX512F-LABEL: trunc_v4i32_v4i1:
  85 ; AVX512F:       # %bb.0:
  86 ; AVX512F-NEXT:    vpslld $31, %xmm0, %xmm0
  87 ; AVX512F-NEXT:    vptestmd %zmm0, %zmm0, %k0
  88 ; AVX512F-NEXT:    kmovw %k0, %eax
  89 ; AVX512F-NEXT:    andl $15, %eax
  90 ; AVX512F-NEXT:    xorb $0, %al
  91 ; AVX512F-NEXT:    setnp %al
  92 ; AVX512F-NEXT:    vzeroupper
  93 ; AVX512F-NEXT:    retq
  94 ;
  95 ; AVX512BW-LABEL: trunc_v4i32_v4i1:
  96 ; AVX512BW:       # %bb.0:
  97 ; AVX512BW-NEXT:    vpslld $31, %xmm0, %xmm0
  98 ; AVX512BW-NEXT:    vptestmd %zmm0, %zmm0, %k0
  99 ; AVX512BW-NEXT:    kmovd %k0, %eax
 100 ; AVX512BW-NEXT:    andl $15, %eax
 101 ; AVX512BW-NEXT:    xorb $0, %al
 102 ; AVX512BW-NEXT:    setnp %al
 103 ; AVX512BW-NEXT:    vzeroupper
 104 ; AVX512BW-NEXT:    retq
 105 ;
 106 ; AVX512VL-LABEL: trunc_v4i32_v4i1:
 107 ; AVX512VL:       # %bb.0:
 108 ; AVX512VL-NEXT:    vpslld $31, %xmm0, %xmm0
 109 ; AVX512VL-NEXT:    vptestmd %xmm0, %xmm0, %k0
 110 ; AVX512VL-NEXT:    kmovd %k0, %eax
 111 ; AVX512VL-NEXT:    andl $15, %eax
 112 ; AVX512VL-NEXT:    xorb $0, %al
 113 ; AVX512VL-NEXT:    setnp %al
 114 ; AVX512VL-NEXT:    retq
 115   %a = trunc <4 x i32> %0 to <4 x i1>
 116   %b = call i1 @llvm.experimental.vector.reduce.xor.v4i1(<4 x i1> %a)
 117   ret i1 %b
 118 }
 119
 120 define i1 @trunc_v8i16_v8i1(<8 x i8>) {
 121 ; SSE2-LABEL: trunc_v8i16_v8i1:
 122 ; SSE2:       # %bb.0:
 123 ; SSE2-NEXT:    punpcklbw {{.*#+}} xmm0 = xmm0[0,0,1,1,2,2,3,3,4,4,5,5,6,6,7,7]
 124 ; SSE2-NEXT:    psllw $15, %xmm0
 125 ; SSE2-NEXT:    packsswb %xmm0, %xmm0
 126 ; SSE2-NEXT:    pmovmskb %xmm0, %eax
 127 ; SSE2-NEXT:    xorb $0, %al
 128 ; SSE2-NEXT:    setnp %al
 129 ; SSE2-NEXT:    retq
 130 ;
 131 ; SSE41-LABEL: trunc_v8i16_v8i1:
 132 ; SSE41:       # %bb.0:
 133 ; SSE41-NEXT:    pmovzxbw {{.*#+}} xmm0 = xmm0[0],zero,xmm0[1],zero,xmm0[2],zero,xmm0[3],zero,xmm0[4],zero,xmm0[5],zero,xmm0[6],zero,xmm0[7],zero
 134 ; SSE41-NEXT:    psllw $15, %xmm0
 135 ; SSE41-NEXT:    packsswb %xmm0, %xmm0
 136 ; SSE41-NEXT:    pmovmskb %xmm0, %eax
 137 ; SSE41-NEXT:    xorb $0, %al
 138 ; SSE41-NEXT:    setnp %al
 139 ; SSE41-NEXT:    retq
 140 ;
 141 ; AVX-LABEL: trunc_v8i16_v8i1:
 142 ; AVX:       # %bb.0:
 143 ; AVX-NEXT:    vpmovzxbw {{.*#+}} xmm0 = xmm0[0],zero,xmm0[1],zero,xmm0[2],zero,xmm0[3],zero,xmm0[4],zero,xmm0[5],zero,xmm0[6],zero,xmm0[7],zero
 144 ; AVX-NEXT:    vpsllw $15, %xmm0, %xmm0
 145 ; AVX-NEXT:    vpacksswb %xmm0, %xmm0, %xmm0
 146 ; AVX-NEXT:    vpmovmskb %xmm0, %eax
 147 ; AVX-NEXT:    xorb $0, %al
 148 ; AVX-NEXT:    setnp %al
 149 ; AVX-NEXT:    retq
 150 ;
 151 ; AVX512F-LABEL: trunc_v8i16_v8i1:
 152 ; AVX512F:       # %bb.0:
 153 ; AVX512F-NEXT:    vpmovsxbd %xmm0, %zmm0
 154 ; AVX512F-NEXT:    vpslld $31, %zmm0, %zmm0
 155 ; AVX512F-NEXT:    vptestmd %zmm0, %zmm0, %k0
 156 ; AVX512F-NEXT:    kmovw %k0, %eax
 157 ; AVX512F-NEXT:    xorb $0, %al
 158 ; AVX512F-NEXT:    setnp %al
 159 ; AVX512F-NEXT:    vzeroupper
 160 ; AVX512F-NEXT:    retq
 161 ;
 162 ; AVX512BW-LABEL: trunc_v8i16_v8i1:
 163 ; AVX512BW:       # %bb.0:
 164 ; AVX512BW-NEXT:    vpsllw $7, %xmm0, %xmm0
 165 ; AVX512BW-NEXT:    vpmovb2m %zmm0, %k0
 166 ; AVX512BW-NEXT:    kmovd %k0, %eax
 167 ; AVX512BW-NEXT:    xorb $0, %al
 168 ; AVX512BW-NEXT:    setnp %al
 169 ; AVX512BW-NEXT:    vzeroupper
 170 ; AVX512BW-NEXT:    retq
 171 ;
 172 ; AVX512VL-LABEL: trunc_v8i16_v8i1:
 173 ; AVX512VL:       # %bb.0:
 174 ; AVX512VL-NEXT:    vpsllw $7, %xmm0, %xmm0
 175 ; AVX512VL-NEXT:    vpmovb2m %xmm0, %k0
 176 ; AVX512VL-NEXT:    kmovd %k0, %eax
 177 ; AVX512VL-NEXT:    xorb $0, %al
 178 ; AVX512VL-NEXT:    setnp %al
 179 ; AVX512VL-NEXT:    retq
 180   %a = trunc <8 x i8> %0 to <8 x i1>
 181   %b = call i1 @llvm.experimental.vector.reduce.xor.v8i1(<8 x i1> %a)
 182   ret i1 %b
 183 }
 184
 185 define i1 @trunc_v16i8_v16i1(<16 x i8>) {
 186 ; SSE-LABEL: trunc_v16i8_v16i1:
 187 ; SSE:       # %bb.0:
 188 ; SSE-NEXT:    psllw $7, %xmm0
 189 ; SSE-NEXT:    pmovmskb %xmm0, %eax
 190 ; SSE-NEXT:    movl %eax, %ecx
 191 ; SSE-NEXT:    shrl $8, %ecx
 192 ; SSE-NEXT:    xorb %al, %cl
 193 ; SSE-NEXT:    setnp %al
 194 ; SSE-NEXT:    retq
 195 ;
 196 ; AVX-LABEL: trunc_v16i8_v16i1:
 197 ; AVX:       # %bb.0:
 198 ; AVX-NEXT:    vpsllw $7, %xmm0, %xmm0
 199 ; AVX-NEXT:    vpmovmskb %xmm0, %eax
 200 ; AVX-NEXT:    movl %eax, %ecx
 201 ; AVX-NEXT:    shrl $8, %ecx
 202 ; AVX-NEXT:    xorb %al, %cl
 203 ; AVX-NEXT:    setnp %al
 204 ; AVX-NEXT:    retq
 205 ;
 206 ; AVX512-LABEL: trunc_v16i8_v16i1:
 207 ; AVX512:       # %bb.0:
 208 ; AVX512-NEXT:    vpsllw $7, %xmm0, %xmm0
 209 ; AVX512-NEXT:    vpmovmskb %xmm0, %eax
 210 ; AVX512-NEXT:    movl %eax, %ecx
 211 ; AVX512-NEXT:    shrl $8, %ecx
 212 ; AVX512-NEXT:    xorb %al, %cl
 213 ; AVX512-NEXT:    setnp %al
 214 ; AVX512-NEXT:    retq
 215   %a = trunc <16 x i8> %0 to <16 x i1>
 216   %b = call i1 @llvm.experimental.vector.reduce.xor.v16i1(<16 x i1> %a)
 217   ret i1 %b
 218 }
 219
 220 define i1 @trunc_v4i64_v4i1(<4 x i64>) {
 221 ; SSE-LABEL: trunc_v4i64_v4i1:
 222 ; SSE:       # %bb.0:
 223 ; SSE-NEXT:    shufps {{.*#+}} xmm0 = xmm0[0,2],xmm1[0,2]
 224 ; SSE-NEXT:    pslld $31, %xmm0
 225 ; SSE-NEXT:    movmskps %xmm0, %eax
 226 ; SSE-NEXT:    xorb $0, %al
 227 ; SSE-NEXT:    setnp %al
 228 ; SSE-NEXT:    retq
 229 ;
 230 ; AVX-LABEL: trunc_v4i64_v4i1:
 231 ; AVX:       # %bb.0:
 232 ; AVX-NEXT:    vextractf128 $1, %ymm0, %xmm1
 233 ; AVX-NEXT:    vshufps {{.*#+}} xmm0 = xmm0[0,2],xmm1[0,2]
 234 ; AVX-NEXT:    vpslld $31, %xmm0, %xmm0
 235 ; AVX-NEXT:    vmovmskps %xmm0, %eax
 236 ; AVX-NEXT:    xorb $0, %al
 237 ; AVX-NEXT:    setnp %al
 238 ; AVX-NEXT:    vzeroupper
 239 ; AVX-NEXT:    retq
 240 ;
 241 ; AVX512F-LABEL: trunc_v4i64_v4i1:
 242 ; AVX512F:       # %bb.0:
 243 ; AVX512F-NEXT:    vpsllq $63, %ymm0, %ymm0
 244 ; AVX512F-NEXT:    vptestmq %zmm0, %zmm0, %k0
 245 ; AVX512F-NEXT:    kmovw %k0, %eax
 246 ; AVX512F-NEXT:    andl $15, %eax
 247 ; AVX512F-NEXT:    xorb $0, %al
 248 ; AVX512F-NEXT:    setnp %al
 249 ; AVX512F-NEXT:    vzeroupper
 250 ; AVX512F-NEXT:    retq
 251 ;
 252 ; AVX512BW-LABEL: trunc_v4i64_v4i1:
 253 ; AVX512BW:       # %bb.0:
 254 ; AVX512BW-NEXT:    vpsllq $63, %ymm0, %ymm0
 255 ; AVX512BW-NEXT:    vptestmq %zmm0, %zmm0, %k0
 256 ; AVX512BW-NEXT:    kmovd %k0, %eax
 257 ; AVX512BW-NEXT:    andl $15, %eax
 258 ; AVX512BW-NEXT:    xorb $0, %al
 259 ; AVX512BW-NEXT:    setnp %al
 260 ; AVX512BW-NEXT:    vzeroupper
 261 ; AVX512BW-NEXT:    retq
 262 ;
 263 ; AVX512VL-LABEL: trunc_v4i64_v4i1:
 264 ; AVX512VL:       # %bb.0:
 265 ; AVX512VL-NEXT:    vpsllq $63, %ymm0, %ymm0
 266 ; AVX512VL-NEXT:    vptestmq %ymm0, %ymm0, %k0
 267 ; AVX512VL-NEXT:    kmovd %k0, %eax
 268 ; AVX512VL-NEXT:    andl $15, %eax
 269 ; AVX512VL-NEXT:    xorb $0, %al
 270 ; AVX512VL-NEXT:    setnp %al
 271 ; AVX512VL-NEXT:    vzeroupper
 272 ; AVX512VL-NEXT:    retq
 273   %a = trunc <4 x i64> %0 to <4 x i1>
 274   %b = call i1 @llvm.experimental.vector.reduce.xor.v4i1(<4 x i1> %a)
 275   ret i1 %b
 276 }
 277
 278 define i1 @trunc_v8i32_v8i1(<8 x i32>) {
 279 ; SSE2-LABEL: trunc_v8i32_v8i1:
 280 ; SSE2:       # %bb.0:
 281 ; SSE2-NEXT:    pslld $16, %xmm1
 282 ; SSE2-NEXT:    psrad $16, %xmm1
 283 ; SSE2-NEXT:    pslld $16, %xmm0
 284 ; SSE2-NEXT:    psrad $16, %xmm0
 285 ; SSE2-NEXT:    packssdw %xmm1, %xmm0
 286 ; SSE2-NEXT:    psllw $15, %xmm0
 287 ; SSE2-NEXT:    packsswb %xmm0, %xmm0
 288 ; SSE2-NEXT:    pmovmskb %xmm0, %eax
 289 ; SSE2-NEXT:    xorb $0, %al
 290 ; SSE2-NEXT:    setnp %al
 291 ; SSE2-NEXT:    retq
 292 ;
 293 ; SSE41-LABEL: trunc_v8i32_v8i1:
 294 ; SSE41:       # %bb.0:
 295 ; SSE41-NEXT:    movdqa {{.*#+}} xmm2 = [0,1,4,5,8,9,12,13,8,9,12,13,12,13,14,15]
 296 ; SSE41-NEXT:    pshufb %xmm2, %xmm1
 297 ; SSE41-NEXT:    pshufb %xmm2, %xmm0
 298 ; SSE41-NEXT:    punpcklqdq {{.*#+}} xmm0 = xmm0[0],xmm1[0]
 299 ; SSE41-NEXT:    psllw $15, %xmm0
 300 ; SSE41-NEXT:    packsswb %xmm0, %xmm0
 301 ; SSE41-NEXT:    pmovmskb %xmm0, %eax
 302 ; SSE41-NEXT:    xorb $0, %al
 303 ; SSE41-NEXT:    setnp %al
 304 ; SSE41-NEXT:    retq
 305 ;
 306 ; AVX1-LABEL: trunc_v8i32_v8i1:
 307 ; AVX1:       # %bb.0:
 308 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm1
 309 ; AVX1-NEXT:    vmovdqa {{.*#+}} xmm2 = [0,1,4,5,8,9,12,13,8,9,12,13,12,13,14,15]
 310 ; AVX1-NEXT:    vpshufb %xmm2, %xmm1, %xmm1
 311 ; AVX1-NEXT:    vpshufb %xmm2, %xmm0, %xmm0
 312 ; AVX1-NEXT:    vpunpcklqdq {{.*#+}} xmm0 = xmm0[0],xmm1[0]
 313 ; AVX1-NEXT:    vpsllw $15, %xmm0, %xmm0
 314 ; AVX1-NEXT:    vpacksswb %xmm0, %xmm0, %xmm0
 315 ; AVX1-NEXT:    vpmovmskb %xmm0, %eax
 316 ; AVX1-NEXT:    xorb $0, %al
 317 ; AVX1-NEXT:    setnp %al
 318 ; AVX1-NEXT:    vzeroupper
 319 ; AVX1-NEXT:    retq
 320 ;
 321 ; AVX2-LABEL: trunc_v8i32_v8i1:
 322 ; AVX2:       # %bb.0:
 323 ; AVX2-NEXT:    vpshufb {{.*#+}} ymm0 = ymm0[0,1,4,5,8,9,12,13,8,9,12,13,12,13,14,15,16,17,20,21,24,25,28,29,24,25,28,29,28,29,30,31]
 324 ; AVX2-NEXT:    vpermq {{.*#+}} ymm0 = ymm0[0,2,2,3]
 325 ; AVX2-NEXT:    vpsllw $15, %xmm0, %xmm0
 326 ; AVX2-NEXT:    vpacksswb %xmm0, %xmm0, %xmm0
 327 ; AVX2-NEXT:    vpmovmskb %xmm0, %eax
 328 ; AVX2-NEXT:    xorb $0, %al
 329 ; AVX2-NEXT:    setnp %al
 330 ; AVX2-NEXT:    vzeroupper
 331 ; AVX2-NEXT:    retq
 332 ;
 333 ; AVX512F-LABEL: trunc_v8i32_v8i1:
 334 ; AVX512F:       # %bb.0:
 335 ; AVX512F-NEXT:    vpslld $31, %ymm0, %ymm0
 336 ; AVX512F-NEXT:    vptestmd %zmm0, %zmm0, %k0
 337 ; AVX512F-NEXT:    kmovw %k0, %eax
 338 ; AVX512F-NEXT:    xorb $0, %al
 339 ; AVX512F-NEXT:    setnp %al
 340 ; AVX512F-NEXT:    vzeroupper
 341 ; AVX512F-NEXT:    retq
 342 ;
 343 ; AVX512BW-LABEL: trunc_v8i32_v8i1:
 344 ; AVX512BW:       # %bb.0:
 345 ; AVX512BW-NEXT:    vpslld $31, %ymm0, %ymm0
 346 ; AVX512BW-NEXT:    vptestmd %zmm0, %zmm0, %k0
 347 ; AVX512BW-NEXT:    kmovd %k0, %eax
 348 ; AVX512BW-NEXT:    xorb $0, %al
 349 ; AVX512BW-NEXT:    setnp %al
 350 ; AVX512BW-NEXT:    vzeroupper
 351 ; AVX512BW-NEXT:    retq
 352 ;
 353 ; AVX512VL-LABEL: trunc_v8i32_v8i1:
 354 ; AVX512VL:       # %bb.0:
 355 ; AVX512VL-NEXT:    vpslld $31, %ymm0, %ymm0
 356 ; AVX512VL-NEXT:    vptestmd %ymm0, %ymm0, %k0
 357 ; AVX512VL-NEXT:    kmovd %k0, %eax
 358 ; AVX512VL-NEXT:    xorb $0, %al
 359 ; AVX512VL-NEXT:    setnp %al
 360 ; AVX512VL-NEXT:    vzeroupper
 361 ; AVX512VL-NEXT:    retq
 362   %a = trunc <8 x i32> %0 to <8 x i1>
 363   %b = call i1 @llvm.experimental.vector.reduce.xor.v8i1(<8 x i1> %a)
 364   ret i1 %b
 365 }
 366
 367 define i1 @trunc_v16i16_v16i1(<16 x i16>) {
 368 ; SSE2-LABEL: trunc_v16i16_v16i1:
 369 ; SSE2:       # %bb.0:
 370 ; SSE2-NEXT:    movdqa {{.*#+}} xmm2 = [255,0,255,0,255,0,255,0,255,0,255,0,255,0,255,0]
 371 ; SSE2-NEXT:    pand %xmm2, %xmm1
 372 ; SSE2-NEXT:    pand %xmm2, %xmm0
 373 ; SSE2-NEXT:    packuswb %xmm1, %xmm0
 374 ; SSE2-NEXT:    psllw $7, %xmm0
 375 ; SSE2-NEXT:    pmovmskb %xmm0, %eax
 376 ; SSE2-NEXT:    movl %eax, %ecx
 377 ; SSE2-NEXT:    shrl $8, %ecx
 378 ; SSE2-NEXT:    xorb %al, %cl
 379 ; SSE2-NEXT:    setnp %al
 380 ; SSE2-NEXT:    retq
 381 ;
 382 ; SSE41-LABEL: trunc_v16i16_v16i1:
 383 ; SSE41:       # %bb.0:
 384 ; SSE41-NEXT:    movdqa {{.*#+}} xmm2 = <0,2,4,6,8,10,12,14,u,u,u,u,u,u,u,u>
 385 ; SSE41-NEXT:    pshufb %xmm2, %xmm1
 386 ; SSE41-NEXT:    pshufb %xmm2, %xmm0
 387 ; SSE41-NEXT:    punpcklqdq {{.*#+}} xmm0 = xmm0[0],xmm1[0]
 388 ; SSE41-NEXT:    psllw $7, %xmm0
 389 ; SSE41-NEXT:    pmovmskb %xmm0, %eax
 390 ; SSE41-NEXT:    movl %eax, %ecx
 391 ; SSE41-NEXT:    shrl $8, %ecx
 392 ; SSE41-NEXT:    xorb %al, %cl
 393 ; SSE41-NEXT:    setnp %al
 394 ; SSE41-NEXT:    retq
 395 ;
 396 ; AVX1-LABEL: trunc_v16i16_v16i1:
 397 ; AVX1:       # %bb.0:
 398 ; AVX1-NEXT:    vandps {{.*}}(%rip), %ymm0, %ymm0
 399 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm1
 400 ; AVX1-NEXT:    vpackuswb %xmm1, %xmm0, %xmm0
 401 ; AVX1-NEXT:    vpsllw $7, %xmm0, %xmm0
 402 ; AVX1-NEXT:    vpmovmskb %xmm0, %eax
 403 ; AVX1-NEXT:    movl %eax, %ecx
 404 ; AVX1-NEXT:    shrl $8, %ecx
 405 ; AVX1-NEXT:    xorb %al, %cl
 406 ; AVX1-NEXT:    setnp %al
 407 ; AVX1-NEXT:    vzeroupper
 408 ; AVX1-NEXT:    retq
 409 ;
 410 ; AVX2-LABEL: trunc_v16i16_v16i1:
 411 ; AVX2:       # %bb.0:
 412 ; AVX2-NEXT:    vpand {{.*}}(%rip), %ymm0, %ymm0
 413 ; AVX2-NEXT:    vextracti128 $1, %ymm0, %xmm1
 414 ; AVX2-NEXT:    vpackuswb %xmm1, %xmm0, %xmm0
 415 ; AVX2-NEXT:    vpsllw $7, %xmm0, %xmm0
 416 ; AVX2-NEXT:    vpmovmskb %xmm0, %eax
 417 ; AVX2-NEXT:    movl %eax, %ecx
 418 ; AVX2-NEXT:    shrl $8, %ecx
 419 ; AVX2-NEXT:    xorb %al, %cl
 420 ; AVX2-NEXT:    setnp %al
 421 ; AVX2-NEXT:    vzeroupper
 422 ; AVX2-NEXT:    retq
 423 ;
 424 ; AVX512F-LABEL: trunc_v16i16_v16i1:
 425 ; AVX512F:       # %bb.0:
 426 ; AVX512F-NEXT:    vpmovsxwd %ymm0, %zmm0
 427 ; AVX512F-NEXT:    vpslld $31, %zmm0, %zmm0
 428 ; AVX512F-NEXT:    vptestmd %zmm0, %zmm0, %k0
 429 ; AVX512F-NEXT:    kmovw %k0, %eax
 430 ; AVX512F-NEXT:    movl %eax, %ecx
 431 ; AVX512F-NEXT:    shrl $8, %ecx
 432 ; AVX512F-NEXT:    xorb %al, %cl
 433 ; AVX512F-NEXT:    setnp %al
 434 ; AVX512F-NEXT:    vzeroupper
 435 ; AVX512F-NEXT:    retq
 436 ;
 437 ; AVX512BW-LABEL: trunc_v16i16_v16i1:
 438 ; AVX512BW:       # %bb.0:
 439 ; AVX512BW-NEXT:    vpsllw $15, %ymm0, %ymm0
 440 ; AVX512BW-NEXT:    vpmovw2m %zmm0, %k0
 441 ; AVX512BW-NEXT:    kmovd %k0, %eax
 442 ; AVX512BW-NEXT:    movl %eax, %ecx
 443 ; AVX512BW-NEXT:    shrl $8, %ecx
 444 ; AVX512BW-NEXT:    xorb %al, %cl
 445 ; AVX512BW-NEXT:    setnp %al
 446 ; AVX512BW-NEXT:    vzeroupper
 447 ; AVX512BW-NEXT:    retq
 448 ;
 449 ; AVX512VL-LABEL: trunc_v16i16_v16i1:
 450 ; AVX512VL:       # %bb.0:
 451 ; AVX512VL-NEXT:    vpsllw $15, %ymm0, %ymm0
 452 ; AVX512VL-NEXT:    vpmovw2m %ymm0, %k0
 453 ; AVX512VL-NEXT:    kmovd %k0, %eax
 454 ; AVX512VL-NEXT:    movl %eax, %ecx
 455 ; AVX512VL-NEXT:    shrl $8, %ecx
 456 ; AVX512VL-NEXT:    xorb %al, %cl
 457 ; AVX512VL-NEXT:    setnp %al
 458 ; AVX512VL-NEXT:    vzeroupper
 459 ; AVX512VL-NEXT:    retq
 460   %a = trunc <16 x i16> %0 to <16 x i1>
 461   %b = call i1 @llvm.experimental.vector.reduce.xor.v16i1(<16 x i1> %a)
 462   ret i1 %b
 463 }
 464
 465 define i1 @trunc_v32i8_v32i1(<32 x i8>) {
 466 ; SSE-LABEL: trunc_v32i8_v32i1:
 467 ; SSE:       # %bb.0:
 468 ; SSE-NEXT:    pxor %xmm1, %xmm0
 469 ; SSE-NEXT:    psllw $7, %xmm0
 470 ; SSE-NEXT:    pmovmskb %xmm0, %eax
 471 ; SSE-NEXT:    movl %eax, %ecx
 472 ; SSE-NEXT:    shrl $8, %ecx
 473 ; SSE-NEXT:    xorb %al, %cl
 474 ; SSE-NEXT:    setnp %al
 475 ; SSE-NEXT:    retq
 476 ;
 477 ; AVX1-LABEL: trunc_v32i8_v32i1:
 478 ; AVX1:       # %bb.0:
 479 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm1
 480 ; AVX1-NEXT:    vpxor %xmm1, %xmm0, %xmm0
 481 ; AVX1-NEXT:    vpsllw $7, %xmm0, %xmm0
 482 ; AVX1-NEXT:    vpmovmskb %xmm0, %eax
 483 ; AVX1-NEXT:    movl %eax, %ecx
 484 ; AVX1-NEXT:    shrl $8, %ecx
 485 ; AVX1-NEXT:    xorb %al, %cl
 486 ; AVX1-NEXT:    setnp %al
 487 ; AVX1-NEXT:    vzeroupper
 488 ; AVX1-NEXT:    retq
 489 ;
 490 ; AVX2-LABEL: trunc_v32i8_v32i1:
 491 ; AVX2:       # %bb.0:
 492 ; AVX2-NEXT:    vpsllw $7, %ymm0, %ymm0
 493 ; AVX2-NEXT:    vpmovmskb %ymm0, %eax
 494 ; AVX2-NEXT:    movl %eax, %ecx
 495 ; AVX2-NEXT:    shrl $16, %ecx
 496 ; AVX2-NEXT:    xorl %eax, %ecx
 497 ; AVX2-NEXT:    movl %ecx, %eax
 498 ; AVX2-NEXT:    shrl $8, %eax
 499 ; AVX2-NEXT:    xorb %cl, %al
 500 ; AVX2-NEXT:    setnp %al
 501 ; AVX2-NEXT:    vzeroupper
 502 ; AVX2-NEXT:    retq
 503 ;
 504 ; AVX512F-LABEL: trunc_v32i8_v32i1:
 505 ; AVX512F:       # %bb.0:
 506 ; AVX512F-NEXT:    vextracti128 $1, %ymm0, %xmm1
 507 ; AVX512F-NEXT:    vpxor %xmm1, %xmm0, %xmm0
 508 ; AVX512F-NEXT:    vpmovsxbd %xmm0, %zmm0
 509 ; AVX512F-NEXT:    vpslld $31, %zmm0, %zmm0
 510 ; AVX512F-NEXT:    vptestmd %zmm0, %zmm0, %k0
 511 ; AVX512F-NEXT:    kshiftrw $8, %k0, %k1
 512 ; AVX512F-NEXT:    kxorw %k1, %k0, %k0
 513 ; AVX512F-NEXT:    kshiftrw $4, %k0, %k1
 514 ; AVX512F-NEXT:    kxorw %k1, %k0, %k0
 515 ; AVX512F-NEXT:    kshiftrw $2, %k0, %k1
 516 ; AVX512F-NEXT:    kxorw %k1, %k0, %k0
 517 ; AVX512F-NEXT:    kshiftrw $1, %k0, %k1
 518 ; AVX512F-NEXT:    kxorw %k1, %k0, %k0
 519 ; AVX512F-NEXT:    kmovw %k0, %eax
 520 ; AVX512F-NEXT:    # kill: def $al killed $al killed $eax
 521 ; AVX512F-NEXT:    vzeroupper
 522 ; AVX512F-NEXT:    retq
 523 ;
 524 ; AVX512BW-LABEL: trunc_v32i8_v32i1:
 525 ; AVX512BW:       # %bb.0:
 526 ; AVX512BW-NEXT:    vpsllw $7, %ymm0, %ymm0
 527 ; AVX512BW-NEXT:    vpmovmskb %ymm0, %eax
 528 ; AVX512BW-NEXT:    movl %eax, %ecx
 529 ; AVX512BW-NEXT:    shrl $16, %ecx
 530 ; AVX512BW-NEXT:    xorl %eax, %ecx
 531 ; AVX512BW-NEXT:    movl %ecx, %eax
 532 ; AVX512BW-NEXT:    shrl $8, %eax
 533 ; AVX512BW-NEXT:    xorb %cl, %al
 534 ; AVX512BW-NEXT:    setnp %al
 535 ; AVX512BW-NEXT:    vzeroupper
 536 ; AVX512BW-NEXT:    retq
 537 ;
 538 ; AVX512VL-LABEL: trunc_v32i8_v32i1:
 539 ; AVX512VL:       # %bb.0:
 540 ; AVX512VL-NEXT:    vpsllw $7, %ymm0, %ymm0
 541 ; AVX512VL-NEXT:    vpmovmskb %ymm0, %eax
 542 ; AVX512VL-NEXT:    movl %eax, %ecx
 543 ; AVX512VL-NEXT:    shrl $16, %ecx
 544 ; AVX512VL-NEXT:    xorl %eax, %ecx
 545 ; AVX512VL-NEXT:    movl %ecx, %eax
 546 ; AVX512VL-NEXT:    shrl $8, %eax
 547 ; AVX512VL-NEXT:    xorb %cl, %al
 548 ; AVX512VL-NEXT:    setnp %al
 549 ; AVX512VL-NEXT:    vzeroupper
 550 ; AVX512VL-NEXT:    retq
 551   %a = trunc <32 x i8> %0 to <32 x i1>
 552   %b = call i1 @llvm.experimental.vector.reduce.xor.v32i1(<32 x i1> %a)
 553   ret i1 %b
 554 }
 555
 556 define i1 @trunc_v8i64_v8i1(<8 x i64>) {
 557 ; SSE2-LABEL: trunc_v8i64_v8i1:
 558 ; SSE2:       # %bb.0:
 559 ; SSE2-NEXT:    pshufd {{.*#+}} xmm1 = xmm1[0,2,2,3]
 560 ; SSE2-NEXT:    pshuflw {{.*#+}} xmm1 = xmm1[0,2,2,3,4,5,6,7]
 561 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm0[0,2,2,3]
 562 ; SSE2-NEXT:    pshuflw {{.*#+}} xmm0 = xmm0[0,2,2,3,4,5,6,7]
 563 ; SSE2-NEXT:    punpckldq {{.*#+}} xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
 564 ; SSE2-NEXT:    pshufd {{.*#+}} xmm1 = xmm3[0,2,2,3]
 565 ; SSE2-NEXT:    pshuflw {{.*#+}} xmm1 = xmm1[0,1,0,2,4,5,6,7]
 566 ; SSE2-NEXT:    pshufd {{.*#+}} xmm2 = xmm2[0,2,2,3]
 567 ; SSE2-NEXT:    pshuflw {{.*#+}} xmm2 = xmm2[0,1,0,2,4,5,6,7]
 568 ; SSE2-NEXT:    punpckldq {{.*#+}} xmm2 = xmm2[0],xmm1[0],xmm2[1],xmm1[1]
 569 ; SSE2-NEXT:    movsd {{.*#+}} xmm2 = xmm0[0],xmm2[1]
 570 ; SSE2-NEXT:    psllw $15, %xmm2
 571 ; SSE2-NEXT:    packsswb %xmm0, %xmm2
 572 ; SSE2-NEXT:    pmovmskb %xmm2, %eax
 573 ; SSE2-NEXT:    xorb $0, %al
 574 ; SSE2-NEXT:    setnp %al
 575 ; SSE2-NEXT:    retq
 576 ;
 577 ; SSE41-LABEL: trunc_v8i64_v8i1:
 578 ; SSE41:       # %bb.0:
 579 ; SSE41-NEXT:    pxor %xmm4, %xmm4
 580 ; SSE41-NEXT:    pblendw {{.*#+}} xmm3 = xmm3[0],xmm4[1,2,3],xmm3[4],xmm4[5,6,7]
 581 ; SSE41-NEXT:    pblendw {{.*#+}} xmm2 = xmm2[0],xmm4[1,2,3],xmm2[4],xmm4[5,6,7]
 582 ; SSE41-NEXT:    packusdw %xmm3, %xmm2
 583 ; SSE41-NEXT:    pblendw {{.*#+}} xmm1 = xmm1[0],xmm4[1,2,3],xmm1[4],xmm4[5,6,7]
 584 ; SSE41-NEXT:    pblendw {{.*#+}} xmm0 = xmm0[0],xmm4[1,2,3],xmm0[4],xmm4[5,6,7]
 585 ; SSE41-NEXT:    packusdw %xmm1, %xmm0
 586 ; SSE41-NEXT:    packusdw %xmm2, %xmm0
 587 ; SSE41-NEXT:    psllw $15, %xmm0
 588 ; SSE41-NEXT:    packsswb %xmm0, %xmm0
 589 ; SSE41-NEXT:    pmovmskb %xmm0, %eax
 590 ; SSE41-NEXT:    xorb $0, %al
 591 ; SSE41-NEXT:    setnp %al
 592 ; SSE41-NEXT:    retq
 593 ;
 594 ; AVX1-LABEL: trunc_v8i64_v8i1:
 595 ; AVX1:       # %bb.0:
 596 ; AVX1-NEXT:    vmovaps {{.*#+}} ymm2 = [65535,65535,65535,65535]
 597 ; AVX1-NEXT:    vandps %ymm2, %ymm1, %ymm1
 598 ; AVX1-NEXT:    vextractf128 $1, %ymm1, %xmm3
 599 ; AVX1-NEXT:    vpackusdw %xmm3, %xmm1, %xmm1
 600 ; AVX1-NEXT:    vandps %ymm2, %ymm0, %ymm0
 601 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm2
 602 ; AVX1-NEXT:    vpackusdw %xmm2, %xmm0, %xmm0
 603 ; AVX1-NEXT:    vpackusdw %xmm1, %xmm0, %xmm0
 604 ; AVX1-NEXT:    vpsllw $15, %xmm0, %xmm0
 605 ; AVX1-NEXT:    vpacksswb %xmm0, %xmm0, %xmm0
 606 ; AVX1-NEXT:    vpmovmskb %xmm0, %eax
 607 ; AVX1-NEXT:    xorb $0, %al
 608 ; AVX1-NEXT:    setnp %al
 609 ; AVX1-NEXT:    vzeroupper
 610 ; AVX1-NEXT:    retq
 611 ;
 612 ; AVX2-LABEL: trunc_v8i64_v8i1:
 613 ; AVX2:       # %bb.0:
 614 ; AVX2-NEXT:    vextractf128 $1, %ymm1, %xmm2
 615 ; AVX2-NEXT:    vshufps {{.*#+}} xmm1 = xmm1[0,2],xmm2[0,2]
 616 ; AVX2-NEXT:    vextractf128 $1, %ymm0, %xmm2
 617 ; AVX2-NEXT:    vshufps {{.*#+}} xmm0 = xmm0[0,2],xmm2[0,2]
 618 ; AVX2-NEXT:    vinsertf128 $1, %xmm1, %ymm0, %ymm0
 619 ; AVX2-NEXT:    vpshufb {{.*#+}} ymm0 = ymm0[0,1,4,5,8,9,12,13,8,9,12,13,12,13,14,15,16,17,20,21,24,25,28,29,24,25,28,29,28,29,30,31]
 620 ; AVX2-NEXT:    vpermq {{.*#+}} ymm0 = ymm0[0,2,2,3]
 621 ; AVX2-NEXT:    vpsllw $15, %xmm0, %xmm0
 622 ; AVX2-NEXT:    vpacksswb %xmm0, %xmm0, %xmm0
 623 ; AVX2-NEXT:    vpmovmskb %xmm0, %eax
 624 ; AVX2-NEXT:    xorb $0, %al
 625 ; AVX2-NEXT:    setnp %al
 626 ; AVX2-NEXT:    vzeroupper
 627 ; AVX2-NEXT:    retq
 628 ;
 629 ; AVX512F-LABEL: trunc_v8i64_v8i1:
 630 ; AVX512F:       # %bb.0:
 631 ; AVX512F-NEXT:    vpsllq $63, %zmm0, %zmm0
 632 ; AVX512F-NEXT:    vptestmq %zmm0, %zmm0, %k0
 633 ; AVX512F-NEXT:    kmovw %k0, %eax
 634 ; AVX512F-NEXT:    xorb $0, %al
 635 ; AVX512F-NEXT:    setnp %al
 636 ; AVX512F-NEXT:    vzeroupper
 637 ; AVX512F-NEXT:    retq
 638 ;
 639 ; AVX512BW-LABEL: trunc_v8i64_v8i1:
 640 ; AVX512BW:       # %bb.0:
 641 ; AVX512BW-NEXT:    vpsllq $63, %zmm0, %zmm0
 642 ; AVX512BW-NEXT:    vptestmq %zmm0, %zmm0, %k0
 643 ; AVX512BW-NEXT:    kmovd %k0, %eax
 644 ; AVX512BW-NEXT:    xorb $0, %al
 645 ; AVX512BW-NEXT:    setnp %al
 646 ; AVX512BW-NEXT:    vzeroupper
 647 ; AVX512BW-NEXT:    retq
 648 ;
 649 ; AVX512VL-LABEL: trunc_v8i64_v8i1:
 650 ; AVX512VL:       # %bb.0:
 651 ; AVX512VL-NEXT:    vpsllq $63, %zmm0, %zmm0
 652 ; AVX512VL-NEXT:    vptestmq %zmm0, %zmm0, %k0
 653 ; AVX512VL-NEXT:    kmovd %k0, %eax
 654 ; AVX512VL-NEXT:    xorb $0, %al
 655 ; AVX512VL-NEXT:    setnp %al
 656 ; AVX512VL-NEXT:    vzeroupper
 657 ; AVX512VL-NEXT:    retq
 658   %a = trunc <8 x i64> %0 to <8 x i1>
 659   %b = call i1 @llvm.experimental.vector.reduce.xor.v8i1(<8 x i1> %a)
 660   ret i1 %b
 661 }
 662
 663 define i1 @trunc_v16i32_v16i1(<16 x i32>) {
 664 ; SSE2-LABEL: trunc_v16i32_v16i1:
 665 ; SSE2:       # %bb.0:
 666 ; SSE2-NEXT:    movdqa {{.*#+}} xmm4 = [255,0,0,0,255,0,0,0,255,0,0,0,255,0,0,0]
 667 ; SSE2-NEXT:    pand %xmm4, %xmm3
 668 ; SSE2-NEXT:    pand %xmm4, %xmm2
 669 ; SSE2-NEXT:    packuswb %xmm3, %xmm2
 670 ; SSE2-NEXT:    pand %xmm4, %xmm1
 671 ; SSE2-NEXT:    pand %xmm4, %xmm0
 672 ; SSE2-NEXT:    packuswb %xmm1, %xmm0
 673 ; SSE2-NEXT:    packuswb %xmm2, %xmm0
 674 ; SSE2-NEXT:    psllw $7, %xmm0
 675 ; SSE2-NEXT:    pmovmskb %xmm0, %eax
 676 ; SSE2-NEXT:    movl %eax, %ecx
 677 ; SSE2-NEXT:    shrl $8, %ecx
 678 ; SSE2-NEXT:    xorb %al, %cl
 679 ; SSE2-NEXT:    setnp %al
 680 ; SSE2-NEXT:    retq
 681 ;
 682 ; SSE41-LABEL: trunc_v16i32_v16i1:
 683 ; SSE41:       # %bb.0:
 684 ; SSE41-NEXT:    movdqa {{.*#+}} xmm4 = [255,0,0,0,255,0,0,0,255,0,0,0,255,0,0,0]
 685 ; SSE41-NEXT:    pand %xmm4, %xmm3
 686 ; SSE41-NEXT:    pand %xmm4, %xmm2
 687 ; SSE41-NEXT:    packusdw %xmm3, %xmm2
 688 ; SSE41-NEXT:    pand %xmm4, %xmm1
 689 ; SSE41-NEXT:    pand %xmm4, %xmm0
 690 ; SSE41-NEXT:    packusdw %xmm1, %xmm0
 691 ; SSE41-NEXT:    packuswb %xmm2, %xmm0
 692 ; SSE41-NEXT:    psllw $7, %xmm0
 693 ; SSE41-NEXT:    pmovmskb %xmm0, %eax
 694 ; SSE41-NEXT:    movl %eax, %ecx
 695 ; SSE41-NEXT:    shrl $8, %ecx
 696 ; SSE41-NEXT:    xorb %al, %cl
 697 ; SSE41-NEXT:    setnp %al
 698 ; SSE41-NEXT:    retq
 699 ;
 700 ; AVX1-LABEL: trunc_v16i32_v16i1:
 701 ; AVX1:       # %bb.0:
 702 ; AVX1-NEXT:    vmovaps {{.*#+}} ymm2 = [255,255,255,255,255,255,255,255]
 703 ; AVX1-NEXT:    vandps %ymm2, %ymm1, %ymm1
 704 ; AVX1-NEXT:    vextractf128 $1, %ymm1, %xmm3
 705 ; AVX1-NEXT:    vpackusdw %xmm3, %xmm1, %xmm1
 706 ; AVX1-NEXT:    vandps %ymm2, %ymm0, %ymm0
 707 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm2
 708 ; AVX1-NEXT:    vpackusdw %xmm2, %xmm0, %xmm0
 709 ; AVX1-NEXT:    vpackuswb %xmm1, %xmm0, %xmm0
 710 ; AVX1-NEXT:    vpsllw $7, %xmm0, %xmm0
 711 ; AVX1-NEXT:    vpmovmskb %xmm0, %eax
 712 ; AVX1-NEXT:    movl %eax, %ecx
 713 ; AVX1-NEXT:    shrl $8, %ecx
 714 ; AVX1-NEXT:    xorb %al, %cl
 715 ; AVX1-NEXT:    setnp %al
 716 ; AVX1-NEXT:    vzeroupper
 717 ; AVX1-NEXT:    retq
 718 ;
 719 ; AVX2-LABEL: trunc_v16i32_v16i1:
 720 ; AVX2:       # %bb.0:
 721 ; AVX2-NEXT:    vmovdqa {{.*#+}} ymm2 = [0,1,4,5,8,9,12,13,8,9,12,13,12,13,14,15,16,17,20,21,24,25,28,29,24,25,28,29,28,29,30,31]
 722 ; AVX2-NEXT:    vpshufb %ymm2, %ymm1, %ymm1
 723 ; AVX2-NEXT:    vpermq {{.*#+}} ymm1 = ymm1[0,2,2,3]
 724 ; AVX2-NEXT:    vmovdqa {{.*#+}} xmm3 = [255,255,255,255,255,255,255,255]
 725 ; AVX2-NEXT:    vpand %xmm3, %xmm1, %xmm1
 726 ; AVX2-NEXT:    vpshufb %ymm2, %ymm0, %ymm0
 727 ; AVX2-NEXT:    vpermq {{.*#+}} ymm0 = ymm0[0,2,2,3]
 728 ; AVX2-NEXT:    vpand %xmm3, %xmm0, %xmm0
 729 ; AVX2-NEXT:    vpackuswb %xmm1, %xmm0, %xmm0
 730 ; AVX2-NEXT:    vpsllw $7, %xmm0, %xmm0
 731 ; AVX2-NEXT:    vpmovmskb %xmm0, %eax
 732 ; AVX2-NEXT:    movl %eax, %ecx
 733 ; AVX2-NEXT:    shrl $8, %ecx
 734 ; AVX2-NEXT:    xorb %al, %cl
 735 ; AVX2-NEXT:    setnp %al
 736 ; AVX2-NEXT:    vzeroupper
 737 ; AVX2-NEXT:    retq
 738 ;
 739 ; AVX512F-LABEL: trunc_v16i32_v16i1:
 740 ; AVX512F:       # %bb.0:
 741 ; AVX512F-NEXT:    vpslld $31, %zmm0, %zmm0
 742 ; AVX512F-NEXT:    vptestmd %zmm0, %zmm0, %k0
 743 ; AVX512F-NEXT:    kmovw %k0, %eax
 744 ; AVX512F-NEXT:    movl %eax, %ecx
 745 ; AVX512F-NEXT:    shrl $8, %ecx
 746 ; AVX512F-NEXT:    xorb %al, %cl
 747 ; AVX512F-NEXT:    setnp %al
 748 ; AVX512F-NEXT:    vzeroupper
 749 ; AVX512F-NEXT:    retq
 750 ;
 751 ; AVX512BW-LABEL: trunc_v16i32_v16i1:
 752 ; AVX512BW:       # %bb.0:
 753 ; AVX512BW-NEXT:    vpslld $31, %zmm0, %zmm0
 754 ; AVX512BW-NEXT:    vptestmd %zmm0, %zmm0, %k0
 755 ; AVX512BW-NEXT:    kmovd %k0, %eax
 756 ; AVX512BW-NEXT:    movl %eax, %ecx
 757 ; AVX512BW-NEXT:    shrl $8, %ecx
 758 ; AVX512BW-NEXT:    xorb %al, %cl
 759 ; AVX512BW-NEXT:    setnp %al
 760 ; AVX512BW-NEXT:    vzeroupper
 761 ; AVX512BW-NEXT:    retq
 762 ;
 763 ; AVX512VL-LABEL: trunc_v16i32_v16i1:
 764 ; AVX512VL:       # %bb.0:
 765 ; AVX512VL-NEXT:    vpslld $31, %zmm0, %zmm0
 766 ; AVX512VL-NEXT:    vptestmd %zmm0, %zmm0, %k0
 767 ; AVX512VL-NEXT:    kmovd %k0, %eax
 768 ; AVX512VL-NEXT:    movl %eax, %ecx
 769 ; AVX512VL-NEXT:    shrl $8, %ecx
 770 ; AVX512VL-NEXT:    xorb %al, %cl
 771 ; AVX512VL-NEXT:    setnp %al
 772 ; AVX512VL-NEXT:    vzeroupper
 773 ; AVX512VL-NEXT:    retq
 774   %a = trunc <16 x i32> %0 to <16 x i1>
 775   %b = call i1 @llvm.experimental.vector.reduce.xor.v16i1(<16 x i1> %a)
 776   ret i1 %b
 777 }
 778
 779 define i1 @trunc_v32i16_v32i1(<32 x i16>) {
 780 ; SSE2-LABEL: trunc_v32i16_v32i1:
 781 ; SSE2:       # %bb.0:
 782 ; SSE2-NEXT:    movdqa {{.*#+}} xmm4 = [255,0,255,0,255,0,255,0,255,0,255,0,255,0,255,0]
 783 ; SSE2-NEXT:    pand %xmm4, %xmm3
 784 ; SSE2-NEXT:    pand %xmm4, %xmm2
 785 ; SSE2-NEXT:    packuswb %xmm3, %xmm2
 786 ; SSE2-NEXT:    pand %xmm4, %xmm1
 787 ; SSE2-NEXT:    pand %xmm4, %xmm0
 788 ; SSE2-NEXT:    packuswb %xmm1, %xmm0
 789 ; SSE2-NEXT:    pxor %xmm2, %xmm0
 790 ; SSE2-NEXT:    psllw $7, %xmm0
 791 ; SSE2-NEXT:    pmovmskb %xmm0, %eax
 792 ; SSE2-NEXT:    movl %eax, %ecx
 793 ; SSE2-NEXT:    shrl $8, %ecx
 794 ; SSE2-NEXT:    xorb %al, %cl
 795 ; SSE2-NEXT:    setnp %al
 796 ; SSE2-NEXT:    retq
 797 ;
 798 ; SSE41-LABEL: trunc_v32i16_v32i1:
 799 ; SSE41:       # %bb.0:
 800 ; SSE41-NEXT:    movdqa {{.*#+}} xmm4 = <0,2,4,6,8,10,12,14,u,u,u,u,u,u,u,u>
 801 ; SSE41-NEXT:    pshufb %xmm4, %xmm3
 802 ; SSE41-NEXT:    pshufb %xmm4, %xmm2
 803 ; SSE41-NEXT:    punpcklqdq {{.*#+}} xmm2 = xmm2[0],xmm3[0]
 804 ; SSE41-NEXT:    pshufb %xmm4, %xmm1
 805 ; SSE41-NEXT:    pshufb %xmm4, %xmm0
 806 ; SSE41-NEXT:    punpcklqdq {{.*#+}} xmm0 = xmm0[0],xmm1[0]
 807 ; SSE41-NEXT:    pxor %xmm2, %xmm0
 808 ; SSE41-NEXT:    psllw $7, %xmm0
 809 ; SSE41-NEXT:    pmovmskb %xmm0, %eax
 810 ; SSE41-NEXT:    movl %eax, %ecx
 811 ; SSE41-NEXT:    shrl $8, %ecx
 812 ; SSE41-NEXT:    xorb %al, %cl
 813 ; SSE41-NEXT:    setnp %al
 814 ; SSE41-NEXT:    retq
 815 ;
 816 ; AVX1-LABEL: trunc_v32i16_v32i1:
 817 ; AVX1:       # %bb.0:
 818 ; AVX1-NEXT:    vxorps %ymm1, %ymm0, %ymm0
 819 ; AVX1-NEXT:    vandps {{.*}}(%rip), %ymm0, %ymm0
 820 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm1
 821 ; AVX1-NEXT:    vpackuswb %xmm1, %xmm0, %xmm0
 822 ; AVX1-NEXT:    vpsllw $7, %xmm0, %xmm0
 823 ; AVX1-NEXT:    vpmovmskb %xmm0, %eax
 824 ; AVX1-NEXT:    movl %eax, %ecx
 825 ; AVX1-NEXT:    shrl $8, %ecx
 826 ; AVX1-NEXT:    xorb %al, %cl
 827 ; AVX1-NEXT:    setnp %al
 828 ; AVX1-NEXT:    vzeroupper
 829 ; AVX1-NEXT:    retq
 830 ;
 831 ; AVX2-LABEL: trunc_v32i16_v32i1:
 832 ; AVX2:       # %bb.0:
 833 ; AVX2-NEXT:    vmovdqa {{.*#+}} ymm2 = [255,255,255,255,255,255,255,255,255,255,255,255,255,255,255,255]
 834 ; AVX2-NEXT:    vpand %ymm2, %ymm0, %ymm0
 835 ; AVX2-NEXT:    vpand %ymm2, %ymm1, %ymm1
 836 ; AVX2-NEXT:    vinserti128 $1, %xmm1, %ymm0, %ymm2
 837 ; AVX2-NEXT:    vextracti128 $1, %ymm0, %xmm0
 838 ; AVX2-NEXT:    vpblendd {{.*#+}} ymm0 = ymm0[0,1,2,3],ymm1[4,5,6,7]
 839 ; AVX2-NEXT:    vpackuswb %ymm0, %ymm2, %ymm0
 840 ; AVX2-NEXT:    vpsllw $7, %ymm0, %ymm0
 841 ; AVX2-NEXT:    vpmovmskb %ymm0, %eax
 842 ; AVX2-NEXT:    movl %eax, %ecx
 843 ; AVX2-NEXT:    shrl $16, %ecx
 844 ; AVX2-NEXT:    xorl %eax, %ecx
 845 ; AVX2-NEXT:    movl %ecx, %eax
 846 ; AVX2-NEXT:    shrl $8, %eax
 847 ; AVX2-NEXT:    xorb %cl, %al
 848 ; AVX2-NEXT:    setnp %al
 849 ; AVX2-NEXT:    vzeroupper
 850 ; AVX2-NEXT:    retq
 851 ;
 852 ; AVX512F-LABEL: trunc_v32i16_v32i1:
 853 ; AVX512F:       # %bb.0:
 854 ; AVX512F-NEXT:    vpxor %ymm1, %ymm0, %ymm0
 855 ; AVX512F-NEXT:    vpmovsxwd %ymm0, %zmm0
 856 ; AVX512F-NEXT:    vpslld $31, %zmm0, %zmm0
 857 ; AVX512F-NEXT:    vptestmd %zmm0, %zmm0, %k0
 858 ; AVX512F-NEXT:    kshiftrw $8, %k0, %k1
 859 ; AVX512F-NEXT:    kxorw %k1, %k0, %k0
 860 ; AVX512F-NEXT:    kshiftrw $4, %k0, %k1
 861 ; AVX512F-NEXT:    kxorw %k1, %k0, %k0
 862 ; AVX512F-NEXT:    kshiftrw $2, %k0, %k1
 863 ; AVX512F-NEXT:    kxorw %k1, %k0, %k0
 864 ; AVX512F-NEXT:    kshiftrw $1, %k0, %k1
 865 ; AVX512F-NEXT:    kxorw %k1, %k0, %k0
 866 ; AVX512F-NEXT:    kmovw %k0, %eax
 867 ; AVX512F-NEXT:    # kill: def $al killed $al killed $eax
 868 ; AVX512F-NEXT:    vzeroupper
 869 ; AVX512F-NEXT:    retq
 870 ;
 871 ; AVX512BW-LABEL: trunc_v32i16_v32i1:
 872 ; AVX512BW:       # %bb.0:
 873 ; AVX512BW-NEXT:    vpsllw $15, %zmm0, %zmm0
 874 ; AVX512BW-NEXT:    vpmovw2m %zmm0, %k0
 875 ; AVX512BW-NEXT:    kmovd %k0, %eax
 876 ; AVX512BW-NEXT:    movl %eax, %ecx
 877 ; AVX512BW-NEXT:    shrl $16, %ecx
 878 ; AVX512BW-NEXT:    xorl %eax, %ecx
 879 ; AVX512BW-NEXT:    movl %ecx, %eax
 880 ; AVX512BW-NEXT:    shrl $8, %eax
 881 ; AVX512BW-NEXT:    xorb %cl, %al
 882 ; AVX512BW-NEXT:    setnp %al
 883 ; AVX512BW-NEXT:    vzeroupper
 884 ; AVX512BW-NEXT:    retq
 885 ;
 886 ; AVX512VL-LABEL: trunc_v32i16_v32i1:
 887 ; AVX512VL:       # %bb.0:
 888 ; AVX512VL-NEXT:    vpsllw $15, %zmm0, %zmm0
 889 ; AVX512VL-NEXT:    vpmovw2m %zmm0, %k0
 890 ; AVX512VL-NEXT:    kmovd %k0, %eax
 891 ; AVX512VL-NEXT:    movl %eax, %ecx
 892 ; AVX512VL-NEXT:    shrl $16, %ecx
 893 ; AVX512VL-NEXT:    xorl %eax, %ecx
 894 ; AVX512VL-NEXT:    movl %ecx, %eax
 895 ; AVX512VL-NEXT:    shrl $8, %eax
 896 ; AVX512VL-NEXT:    xorb %cl, %al
 897 ; AVX512VL-NEXT:    setnp %al
 898 ; AVX512VL-NEXT:    vzeroupper
 899 ; AVX512VL-NEXT:    retq
 900   %a = trunc <32 x i16> %0 to <32 x i1>
 901   %b = call i1 @llvm.experimental.vector.reduce.xor.v32i1(<32 x i1> %a)
 902   ret i1 %b
 903 }
 904
 905 define i1 @trunc_v64i8_v64i1(<64 x i8>) {
 906 ; SSE2-LABEL: trunc_v64i8_v64i1:
 907 ; SSE2:       # %bb.0:
 908 ; SSE2-NEXT:    pxor %xmm3, %xmm1
 909 ; SSE2-NEXT:    pxor %xmm2, %xmm1
 910 ; SSE2-NEXT:    pxor %xmm0, %xmm1
 911 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[2,3,0,1]
 912 ; SSE2-NEXT:    pxor %xmm1, %xmm0
 913 ; SSE2-NEXT:    pshufd {{.*#+}} xmm1 = xmm0[1,1,2,3]
 914 ; SSE2-NEXT:    pxor %xmm0, %xmm1
 915 ; SSE2-NEXT:    movdqa %xmm1, %xmm0
 916 ; SSE2-NEXT:    psrld $16, %xmm0
 917 ; SSE2-NEXT:    pxor %xmm1, %xmm0
 918 ; SSE2-NEXT:    movdqa %xmm0, %xmm1
 919 ; SSE2-NEXT:    psrlw $8, %xmm1
 920 ; SSE2-NEXT:    pxor %xmm0, %xmm1
 921 ; SSE2-NEXT:    movd %xmm1, %eax
 922 ; SSE2-NEXT:    # kill: def $al killed $al killed $eax
 923 ; SSE2-NEXT:    retq
 924 ;
 925 ; SSE41-LABEL: trunc_v64i8_v64i1:
 926 ; SSE41:       # %bb.0:
 927 ; SSE41-NEXT:    pxor %xmm3, %xmm1
 928 ; SSE41-NEXT:    pxor %xmm2, %xmm1
 929 ; SSE41-NEXT:    pxor %xmm0, %xmm1
 930 ; SSE41-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[2,3,0,1]
 931 ; SSE41-NEXT:    pxor %xmm1, %xmm0
 932 ; SSE41-NEXT:    pshufd {{.*#+}} xmm1 = xmm0[1,1,2,3]
 933 ; SSE41-NEXT:    pxor %xmm0, %xmm1
 934 ; SSE41-NEXT:    movdqa %xmm1, %xmm0
 935 ; SSE41-NEXT:    psrld $16, %xmm0
 936 ; SSE41-NEXT:    pxor %xmm1, %xmm0
 937 ; SSE41-NEXT:    movdqa %xmm0, %xmm1
 938 ; SSE41-NEXT:    psrlw $8, %xmm1
 939 ; SSE41-NEXT:    pxor %xmm0, %xmm1
 940 ; SSE41-NEXT:    pextrb $0, %xmm1, %eax
 941 ; SSE41-NEXT:    # kill: def $al killed $al killed $eax
 942 ; SSE41-NEXT:    retq
 943 ;
 944 ; AVX1-LABEL: trunc_v64i8_v64i1:
 945 ; AVX1:       # %bb.0:
 946 ; AVX1-NEXT:    vxorps %ymm1, %ymm0, %ymm0
 947 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm1
 948 ; AVX1-NEXT:    vxorps %xmm1, %xmm0, %xmm0
 949 ; AVX1-NEXT:    vpermilps {{.*#+}} xmm1 = xmm0[2,3,0,1]
 950 ; AVX1-NEXT:    vxorps %xmm1, %xmm0, %xmm0
 951 ; AVX1-NEXT:    vpermilps {{.*#+}} xmm1 = xmm0[1,1,2,3]
 952 ; AVX1-NEXT:    vxorps %xmm1, %xmm0, %xmm0
 953 ; AVX1-NEXT:    vpsrld $16, %xmm0, %xmm1
 954 ; AVX1-NEXT:    vpxor %xmm1, %xmm0, %xmm0
 955 ; AVX1-NEXT:    vpsrlw $8, %xmm0, %xmm1
 956 ; AVX1-NEXT:    vpxor %xmm1, %xmm0, %xmm0
 957 ; AVX1-NEXT:    vpextrb $0, %xmm0, %eax
 958 ; AVX1-NEXT:    # kill: def $al killed $al killed $eax
 959 ; AVX1-NEXT:    vzeroupper
 960 ; AVX1-NEXT:    retq
 961 ;
 962 ; AVX2-LABEL: trunc_v64i8_v64i1:
 963 ; AVX2:       # %bb.0:
 964 ; AVX2-NEXT:    vpxor %ymm1, %ymm0, %ymm0
 965 ; AVX2-NEXT:    vextracti128 $1, %ymm0, %xmm1
 966 ; AVX2-NEXT:    vpxor %xmm1, %xmm0, %xmm0
 967 ; AVX2-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
 968 ; AVX2-NEXT:    vpxor %xmm1, %xmm0, %xmm0
 969 ; AVX2-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[1,1,2,3]
 970 ; AVX2-NEXT:    vpxor %xmm1, %xmm0, %xmm0
 971 ; AVX2-NEXT:    vpsrld $16, %xmm0, %xmm1
 972 ; AVX2-NEXT:    vpxor %xmm1, %xmm0, %xmm0
 973 ; AVX2-NEXT:    vpsrlw $8, %xmm0, %xmm1
 974 ; AVX2-NEXT:    vpxor %xmm1, %xmm0, %xmm0
 975 ; AVX2-NEXT:    vpextrb $0, %xmm0, %eax
 976 ; AVX2-NEXT:    # kill: def $al killed $al killed $eax
 977 ; AVX2-NEXT:    vzeroupper
 978 ; AVX2-NEXT:    retq
 979 ;
 980 ; AVX512F-LABEL: trunc_v64i8_v64i1:
 981 ; AVX512F:       # %bb.0:
 982 ; AVX512F-NEXT:    vextracti128 $1, %ymm1, %xmm2
 983 ; AVX512F-NEXT:    vextracti128 $1, %ymm0, %xmm3
 984 ; AVX512F-NEXT:    vpxor %xmm2, %xmm3, %xmm2
 985 ; AVX512F-NEXT:    vpxor %xmm2, %xmm1, %xmm1
 986 ; AVX512F-NEXT:    vpxor %xmm1, %xmm0, %xmm0
 987 ; AVX512F-NEXT:    vpmovsxbd %xmm0, %zmm0
 988 ; AVX512F-NEXT:    vpslld $31, %zmm0, %zmm0
 989 ; AVX512F-NEXT:    vptestmd %zmm0, %zmm0, %k0
 990 ; AVX512F-NEXT:    kshiftrw $8, %k0, %k1
 991 ; AVX512F-NEXT:    kxorw %k1, %k0, %k0
 992 ; AVX512F-NEXT:    kshiftrw $4, %k0, %k1
 993 ; AVX512F-NEXT:    kxorw %k1, %k0, %k0
 994 ; AVX512F-NEXT:    kshiftrw $2, %k0, %k1
 995 ; AVX512F-NEXT:    kxorw %k1, %k0, %k0
 996 ; AVX512F-NEXT:    kshiftrw $1, %k0, %k1
 997 ; AVX512F-NEXT:    kxorw %k1, %k0, %k0
 998 ; AVX512F-NEXT:    kmovw %k0, %eax
 999 ; AVX512F-NEXT:    # kill: def $al killed $al killed $eax
1000 ; AVX512F-NEXT:    vzeroupper
1001 ; AVX512F-NEXT:    retq
1002 ;
1003 ; AVX512BW-LABEL: trunc_v64i8_v64i1:
1004 ; AVX512BW:       # %bb.0:
1005 ; AVX512BW-NEXT:    vpsllw $7, %zmm0, %zmm0
1006 ; AVX512BW-NEXT:    vpmovb2m %zmm0, %k0
1007 ; AVX512BW-NEXT:    kshiftrq $32, %k0, %k1
1008 ; AVX512BW-NEXT:    kxorq %k1, %k0, %k0
1009 ; AVX512BW-NEXT:    kshiftrq $16, %k0, %k1
1010 ; AVX512BW-NEXT:    kxorq %k1, %k0, %k0
1011 ; AVX512BW-NEXT:    kshiftrq $8, %k0, %k1
1012 ; AVX512BW-NEXT:    kxorq %k1, %k0, %k0
1013 ; AVX512BW-NEXT:    kshiftrq $4, %k0, %k1
1014 ; AVX512BW-NEXT:    kxorq %k1, %k0, %k0
1015 ; AVX512BW-NEXT:    kshiftrq $2, %k0, %k1
1016 ; AVX512BW-NEXT:    kxorq %k1, %k0, %k0
1017 ; AVX512BW-NEXT:    kshiftrq $1, %k0, %k1
1018 ; AVX512BW-NEXT:    kxorq %k1, %k0, %k0
1019 ; AVX512BW-NEXT:    kmovd %k0, %eax
1020 ; AVX512BW-NEXT:    # kill: def $al killed $al killed $eax
1021 ; AVX512BW-NEXT:    vzeroupper
1022 ; AVX512BW-NEXT:    retq
1023 ;
1024 ; AVX512VL-LABEL: trunc_v64i8_v64i1:
1025 ; AVX512VL:       # %bb.0:
1026 ; AVX512VL-NEXT:    vpsllw $7, %zmm0, %zmm0
1027 ; AVX512VL-NEXT:    vpmovb2m %zmm0, %k0
1028 ; AVX512VL-NEXT:    kshiftrq $32, %k0, %k1
1029 ; AVX512VL-NEXT:    kxorq %k1, %k0, %k0
1030 ; AVX512VL-NEXT:    kshiftrq $16, %k0, %k1
1031 ; AVX512VL-NEXT:    kxorq %k1, %k0, %k0
1032 ; AVX512VL-NEXT:    kshiftrq $8, %k0, %k1
1033 ; AVX512VL-NEXT:    kxorq %k1, %k0, %k0
1034 ; AVX512VL-NEXT:    kshiftrq $4, %k0, %k1
1035 ; AVX512VL-NEXT:    kxorq %k1, %k0, %k0
1036 ; AVX512VL-NEXT:    kshiftrq $2, %k0, %k1
1037 ; AVX512VL-NEXT:    kxorq %k1, %k0, %k0
1038 ; AVX512VL-NEXT:    kshiftrq $1, %k0, %k1
1039 ; AVX512VL-NEXT:    kxorq %k1, %k0, %k0
1040 ; AVX512VL-NEXT:    kmovd %k0, %eax
1041 ; AVX512VL-NEXT:    # kill: def $al killed $al killed $eax
1042 ; AVX512VL-NEXT:    vzeroupper
1043 ; AVX512VL-NEXT:    retq
1044   %a = trunc <64 x i8> %0 to <64 x i1>
1045   %b = call i1 @llvm.experimental.vector.reduce.xor.v64i1(<64 x i1> %a)
1046   ret i1 %b
1047 }
1048
1049 ;
1050 ; Comparison
1051 ;
1052
1053 define i1 @icmp_v2i64_v2i1(<2 x i64>) {
1054 ; SSE2-LABEL: icmp_v2i64_v2i1:
1055 ; SSE2:       # %bb.0:
1056 ; SSE2-NEXT:    pxor %xmm1, %xmm1
1057 ; SSE2-NEXT:    pcmpeqd %xmm0, %xmm1
1058 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[1,0,3,2]
1059 ; SSE2-NEXT:    pand %xmm1, %xmm0
1060 ; SSE2-NEXT:    movmskpd %xmm0, %eax
1061 ; SSE2-NEXT:    xorb $0, %al
1062 ; SSE2-NEXT:    setnp %al
1063 ; SSE2-NEXT:    retq
1064 ;
1065 ; SSE41-LABEL: icmp_v2i64_v2i1:
1066 ; SSE41:       # %bb.0:
1067 ; SSE41-NEXT:    pxor %xmm1, %xmm1
1068 ; SSE41-NEXT:    pcmpeqq %xmm0, %xmm1
1069 ; SSE41-NEXT:    movmskpd %xmm1, %eax
1070 ; SSE41-NEXT:    xorb $0, %al
1071 ; SSE41-NEXT:    setnp %al
1072 ; SSE41-NEXT:    retq
1073 ;
1074 ; AVX-LABEL: icmp_v2i64_v2i1:
1075 ; AVX:       # %bb.0:
1076 ; AVX-NEXT:    vpxor %xmm1, %xmm1, %xmm1
1077 ; AVX-NEXT:    vpcmpeqq %xmm1, %xmm0, %xmm0
1078 ; AVX-NEXT:    vmovmskpd %xmm0, %eax
1079 ; AVX-NEXT:    xorb $0, %al
1080 ; AVX-NEXT:    setnp %al
1081 ; AVX-NEXT:    retq
1082 ;
1083 ; AVX512F-LABEL: icmp_v2i64_v2i1:
1084 ; AVX512F:       # %bb.0:
1085 ; AVX512F-NEXT:    # kill: def $xmm0 killed $xmm0 def $zmm0
1086 ; AVX512F-NEXT:    vptestnmq %zmm0, %zmm0, %k0
1087 ; AVX512F-NEXT:    kmovw %k0, %eax
1088 ; AVX512F-NEXT:    andl $3, %eax
1089 ; AVX512F-NEXT:    xorb $0, %al
1090 ; AVX512F-NEXT:    setnp %al
1091 ; AVX512F-NEXT:    vzeroupper
1092 ; AVX512F-NEXT:    retq
1093 ;
1094 ; AVX512BW-LABEL: icmp_v2i64_v2i1:
1095 ; AVX512BW:       # %bb.0:
1096 ; AVX512BW-NEXT:    # kill: def $xmm0 killed $xmm0 def $zmm0
1097 ; AVX512BW-NEXT:    vptestnmq %zmm0, %zmm0, %k0
1098 ; AVX512BW-NEXT:    kmovd %k0, %eax
1099 ; AVX512BW-NEXT:    andl $3, %eax
1100 ; AVX512BW-NEXT:    xorb $0, %al
1101 ; AVX512BW-NEXT:    setnp %al
1102 ; AVX512BW-NEXT:    vzeroupper
1103 ; AVX512BW-NEXT:    retq
1104 ;
1105 ; AVX512VL-LABEL: icmp_v2i64_v2i1:
1106 ; AVX512VL:       # %bb.0:
1107 ; AVX512VL-NEXT:    vptestnmq %xmm0, %xmm0, %k0
1108 ; AVX512VL-NEXT:    kmovd %k0, %eax
1109 ; AVX512VL-NEXT:    andl $3, %eax
1110 ; AVX512VL-NEXT:    xorb $0, %al
1111 ; AVX512VL-NEXT:    setnp %al
1112 ; AVX512VL-NEXT:    retq
1113   %a = icmp eq <2 x i64> %0, zeroinitializer
1114   %b = call i1 @llvm.experimental.vector.reduce.xor.v2i1(<2 x i1> %a)
1115   ret i1 %b
1116 }
1117
1118 define i1 @icmp_v4i32_v4i1(<4 x i32>) {
1119 ; SSE-LABEL: icmp_v4i32_v4i1:
1120 ; SSE:       # %bb.0:
1121 ; SSE-NEXT:    pxor %xmm1, %xmm1
1122 ; SSE-NEXT:    pcmpeqd %xmm0, %xmm1
1123 ; SSE-NEXT:    movmskps %xmm1, %eax
1124 ; SSE-NEXT:    xorb $0, %al
1125 ; SSE-NEXT:    setnp %al
1126 ; SSE-NEXT:    retq
1127 ;
1128 ; AVX-LABEL: icmp_v4i32_v4i1:
1129 ; AVX:       # %bb.0:
1130 ; AVX-NEXT:    vpxor %xmm1, %xmm1, %xmm1
1131 ; AVX-NEXT:    vpcmpeqd %xmm1, %xmm0, %xmm0
1132 ; AVX-NEXT:    vmovmskps %xmm0, %eax
1133 ; AVX-NEXT:    xorb $0, %al
1134 ; AVX-NEXT:    setnp %al
1135 ; AVX-NEXT:    retq
1136 ;
1137 ; AVX512F-LABEL: icmp_v4i32_v4i1:
1138 ; AVX512F:       # %bb.0:
1139 ; AVX512F-NEXT:    # kill: def $xmm0 killed $xmm0 def $zmm0
1140 ; AVX512F-NEXT:    vptestnmd %zmm0, %zmm0, %k0
1141 ; AVX512F-NEXT:    kmovw %k0, %eax
1142 ; AVX512F-NEXT:    andl $15, %eax
1143 ; AVX512F-NEXT:    xorb $0, %al
1144 ; AVX512F-NEXT:    setnp %al
1145 ; AVX512F-NEXT:    vzeroupper
1146 ; AVX512F-NEXT:    retq
1147 ;
1148 ; AVX512BW-LABEL: icmp_v4i32_v4i1:
1149 ; AVX512BW:       # %bb.0:
1150 ; AVX512BW-NEXT:    # kill: def $xmm0 killed $xmm0 def $zmm0
1151 ; AVX512BW-NEXT:    vptestnmd %zmm0, %zmm0, %k0
1152 ; AVX512BW-NEXT:    kmovd %k0, %eax
1153 ; AVX512BW-NEXT:    andl $15, %eax
1154 ; AVX512BW-NEXT:    xorb $0, %al
1155 ; AVX512BW-NEXT:    setnp %al
1156 ; AVX512BW-NEXT:    vzeroupper
1157 ; AVX512BW-NEXT:    retq
1158 ;
1159 ; AVX512VL-LABEL: icmp_v4i32_v4i1:
1160 ; AVX512VL:       # %bb.0:
1161 ; AVX512VL-NEXT:    vptestnmd %xmm0, %xmm0, %k0
1162 ; AVX512VL-NEXT:    kmovd %k0, %eax
1163 ; AVX512VL-NEXT:    andl $15, %eax
1164 ; AVX512VL-NEXT:    xorb $0, %al
1165 ; AVX512VL-NEXT:    setnp %al
1166 ; AVX512VL-NEXT:    retq
1167   %a = icmp eq <4 x i32> %0, zeroinitializer
1168   %b = call i1 @llvm.experimental.vector.reduce.xor.v4i1(<4 x i1> %a)
1169   ret i1 %b
1170 }
1171
1172 define i1 @icmp_v8i16_v8i1(<8 x i8>) {
1173 ; SSE2-LABEL: icmp_v8i16_v8i1:
1174 ; SSE2:       # %bb.0:
1175 ; SSE2-NEXT:    pxor %xmm1, %xmm1
1176 ; SSE2-NEXT:    pcmpeqb %xmm0, %xmm1
1177 ; SSE2-NEXT:    punpcklbw {{.*#+}} xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1],xmm0[2],xmm1[2],xmm0[3],xmm1[3],xmm0[4],xmm1[4],xmm0[5],xmm1[5],xmm0[6],xmm1[6],xmm0[7],xmm1[7]
1178 ; SSE2-NEXT:    packsswb %xmm0, %xmm0
1179 ; SSE2-NEXT:    pmovmskb %xmm0, %eax
1180 ; SSE2-NEXT:    xorb $0, %al
1181 ; SSE2-NEXT:    setnp %al
1182 ; SSE2-NEXT:    retq
1183 ;
1184 ; SSE41-LABEL: icmp_v8i16_v8i1:
1185 ; SSE41:       # %bb.0:
1186 ; SSE41-NEXT:    pxor %xmm1, %xmm1
1187 ; SSE41-NEXT:    pcmpeqb %xmm0, %xmm1
1188 ; SSE41-NEXT:    pmovsxbw %xmm1, %xmm0
1189 ; SSE41-NEXT:    packsswb %xmm0, %xmm0
1190 ; SSE41-NEXT:    pmovmskb %xmm0, %eax
1191 ; SSE41-NEXT:    xorb $0, %al
1192 ; SSE41-NEXT:    setnp %al
1193 ; SSE41-NEXT:    retq
1194 ;
1195 ; AVX-LABEL: icmp_v8i16_v8i1:
1196 ; AVX:       # %bb.0:
1197 ; AVX-NEXT:    vpxor %xmm1, %xmm1, %xmm1
1198 ; AVX-NEXT:    vpcmpeqb %xmm1, %xmm0, %xmm0
1199 ; AVX-NEXT:    vpmovsxbw %xmm0, %xmm0
1200 ; AVX-NEXT:    vpacksswb %xmm0, %xmm0, %xmm0
1201 ; AVX-NEXT:    vpmovmskb %xmm0, %eax
1202 ; AVX-NEXT:    xorb $0, %al
1203 ; AVX-NEXT:    setnp %al
1204 ; AVX-NEXT:    retq
1205 ;
1206 ; AVX512F-LABEL: icmp_v8i16_v8i1:
1207 ; AVX512F:       # %bb.0:
1208 ; AVX512F-NEXT:    vpxor %xmm1, %xmm1, %xmm1
1209 ; AVX512F-NEXT:    vpcmpeqb %xmm1, %xmm0, %xmm0
1210 ; AVX512F-NEXT:    vpmovsxbd %xmm0, %zmm0
1211 ; AVX512F-NEXT:    vptestmd %zmm0, %zmm0, %k0
1212 ; AVX512F-NEXT:    kmovw %k0, %eax
1213 ; AVX512F-NEXT:    xorb $0, %al
1214 ; AVX512F-NEXT:    setnp %al
1215 ; AVX512F-NEXT:    vzeroupper
1216 ; AVX512F-NEXT:    retq
1217 ;
1218 ; AVX512BW-LABEL: icmp_v8i16_v8i1:
1219 ; AVX512BW:       # %bb.0:
1220 ; AVX512BW-NEXT:    # kill: def $xmm0 killed $xmm0 def $zmm0
1221 ; AVX512BW-NEXT:    vptestnmb %zmm0, %zmm0, %k0
1222 ; AVX512BW-NEXT:    kmovd %k0, %eax
1223 ; AVX512BW-NEXT:    xorb $0, %al
1224 ; AVX512BW-NEXT:    setnp %al
1225 ; AVX512BW-NEXT:    vzeroupper
1226 ; AVX512BW-NEXT:    retq
1227 ;
1228 ; AVX512VL-LABEL: icmp_v8i16_v8i1:
1229 ; AVX512VL:       # %bb.0:
1230 ; AVX512VL-NEXT:    vptestnmb %xmm0, %xmm0, %k0
1231 ; AVX512VL-NEXT:    kmovd %k0, %eax
1232 ; AVX512VL-NEXT:    xorb $0, %al
1233 ; AVX512VL-NEXT:    setnp %al
1234 ; AVX512VL-NEXT:    retq
1235   %a = icmp eq <8 x i8> %0, zeroinitializer
1236   %b = call i1 @llvm.experimental.vector.reduce.xor.v8i1(<8 x i1> %a)
1237   ret i1 %b
1238 }
1239
1240 define i1 @icmp_v16i8_v16i1(<16 x i8>) {
1241 ; SSE-LABEL: icmp_v16i8_v16i1:
1242 ; SSE:       # %bb.0:
1243 ; SSE-NEXT:    pxor %xmm1, %xmm1
1244 ; SSE-NEXT:    pcmpeqb %xmm0, %xmm1
1245 ; SSE-NEXT:    pmovmskb %xmm1, %eax
1246 ; SSE-NEXT:    movl %eax, %ecx
1247 ; SSE-NEXT:    shrl $8, %ecx
1248 ; SSE-NEXT:    xorb %al, %cl
1249 ; SSE-NEXT:    setnp %al
1250 ; SSE-NEXT:    retq
1251 ;
1252 ; AVX-LABEL: icmp_v16i8_v16i1:
1253 ; AVX:       # %bb.0:
1254 ; AVX-NEXT:    vpxor %xmm1, %xmm1, %xmm1
1255 ; AVX-NEXT:    vpcmpeqb %xmm1, %xmm0, %xmm0
1256 ; AVX-NEXT:    vpmovmskb %xmm0, %eax
1257 ; AVX-NEXT:    movl %eax, %ecx
1258 ; AVX-NEXT:    shrl $8, %ecx
1259 ; AVX-NEXT:    xorb %al, %cl
1260 ; AVX-NEXT:    setnp %al
1261 ; AVX-NEXT:    retq
1262 ;
1263 ; AVX512F-LABEL: icmp_v16i8_v16i1:
1264 ; AVX512F:       # %bb.0:
1265 ; AVX512F-NEXT:    vpxor %xmm1, %xmm1, %xmm1
1266 ; AVX512F-NEXT:    vpcmpeqb %xmm1, %xmm0, %xmm0
1267 ; AVX512F-NEXT:    vpmovmskb %xmm0, %eax
1268 ; AVX512F-NEXT:    movl %eax, %ecx
1269 ; AVX512F-NEXT:    shrl $8, %ecx
1270 ; AVX512F-NEXT:    xorb %al, %cl
1271 ; AVX512F-NEXT:    setnp %al
1272 ; AVX512F-NEXT:    retq
1273 ;
1274 ; AVX512BW-LABEL: icmp_v16i8_v16i1:
1275 ; AVX512BW:       # %bb.0:
1276 ; AVX512BW-NEXT:    # kill: def $xmm0 killed $xmm0 def $zmm0
1277 ; AVX512BW-NEXT:    vptestnmb %zmm0, %zmm0, %k0
1278 ; AVX512BW-NEXT:    kmovd %k0, %eax
1279 ; AVX512BW-NEXT:    movl %eax, %ecx
1280 ; AVX512BW-NEXT:    shrl $8, %ecx
1281 ; AVX512BW-NEXT:    xorb %al, %cl
1282 ; AVX512BW-NEXT:    setnp %al
1283 ; AVX512BW-NEXT:    vzeroupper
1284 ; AVX512BW-NEXT:    retq
1285 ;
1286 ; AVX512VL-LABEL: icmp_v16i8_v16i1:
1287 ; AVX512VL:       # %bb.0:
1288 ; AVX512VL-NEXT:    vptestnmb %xmm0, %xmm0, %k0
1289 ; AVX512VL-NEXT:    kmovd %k0, %eax
1290 ; AVX512VL-NEXT:    movl %eax, %ecx
1291 ; AVX512VL-NEXT:    shrl $8, %ecx
1292 ; AVX512VL-NEXT:    xorb %al, %cl
1293 ; AVX512VL-NEXT:    setnp %al
1294 ; AVX512VL-NEXT:    retq
1295   %a = icmp eq <16 x i8> %0, zeroinitializer
1296   %b = call i1 @llvm.experimental.vector.reduce.xor.v16i1(<16 x i1> %a)
1297   ret i1 %b
1298 }
1299
1300 define i1 @icmp_v4i64_v4i1(<4 x i64>) {
1301 ; SSE2-LABEL: icmp_v4i64_v4i1:
1302 ; SSE2:       # %bb.0:
1303 ; SSE2-NEXT:    pxor %xmm2, %xmm2
1304 ; SSE2-NEXT:    pcmpeqd %xmm2, %xmm1
1305 ; SSE2-NEXT:    pshufd {{.*#+}} xmm3 = xmm1[1,0,3,2]
1306 ; SSE2-NEXT:    pand %xmm1, %xmm3
1307 ; SSE2-NEXT:    pcmpeqd %xmm2, %xmm0
1308 ; SSE2-NEXT:    pshufd {{.*#+}} xmm1 = xmm0[1,0,3,2]
1309 ; SSE2-NEXT:    pand %xmm0, %xmm1
1310 ; SSE2-NEXT:    packssdw %xmm3, %xmm1
1311 ; SSE2-NEXT:    movmskps %xmm1, %eax
1312 ; SSE2-NEXT:    xorb $0, %al
1313 ; SSE2-NEXT:    setnp %al
1314 ; SSE2-NEXT:    retq
1315 ;
1316 ; SSE41-LABEL: icmp_v4i64_v4i1:
1317 ; SSE41:       # %bb.0:
1318 ; SSE41-NEXT:    pxor %xmm2, %xmm2
1319 ; SSE41-NEXT:    pcmpeqq %xmm2, %xmm1
1320 ; SSE41-NEXT:    pcmpeqq %xmm2, %xmm0
1321 ; SSE41-NEXT:    packssdw %xmm1, %xmm0
1322 ; SSE41-NEXT:    movmskps %xmm0, %eax
1323 ; SSE41-NEXT:    xorb $0, %al
1324 ; SSE41-NEXT:    setnp %al
1325 ; SSE41-NEXT:    retq
1326 ;
1327 ; AVX1-LABEL: icmp_v4i64_v4i1:
1328 ; AVX1:       # %bb.0:
1329 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm1
1330 ; AVX1-NEXT:    vpxor %xmm2, %xmm2, %xmm2
1331 ; AVX1-NEXT:    vpcmpeqq %xmm2, %xmm1, %xmm1
1332 ; AVX1-NEXT:    vpcmpeqq %xmm2, %xmm0, %xmm0
1333 ; AVX1-NEXT:    vinsertf128 $1, %xmm1, %ymm0, %ymm0
1334 ; AVX1-NEXT:    vmovmskpd %ymm0, %eax
1335 ; AVX1-NEXT:    xorb $0, %al
1336 ; AVX1-NEXT:    setnp %al
1337 ; AVX1-NEXT:    vzeroupper
1338 ; AVX1-NEXT:    retq
1339 ;
1340 ; AVX2-LABEL: icmp_v4i64_v4i1:
1341 ; AVX2:       # %bb.0:
1342 ; AVX2-NEXT:    vpxor %xmm1, %xmm1, %xmm1
1343 ; AVX2-NEXT:    vpcmpeqq %ymm1, %ymm0, %ymm0
1344 ; AVX2-NEXT:    vmovmskpd %ymm0, %eax
1345 ; AVX2-NEXT:    xorb $0, %al
1346 ; AVX2-NEXT:    setnp %al
1347 ; AVX2-NEXT:    vzeroupper
1348 ; AVX2-NEXT:    retq
1349 ;
1350 ; AVX512F-LABEL: icmp_v4i64_v4i1:
1351 ; AVX512F:       # %bb.0:
1352 ; AVX512F-NEXT:    # kill: def $ymm0 killed $ymm0 def $zmm0
1353 ; AVX512F-NEXT:    vptestnmq %zmm0, %zmm0, %k0
1354 ; AVX512F-NEXT:    kmovw %k0, %eax
1355 ; AVX512F-NEXT:    andl $15, %eax
1356 ; AVX512F-NEXT:    xorb $0, %al
1357 ; AVX512F-NEXT:    setnp %al
1358 ; AVX512F-NEXT:    vzeroupper
1359 ; AVX512F-NEXT:    retq
1360 ;
1361 ; AVX512BW-LABEL: icmp_v4i64_v4i1:
1362 ; AVX512BW:       # %bb.0:
1363 ; AVX512BW-NEXT:    # kill: def $ymm0 killed $ymm0 def $zmm0
1364 ; AVX512BW-NEXT:    vptestnmq %zmm0, %zmm0, %k0
1365 ; AVX512BW-NEXT:    kmovd %k0, %eax
1366 ; AVX512BW-NEXT:    andl $15, %eax
1367 ; AVX512BW-NEXT:    xorb $0, %al
1368 ; AVX512BW-NEXT:    setnp %al
1369 ; AVX512BW-NEXT:    vzeroupper
1370 ; AVX512BW-NEXT:    retq
1371 ;
1372 ; AVX512VL-LABEL: icmp_v4i64_v4i1:
1373 ; AVX512VL:       # %bb.0:
1374 ; AVX512VL-NEXT:    vptestnmq %ymm0, %ymm0, %k0
1375 ; AVX512VL-NEXT:    kmovd %k0, %eax
1376 ; AVX512VL-NEXT:    andl $15, %eax
1377 ; AVX512VL-NEXT:    xorb $0, %al
1378 ; AVX512VL-NEXT:    setnp %al
1379 ; AVX512VL-NEXT:    vzeroupper
1380 ; AVX512VL-NEXT:    retq
1381   %a = icmp eq <4 x i64> %0, zeroinitializer
1382   %b = call i1 @llvm.experimental.vector.reduce.xor.v4i1(<4 x i1> %a)
1383   ret i1 %b
1384 }
1385
1386 define i1 @icmp_v8i32_v8i1(<8 x i32>) {
1387 ; SSE-LABEL: icmp_v8i32_v8i1:
1388 ; SSE:       # %bb.0:
1389 ; SSE-NEXT:    pxor %xmm2, %xmm2
1390 ; SSE-NEXT:    pcmpeqd %xmm2, %xmm1
1391 ; SSE-NEXT:    pcmpeqd %xmm2, %xmm0
1392 ; SSE-NEXT:    packssdw %xmm1, %xmm0
1393 ; SSE-NEXT:    packsswb %xmm0, %xmm0
1394 ; SSE-NEXT:    pmovmskb %xmm0, %eax
1395 ; SSE-NEXT:    xorb $0, %al
1396 ; SSE-NEXT:    setnp %al
1397 ; SSE-NEXT:    retq
1398 ;
1399 ; AVX1-LABEL: icmp_v8i32_v8i1:
1400 ; AVX1:       # %bb.0:
1401 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm1
1402 ; AVX1-NEXT:    vpxor %xmm2, %xmm2, %xmm2
1403 ; AVX1-NEXT:    vpcmpeqd %xmm2, %xmm1, %xmm1
1404 ; AVX1-NEXT:    vpcmpeqd %xmm2, %xmm0, %xmm0
1405 ; AVX1-NEXT:    vinsertf128 $1, %xmm1, %ymm0, %ymm0
1406 ; AVX1-NEXT:    vmovmskps %ymm0, %eax
1407 ; AVX1-NEXT:    xorb $0, %al
1408 ; AVX1-NEXT:    setnp %al
1409 ; AVX1-NEXT:    vzeroupper
1410 ; AVX1-NEXT:    retq
1411 ;
1412 ; AVX2-LABEL: icmp_v8i32_v8i1:
1413 ; AVX2:       # %bb.0:
1414 ; AVX2-NEXT:    vpxor %xmm1, %xmm1, %xmm1
1415 ; AVX2-NEXT:    vpcmpeqd %ymm1, %ymm0, %ymm0
1416 ; AVX2-NEXT:    vmovmskps %ymm0, %eax
1417 ; AVX2-NEXT:    xorb $0, %al
1418 ; AVX2-NEXT:    setnp %al
1419 ; AVX2-NEXT:    vzeroupper
1420 ; AVX2-NEXT:    retq
1421 ;
1422 ; AVX512F-LABEL: icmp_v8i32_v8i1:
1423 ; AVX512F:       # %bb.0:
1424 ; AVX512F-NEXT:    # kill: def $ymm0 killed $ymm0 def $zmm0
1425 ; AVX512F-NEXT:    vptestnmd %zmm0, %zmm0, %k0
1426 ; AVX512F-NEXT:    kmovw %k0, %eax
1427 ; AVX512F-NEXT:    xorb $0, %al
1428 ; AVX512F-NEXT:    setnp %al
1429 ; AVX512F-NEXT:    vzeroupper
1430 ; AVX512F-NEXT:    retq
1431 ;
1432 ; AVX512BW-LABEL: icmp_v8i32_v8i1:
1433 ; AVX512BW:       # %bb.0:
1434 ; AVX512BW-NEXT:    # kill: def $ymm0 killed $ymm0 def $zmm0
1435 ; AVX512BW-NEXT:    vptestnmd %zmm0, %zmm0, %k0
1436 ; AVX512BW-NEXT:    kmovd %k0, %eax
1437 ; AVX512BW-NEXT:    xorb $0, %al
1438 ; AVX512BW-NEXT:    setnp %al
1439 ; AVX512BW-NEXT:    vzeroupper
1440 ; AVX512BW-NEXT:    retq
1441 ;
1442 ; AVX512VL-LABEL: icmp_v8i32_v8i1:
1443 ; AVX512VL:       # %bb.0:
1444 ; AVX512VL-NEXT:    vptestnmd %ymm0, %ymm0, %k0
1445 ; AVX512VL-NEXT:    kmovd %k0, %eax
1446 ; AVX512VL-NEXT:    xorb $0, %al
1447 ; AVX512VL-NEXT:    setnp %al
1448 ; AVX512VL-NEXT:    vzeroupper
1449 ; AVX512VL-NEXT:    retq
1450   %a = icmp eq <8 x i32> %0, zeroinitializer
1451   %b = call i1 @llvm.experimental.vector.reduce.xor.v8i1(<8 x i1> %a)
1452   ret i1 %b
1453 }
1454
1455 define i1 @icmp_v16i16_v16i1(<16 x i16>) {
1456 ; SSE-LABEL: icmp_v16i16_v16i1:
1457 ; SSE:       # %bb.0:
1458 ; SSE-NEXT:    pxor %xmm2, %xmm2
1459 ; SSE-NEXT:    pcmpeqw %xmm2, %xmm1
1460 ; SSE-NEXT:    pcmpeqw %xmm2, %xmm0
1461 ; SSE-NEXT:    packsswb %xmm1, %xmm0
1462 ; SSE-NEXT:    pmovmskb %xmm0, %eax
1463 ; SSE-NEXT:    movl %eax, %ecx
1464 ; SSE-NEXT:    shrl $8, %ecx
1465 ; SSE-NEXT:    xorb %al, %cl
1466 ; SSE-NEXT:    setnp %al
1467 ; SSE-NEXT:    retq
1468 ;
1469 ; AVX1-LABEL: icmp_v16i16_v16i1:
1470 ; AVX1:       # %bb.0:
1471 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm1
1472 ; AVX1-NEXT:    vpxor %xmm2, %xmm2, %xmm2
1473 ; AVX1-NEXT:    vpcmpeqw %xmm2, %xmm1, %xmm1
1474 ; AVX1-NEXT:    vpcmpeqw %xmm2, %xmm0, %xmm0
1475 ; AVX1-NEXT:    vpacksswb %xmm1, %xmm0, %xmm0
1476 ; AVX1-NEXT:    vpmovmskb %xmm0, %eax
1477 ; AVX1-NEXT:    movl %eax, %ecx
1478 ; AVX1-NEXT:    shrl $8, %ecx
1479 ; AVX1-NEXT:    xorb %al, %cl
1480 ; AVX1-NEXT:    setnp %al
1481 ; AVX1-NEXT:    vzeroupper
1482 ; AVX1-NEXT:    retq
1483 ;
1484 ; AVX2-LABEL: icmp_v16i16_v16i1:
1485 ; AVX2:       # %bb.0:
1486 ; AVX2-NEXT:    vpxor %xmm1, %xmm1, %xmm1
1487 ; AVX2-NEXT:    vpcmpeqw %ymm1, %ymm0, %ymm0
1488 ; AVX2-NEXT:    vextracti128 $1, %ymm0, %xmm1
1489 ; AVX2-NEXT:    vpacksswb %xmm1, %xmm0, %xmm0
1490 ; AVX2-NEXT:    vpmovmskb %xmm0, %eax
1491 ; AVX2-NEXT:    movl %eax, %ecx
1492 ; AVX2-NEXT:    shrl $8, %ecx
1493 ; AVX2-NEXT:    xorb %al, %cl
1494 ; AVX2-NEXT:    setnp %al
1495 ; AVX2-NEXT:    vzeroupper
1496 ; AVX2-NEXT:    retq
1497 ;
1498 ; AVX512F-LABEL: icmp_v16i16_v16i1:
1499 ; AVX512F:       # %bb.0:
1500 ; AVX512F-NEXT:    vpxor %xmm1, %xmm1, %xmm1
1501 ; AVX512F-NEXT:    vpcmpeqw %ymm1, %ymm0, %ymm0
1502 ; AVX512F-NEXT:    vpmovsxwd %ymm0, %zmm0
1503 ; AVX512F-NEXT:    vptestmd %zmm0, %zmm0, %k0
1504 ; AVX512F-NEXT:    kmovw %k0, %eax
1505 ; AVX512F-NEXT:    movl %eax, %ecx
1506 ; AVX512F-NEXT:    shrl $8, %ecx
1507 ; AVX512F-NEXT:    xorb %al, %cl
1508 ; AVX512F-NEXT:    setnp %al
1509 ; AVX512F-NEXT:    vzeroupper
1510 ; AVX512F-NEXT:    retq
1511 ;
1512 ; AVX512BW-LABEL: icmp_v16i16_v16i1:
1513 ; AVX512BW:       # %bb.0:
1514 ; AVX512BW-NEXT:    # kill: def $ymm0 killed $ymm0 def $zmm0
1515 ; AVX512BW-NEXT:    vptestnmw %zmm0, %zmm0, %k0
1516 ; AVX512BW-NEXT:    kmovd %k0, %eax
1517 ; AVX512BW-NEXT:    movl %eax, %ecx
1518 ; AVX512BW-NEXT:    shrl $8, %ecx
1519 ; AVX512BW-NEXT:    xorb %al, %cl
1520 ; AVX512BW-NEXT:    setnp %al
1521 ; AVX512BW-NEXT:    vzeroupper
1522 ; AVX512BW-NEXT:    retq
1523 ;
1524 ; AVX512VL-LABEL: icmp_v16i16_v16i1:
1525 ; AVX512VL:       # %bb.0:
1526 ; AVX512VL-NEXT:    vptestnmw %ymm0, %ymm0, %k0
1527 ; AVX512VL-NEXT:    kmovd %k0, %eax
1528 ; AVX512VL-NEXT:    movl %eax, %ecx
1529 ; AVX512VL-NEXT:    shrl $8, %ecx
1530 ; AVX512VL-NEXT:    xorb %al, %cl
1531 ; AVX512VL-NEXT:    setnp %al
1532 ; AVX512VL-NEXT:    vzeroupper
1533 ; AVX512VL-NEXT:    retq
1534   %a = icmp eq <16 x i16> %0, zeroinitializer
1535   %b = call i1 @llvm.experimental.vector.reduce.xor.v16i1(<16 x i1> %a)
1536   ret i1 %b
1537 }
1538
1539 define i1 @icmp_v32i8_v32i1(<32 x i8>) {
1540 ; SSE-LABEL: icmp_v32i8_v32i1:
1541 ; SSE:       # %bb.0:
1542 ; SSE-NEXT:    pxor %xmm2, %xmm2
1543 ; SSE-NEXT:    pcmpeqb %xmm2, %xmm1
1544 ; SSE-NEXT:    pcmpeqb %xmm2, %xmm0
1545 ; SSE-NEXT:    pxor %xmm1, %xmm0
1546 ; SSE-NEXT:    pmovmskb %xmm0, %eax
1547 ; SSE-NEXT:    movl %eax, %ecx
1548 ; SSE-NEXT:    shrl $8, %ecx
1549 ; SSE-NEXT:    xorb %al, %cl
1550 ; SSE-NEXT:    setnp %al
1551 ; SSE-NEXT:    retq
1552 ;
1553 ; AVX1-LABEL: icmp_v32i8_v32i1:
1554 ; AVX1:       # %bb.0:
1555 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm1
1556 ; AVX1-NEXT:    vpxor %xmm2, %xmm2, %xmm2
1557 ; AVX1-NEXT:    vpcmpeqb %xmm2, %xmm1, %xmm1
1558 ; AVX1-NEXT:    vpcmpeqb %xmm2, %xmm0, %xmm0
1559 ; AVX1-NEXT:    vpxor %xmm1, %xmm0, %xmm0
1560 ; AVX1-NEXT:    vpmovmskb %xmm0, %eax
1561 ; AVX1-NEXT:    movl %eax, %ecx
1562 ; AVX1-NEXT:    shrl $8, %ecx
1563 ; AVX1-NEXT:    xorb %al, %cl
1564 ; AVX1-NEXT:    setnp %al
1565 ; AVX1-NEXT:    vzeroupper
1566 ; AVX1-NEXT:    retq
1567 ;
1568 ; AVX2-LABEL: icmp_v32i8_v32i1:
1569 ; AVX2:       # %bb.0:
1570 ; AVX2-NEXT:    vpxor %xmm1, %xmm1, %xmm1
1571 ; AVX2-NEXT:    vpcmpeqb %ymm1, %ymm0, %ymm0
1572 ; AVX2-NEXT:    vpmovmskb %ymm0, %eax
1573 ; AVX2-NEXT:    movl %eax, %ecx
1574 ; AVX2-NEXT:    shrl $16, %ecx
1575 ; AVX2-NEXT:    xorl %eax, %ecx
1576 ; AVX2-NEXT:    movl %ecx, %eax
1577 ; AVX2-NEXT:    shrl $8, %eax
1578 ; AVX2-NEXT:    xorb %cl, %al
1579 ; AVX2-NEXT:    setnp %al
1580 ; AVX2-NEXT:    vzeroupper
1581 ; AVX2-NEXT:    retq
1582 ;
1583 ; AVX512F-LABEL: icmp_v32i8_v32i1:
1584 ; AVX512F:       # %bb.0:
1585 ; AVX512F-NEXT:    vpxor %xmm1, %xmm1, %xmm1
1586 ; AVX512F-NEXT:    vpcmpeqb %ymm1, %ymm0, %ymm0
1587 ; AVX512F-NEXT:    vextracti128 $1, %ymm0, %xmm1
1588 ; AVX512F-NEXT:    vpxor %xmm1, %xmm0, %xmm0
1589 ; AVX512F-NEXT:    vpmovsxbd %xmm0, %zmm0
1590 ; AVX512F-NEXT:    vptestmd %zmm0, %zmm0, %k0
1591 ; AVX512F-NEXT:    kshiftrw $8, %k0, %k1
1592 ; AVX512F-NEXT:    kxorw %k1, %k0, %k0
1593 ; AVX512F-NEXT:    kshiftrw $4, %k0, %k1
1594 ; AVX512F-NEXT:    kxorw %k1, %k0, %k0
1595 ; AVX512F-NEXT:    kshiftrw $2, %k0, %k1
1596 ; AVX512F-NEXT:    kxorw %k1, %k0, %k0
1597 ; AVX512F-NEXT:    kshiftrw $1, %k0, %k1
1598 ; AVX512F-NEXT:    kxorw %k1, %k0, %k0
1599 ; AVX512F-NEXT:    kmovw %k0, %eax
1600 ; AVX512F-NEXT:    # kill: def $al killed $al killed $eax
1601 ; AVX512F-NEXT:    vzeroupper
1602 ; AVX512F-NEXT:    retq
1603 ;
1604 ; AVX512BW-LABEL: icmp_v32i8_v32i1:
1605 ; AVX512BW:       # %bb.0:
1606 ; AVX512BW-NEXT:    # kill: def $ymm0 killed $ymm0 def $zmm0
1607 ; AVX512BW-NEXT:    vptestnmb %zmm0, %zmm0, %k0
1608 ; AVX512BW-NEXT:    kmovd %k0, %eax
1609 ; AVX512BW-NEXT:    movl %eax, %ecx
1610 ; AVX512BW-NEXT:    shrl $16, %ecx
1611 ; AVX512BW-NEXT:    xorl %eax, %ecx
1612 ; AVX512BW-NEXT:    movl %ecx, %eax
1613 ; AVX512BW-NEXT:    shrl $8, %eax
1614 ; AVX512BW-NEXT:    xorb %cl, %al
1615 ; AVX512BW-NEXT:    setnp %al
1616 ; AVX512BW-NEXT:    vzeroupper
1617 ; AVX512BW-NEXT:    retq
1618 ;
1619 ; AVX512VL-LABEL: icmp_v32i8_v32i1:
1620 ; AVX512VL:       # %bb.0:
1621 ; AVX512VL-NEXT:    vptestnmb %ymm0, %ymm0, %k0
1622 ; AVX512VL-NEXT:    kmovd %k0, %eax
1623 ; AVX512VL-NEXT:    movl %eax, %ecx
1624 ; AVX512VL-NEXT:    shrl $16, %ecx
1625 ; AVX512VL-NEXT:    xorl %eax, %ecx
1626 ; AVX512VL-NEXT:    movl %ecx, %eax
1627 ; AVX512VL-NEXT:    shrl $8, %eax
1628 ; AVX512VL-NEXT:    xorb %cl, %al
1629 ; AVX512VL-NEXT:    setnp %al
1630 ; AVX512VL-NEXT:    vzeroupper
1631 ; AVX512VL-NEXT:    retq
1632   %a = icmp eq <32 x i8> %0, zeroinitializer
1633   %b = call i1 @llvm.experimental.vector.reduce.xor.v32i1(<32 x i1> %a)
1634   ret i1 %b
1635 }
1636
1637 define i1 @icmp_v8i64_v8i1(<8 x i64>) {
1638 ; SSE2-LABEL: icmp_v8i64_v8i1:
1639 ; SSE2:       # %bb.0:
1640 ; SSE2-NEXT:    pxor %xmm4, %xmm4
1641 ; SSE2-NEXT:    pcmpeqd %xmm4, %xmm3
1642 ; SSE2-NEXT:    pshufd {{.*#+}} xmm5 = xmm3[1,0,3,2]
1643 ; SSE2-NEXT:    pand %xmm3, %xmm5
1644 ; SSE2-NEXT:    pcmpeqd %xmm4, %xmm2
1645 ; SSE2-NEXT:    pshufd {{.*#+}} xmm3 = xmm2[1,0,3,2]
1646 ; SSE2-NEXT:    pand %xmm2, %xmm3
1647 ; SSE2-NEXT:    packssdw %xmm5, %xmm3
1648 ; SSE2-NEXT:    pcmpeqd %xmm4, %xmm1
1649 ; SSE2-NEXT:    pshufd {{.*#+}} xmm2 = xmm1[1,0,3,2]
1650 ; SSE2-NEXT:    pand %xmm1, %xmm2
1651 ; SSE2-NEXT:    pcmpeqd %xmm4, %xmm0
1652 ; SSE2-NEXT:    pshufd {{.*#+}} xmm1 = xmm0[1,0,3,2]
1653 ; SSE2-NEXT:    pand %xmm0, %xmm1
1654 ; SSE2-NEXT:    packssdw %xmm2, %xmm1
1655 ; SSE2-NEXT:    packssdw %xmm3, %xmm1
1656 ; SSE2-NEXT:    packsswb %xmm0, %xmm1
1657 ; SSE2-NEXT:    pmovmskb %xmm1, %eax
1658 ; SSE2-NEXT:    xorb $0, %al
1659 ; SSE2-NEXT:    setnp %al
1660 ; SSE2-NEXT:    retq
1661 ;
1662 ; SSE41-LABEL: icmp_v8i64_v8i1:
1663 ; SSE41:       # %bb.0:
1664 ; SSE41-NEXT:    pxor %xmm4, %xmm4
1665 ; SSE41-NEXT:    pcmpeqq %xmm4, %xmm3
1666 ; SSE41-NEXT:    pcmpeqq %xmm4, %xmm2
1667 ; SSE41-NEXT:    packssdw %xmm3, %xmm2
1668 ; SSE41-NEXT:    pcmpeqq %xmm4, %xmm1
1669 ; SSE41-NEXT:    pcmpeqq %xmm4, %xmm0
1670 ; SSE41-NEXT:    packssdw %xmm1, %xmm0
1671 ; SSE41-NEXT:    packssdw %xmm2, %xmm0
1672 ; SSE41-NEXT:    packsswb %xmm0, %xmm0
1673 ; SSE41-NEXT:    pmovmskb %xmm0, %eax
1674 ; SSE41-NEXT:    xorb $0, %al
1675 ; SSE41-NEXT:    setnp %al
1676 ; SSE41-NEXT:    retq
1677 ;
1678 ; AVX1-LABEL: icmp_v8i64_v8i1:
1679 ; AVX1:       # %bb.0:
1680 ; AVX1-NEXT:    vextractf128 $1, %ymm1, %xmm2
1681 ; AVX1-NEXT:    vpxor %xmm3, %xmm3, %xmm3
1682 ; AVX1-NEXT:    vpcmpeqq %xmm3, %xmm2, %xmm2
1683 ; AVX1-NEXT:    vpcmpeqq %xmm3, %xmm1, %xmm1
1684 ; AVX1-NEXT:    vpackssdw %xmm2, %xmm1, %xmm1
1685 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm2
1686 ; AVX1-NEXT:    vpcmpeqq %xmm3, %xmm2, %xmm2
1687 ; AVX1-NEXT:    vpcmpeqq %xmm3, %xmm0, %xmm0
1688 ; AVX1-NEXT:    vpackssdw %xmm2, %xmm0, %xmm0
1689 ; AVX1-NEXT:    vinsertf128 $1, %xmm1, %ymm0, %ymm0
1690 ; AVX1-NEXT:    vmovmskps %ymm0, %eax
1691 ; AVX1-NEXT:    xorb $0, %al
1692 ; AVX1-NEXT:    setnp %al
1693 ; AVX1-NEXT:    vzeroupper
1694 ; AVX1-NEXT:    retq
1695 ;
1696 ; AVX2-LABEL: icmp_v8i64_v8i1:
1697 ; AVX2:       # %bb.0:
1698 ; AVX2-NEXT:    vpxor %xmm2, %xmm2, %xmm2
1699 ; AVX2-NEXT:    vpcmpeqq %ymm2, %ymm1, %ymm1
1700 ; AVX2-NEXT:    vpcmpeqq %ymm2, %ymm0, %ymm0
1701 ; AVX2-NEXT:    vpackssdw %ymm1, %ymm0, %ymm0
1702 ; AVX2-NEXT:    vpermq {{.*#+}} ymm0 = ymm0[0,2,1,3]
1703 ; AVX2-NEXT:    vmovmskps %ymm0, %eax
1704 ; AVX2-NEXT:    xorb $0, %al
1705 ; AVX2-NEXT:    setnp %al
1706 ; AVX2-NEXT:    vzeroupper
1707 ; AVX2-NEXT:    retq
1708 ;
1709 ; AVX512F-LABEL: icmp_v8i64_v8i1:
1710 ; AVX512F:       # %bb.0:
1711 ; AVX512F-NEXT:    vptestnmq %zmm0, %zmm0, %k0
1712 ; AVX512F-NEXT:    kmovw %k0, %eax
1713 ; AVX512F-NEXT:    xorb $0, %al
1714 ; AVX512F-NEXT:    setnp %al
1715 ; AVX512F-NEXT:    vzeroupper
1716 ; AVX512F-NEXT:    retq
1717 ;
1718 ; AVX512BW-LABEL: icmp_v8i64_v8i1:
1719 ; AVX512BW:       # %bb.0:
1720 ; AVX512BW-NEXT:    vptestnmq %zmm0, %zmm0, %k0
1721 ; AVX512BW-NEXT:    kmovd %k0, %eax
1722 ; AVX512BW-NEXT:    xorb $0, %al
1723 ; AVX512BW-NEXT:    setnp %al
1724 ; AVX512BW-NEXT:    vzeroupper
1725 ; AVX512BW-NEXT:    retq
1726 ;
1727 ; AVX512VL-LABEL: icmp_v8i64_v8i1:
1728 ; AVX512VL:       # %bb.0:
1729 ; AVX512VL-NEXT:    vptestnmq %zmm0, %zmm0, %k0
1730 ; AVX512VL-NEXT:    kmovd %k0, %eax
1731 ; AVX512VL-NEXT:    xorb $0, %al
1732 ; AVX512VL-NEXT:    setnp %al
1733 ; AVX512VL-NEXT:    vzeroupper
1734 ; AVX512VL-NEXT:    retq
1735   %a = icmp eq <8 x i64> %0, zeroinitializer
1736   %b = call i1 @llvm.experimental.vector.reduce.xor.v8i1(<8 x i1> %a)
1737   ret i1 %b
1738 }
1739
1740 define i1 @icmp_v16i32_v16i1(<16 x i32>) {
1741 ; SSE-LABEL: icmp_v16i32_v16i1:
1742 ; SSE:       # %bb.0:
1743 ; SSE-NEXT:    pxor %xmm4, %xmm4
1744 ; SSE-NEXT:    pcmpeqd %xmm4, %xmm3
1745 ; SSE-NEXT:    pcmpeqd %xmm4, %xmm2
1746 ; SSE-NEXT:    packssdw %xmm3, %xmm2
1747 ; SSE-NEXT:    pcmpeqd %xmm4, %xmm1
1748 ; SSE-NEXT:    pcmpeqd %xmm4, %xmm0
1749 ; SSE-NEXT:    packssdw %xmm1, %xmm0
1750 ; SSE-NEXT:    packsswb %xmm2, %xmm0
1751 ; SSE-NEXT:    pmovmskb %xmm0, %eax
1752 ; SSE-NEXT:    movl %eax, %ecx
1753 ; SSE-NEXT:    shrl $8, %ecx
1754 ; SSE-NEXT:    xorb %al, %cl
1755 ; SSE-NEXT:    setnp %al
1756 ; SSE-NEXT:    retq
1757 ;
1758 ; AVX1-LABEL: icmp_v16i32_v16i1:
1759 ; AVX1:       # %bb.0:
1760 ; AVX1-NEXT:    vextractf128 $1, %ymm1, %xmm2
1761 ; AVX1-NEXT:    vpxor %xmm3, %xmm3, %xmm3
1762 ; AVX1-NEXT:    vpcmpeqd %xmm3, %xmm2, %xmm2
1763 ; AVX1-NEXT:    vpcmpeqd %xmm3, %xmm1, %xmm1
1764 ; AVX1-NEXT:    vpackssdw %xmm2, %xmm1, %xmm1
1765 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm2
1766 ; AVX1-NEXT:    vpcmpeqd %xmm3, %xmm2, %xmm2
1767 ; AVX1-NEXT:    vpcmpeqd %xmm3, %xmm0, %xmm0
1768 ; AVX1-NEXT:    vpackssdw %xmm2, %xmm0, %xmm0
1769 ; AVX1-NEXT:    vpacksswb %xmm1, %xmm0, %xmm0
1770 ; AVX1-NEXT:    vpmovmskb %xmm0, %eax
1771 ; AVX1-NEXT:    movl %eax, %ecx
1772 ; AVX1-NEXT:    shrl $8, %ecx
1773 ; AVX1-NEXT:    xorb %al, %cl
1774 ; AVX1-NEXT:    setnp %al
1775 ; AVX1-NEXT:    vzeroupper
1776 ; AVX1-NEXT:    retq
1777 ;
1778 ; AVX2-LABEL: icmp_v16i32_v16i1:
1779 ; AVX2:       # %bb.0:
1780 ; AVX2-NEXT:    vpxor %xmm2, %xmm2, %xmm2
1781 ; AVX2-NEXT:    vpcmpeqd %ymm2, %ymm1, %ymm1
1782 ; AVX2-NEXT:    vpcmpeqd %ymm2, %ymm0, %ymm0
1783 ; AVX2-NEXT:    vpackssdw %ymm1, %ymm0, %ymm0
1784 ; AVX2-NEXT:    vpermq {{.*#+}} ymm0 = ymm0[0,2,1,3]
1785 ; AVX2-NEXT:    vextracti128 $1, %ymm0, %xmm1
1786 ; AVX2-NEXT:    vpacksswb %xmm1, %xmm0, %xmm0
1787 ; AVX2-NEXT:    vpmovmskb %xmm0, %eax
1788 ; AVX2-NEXT:    movl %eax, %ecx
1789 ; AVX2-NEXT:    shrl $8, %ecx
1790 ; AVX2-NEXT:    xorb %al, %cl
1791 ; AVX2-NEXT:    setnp %al
1792 ; AVX2-NEXT:    vzeroupper
1793 ; AVX2-NEXT:    retq
1794 ;
1795 ; AVX512F-LABEL: icmp_v16i32_v16i1:
1796 ; AVX512F:       # %bb.0:
1797 ; AVX512F-NEXT:    vptestnmd %zmm0, %zmm0, %k0
1798 ; AVX512F-NEXT:    kmovw %k0, %eax
1799 ; AVX512F-NEXT:    movl %eax, %ecx
1800 ; AVX512F-NEXT:    shrl $8, %ecx
1801 ; AVX512F-NEXT:    xorb %al, %cl
1802 ; AVX512F-NEXT:    setnp %al
1803 ; AVX512F-NEXT:    vzeroupper
1804 ; AVX512F-NEXT:    retq
1805 ;
1806 ; AVX512BW-LABEL: icmp_v16i32_v16i1:
1807 ; AVX512BW:       # %bb.0:
1808 ; AVX512BW-NEXT:    vptestnmd %zmm0, %zmm0, %k0
1809 ; AVX512BW-NEXT:    kmovd %k0, %eax
1810 ; AVX512BW-NEXT:    movl %eax, %ecx
1811 ; AVX512BW-NEXT:    shrl $8, %ecx
1812 ; AVX512BW-NEXT:    xorb %al, %cl
1813 ; AVX512BW-NEXT:    setnp %al
1814 ; AVX512BW-NEXT:    vzeroupper
1815 ; AVX512BW-NEXT:    retq
1816 ;
1817 ; AVX512VL-LABEL: icmp_v16i32_v16i1:
1818 ; AVX512VL:       # %bb.0:
1819 ; AVX512VL-NEXT:    vptestnmd %zmm0, %zmm0, %k0
1820 ; AVX512VL-NEXT:    kmovd %k0, %eax
1821 ; AVX512VL-NEXT:    movl %eax, %ecx
1822 ; AVX512VL-NEXT:    shrl $8, %ecx
1823 ; AVX512VL-NEXT:    xorb %al, %cl
1824 ; AVX512VL-NEXT:    setnp %al
1825 ; AVX512VL-NEXT:    vzeroupper
1826 ; AVX512VL-NEXT:    retq
1827   %a = icmp eq <16 x i32> %0, zeroinitializer
1828   %b = call i1 @llvm.experimental.vector.reduce.xor.v16i1(<16 x i1> %a)
1829   ret i1 %b
1830 }
1831
1832 define i1 @icmp_v32i16_v32i1(<32 x i16>) {
1833 ; SSE-LABEL: icmp_v32i16_v32i1:
1834 ; SSE:       # %bb.0:
1835 ; SSE-NEXT:    pxor %xmm4, %xmm4
1836 ; SSE-NEXT:    pcmpeqw %xmm4, %xmm1
1837 ; SSE-NEXT:    pcmpeqw %xmm4, %xmm0
1838 ; SSE-NEXT:    packsswb %xmm1, %xmm0
1839 ; SSE-NEXT:    pcmpeqw %xmm4, %xmm3
1840 ; SSE-NEXT:    pcmpeqw %xmm4, %xmm2
1841 ; SSE-NEXT:    packsswb %xmm3, %xmm2
1842 ; SSE-NEXT:    pxor %xmm0, %xmm2
1843 ; SSE-NEXT:    pmovmskb %xmm2, %eax
1844 ; SSE-NEXT:    movl %eax, %ecx
1845 ; SSE-NEXT:    shrl $8, %ecx
1846 ; SSE-NEXT:    xorb %al, %cl
1847 ; SSE-NEXT:    setnp %al
1848 ; SSE-NEXT:    retq
1849 ;
1850 ; AVX1-LABEL: icmp_v32i16_v32i1:
1851 ; AVX1:       # %bb.0:
1852 ; AVX1-NEXT:    vextractf128 $1, %ymm1, %xmm2
1853 ; AVX1-NEXT:    vpxor %xmm3, %xmm3, %xmm3
1854 ; AVX1-NEXT:    vpcmpeqw %xmm3, %xmm2, %xmm2
1855 ; AVX1-NEXT:    vpcmpeqw %xmm3, %xmm1, %xmm1
1856 ; AVX1-NEXT:    vpacksswb %xmm2, %xmm1, %xmm1
1857 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm2
1858 ; AVX1-NEXT:    vpcmpeqw %xmm3, %xmm2, %xmm2
1859 ; AVX1-NEXT:    vpcmpeqw %xmm3, %xmm0, %xmm0
1860 ; AVX1-NEXT:    vpacksswb %xmm2, %xmm0, %xmm0
1861 ; AVX1-NEXT:    vpxor %xmm1, %xmm0, %xmm0
1862 ; AVX1-NEXT:    vpsllw $7, %xmm0, %xmm0
1863 ; AVX1-NEXT:    vpmovmskb %xmm0, %eax
1864 ; AVX1-NEXT:    movl %eax, %ecx
1865 ; AVX1-NEXT:    shrl $8, %ecx
1866 ; AVX1-NEXT:    xorb %al, %cl
1867 ; AVX1-NEXT:    setnp %al
1868 ; AVX1-NEXT:    vzeroupper
1869 ; AVX1-NEXT:    retq
1870 ;
1871 ; AVX2-LABEL: icmp_v32i16_v32i1:
1872 ; AVX2:       # %bb.0:
1873 ; AVX2-NEXT:    vpxor %xmm2, %xmm2, %xmm2
1874 ; AVX2-NEXT:    vpcmpeqw %ymm2, %ymm1, %ymm1
1875 ; AVX2-NEXT:    vpcmpeqw %ymm2, %ymm0, %ymm0
1876 ; AVX2-NEXT:    vpacksswb %ymm1, %ymm0, %ymm0
1877 ; AVX2-NEXT:    vpermq {{.*#+}} ymm0 = ymm0[0,2,1,3]
1878 ; AVX2-NEXT:    vpmovmskb %ymm0, %eax
1879 ; AVX2-NEXT:    movl %eax, %ecx
1880 ; AVX2-NEXT:    shrl $16, %ecx
1881 ; AVX2-NEXT:    xorl %eax, %ecx
1882 ; AVX2-NEXT:    movl %ecx, %eax
1883 ; AVX2-NEXT:    shrl $8, %eax
1884 ; AVX2-NEXT:    xorb %cl, %al
1885 ; AVX2-NEXT:    setnp %al
1886 ; AVX2-NEXT:    vzeroupper
1887 ; AVX2-NEXT:    retq
1888 ;
1889 ; AVX512F-LABEL: icmp_v32i16_v32i1:
1890 ; AVX512F:       # %bb.0:
1891 ; AVX512F-NEXT:    vpxor %xmm2, %xmm2, %xmm2
1892 ; AVX512F-NEXT:    vpcmpeqw %ymm2, %ymm1, %ymm1
1893 ; AVX512F-NEXT:    vpcmpeqw %ymm2, %ymm0, %ymm0
1894 ; AVX512F-NEXT:    vpxor %ymm1, %ymm0, %ymm0
1895 ; AVX512F-NEXT:    vpmovsxwd %ymm0, %zmm0
1896 ; AVX512F-NEXT:    vptestmd %zmm0, %zmm0, %k0
1897 ; AVX512F-NEXT:    kshiftrw $8, %k0, %k1
1898 ; AVX512F-NEXT:    kxorw %k1, %k0, %k0
1899 ; AVX512F-NEXT:    kshiftrw $4, %k0, %k1
1900 ; AVX512F-NEXT:    kxorw %k1, %k0, %k0
1901 ; AVX512F-NEXT:    kshiftrw $2, %k0, %k1
1902 ; AVX512F-NEXT:    kxorw %k1, %k0, %k0
1903 ; AVX512F-NEXT:    kshiftrw $1, %k0, %k1
1904 ; AVX512F-NEXT:    kxorw %k1, %k0, %k0
1905 ; AVX512F-NEXT:    kmovw %k0, %eax
1906 ; AVX512F-NEXT:    # kill: def $al killed $al killed $eax
1907 ; AVX512F-NEXT:    vzeroupper
1908 ; AVX512F-NEXT:    retq
1909 ;
1910 ; AVX512BW-LABEL: icmp_v32i16_v32i1:
1911 ; AVX512BW:       # %bb.0:
1912 ; AVX512BW-NEXT:    vptestnmw %zmm0, %zmm0, %k0
1913 ; AVX512BW-NEXT:    kmovd %k0, %eax
1914 ; AVX512BW-NEXT:    movl %eax, %ecx
1915 ; AVX512BW-NEXT:    shrl $16, %ecx
1916 ; AVX512BW-NEXT:    xorl %eax, %ecx
1917 ; AVX512BW-NEXT:    movl %ecx, %eax
1918 ; AVX512BW-NEXT:    shrl $8, %eax
1919 ; AVX512BW-NEXT:    xorb %cl, %al
1920 ; AVX512BW-NEXT:    setnp %al
1921 ; AVX512BW-NEXT:    vzeroupper
1922 ; AVX512BW-NEXT:    retq
1923 ;
1924 ; AVX512VL-LABEL: icmp_v32i16_v32i1:
1925 ; AVX512VL:       # %bb.0:
1926 ; AVX512VL-NEXT:    vptestnmw %zmm0, %zmm0, %k0
1927 ; AVX512VL-NEXT:    kmovd %k0, %eax
1928 ; AVX512VL-NEXT:    movl %eax, %ecx
1929 ; AVX512VL-NEXT:    shrl $16, %ecx
1930 ; AVX512VL-NEXT:    xorl %eax, %ecx
1931 ; AVX512VL-NEXT:    movl %ecx, %eax
1932 ; AVX512VL-NEXT:    shrl $8, %eax
1933 ; AVX512VL-NEXT:    xorb %cl, %al
1934 ; AVX512VL-NEXT:    setnp %al
1935 ; AVX512VL-NEXT:    vzeroupper
1936 ; AVX512VL-NEXT:    retq
1937   %a = icmp eq <32 x i16> %0, zeroinitializer
1938   %b = call i1 @llvm.experimental.vector.reduce.xor.v32i1(<32 x i1> %a)
1939   ret i1 %b
1940 }
1941
1942 define i1 @icmp_v64i8_v64i1(<64 x i8>) {
1943 ; SSE2-LABEL: icmp_v64i8_v64i1:
1944 ; SSE2:       # %bb.0:
1945 ; SSE2-NEXT:    pxor %xmm4, %xmm4
1946 ; SSE2-NEXT:    pcmpeqb %xmm4, %xmm2
1947 ; SSE2-NEXT:    pcmpeqb %xmm4, %xmm0
1948 ; SSE2-NEXT:    pcmpeqb %xmm4, %xmm3
1949 ; SSE2-NEXT:    pcmpeqb %xmm4, %xmm1
1950 ; SSE2-NEXT:    pxor %xmm3, %xmm1
1951 ; SSE2-NEXT:    pxor %xmm2, %xmm1
1952 ; SSE2-NEXT:    pxor %xmm0, %xmm1
1953 ; SSE2-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[2,3,0,1]
1954 ; SSE2-NEXT:    pxor %xmm1, %xmm0
1955 ; SSE2-NEXT:    pshufd {{.*#+}} xmm1 = xmm0[1,1,2,3]
1956 ; SSE2-NEXT:    pxor %xmm0, %xmm1
1957 ; SSE2-NEXT:    movdqa %xmm1, %xmm0
1958 ; SSE2-NEXT:    psrld $16, %xmm0
1959 ; SSE2-NEXT:    pxor %xmm1, %xmm0
1960 ; SSE2-NEXT:    movdqa %xmm0, %xmm1
1961 ; SSE2-NEXT:    psrlw $8, %xmm1
1962 ; SSE2-NEXT:    pxor %xmm0, %xmm1
1963 ; SSE2-NEXT:    movd %xmm1, %eax
1964 ; SSE2-NEXT:    # kill: def $al killed $al killed $eax
1965 ; SSE2-NEXT:    retq
1966 ;
1967 ; SSE41-LABEL: icmp_v64i8_v64i1:
1968 ; SSE41:       # %bb.0:
1969 ; SSE41-NEXT:    pxor %xmm4, %xmm4
1970 ; SSE41-NEXT:    pcmpeqb %xmm4, %xmm2
1971 ; SSE41-NEXT:    pcmpeqb %xmm4, %xmm0
1972 ; SSE41-NEXT:    pcmpeqb %xmm4, %xmm3
1973 ; SSE41-NEXT:    pcmpeqb %xmm4, %xmm1
1974 ; SSE41-NEXT:    pxor %xmm3, %xmm1
1975 ; SSE41-NEXT:    pxor %xmm2, %xmm1
1976 ; SSE41-NEXT:    pxor %xmm0, %xmm1
1977 ; SSE41-NEXT:    pshufd {{.*#+}} xmm0 = xmm1[2,3,0,1]
1978 ; SSE41-NEXT:    pxor %xmm1, %xmm0
1979 ; SSE41-NEXT:    pshufd {{.*#+}} xmm1 = xmm0[1,1,2,3]
1980 ; SSE41-NEXT:    pxor %xmm0, %xmm1
1981 ; SSE41-NEXT:    movdqa %xmm1, %xmm0
1982 ; SSE41-NEXT:    psrld $16, %xmm0
1983 ; SSE41-NEXT:    pxor %xmm1, %xmm0
1984 ; SSE41-NEXT:    movdqa %xmm0, %xmm1
1985 ; SSE41-NEXT:    psrlw $8, %xmm1
1986 ; SSE41-NEXT:    pxor %xmm0, %xmm1
1987 ; SSE41-NEXT:    pextrb $0, %xmm1, %eax
1988 ; SSE41-NEXT:    # kill: def $al killed $al killed $eax
1989 ; SSE41-NEXT:    retq
1990 ;
1991 ; AVX1-LABEL: icmp_v64i8_v64i1:
1992 ; AVX1:       # %bb.0:
1993 ; AVX1-NEXT:    vpxor %xmm2, %xmm2, %xmm2
1994 ; AVX1-NEXT:    vpcmpeqb %xmm2, %xmm1, %xmm3
1995 ; AVX1-NEXT:    vpcmpeqb %xmm2, %xmm0, %xmm4
1996 ; AVX1-NEXT:    vextractf128 $1, %ymm1, %xmm1
1997 ; AVX1-NEXT:    vpcmpeqb %xmm2, %xmm1, %xmm1
1998 ; AVX1-NEXT:    vextractf128 $1, %ymm0, %xmm0
1999 ; AVX1-NEXT:    vpcmpeqb %xmm2, %xmm0, %xmm0
2000 ; AVX1-NEXT:    vpxor %xmm1, %xmm0, %xmm0
2001 ; AVX1-NEXT:    vpxor %xmm0, %xmm3, %xmm0
2002 ; AVX1-NEXT:    vpxor %xmm0, %xmm4, %xmm0
2003 ; AVX1-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
2004 ; AVX1-NEXT:    vpxor %xmm1, %xmm0, %xmm0
2005 ; AVX1-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[1,1,2,3]
2006 ; AVX1-NEXT:    vpxor %xmm1, %xmm0, %xmm0
2007 ; AVX1-NEXT:    vpsrld $16, %xmm0, %xmm1
2008 ; AVX1-NEXT:    vpxor %xmm1, %xmm0, %xmm0
2009 ; AVX1-NEXT:    vpsrlw $8, %xmm0, %xmm1
2010 ; AVX1-NEXT:    vpxor %xmm1, %xmm0, %xmm0
2011 ; AVX1-NEXT:    vpextrb $0, %xmm0, %eax
2012 ; AVX1-NEXT:    # kill: def $al killed $al killed $eax
2013 ; AVX1-NEXT:    vzeroupper
2014 ; AVX1-NEXT:    retq
2015 ;
2016 ; AVX2-LABEL: icmp_v64i8_v64i1:
2017 ; AVX2:       # %bb.0:
2018 ; AVX2-NEXT:    vpxor %xmm2, %xmm2, %xmm2
2019 ; AVX2-NEXT:    vpcmpeqb %ymm2, %ymm1, %ymm1
2020 ; AVX2-NEXT:    vpcmpeqb %ymm2, %ymm0, %ymm0
2021 ; AVX2-NEXT:    vpxor %ymm1, %ymm0, %ymm0
2022 ; AVX2-NEXT:    vextracti128 $1, %ymm0, %xmm1
2023 ; AVX2-NEXT:    vpxor %xmm1, %xmm0, %xmm0
2024 ; AVX2-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[2,3,0,1]
2025 ; AVX2-NEXT:    vpxor %xmm1, %xmm0, %xmm0
2026 ; AVX2-NEXT:    vpshufd {{.*#+}} xmm1 = xmm0[1,1,2,3]
2027 ; AVX2-NEXT:    vpxor %xmm1, %xmm0, %xmm0
2028 ; AVX2-NEXT:    vpsrld $16, %xmm0, %xmm1
2029 ; AVX2-NEXT:    vpxor %xmm1, %xmm0, %xmm0
2030 ; AVX2-NEXT:    vpsrlw $8, %xmm0, %xmm1
2031 ; AVX2-NEXT:    vpxor %xmm1, %xmm0, %xmm0
2032 ; AVX2-NEXT:    vpextrb $0, %xmm0, %eax
2033 ; AVX2-NEXT:    # kill: def $al killed $al killed $eax
2034 ; AVX2-NEXT:    vzeroupper
2035 ; AVX2-NEXT:    retq
2036 ;
2037 ; AVX512F-LABEL: icmp_v64i8_v64i1:
2038 ; AVX512F:       # %bb.0:
2039 ; AVX512F-NEXT:    vpxor %xmm2, %xmm2, %xmm2
2040 ; AVX512F-NEXT:    vpcmpeqb %ymm2, %ymm1, %ymm1
2041 ; AVX512F-NEXT:    vpcmpeqb %ymm2, %ymm0, %ymm0
2042 ; AVX512F-NEXT:    vextracti128 $1, %ymm1, %xmm2
2043 ; AVX512F-NEXT:    vextracti128 $1, %ymm0, %xmm3
2044 ; AVX512F-NEXT:    vpxor %xmm2, %xmm3, %xmm2
2045 ; AVX512F-NEXT:    vpxor %xmm2, %xmm1, %xmm1
2046 ; AVX512F-NEXT:    vpxor %xmm1, %xmm0, %xmm0
2047 ; AVX512F-NEXT:    vpmovsxbd %xmm0, %zmm0
2048 ; AVX512F-NEXT:    vptestmd %zmm0, %zmm0, %k0
2049 ; AVX512F-NEXT:    kshiftrw $8, %k0, %k1
2050 ; AVX512F-NEXT:    kxorw %k1, %k0, %k0
2051 ; AVX512F-NEXT:    kshiftrw $4, %k0, %k1
2052 ; AVX512F-NEXT:    kxorw %k1, %k0, %k0
2053 ; AVX512F-NEXT:    kshiftrw $2, %k0, %k1
2054 ; AVX512F-NEXT:    kxorw %k1, %k0, %k0
2055 ; AVX512F-NEXT:    kshiftrw $1, %k0, %k1
2056 ; AVX512F-NEXT:    kxorw %k1, %k0, %k0
2057 ; AVX512F-NEXT:    kmovw %k0, %eax
2058 ; AVX512F-NEXT:    # kill: def $al killed $al killed $eax
2059 ; AVX512F-NEXT:    vzeroupper
2060 ; AVX512F-NEXT:    retq
2061 ;
2062 ; AVX512BW-LABEL: icmp_v64i8_v64i1:
2063 ; AVX512BW:       # %bb.0:
2064 ; AVX512BW-NEXT:    vptestnmb %zmm0, %zmm0, %k0
2065 ; AVX512BW-NEXT:    kshiftrq $32, %k0, %k1
2066 ; AVX512BW-NEXT:    kxorq %k1, %k0, %k0
2067 ; AVX512BW-NEXT:    kshiftrq $16, %k0, %k1
2068 ; AVX512BW-NEXT:    kxorq %k1, %k0, %k0
2069 ; AVX512BW-NEXT:    kshiftrq $8, %k0, %k1
2070 ; AVX512BW-NEXT:    kxorq %k1, %k0, %k0
2071 ; AVX512BW-NEXT:    kshiftrq $4, %k0, %k1
2072 ; AVX512BW-NEXT:    kxorq %k1, %k0, %k0
2073 ; AVX512BW-NEXT:    kshiftrq $2, %k0, %k1
2074 ; AVX512BW-NEXT:    kxorq %k1, %k0, %k0
2075 ; AVX512BW-NEXT:    kshiftrq $1, %k0, %k1
2076 ; AVX512BW-NEXT:    kxorq %k1, %k0, %k0
2077 ; AVX512BW-NEXT:    kmovd %k0, %eax
2078 ; AVX512BW-NEXT:    # kill: def $al killed $al killed $eax
2079 ; AVX512BW-NEXT:    vzeroupper
2080 ; AVX512BW-NEXT:    retq
2081 ;
2082 ; AVX512VL-LABEL: icmp_v64i8_v64i1:
2083 ; AVX512VL:       # %bb.0:
2084 ; AVX512VL-NEXT:    vptestnmb %zmm0, %zmm0, %k0
2085 ; AVX512VL-NEXT:    kshiftrq $32, %k0, %k1
2086 ; AVX512VL-NEXT:    kxorq %k1, %k0, %k0
2087 ; AVX512VL-NEXT:    kshiftrq $16, %k0, %k1
2088 ; AVX512VL-NEXT:    kxorq %k1, %k0, %k0
2089 ; AVX512VL-NEXT:    kshiftrq $8, %k0, %k1
2090 ; AVX512VL-NEXT:    kxorq %k1, %k0, %k0
2091 ; AVX512VL-NEXT:    kshiftrq $4, %k0, %k1
2092 ; AVX512VL-NEXT:    kxorq %k1, %k0, %k0
2093 ; AVX512VL-NEXT:    kshiftrq $2, %k0, %k1
2094 ; AVX512VL-NEXT:    kxorq %k1, %k0, %k0
2095 ; AVX512VL-NEXT:    kshiftrq $1, %k0, %k1
2096 ; AVX512VL-NEXT:    kxorq %k1, %k0, %k0
2097 ; AVX512VL-NEXT:    kmovd %k0, %eax
2098 ; AVX512VL-NEXT:    # kill: def $al killed $al killed $eax
2099 ; AVX512VL-NEXT:    vzeroupper
2100 ; AVX512VL-NEXT:    retq
2101   %a = icmp eq <64 x i8> %0, zeroinitializer
2102   %b = call i1 @llvm.experimental.vector.reduce.xor.v64i1(<64 x i1> %a)
2103   ret i1 %b
2104 }
2105
2106 declare i1 @llvm.experimental.vector.reduce.xor.v2i1(<2 x i1>)
2107 declare i1 @llvm.experimental.vector.reduce.xor.v4i1(<4 x i1>)
2108 declare i1 @llvm.experimental.vector.reduce.xor.v8i1(<8 x i1>)
2109 declare i1 @llvm.experimental.vector.reduce.xor.v16i1(<16 x i1>)
2110 declare i1 @llvm.experimental.vector.reduce.xor.v32i1(<32 x i1>)
2111 declare i1 @llvm.experimental.vector.reduce.xor.v64i1(<64 x i1>)