llvm-project/llvm/test/CodeGen/X86/avx512-mask-op.ll

1644 lines
52 KiB
LLVM

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -stack-symbol-ordering=0 -march=x86-64 -mtriple=x86_64-apple-darwin -mcpu=knl | FileCheck %s --check-prefix=CHECK --check-prefix=KNL
; RUN: llc < %s -stack-symbol-ordering=0 -march=x86-64 -mtriple=x86_64-apple-darwin -mcpu=skx | FileCheck %s --check-prefix=CHECK --check-prefix=SKX
define i16 @mask16(i16 %x) {
; CHECK-LABEL: mask16:
; CHECK: ## BB#0:
; CHECK-NEXT: kmovw %edi, %k0
; CHECK-NEXT: knotw %k0, %k0
; CHECK-NEXT: kmovw %k0, %eax
; CHECK-NEXT: retq
%m0 = bitcast i16 %x to <16 x i1>
%m1 = xor <16 x i1> %m0, <i1 -1, i1 -1, i1 -1, i1 -1, i1 -1, i1 -1, i1 -1, i1 -1, i1 -1, i1 -1, i1 -1, i1 -1, i1 -1, i1 -1, i1 -1, i1 -1>
%ret = bitcast <16 x i1> %m1 to i16
ret i16 %ret
}
define i8 @mask8(i8 %x) {
; KNL-LABEL: mask8:
; KNL: ## BB#0:
; KNL-NEXT: kmovw %edi, %k0
; KNL-NEXT: knotw %k0, %k0
; KNL-NEXT: kmovw %k0, %eax
; KNL-NEXT: retq
;
; SKX-LABEL: mask8:
; SKX: ## BB#0:
; SKX-NEXT: kmovb %edi, %k0
; SKX-NEXT: knotb %k0, %k0
; SKX-NEXT: kmovb %k0, %eax
; SKX-NEXT: retq
%m0 = bitcast i8 %x to <8 x i1>
%m1 = xor <8 x i1> %m0, <i1 -1, i1 -1, i1 -1, i1 -1, i1 -1, i1 -1, i1 -1, i1 -1>
%ret = bitcast <8 x i1> %m1 to i8
ret i8 %ret
}
define void @mask16_mem(i16* %ptr) {
; CHECK-LABEL: mask16_mem:
; CHECK: ## BB#0:
; CHECK-NEXT: kmovw (%rdi), %k0
; CHECK-NEXT: knotw %k0, %k0
; CHECK-NEXT: kmovw %k0, (%rdi)
; CHECK-NEXT: retq
%x = load i16, i16* %ptr, align 4
%m0 = bitcast i16 %x to <16 x i1>
%m1 = xor <16 x i1> %m0, <i1 -1, i1 -1, i1 -1, i1 -1, i1 -1, i1 -1, i1 -1, i1 -1, i1 -1, i1 -1, i1 -1, i1 -1, i1 -1, i1 -1, i1 -1, i1 -1>
%ret = bitcast <16 x i1> %m1 to i16
store i16 %ret, i16* %ptr, align 4
ret void
}
define void @mask8_mem(i8* %ptr) {
; KNL-LABEL: mask8_mem:
; KNL: ## BB#0:
; KNL-NEXT: kmovw (%rdi), %k0
; KNL-NEXT: knotw %k0, %k0
; KNL-NEXT: kmovw %k0, (%rdi)
; KNL-NEXT: retq
;
; SKX-LABEL: mask8_mem:
; SKX: ## BB#0:
; SKX-NEXT: kmovb (%rdi), %k0
; SKX-NEXT: knotb %k0, %k0
; SKX-NEXT: kmovb %k0, (%rdi)
; SKX-NEXT: retq
%x = load i8, i8* %ptr, align 4
%m0 = bitcast i8 %x to <8 x i1>
%m1 = xor <8 x i1> %m0, <i1 -1, i1 -1, i1 -1, i1 -1, i1 -1, i1 -1, i1 -1, i1 -1>
%ret = bitcast <8 x i1> %m1 to i8
store i8 %ret, i8* %ptr, align 4
ret void
}
define i16 @mand16(i16 %x, i16 %y) {
; CHECK-LABEL: mand16:
; CHECK: ## BB#0:
; CHECK-NEXT: kmovw %edi, %k0
; CHECK-NEXT: kmovw %esi, %k1
; CHECK-NEXT: kandw %k1, %k0, %k2
; CHECK-NEXT: kxorw %k1, %k0, %k0
; CHECK-NEXT: korw %k0, %k2, %k0
; CHECK-NEXT: kmovw %k0, %eax
; CHECK-NEXT: retq
%ma = bitcast i16 %x to <16 x i1>
%mb = bitcast i16 %y to <16 x i1>
%mc = and <16 x i1> %ma, %mb
%md = xor <16 x i1> %ma, %mb
%me = or <16 x i1> %mc, %md
%ret = bitcast <16 x i1> %me to i16
ret i16 %ret
}
define i8 @shuf_test1(i16 %v) nounwind {
; KNL-LABEL: shuf_test1:
; KNL: ## BB#0:
; KNL-NEXT: kmovw %edi, %k0
; KNL-NEXT: kshiftrw $8, %k0, %k0
; KNL-NEXT: kmovw %k0, %eax
; KNL-NEXT: retq
;
; SKX-LABEL: shuf_test1:
; SKX: ## BB#0:
; SKX-NEXT: kmovw %edi, %k0
; SKX-NEXT: kshiftrw $8, %k0, %k0
; SKX-NEXT: kmovb %k0, %eax
; SKX-NEXT: retq
%v1 = bitcast i16 %v to <16 x i1>
%mask = shufflevector <16 x i1> %v1, <16 x i1> undef, <8 x i32> <i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14, i32 15>
%mask1 = bitcast <8 x i1> %mask to i8
ret i8 %mask1
}
define i32 @zext_test1(<16 x i32> %a, <16 x i32> %b) {
; CHECK-LABEL: zext_test1:
; CHECK: ## BB#0:
; CHECK-NEXT: vpcmpnleud %zmm1, %zmm0, %k0
; CHECK-NEXT: kshiftlw $10, %k0, %k0
; CHECK-NEXT: kshiftrw $15, %k0, %k0
; CHECK-NEXT: kmovw %k0, %eax
; CHECK-NEXT: andl $1, %eax
; CHECK-NEXT: retq
%cmp_res = icmp ugt <16 x i32> %a, %b
%cmp_res.i1 = extractelement <16 x i1> %cmp_res, i32 5
%res = zext i1 %cmp_res.i1 to i32
ret i32 %res
}define i16 @zext_test2(<16 x i32> %a, <16 x i32> %b) {
%cmp_res = icmp ugt <16 x i32> %a, %b
%cmp_res.i1 = extractelement <16 x i1> %cmp_res, i32 5
%res = zext i1 %cmp_res.i1 to i16
ret i16 %res
}define i8 @zext_test3(<16 x i32> %a, <16 x i32> %b) {
%cmp_res = icmp ugt <16 x i32> %a, %b
%cmp_res.i1 = extractelement <16 x i1> %cmp_res, i32 5
%res = zext i1 %cmp_res.i1 to i8
ret i8 %res
}
define i8 @conv1(<8 x i1>* %R) {
; KNL-LABEL: conv1:
; KNL: ## BB#0: ## %entry
; KNL-NEXT: kxnorw %k0, %k0, %k0
; KNL-NEXT: kmovw %k0, %eax
; KNL-NEXT: movb %al, (%rdi)
; KNL-NEXT: movb $-2, -{{[0-9]+}}(%rsp)
; KNL-NEXT: movb $-2, %al
; KNL-NEXT: retq
;
; SKX-LABEL: conv1:
; SKX: ## BB#0: ## %entry
; SKX-NEXT: kxnorw %k0, %k0, %k0
; SKX-NEXT: kmovb %k0, (%rdi)
; SKX-NEXT: movb $-2, -{{[0-9]+}}(%rsp)
; SKX-NEXT: movb $-2, %al
; SKX-NEXT: retq
entry:
store <8 x i1> <i1 1, i1 1, i1 1, i1 1, i1 1, i1 1, i1 1, i1 1>, <8 x i1>* %R
%maskPtr = alloca <8 x i1>
store <8 x i1> <i1 0, i1 1, i1 1, i1 1, i1 1, i1 1, i1 1, i1 1>, <8 x i1>* %maskPtr
%mask = load <8 x i1>, <8 x i1>* %maskPtr
%mask_convert = bitcast <8 x i1> %mask to i8
ret i8 %mask_convert
}
define <4 x i32> @test4(<4 x i64> %x, <4 x i64> %y, <4 x i64> %x1, <4 x i64> %y1) {
; KNL-LABEL: test4:
; KNL: ## BB#0:
; KNL-NEXT: vpcmpgtq %ymm1, %ymm0, %ymm0
; KNL-NEXT: vpmovqd %zmm0, %ymm0
; KNL-NEXT: vpslld $31, %xmm0, %xmm0
; KNL-NEXT: vpsrad $31, %xmm0, %xmm0
; KNL-NEXT: vpcmpgtq %ymm3, %ymm2, %ymm1
; KNL-NEXT: vpmovqd %zmm1, %ymm1
; KNL-NEXT: vpslld $31, %xmm1, %xmm1
; KNL-NEXT: vpsrad $31, %xmm1, %xmm1
; KNL-NEXT: vpcmpgtd %xmm1, %xmm0, %xmm0
; KNL-NEXT: retq
;
; SKX-LABEL: test4:
; SKX: ## BB#0:
; SKX-NEXT: vpcmpgtq %ymm3, %ymm2, %k0
; SKX-NEXT: knotw %k0, %k1
; SKX-NEXT: vpcmpgtq %ymm1, %ymm0, %k0 {%k1}
; SKX-NEXT: vpmovm2d %k0, %xmm0
; SKX-NEXT: retq
%x_gt_y = icmp sgt <4 x i64> %x, %y
%x1_gt_y1 = icmp sgt <4 x i64> %x1, %y1
%res = icmp sgt <4 x i1>%x_gt_y, %x1_gt_y1
%resse = sext <4 x i1>%res to <4 x i32>
ret <4 x i32> %resse
}
define <2 x i64> @test5(<2 x i64> %x, <2 x i64> %y, <2 x i64> %x1, <2 x i64> %y1) {
; KNL-LABEL: test5:
; KNL: ## BB#0:
; KNL-NEXT: vpcmpgtq %xmm0, %xmm1, %xmm0
; KNL-NEXT: vpcmpgtq %xmm3, %xmm2, %xmm1
; KNL-NEXT: vpcmpgtq %xmm0, %xmm1, %xmm0
; KNL-NEXT: retq
;
; SKX-LABEL: test5:
; SKX: ## BB#0:
; SKX-NEXT: vpcmpgtq %xmm0, %xmm1, %k0
; SKX-NEXT: knotw %k0, %k1
; SKX-NEXT: vpcmpgtq %xmm3, %xmm2, %k0 {%k1}
; SKX-NEXT: vpmovm2q %k0, %xmm0
; SKX-NEXT: retq
%x_gt_y = icmp slt <2 x i64> %x, %y
%x1_gt_y1 = icmp sgt <2 x i64> %x1, %y1
%res = icmp slt <2 x i1>%x_gt_y, %x1_gt_y1
%resse = sext <2 x i1>%res to <2 x i64>
ret <2 x i64> %resse
}define void @test6(<16 x i1> %mask) {
allocas:
%a= and <16 x i1> %mask, <i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false>
%b = bitcast <16 x i1> %a to i16
%c = icmp eq i16 %b, 0
br i1 %c, label %true, label %false
true:
ret void
false:
ret void
}
define void @test7(<8 x i1> %mask) {
; KNL-LABEL: test7:
; KNL: ## BB#0: ## %allocas
; KNL-NEXT: vpmovsxwq %xmm0, %zmm0
; KNL-NEXT: vpsllq $63, %zmm0, %zmm0
; KNL-NEXT: vptestmq %zmm0, %zmm0, %k0
; KNL-NEXT: movb $85, %al
; KNL-NEXT: kmovw %eax, %k1
; KNL-NEXT: korw %k1, %k0, %k0
; KNL-NEXT: kmovw %k0, %eax
; KNL-NEXT: testb %al, %al
; KNL-NEXT: retq
;
; SKX-LABEL: test7:
; SKX: ## BB#0: ## %allocas
; SKX-NEXT: vpsllw $15, %xmm0, %xmm0
; SKX-NEXT: vpmovw2m %xmm0, %k0
; SKX-NEXT: movb $85, %al
; SKX-NEXT: kmovb %eax, %k1
; SKX-NEXT: korb %k1, %k0, %k0
; SKX-NEXT: kmovb %k0, %eax
; SKX-NEXT: testb %al, %al
; SKX-NEXT: retq
allocas:
%a= or <8 x i1> %mask, <i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false>
%b = bitcast <8 x i1> %a to i8
%c = icmp eq i8 %b, 0
br i1 %c, label %true, label %false
true:
ret void
false:
ret void
}
define <16 x i8> @test8(<16 x i32>%a, <16 x i32>%b, i32 %a1, i32 %b1) {
; KNL-LABEL: test8:
; KNL: ## BB#0:
; KNL-NEXT: vpxord %zmm2, %zmm2, %zmm2
; KNL-NEXT: cmpl %esi, %edi
; KNL-NEXT: jg LBB14_1
; KNL-NEXT: ## BB#2:
; KNL-NEXT: vpcmpltud %zmm2, %zmm1, %k1
; KNL-NEXT: jmp LBB14_3
; KNL-NEXT: LBB14_1:
; KNL-NEXT: vpcmpgtd %zmm2, %zmm0, %k1
; KNL-NEXT: LBB14_3:
; KNL-NEXT: vpbroadcastd {{.*}}(%rip), %zmm0 {%k1} {z}
; KNL-NEXT: vpmovdb %zmm0, %xmm0
; KNL-NEXT: retq
;
; SKX-LABEL: test8:
; SKX: ## BB#0:
; SKX-NEXT: vpxord %zmm2, %zmm2, %zmm2
; SKX-NEXT: cmpl %esi, %edi
; SKX-NEXT: jg LBB14_1
; SKX-NEXT: ## BB#2:
; SKX-NEXT: vpcmpltud %zmm2, %zmm1, %k0
; SKX-NEXT: vpmovm2b %k0, %xmm0
; SKX-NEXT: retq
; SKX-NEXT: LBB14_1:
; SKX-NEXT: vpcmpgtd %zmm2, %zmm0, %k0
; SKX-NEXT: vpmovm2b %k0, %xmm0
; SKX-NEXT: retq
%cond = icmp sgt i32 %a1, %b1
%cmp1 = icmp sgt <16 x i32> %a, zeroinitializer
%cmp2 = icmp ult <16 x i32> %b, zeroinitializer
%mix = select i1 %cond, <16 x i1> %cmp1, <16 x i1> %cmp2
%res = sext <16 x i1> %mix to <16 x i8>
ret <16 x i8> %res
}
define <16 x i1> @test9(<16 x i1>%a, <16 x i1>%b, i32 %a1, i32 %b1) {
; KNL-LABEL: test9:
; KNL: ## BB#0:
; KNL-NEXT: cmpl %esi, %edi
; KNL-NEXT: jg LBB15_1
; KNL-NEXT: ## BB#2:
; KNL-NEXT: vpmovsxbd %xmm1, %zmm0
; KNL-NEXT: jmp LBB15_3
; KNL-NEXT: LBB15_1:
; KNL-NEXT: vpmovsxbd %xmm0, %zmm0
; KNL-NEXT: LBB15_3:
; KNL-NEXT: vpslld $31, %zmm0, %zmm0
; KNL-NEXT: vptestmd %zmm0, %zmm0, %k1
; KNL-NEXT: vpbroadcastd {{.*}}(%rip), %zmm0 {%k1} {z}
; KNL-NEXT: vpmovdb %zmm0, %xmm0
; KNL-NEXT: retq
;
; SKX-LABEL: test9:
; SKX: ## BB#0:
; SKX-NEXT: cmpl %esi, %edi
; SKX-NEXT: jg LBB15_1
; SKX-NEXT: ## BB#2:
; SKX-NEXT: vpsllw $7, %xmm1, %xmm0
; SKX-NEXT: jmp LBB15_3
; SKX-NEXT: LBB15_1:
; SKX-NEXT: vpsllw $7, %xmm0, %xmm0
; SKX-NEXT: LBB15_3:
; SKX-NEXT: vpmovb2m %xmm0, %k0
; SKX-NEXT: vpmovm2b %k0, %xmm0
; SKX-NEXT: retq
%mask = icmp sgt i32 %a1, %b1
%c = select i1 %mask, <16 x i1>%a, <16 x i1>%b
ret <16 x i1>%c
}define <8 x i1> @test10(<8 x i1>%a, <8 x i1>%b, i32 %a1, i32 %b1) {
%mask = icmp sgt i32 %a1, %b1
%c = select i1 %mask, <8 x i1>%a, <8 x i1>%b
ret <8 x i1>%c
}
define <4 x i1> @test11(<4 x i1>%a, <4 x i1>%b, i32 %a1, i32 %b1) {
; KNL-LABEL: test11:
; KNL: ## BB#0:
; KNL-NEXT: cmpl %esi, %edi
; KNL-NEXT: jg LBB17_2
; KNL-NEXT: ## BB#1:
; KNL-NEXT: vmovaps %zmm1, %zmm0
; KNL-NEXT: LBB17_2:
; KNL-NEXT: retq
;
; SKX-LABEL: test11:
; SKX: ## BB#0:
; SKX-NEXT: cmpl %esi, %edi
; SKX-NEXT: jg LBB17_1
; SKX-NEXT: ## BB#2:
; SKX-NEXT: vpslld $31, %xmm1, %xmm0
; SKX-NEXT: jmp LBB17_3
; SKX-NEXT: LBB17_1:
; SKX-NEXT: vpslld $31, %xmm0, %xmm0
; SKX-NEXT: LBB17_3:
; SKX-NEXT: vptestmd %xmm0, %xmm0, %k0
; SKX-NEXT: vpmovm2d %k0, %xmm0
; SKX-NEXT: retq
%mask = icmp sgt i32 %a1, %b1
%c = select i1 %mask, <4 x i1>%a, <4 x i1>%b
ret <4 x i1>%c
}
define i32 @test12(i32 %x, i32 %y) {
; CHECK-LABEL: test12:
; CHECK: ## BB#0:
; CHECK-NEXT: movl %edi, %eax
; CHECK-NEXT: retq
%a = bitcast i16 21845 to <16 x i1>
%b = extractelement <16 x i1> %a, i32 0
%c = select i1 %b, i32 %x, i32 %y
ret i32 %c
}
define i32 @test13(i32 %x, i32 %y) {
; CHECK-LABEL: test13:
; CHECK: ## BB#0:
; CHECK-NEXT: movl %esi, %eax
; CHECK-NEXT: retq
%a = bitcast i16 21845 to <16 x i1>
%b = extractelement <16 x i1> %a, i32 3
%c = select i1 %b, i32 %x, i32 %y
ret i32 %c
}define <4 x i1> @test14() {
%a = bitcast i16 21845 to <16 x i1>
%b = extractelement <16 x i1> %a, i32 2
%c = insertelement <4 x i1> <i1 true, i1 false, i1 false, i1 true>, i1 %b, i32 1
ret <4 x i1> %c
}
define <16 x i1> @test15(i32 %x, i32 %y) {
; KNL-LABEL: test15:
; KNL: ## BB#0:
; KNL-NEXT: cmpl %esi, %edi
; KNL-NEXT: movw $21845, %ax ## imm = 0x5555
; KNL-NEXT: movw $1, %cx
; KNL-NEXT: cmovgw %ax, %cx
; KNL-NEXT: kmovw %ecx, %k1
; KNL-NEXT: vpbroadcastd {{.*}}(%rip), %zmm0 {%k1} {z}
; KNL-NEXT: vpmovdb %zmm0, %xmm0
; KNL-NEXT: retq
;
; SKX-LABEL: test15:
; SKX: ## BB#0:
; SKX-NEXT: cmpl %esi, %edi
; SKX-NEXT: movw $21845, %ax ## imm = 0x5555
; SKX-NEXT: movw $1, %cx
; SKX-NEXT: cmovgw %ax, %cx
; SKX-NEXT: kmovw %ecx, %k0
; SKX-NEXT: vpmovm2b %k0, %xmm0
; SKX-NEXT: retq
%a = bitcast i16 21845 to <16 x i1>
%b = bitcast i16 1 to <16 x i1>
%mask = icmp sgt i32 %x, %y
%c = select i1 %mask, <16 x i1> %a, <16 x i1> %b
ret <16 x i1> %c
}
define <64 x i8> @test16(i64 %x) {
; KNL-LABEL: test16:
; KNL: ## BB#0:
; KNL-NEXT: pushq %rbp
; KNL-NEXT: Ltmp0:
; KNL-NEXT: .cfi_def_cfa_offset 16
; KNL-NEXT: Ltmp1:
; KNL-NEXT: .cfi_offset %rbp, -16
; KNL-NEXT: movq %rsp, %rbp
; KNL-NEXT: Ltmp2:
; KNL-NEXT: .cfi_def_cfa_register %rbp
; KNL-NEXT: pushq %r15
; KNL-NEXT: pushq %r14
; KNL-NEXT: pushq %r13
; KNL-NEXT: pushq %r12
; KNL-NEXT: pushq %rbx
; KNL-NEXT: andq $-32, %rsp
; KNL-NEXT: subq $128, %rsp
; KNL-NEXT: Ltmp3:
; KNL-NEXT: .cfi_offset %rbx, -56
; KNL-NEXT: Ltmp4:
; KNL-NEXT: .cfi_offset %r12, -48
; KNL-NEXT: Ltmp5:
; KNL-NEXT: .cfi_offset %r13, -40
; KNL-NEXT: Ltmp6:
; KNL-NEXT: .cfi_offset %r14, -32
; KNL-NEXT: Ltmp7:
; KNL-NEXT: .cfi_offset %r15, -24
; KNL-NEXT: movq %rdi, %rax
; KNL-NEXT: shrq $32, %rax
; KNL-NEXT: movl %eax, {{[0-9]+}}(%rsp)
; KNL-NEXT: movl $271, %eax ## imm = 0x10F
; KNL-NEXT: bextrl %eax, %edi, %eax
; KNL-NEXT: movl %edi, %ecx
; KNL-NEXT: andl $1, %ecx
; KNL-NEXT: vmovd %ecx, %xmm0
; KNL-NEXT: movl $257, %ecx ## imm = 0x101
; KNL-NEXT: bextrl %ecx, %edi, %ecx
; KNL-NEXT: vpinsrb $1, %ecx, %xmm0, %xmm0
; KNL-NEXT: movl $258, %ecx ## imm = 0x102
; KNL-NEXT: bextrl %ecx, %edi, %ecx
; KNL-NEXT: vpinsrb $2, %ecx, %xmm0, %xmm0
; KNL-NEXT: movl $259, %ecx ## imm = 0x103
; KNL-NEXT: bextrl %ecx, %edi, %ecx
; KNL-NEXT: vpinsrb $3, %ecx, %xmm0, %xmm0
; KNL-NEXT: movl $260, %ecx ## imm = 0x104
; KNL-NEXT: bextrl %ecx, %edi, %ecx
; KNL-NEXT: vpinsrb $4, %ecx, %xmm0, %xmm0
; KNL-NEXT: movl $261, %ecx ## imm = 0x105
; KNL-NEXT: bextrl %ecx, %edi, %ecx
; KNL-NEXT: vpinsrb $5, %ecx, %xmm0, %xmm0
; KNL-NEXT: movl $262, %ecx ## imm = 0x106
; KNL-NEXT: bextrl %ecx, %edi, %ecx
; KNL-NEXT: vpinsrb $6, %ecx, %xmm0, %xmm0
; KNL-NEXT: movl $263, %ecx ## imm = 0x107
; KNL-NEXT: bextrl %ecx, %edi, %ecx
; KNL-NEXT: vpinsrb $7, %ecx, %xmm0, %xmm0
; KNL-NEXT: movl $264, %ecx ## imm = 0x108
; KNL-NEXT: bextrl %ecx, %edi, %ecx
; KNL-NEXT: vpinsrb $8, %ecx, %xmm0, %xmm0
; KNL-NEXT: movl $265, %ecx ## imm = 0x109
; KNL-NEXT: bextrl %ecx, %edi, %ecx
; KNL-NEXT: vpinsrb $9, %ecx, %xmm0, %xmm0
; KNL-NEXT: movl $266, %ecx ## imm = 0x10A
; KNL-NEXT: bextrl %ecx, %edi, %ecx
; KNL-NEXT: vpinsrb $10, %ecx, %xmm0, %xmm0
; KNL-NEXT: movl $267, %ecx ## imm = 0x10B
; KNL-NEXT: bextrl %ecx, %edi, %ecx
; KNL-NEXT: vpinsrb $11, %ecx, %xmm0, %xmm0
; KNL-NEXT: movl $268, %ecx ## imm = 0x10C
; KNL-NEXT: bextrl %ecx, %edi, %ecx
; KNL-NEXT: vpinsrb $12, %ecx, %xmm0, %xmm0
; KNL-NEXT: movl $269, %ecx ## imm = 0x10D
; KNL-NEXT: bextrl %ecx, %edi, %ecx
; KNL-NEXT: vpinsrb $13, %ecx, %xmm0, %xmm0
; KNL-NEXT: movl $270, %ecx ## imm = 0x10E
; KNL-NEXT: bextrl %ecx, %edi, %ecx
; KNL-NEXT: vpinsrb $14, %ecx, %xmm0, %xmm0
; KNL-NEXT: vpinsrb $15, %eax, %xmm0, %xmm1
; KNL-NEXT: movl $1, %eax
; KNL-NEXT: vpinsrb $5, %eax, %xmm1, %xmm0
; KNL-NEXT: movl {{[0-9]+}}(%rsp), %r15d
; KNL-NEXT: movq %r15, %rdx
; KNL-NEXT: shrq $17, %rdx
; KNL-NEXT: andb $1, %dl
; KNL-NEXT: je LBB22_2
; KNL-NEXT: ## BB#1:
; KNL-NEXT: movb $-1, %dl
; KNL-NEXT: LBB22_2:
; KNL-NEXT: movq %r15, %r11
; KNL-NEXT: shrq $16, %r11
; KNL-NEXT: andb $1, %r11b
; KNL-NEXT: je LBB22_4
; KNL-NEXT: ## BB#3:
; KNL-NEXT: movb $-1, %r11b
; KNL-NEXT: LBB22_4:
; KNL-NEXT: movq %r15, %r10
; KNL-NEXT: shrq $18, %r10
; KNL-NEXT: andb $1, %r10b
; KNL-NEXT: je LBB22_6
; KNL-NEXT: ## BB#5:
; KNL-NEXT: movb $-1, %r10b
; KNL-NEXT: LBB22_6:
; KNL-NEXT: movq %r15, %r9
; KNL-NEXT: shrq $19, %r9
; KNL-NEXT: andb $1, %r9b
; KNL-NEXT: je LBB22_8
; KNL-NEXT: ## BB#7:
; KNL-NEXT: movb $-1, %r9b
; KNL-NEXT: LBB22_8:
; KNL-NEXT: movq %r15, %rbx
; KNL-NEXT: shrq $20, %rbx
; KNL-NEXT: andb $1, %bl
; KNL-NEXT: je LBB22_10
; KNL-NEXT: ## BB#9:
; KNL-NEXT: movb $-1, %bl
; KNL-NEXT: LBB22_10:
; KNL-NEXT: movq %r15, %r12
; KNL-NEXT: shrq $21, %r12
; KNL-NEXT: andb $1, %r12b
; KNL-NEXT: je LBB22_12
; KNL-NEXT: ## BB#11:
; KNL-NEXT: movb $-1, %r12b
; KNL-NEXT: LBB22_12:
; KNL-NEXT: movq %r15, %r14
; KNL-NEXT: shrq $22, %r14
; KNL-NEXT: andb $1, %r14b
; KNL-NEXT: je LBB22_14
; KNL-NEXT: ## BB#13:
; KNL-NEXT: movb $-1, %r14b
; KNL-NEXT: LBB22_14:
; KNL-NEXT: movq %r15, %r8
; KNL-NEXT: shrq $23, %r8
; KNL-NEXT: andb $1, %r8b
; KNL-NEXT: je LBB22_16
; KNL-NEXT: ## BB#15:
; KNL-NEXT: movb $-1, %r8b
; KNL-NEXT: LBB22_16:
; KNL-NEXT: movq %r15, %r13
; KNL-NEXT: shrq $24, %r13
; KNL-NEXT: andb $1, %r13b
; KNL-NEXT: je LBB22_18
; KNL-NEXT: ## BB#17:
; KNL-NEXT: movb $-1, %r13b
; KNL-NEXT: LBB22_18:
; KNL-NEXT: movq %r15, %rax
; KNL-NEXT: shrq $25, %rax
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB22_20
; KNL-NEXT: ## BB#19:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB22_20:
; KNL-NEXT: movq %rax, {{[0-9]+}}(%rsp) ## 8-byte Spill
; KNL-NEXT: movq %r15, %rax
; KNL-NEXT: shrq $26, %rax
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB22_22
; KNL-NEXT: ## BB#21:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB22_22:
; KNL-NEXT: movq %rax, {{[0-9]+}}(%rsp) ## 8-byte Spill
; KNL-NEXT: movl $272, %esi ## imm = 0x110
; KNL-NEXT: movq %r15, %rax
; KNL-NEXT: shrq $27, %rax
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB22_24
; KNL-NEXT: ## BB#23:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB22_24:
; KNL-NEXT: movq %rax, {{[0-9]+}}(%rsp) ## 8-byte Spill
; KNL-NEXT: movl $273, %eax ## imm = 0x111
; KNL-NEXT: bextrl %esi, %edi, %esi
; KNL-NEXT: movq %r15, %rcx
; KNL-NEXT: shrq $28, %rcx
; KNL-NEXT: andb $1, %cl
; KNL-NEXT: je LBB22_26
; KNL-NEXT: ## BB#25:
; KNL-NEXT: movb $-1, %cl
; KNL-NEXT: LBB22_26:
; KNL-NEXT: movq %rcx, {{[0-9]+}}(%rsp) ## 8-byte Spill
; KNL-NEXT: bextrl %eax, %edi, %eax
; KNL-NEXT: vmovd %esi, %xmm2
; KNL-NEXT: movl $274, %esi ## imm = 0x112
; KNL-NEXT: movq %r15, %rcx
; KNL-NEXT: shrq $29, %rcx
; KNL-NEXT: andb $1, %cl
; KNL-NEXT: je LBB22_28
; KNL-NEXT: ## BB#27:
; KNL-NEXT: movb $-1, %cl
; KNL-NEXT: LBB22_28:
; KNL-NEXT: movq %rcx, {{[0-9]+}}(%rsp) ## 8-byte Spill
; KNL-NEXT: vpinsrb $1, %eax, %xmm2, %xmm2
; KNL-NEXT: bextrl %esi, %edi, %eax
; KNL-NEXT: movzbl %r11b, %esi
; KNL-NEXT: movq %r15, %rcx
; KNL-NEXT: shrq $30, %rcx
; KNL-NEXT: andb $1, %cl
; KNL-NEXT: je LBB22_30
; KNL-NEXT: ## BB#29:
; KNL-NEXT: movb $-1, %cl
; KNL-NEXT: LBB22_30:
; KNL-NEXT: vpinsrb $2, %eax, %xmm2, %xmm2
; KNL-NEXT: movl $275, %eax ## imm = 0x113
; KNL-NEXT: bextrl %eax, %edi, %r11d
; KNL-NEXT: movzbl %dl, %edx
; KNL-NEXT: vmovd %esi, %xmm3
; KNL-NEXT: movq %r15, %rax
; KNL-NEXT: shrq $31, %rax
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB22_32
; KNL-NEXT: ## BB#31:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB22_32:
; KNL-NEXT: movq %rax, {{[0-9]+}}(%rsp) ## 8-byte Spill
; KNL-NEXT: movq %rcx, {{[0-9]+}}(%rsp) ## 8-byte Spill
; KNL-NEXT: vpinsrb $3, %r11d, %xmm2, %xmm2
; KNL-NEXT: movl $276, %eax ## imm = 0x114
; KNL-NEXT: bextrl %eax, %edi, %esi
; KNL-NEXT: movl $277, %r11d ## imm = 0x115
; KNL-NEXT: vpinsrb $1, %edx, %xmm3, %xmm3
; KNL-NEXT: movzbl %r10b, %r10d
; KNL-NEXT: movb %r15b, %al
; KNL-NEXT: shrb %al
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB22_34
; KNL-NEXT: ## BB#33:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB22_34:
; KNL-NEXT: vpinsrb $4, %esi, %xmm2, %xmm2
; KNL-NEXT: bextrl %r11d, %edi, %edx
; KNL-NEXT: movl $278, %r11d ## imm = 0x116
; KNL-NEXT: vpinsrb $2, %r10d, %xmm3, %xmm3
; KNL-NEXT: movzbl %r9b, %esi
; KNL-NEXT: movzbl %al, %eax
; KNL-NEXT: movq %r15, %rcx
; KNL-NEXT: shlq $63, %rcx
; KNL-NEXT: sarq $63, %rcx
; KNL-NEXT: vmovd %ecx, %xmm4
; KNL-NEXT: vpinsrb $1, %eax, %xmm4, %xmm4
; KNL-NEXT: movb %r15b, %al
; KNL-NEXT: shrb $2, %al
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB22_36
; KNL-NEXT: ## BB#35:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB22_36:
; KNL-NEXT: vpinsrb $5, %edx, %xmm2, %xmm2
; KNL-NEXT: bextrl %r11d, %edi, %edx
; KNL-NEXT: movl $279, %r9d ## imm = 0x117
; KNL-NEXT: vpinsrb $3, %esi, %xmm3, %xmm3
; KNL-NEXT: movzbl %bl, %ebx
; KNL-NEXT: movzbl %al, %eax
; KNL-NEXT: vpinsrb $2, %eax, %xmm4, %xmm4
; KNL-NEXT: movb %r15b, %al
; KNL-NEXT: shrb $3, %al
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB22_38
; KNL-NEXT: ## BB#37:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB22_38:
; KNL-NEXT: vpinsrb $6, %edx, %xmm2, %xmm2
; KNL-NEXT: bextrl %r9d, %edi, %edx
; KNL-NEXT: movl $280, %esi ## imm = 0x118
; KNL-NEXT: vpinsrb $4, %ebx, %xmm3, %xmm3
; KNL-NEXT: movzbl %r12b, %ebx
; KNL-NEXT: movzbl %al, %eax
; KNL-NEXT: vpinsrb $3, %eax, %xmm4, %xmm4
; KNL-NEXT: movb %r15b, %al
; KNL-NEXT: shrb $4, %al
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB22_40
; KNL-NEXT: ## BB#39:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB22_40:
; KNL-NEXT: vpinsrb $7, %edx, %xmm2, %xmm2
; KNL-NEXT: bextrl %esi, %edi, %ecx
; KNL-NEXT: movl $281, %edx ## imm = 0x119
; KNL-NEXT: vpinsrb $5, %ebx, %xmm3, %xmm3
; KNL-NEXT: movzbl %r14b, %esi
; KNL-NEXT: movzbl %al, %eax
; KNL-NEXT: vpinsrb $4, %eax, %xmm4, %xmm4
; KNL-NEXT: movb %r15b, %al
; KNL-NEXT: shrb $5, %al
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB22_42
; KNL-NEXT: ## BB#41:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB22_42:
; KNL-NEXT: vpinsrb $8, %ecx, %xmm2, %xmm2
; KNL-NEXT: bextrl %edx, %edi, %ecx
; KNL-NEXT: movl $282, %edx ## imm = 0x11A
; KNL-NEXT: vpinsrb $6, %esi, %xmm3, %xmm3
; KNL-NEXT: movzbl %r8b, %esi
; KNL-NEXT: movzbl %al, %eax
; KNL-NEXT: vpinsrb $5, %eax, %xmm4, %xmm4
; KNL-NEXT: movb %r15b, %bl
; KNL-NEXT: shrb $6, %bl
; KNL-NEXT: andb $1, %bl
; KNL-NEXT: je LBB22_44
; KNL-NEXT: ## BB#43:
; KNL-NEXT: movb $-1, %bl
; KNL-NEXT: LBB22_44:
; KNL-NEXT: vpinsrb $9, %ecx, %xmm2, %xmm2
; KNL-NEXT: bextrl %edx, %edi, %eax
; KNL-NEXT: movl $283, %ecx ## imm = 0x11B
; KNL-NEXT: vpinsrb $7, %esi, %xmm3, %xmm3
; KNL-NEXT: movzbl %r13b, %esi
; KNL-NEXT: movzbl %bl, %edx
; KNL-NEXT: vpinsrb $6, %edx, %xmm4, %xmm4
; KNL-NEXT: movb %r15b, %bl
; KNL-NEXT: shrb $7, %bl
; KNL-NEXT: je LBB22_46
; KNL-NEXT: ## BB#45:
; KNL-NEXT: movb $-1, %bl
; KNL-NEXT: LBB22_46:
; KNL-NEXT: vpinsrb $10, %eax, %xmm2, %xmm2
; KNL-NEXT: bextrl %ecx, %edi, %ecx
; KNL-NEXT: movl $284, %edx ## imm = 0x11C
; KNL-NEXT: vpinsrb $8, %esi, %xmm3, %xmm3
; KNL-NEXT: movq {{[0-9]+}}(%rsp), %rax ## 8-byte Reload
; KNL-NEXT: movzbl %al, %esi
; KNL-NEXT: movzbl %bl, %eax
; KNL-NEXT: vpinsrb $7, %eax, %xmm4, %xmm4
; KNL-NEXT: movq %r15, %rax
; KNL-NEXT: shrq $8, %rax
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB22_48
; KNL-NEXT: ## BB#47:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB22_48:
; KNL-NEXT: vpinsrb $11, %ecx, %xmm2, %xmm2
; KNL-NEXT: bextrl %edx, %edi, %ecx
; KNL-NEXT: movl $285, %edx ## imm = 0x11D
; KNL-NEXT: vpinsrb $9, %esi, %xmm3, %xmm3
; KNL-NEXT: movq {{[0-9]+}}(%rsp), %rsi ## 8-byte Reload
; KNL-NEXT: movzbl %sil, %esi
; KNL-NEXT: movzbl %al, %eax
; KNL-NEXT: vpinsrb $8, %eax, %xmm4, %xmm4
; KNL-NEXT: movq %r15, %rax
; KNL-NEXT: shrq $9, %rax
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB22_50
; KNL-NEXT: ## BB#49:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB22_50:
; KNL-NEXT: vpinsrb $12, %ecx, %xmm2, %xmm2
; KNL-NEXT: bextrl %edx, %edi, %ecx
; KNL-NEXT: movl $286, %edx ## imm = 0x11E
; KNL-NEXT: vpinsrb $10, %esi, %xmm3, %xmm3
; KNL-NEXT: movq {{[0-9]+}}(%rsp), %rsi ## 8-byte Reload
; KNL-NEXT: movzbl %sil, %esi
; KNL-NEXT: movzbl %al, %eax
; KNL-NEXT: vpinsrb $9, %eax, %xmm4, %xmm4
; KNL-NEXT: movq %r15, %rax
; KNL-NEXT: shrq $10, %rax
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB22_52
; KNL-NEXT: ## BB#51:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB22_52:
; KNL-NEXT: vpinsrb $13, %ecx, %xmm2, %xmm2
; KNL-NEXT: bextrl %edx, %edi, %edx
; KNL-NEXT: vpinsrb $11, %esi, %xmm3, %xmm3
; KNL-NEXT: movq {{[0-9]+}}(%rsp), %rcx ## 8-byte Reload
; KNL-NEXT: movzbl %cl, %ecx
; KNL-NEXT: movzbl %al, %eax
; KNL-NEXT: vpinsrb $10, %eax, %xmm4, %xmm4
; KNL-NEXT: movq %r15, %rax
; KNL-NEXT: shrq $11, %rax
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB22_54
; KNL-NEXT: ## BB#53:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB22_54:
; KNL-NEXT: vpinsrb $14, %edx, %xmm2, %xmm2
; KNL-NEXT: shrl $31, %edi
; KNL-NEXT: vpinsrb $12, %ecx, %xmm3, %xmm3
; KNL-NEXT: movq {{[0-9]+}}(%rsp), %rcx ## 8-byte Reload
; KNL-NEXT: movzbl %cl, %ecx
; KNL-NEXT: movzbl %al, %eax
; KNL-NEXT: vpinsrb $11, %eax, %xmm4, %xmm4
; KNL-NEXT: movq %r15, %rax
; KNL-NEXT: shrq $12, %rax
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB22_56
; KNL-NEXT: ## BB#55:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB22_56:
; KNL-NEXT: vpinsrb $15, %edi, %xmm2, %xmm2
; KNL-NEXT: vpinsrb $13, %ecx, %xmm3, %xmm3
; KNL-NEXT: movq {{[0-9]+}}(%rsp), %rcx ## 8-byte Reload
; KNL-NEXT: movzbl %cl, %ecx
; KNL-NEXT: movzbl %al, %eax
; KNL-NEXT: vpinsrb $12, %eax, %xmm4, %xmm4
; KNL-NEXT: movq %r15, %rax
; KNL-NEXT: shrq $13, %rax
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB22_58
; KNL-NEXT: ## BB#57:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB22_58:
; KNL-NEXT: vinserti128 $1, %xmm2, %ymm1, %ymm1
; KNL-NEXT: vpinsrb $14, %ecx, %xmm3, %xmm2
; KNL-NEXT: movq {{[0-9]+}}(%rsp), %rcx ## 8-byte Reload
; KNL-NEXT: movzbl %cl, %ecx
; KNL-NEXT: movzbl %al, %eax
; KNL-NEXT: vpinsrb $13, %eax, %xmm4, %xmm3
; KNL-NEXT: movq %r15, %rax
; KNL-NEXT: shrq $14, %rax
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB22_60
; KNL-NEXT: ## BB#59:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB22_60:
; KNL-NEXT: vpblendd {{.*#+}} ymm0 = ymm0[0,1,2,3],ymm1[4,5,6,7]
; KNL-NEXT: vpinsrb $15, %ecx, %xmm2, %xmm1
; KNL-NEXT: movzbl %al, %eax
; KNL-NEXT: vpinsrb $14, %eax, %xmm3, %xmm2
; KNL-NEXT: shrq $15, %r15
; KNL-NEXT: andb $1, %r15b
; KNL-NEXT: je LBB22_62
; KNL-NEXT: ## BB#61:
; KNL-NEXT: movb $-1, %r15b
; KNL-NEXT: LBB22_62:
; KNL-NEXT: movzbl %r15b, %eax
; KNL-NEXT: vpinsrb $15, %eax, %xmm2, %xmm2
; KNL-NEXT: vinserti128 $1, %xmm1, %ymm2, %ymm1
; KNL-NEXT: vpsllw $7, %ymm0, %ymm0
; KNL-NEXT: vpand {{.*}}(%rip), %ymm0, %ymm0
; KNL-NEXT: vpxor %ymm2, %ymm2, %ymm2
; KNL-NEXT: vpcmpgtb %ymm0, %ymm2, %ymm0
; KNL-NEXT: leaq -40(%rbp), %rsp
; KNL-NEXT: popq %rbx
; KNL-NEXT: popq %r12
; KNL-NEXT: popq %r13
; KNL-NEXT: popq %r14
; KNL-NEXT: popq %r15
; KNL-NEXT: popq %rbp
; KNL-NEXT: retq
;
; SKX-LABEL: test16:
; SKX: ## BB#0:
; SKX-NEXT: kmovq %rdi, %k0
; SKX-NEXT: kxnorw %k0, %k0, %k1
; SKX-NEXT: kshiftrw $15, %k1, %k1
; SKX-NEXT: kshiftlq $5, %k1, %k1
; SKX-NEXT: korq %k1, %k0, %k0
; SKX-NEXT: vpmovm2b %k0, %zmm0
; SKX-NEXT: retq
%a = bitcast i64 %x to <64 x i1>
%b = insertelement <64 x i1>%a, i1 true, i32 5
%c = sext <64 x i1>%b to <64 x i8>
ret <64 x i8>%c
}
define <64 x i8> @test17(i64 %x, i32 %y, i32 %z) {
; KNL-LABEL: test17:
; KNL: ## BB#0:
; KNL-NEXT: pushq %rbp
; KNL-NEXT: Ltmp8:
; KNL-NEXT: .cfi_def_cfa_offset 16
; KNL-NEXT: Ltmp9:
; KNL-NEXT: .cfi_offset %rbp, -16
; KNL-NEXT: movq %rsp, %rbp
; KNL-NEXT: Ltmp10:
; KNL-NEXT: .cfi_def_cfa_register %rbp
; KNL-NEXT: pushq %r15
; KNL-NEXT: pushq %r14
; KNL-NEXT: pushq %r13
; KNL-NEXT: pushq %r12
; KNL-NEXT: pushq %rbx
; KNL-NEXT: andq $-32, %rsp
; KNL-NEXT: subq $128, %rsp
; KNL-NEXT: Ltmp11:
; KNL-NEXT: .cfi_offset %rbx, -56
; KNL-NEXT: Ltmp12:
; KNL-NEXT: .cfi_offset %r12, -48
; KNL-NEXT: Ltmp13:
; KNL-NEXT: .cfi_offset %r13, -40
; KNL-NEXT: Ltmp14:
; KNL-NEXT: .cfi_offset %r14, -32
; KNL-NEXT: Ltmp15:
; KNL-NEXT: .cfi_offset %r15, -24
; KNL-NEXT: movq %rdi, %rax
; KNL-NEXT: shrq $32, %rax
; KNL-NEXT: movl %eax, {{[0-9]+}}(%rsp)
; KNL-NEXT: movl %edi, %eax
; KNL-NEXT: andl $1, %eax
; KNL-NEXT: vmovd %eax, %xmm0
; KNL-NEXT: movl $257, %eax ## imm = 0x101
; KNL-NEXT: bextrl %eax, %edi, %eax
; KNL-NEXT: vpinsrb $1, %eax, %xmm0, %xmm0
; KNL-NEXT: movl $258, %eax ## imm = 0x102
; KNL-NEXT: bextrl %eax, %edi, %eax
; KNL-NEXT: vpinsrb $2, %eax, %xmm0, %xmm0
; KNL-NEXT: movl $259, %eax ## imm = 0x103
; KNL-NEXT: bextrl %eax, %edi, %eax
; KNL-NEXT: vpinsrb $3, %eax, %xmm0, %xmm0
; KNL-NEXT: movl $260, %eax ## imm = 0x104
; KNL-NEXT: bextrl %eax, %edi, %eax
; KNL-NEXT: vpinsrb $4, %eax, %xmm0, %xmm0
; KNL-NEXT: movl $261, %eax ## imm = 0x105
; KNL-NEXT: bextrl %eax, %edi, %eax
; KNL-NEXT: vpinsrb $5, %eax, %xmm0, %xmm0
; KNL-NEXT: movl $262, %eax ## imm = 0x106
; KNL-NEXT: bextrl %eax, %edi, %eax
; KNL-NEXT: vpinsrb $6, %eax, %xmm0, %xmm0
; KNL-NEXT: movl $263, %eax ## imm = 0x107
; KNL-NEXT: bextrl %eax, %edi, %eax
; KNL-NEXT: vpinsrb $7, %eax, %xmm0, %xmm0
; KNL-NEXT: movl $264, %eax ## imm = 0x108
; KNL-NEXT: bextrl %eax, %edi, %eax
; KNL-NEXT: vpinsrb $8, %eax, %xmm0, %xmm0
; KNL-NEXT: movl $265, %eax ## imm = 0x109
; KNL-NEXT: bextrl %eax, %edi, %eax
; KNL-NEXT: vpinsrb $9, %eax, %xmm0, %xmm0
; KNL-NEXT: movl $266, %eax ## imm = 0x10A
; KNL-NEXT: bextrl %eax, %edi, %eax
; KNL-NEXT: vpinsrb $10, %eax, %xmm0, %xmm0
; KNL-NEXT: movl $267, %eax ## imm = 0x10B
; KNL-NEXT: bextrl %eax, %edi, %eax
; KNL-NEXT: vpinsrb $11, %eax, %xmm0, %xmm0
; KNL-NEXT: movl $268, %eax ## imm = 0x10C
; KNL-NEXT: bextrl %eax, %edi, %eax
; KNL-NEXT: vpinsrb $12, %eax, %xmm0, %xmm0
; KNL-NEXT: movl $269, %eax ## imm = 0x10D
; KNL-NEXT: bextrl %eax, %edi, %eax
; KNL-NEXT: vpinsrb $13, %eax, %xmm0, %xmm0
; KNL-NEXT: movl $270, %eax ## imm = 0x10E
; KNL-NEXT: bextrl %eax, %edi, %eax
; KNL-NEXT: vpinsrb $14, %eax, %xmm0, %xmm0
; KNL-NEXT: movl $271, %eax ## imm = 0x10F
; KNL-NEXT: bextrl %eax, %edi, %eax
; KNL-NEXT: vpinsrb $15, %eax, %xmm0, %xmm1
; KNL-NEXT: cmpl %edx, %esi
; KNL-NEXT: setg %al
; KNL-NEXT: movzbl %al, %eax
; KNL-NEXT: vpinsrb $5, %eax, %xmm1, %xmm0
; KNL-NEXT: movl {{[0-9]+}}(%rsp), %r15d
; KNL-NEXT: movq %r15, %rdx
; KNL-NEXT: shrq $17, %rdx
; KNL-NEXT: andb $1, %dl
; KNL-NEXT: je LBB23_2
; KNL-NEXT: ## BB#1:
; KNL-NEXT: movb $-1, %dl
; KNL-NEXT: LBB23_2:
; KNL-NEXT: movq %r15, %r11
; KNL-NEXT: shrq $16, %r11
; KNL-NEXT: andb $1, %r11b
; KNL-NEXT: je LBB23_4
; KNL-NEXT: ## BB#3:
; KNL-NEXT: movb $-1, %r11b
; KNL-NEXT: LBB23_4:
; KNL-NEXT: movq %r15, %r10
; KNL-NEXT: shrq $18, %r10
; KNL-NEXT: andb $1, %r10b
; KNL-NEXT: je LBB23_6
; KNL-NEXT: ## BB#5:
; KNL-NEXT: movb $-1, %r10b
; KNL-NEXT: LBB23_6:
; KNL-NEXT: movq %r15, %r9
; KNL-NEXT: shrq $19, %r9
; KNL-NEXT: andb $1, %r9b
; KNL-NEXT: je LBB23_8
; KNL-NEXT: ## BB#7:
; KNL-NEXT: movb $-1, %r9b
; KNL-NEXT: LBB23_8:
; KNL-NEXT: movq %r15, %rbx
; KNL-NEXT: shrq $20, %rbx
; KNL-NEXT: andb $1, %bl
; KNL-NEXT: je LBB23_10
; KNL-NEXT: ## BB#9:
; KNL-NEXT: movb $-1, %bl
; KNL-NEXT: LBB23_10:
; KNL-NEXT: movq %r15, %r12
; KNL-NEXT: shrq $21, %r12
; KNL-NEXT: andb $1, %r12b
; KNL-NEXT: je LBB23_12
; KNL-NEXT: ## BB#11:
; KNL-NEXT: movb $-1, %r12b
; KNL-NEXT: LBB23_12:
; KNL-NEXT: movq %r15, %r14
; KNL-NEXT: shrq $22, %r14
; KNL-NEXT: andb $1, %r14b
; KNL-NEXT: je LBB23_14
; KNL-NEXT: ## BB#13:
; KNL-NEXT: movb $-1, %r14b
; KNL-NEXT: LBB23_14:
; KNL-NEXT: movq %r15, %r8
; KNL-NEXT: shrq $23, %r8
; KNL-NEXT: andb $1, %r8b
; KNL-NEXT: je LBB23_16
; KNL-NEXT: ## BB#15:
; KNL-NEXT: movb $-1, %r8b
; KNL-NEXT: LBB23_16:
; KNL-NEXT: movq %r15, %r13
; KNL-NEXT: shrq $24, %r13
; KNL-NEXT: andb $1, %r13b
; KNL-NEXT: je LBB23_18
; KNL-NEXT: ## BB#17:
; KNL-NEXT: movb $-1, %r13b
; KNL-NEXT: LBB23_18:
; KNL-NEXT: movq %r15, %rax
; KNL-NEXT: shrq $25, %rax
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB23_20
; KNL-NEXT: ## BB#19:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB23_20:
; KNL-NEXT: movq %rax, {{[0-9]+}}(%rsp) ## 8-byte Spill
; KNL-NEXT: movq %r15, %rax
; KNL-NEXT: shrq $26, %rax
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB23_22
; KNL-NEXT: ## BB#21:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB23_22:
; KNL-NEXT: movq %rax, {{[0-9]+}}(%rsp) ## 8-byte Spill
; KNL-NEXT: movl $272, %esi ## imm = 0x110
; KNL-NEXT: movq %r15, %rax
; KNL-NEXT: shrq $27, %rax
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB23_24
; KNL-NEXT: ## BB#23:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB23_24:
; KNL-NEXT: movq %rax, {{[0-9]+}}(%rsp) ## 8-byte Spill
; KNL-NEXT: movl $273, %eax ## imm = 0x111
; KNL-NEXT: bextrl %esi, %edi, %esi
; KNL-NEXT: movq %r15, %rcx
; KNL-NEXT: shrq $28, %rcx
; KNL-NEXT: andb $1, %cl
; KNL-NEXT: je LBB23_26
; KNL-NEXT: ## BB#25:
; KNL-NEXT: movb $-1, %cl
; KNL-NEXT: LBB23_26:
; KNL-NEXT: movq %rcx, {{[0-9]+}}(%rsp) ## 8-byte Spill
; KNL-NEXT: bextrl %eax, %edi, %eax
; KNL-NEXT: vmovd %esi, %xmm2
; KNL-NEXT: movl $274, %esi ## imm = 0x112
; KNL-NEXT: movq %r15, %rcx
; KNL-NEXT: shrq $29, %rcx
; KNL-NEXT: andb $1, %cl
; KNL-NEXT: je LBB23_28
; KNL-NEXT: ## BB#27:
; KNL-NEXT: movb $-1, %cl
; KNL-NEXT: LBB23_28:
; KNL-NEXT: movq %rcx, {{[0-9]+}}(%rsp) ## 8-byte Spill
; KNL-NEXT: vpinsrb $1, %eax, %xmm2, %xmm2
; KNL-NEXT: bextrl %esi, %edi, %eax
; KNL-NEXT: movzbl %r11b, %esi
; KNL-NEXT: movq %r15, %rcx
; KNL-NEXT: shrq $30, %rcx
; KNL-NEXT: andb $1, %cl
; KNL-NEXT: je LBB23_30
; KNL-NEXT: ## BB#29:
; KNL-NEXT: movb $-1, %cl
; KNL-NEXT: LBB23_30:
; KNL-NEXT: vpinsrb $2, %eax, %xmm2, %xmm2
; KNL-NEXT: movl $275, %eax ## imm = 0x113
; KNL-NEXT: bextrl %eax, %edi, %r11d
; KNL-NEXT: movzbl %dl, %edx
; KNL-NEXT: vmovd %esi, %xmm3
; KNL-NEXT: movq %r15, %rax
; KNL-NEXT: shrq $31, %rax
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB23_32
; KNL-NEXT: ## BB#31:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB23_32:
; KNL-NEXT: movq %rax, {{[0-9]+}}(%rsp) ## 8-byte Spill
; KNL-NEXT: movq %rcx, {{[0-9]+}}(%rsp) ## 8-byte Spill
; KNL-NEXT: vpinsrb $3, %r11d, %xmm2, %xmm2
; KNL-NEXT: movl $276, %eax ## imm = 0x114
; KNL-NEXT: bextrl %eax, %edi, %esi
; KNL-NEXT: movl $277, %r11d ## imm = 0x115
; KNL-NEXT: vpinsrb $1, %edx, %xmm3, %xmm3
; KNL-NEXT: movzbl %r10b, %r10d
; KNL-NEXT: movb %r15b, %al
; KNL-NEXT: shrb %al
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB23_34
; KNL-NEXT: ## BB#33:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB23_34:
; KNL-NEXT: vpinsrb $4, %esi, %xmm2, %xmm2
; KNL-NEXT: bextrl %r11d, %edi, %edx
; KNL-NEXT: movl $278, %r11d ## imm = 0x116
; KNL-NEXT: vpinsrb $2, %r10d, %xmm3, %xmm3
; KNL-NEXT: movzbl %r9b, %esi
; KNL-NEXT: movzbl %al, %eax
; KNL-NEXT: movq %r15, %rcx
; KNL-NEXT: shlq $63, %rcx
; KNL-NEXT: sarq $63, %rcx
; KNL-NEXT: vmovd %ecx, %xmm4
; KNL-NEXT: vpinsrb $1, %eax, %xmm4, %xmm4
; KNL-NEXT: movb %r15b, %al
; KNL-NEXT: shrb $2, %al
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB23_36
; KNL-NEXT: ## BB#35:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB23_36:
; KNL-NEXT: vpinsrb $5, %edx, %xmm2, %xmm2
; KNL-NEXT: bextrl %r11d, %edi, %edx
; KNL-NEXT: movl $279, %r9d ## imm = 0x117
; KNL-NEXT: vpinsrb $3, %esi, %xmm3, %xmm3
; KNL-NEXT: movzbl %bl, %ebx
; KNL-NEXT: movzbl %al, %eax
; KNL-NEXT: vpinsrb $2, %eax, %xmm4, %xmm4
; KNL-NEXT: movb %r15b, %al
; KNL-NEXT: shrb $3, %al
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB23_38
; KNL-NEXT: ## BB#37:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB23_38:
; KNL-NEXT: vpinsrb $6, %edx, %xmm2, %xmm2
; KNL-NEXT: bextrl %r9d, %edi, %edx
; KNL-NEXT: movl $280, %esi ## imm = 0x118
; KNL-NEXT: vpinsrb $4, %ebx, %xmm3, %xmm3
; KNL-NEXT: movzbl %r12b, %ebx
; KNL-NEXT: movzbl %al, %eax
; KNL-NEXT: vpinsrb $3, %eax, %xmm4, %xmm4
; KNL-NEXT: movb %r15b, %al
; KNL-NEXT: shrb $4, %al
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB23_40
; KNL-NEXT: ## BB#39:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB23_40:
; KNL-NEXT: vpinsrb $7, %edx, %xmm2, %xmm2
; KNL-NEXT: bextrl %esi, %edi, %ecx
; KNL-NEXT: movl $281, %edx ## imm = 0x119
; KNL-NEXT: vpinsrb $5, %ebx, %xmm3, %xmm3
; KNL-NEXT: movzbl %r14b, %esi
; KNL-NEXT: movzbl %al, %eax
; KNL-NEXT: vpinsrb $4, %eax, %xmm4, %xmm4
; KNL-NEXT: movb %r15b, %al
; KNL-NEXT: shrb $5, %al
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB23_42
; KNL-NEXT: ## BB#41:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB23_42:
; KNL-NEXT: vpinsrb $8, %ecx, %xmm2, %xmm2
; KNL-NEXT: bextrl %edx, %edi, %ecx
; KNL-NEXT: movl $282, %edx ## imm = 0x11A
; KNL-NEXT: vpinsrb $6, %esi, %xmm3, %xmm3
; KNL-NEXT: movzbl %r8b, %esi
; KNL-NEXT: movzbl %al, %eax
; KNL-NEXT: vpinsrb $5, %eax, %xmm4, %xmm4
; KNL-NEXT: movb %r15b, %bl
; KNL-NEXT: shrb $6, %bl
; KNL-NEXT: andb $1, %bl
; KNL-NEXT: je LBB23_44
; KNL-NEXT: ## BB#43:
; KNL-NEXT: movb $-1, %bl
; KNL-NEXT: LBB23_44:
; KNL-NEXT: vpinsrb $9, %ecx, %xmm2, %xmm2
; KNL-NEXT: bextrl %edx, %edi, %eax
; KNL-NEXT: movl $283, %ecx ## imm = 0x11B
; KNL-NEXT: vpinsrb $7, %esi, %xmm3, %xmm3
; KNL-NEXT: movzbl %r13b, %esi
; KNL-NEXT: movzbl %bl, %edx
; KNL-NEXT: vpinsrb $6, %edx, %xmm4, %xmm4
; KNL-NEXT: movb %r15b, %bl
; KNL-NEXT: shrb $7, %bl
; KNL-NEXT: je LBB23_46
; KNL-NEXT: ## BB#45:
; KNL-NEXT: movb $-1, %bl
; KNL-NEXT: LBB23_46:
; KNL-NEXT: vpinsrb $10, %eax, %xmm2, %xmm2
; KNL-NEXT: bextrl %ecx, %edi, %ecx
; KNL-NEXT: movl $284, %edx ## imm = 0x11C
; KNL-NEXT: vpinsrb $8, %esi, %xmm3, %xmm3
; KNL-NEXT: movq {{[0-9]+}}(%rsp), %rax ## 8-byte Reload
; KNL-NEXT: movzbl %al, %esi
; KNL-NEXT: movzbl %bl, %eax
; KNL-NEXT: vpinsrb $7, %eax, %xmm4, %xmm4
; KNL-NEXT: movq %r15, %rax
; KNL-NEXT: shrq $8, %rax
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB23_48
; KNL-NEXT: ## BB#47:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB23_48:
; KNL-NEXT: vpinsrb $11, %ecx, %xmm2, %xmm2
; KNL-NEXT: bextrl %edx, %edi, %ecx
; KNL-NEXT: movl $285, %edx ## imm = 0x11D
; KNL-NEXT: vpinsrb $9, %esi, %xmm3, %xmm3
; KNL-NEXT: movq {{[0-9]+}}(%rsp), %rsi ## 8-byte Reload
; KNL-NEXT: movzbl %sil, %esi
; KNL-NEXT: movzbl %al, %eax
; KNL-NEXT: vpinsrb $8, %eax, %xmm4, %xmm4
; KNL-NEXT: movq %r15, %rax
; KNL-NEXT: shrq $9, %rax
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB23_50
; KNL-NEXT: ## BB#49:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB23_50:
; KNL-NEXT: vpinsrb $12, %ecx, %xmm2, %xmm2
; KNL-NEXT: bextrl %edx, %edi, %ecx
; KNL-NEXT: movl $286, %edx ## imm = 0x11E
; KNL-NEXT: vpinsrb $10, %esi, %xmm3, %xmm3
; KNL-NEXT: movq {{[0-9]+}}(%rsp), %rsi ## 8-byte Reload
; KNL-NEXT: movzbl %sil, %esi
; KNL-NEXT: movzbl %al, %eax
; KNL-NEXT: vpinsrb $9, %eax, %xmm4, %xmm4
; KNL-NEXT: movq %r15, %rax
; KNL-NEXT: shrq $10, %rax
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB23_52
; KNL-NEXT: ## BB#51:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB23_52:
; KNL-NEXT: vpinsrb $13, %ecx, %xmm2, %xmm2
; KNL-NEXT: bextrl %edx, %edi, %edx
; KNL-NEXT: vpinsrb $11, %esi, %xmm3, %xmm3
; KNL-NEXT: movq {{[0-9]+}}(%rsp), %rcx ## 8-byte Reload
; KNL-NEXT: movzbl %cl, %ecx
; KNL-NEXT: movzbl %al, %eax
; KNL-NEXT: vpinsrb $10, %eax, %xmm4, %xmm4
; KNL-NEXT: movq %r15, %rax
; KNL-NEXT: shrq $11, %rax
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB23_54
; KNL-NEXT: ## BB#53:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB23_54:
; KNL-NEXT: vpinsrb $14, %edx, %xmm2, %xmm2
; KNL-NEXT: shrl $31, %edi
; KNL-NEXT: vpinsrb $12, %ecx, %xmm3, %xmm3
; KNL-NEXT: movq {{[0-9]+}}(%rsp), %rcx ## 8-byte Reload
; KNL-NEXT: movzbl %cl, %ecx
; KNL-NEXT: movzbl %al, %eax
; KNL-NEXT: vpinsrb $11, %eax, %xmm4, %xmm4
; KNL-NEXT: movq %r15, %rax
; KNL-NEXT: shrq $12, %rax
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB23_56
; KNL-NEXT: ## BB#55:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB23_56:
; KNL-NEXT: vpinsrb $15, %edi, %xmm2, %xmm2
; KNL-NEXT: vpinsrb $13, %ecx, %xmm3, %xmm3
; KNL-NEXT: movq {{[0-9]+}}(%rsp), %rcx ## 8-byte Reload
; KNL-NEXT: movzbl %cl, %ecx
; KNL-NEXT: movzbl %al, %eax
; KNL-NEXT: vpinsrb $12, %eax, %xmm4, %xmm4
; KNL-NEXT: movq %r15, %rax
; KNL-NEXT: shrq $13, %rax
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB23_58
; KNL-NEXT: ## BB#57:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB23_58:
; KNL-NEXT: vinserti128 $1, %xmm2, %ymm1, %ymm1
; KNL-NEXT: vpinsrb $14, %ecx, %xmm3, %xmm2
; KNL-NEXT: movq {{[0-9]+}}(%rsp), %rcx ## 8-byte Reload
; KNL-NEXT: movzbl %cl, %ecx
; KNL-NEXT: movzbl %al, %eax
; KNL-NEXT: vpinsrb $13, %eax, %xmm4, %xmm3
; KNL-NEXT: movq %r15, %rax
; KNL-NEXT: shrq $14, %rax
; KNL-NEXT: andb $1, %al
; KNL-NEXT: je LBB23_60
; KNL-NEXT: ## BB#59:
; KNL-NEXT: movb $-1, %al
; KNL-NEXT: LBB23_60:
; KNL-NEXT: vpblendd {{.*#+}} ymm0 = ymm0[0,1,2,3],ymm1[4,5,6,7]
; KNL-NEXT: vpinsrb $15, %ecx, %xmm2, %xmm1
; KNL-NEXT: movzbl %al, %eax
; KNL-NEXT: vpinsrb $14, %eax, %xmm3, %xmm2
; KNL-NEXT: shrq $15, %r15
; KNL-NEXT: andb $1, %r15b
; KNL-NEXT: je LBB23_62
; KNL-NEXT: ## BB#61:
; KNL-NEXT: movb $-1, %r15b
; KNL-NEXT: LBB23_62:
; KNL-NEXT: movzbl %r15b, %eax
; KNL-NEXT: vpinsrb $15, %eax, %xmm2, %xmm2
; KNL-NEXT: vinserti128 $1, %xmm1, %ymm2, %ymm1
; KNL-NEXT: vpsllw $7, %ymm0, %ymm0
; KNL-NEXT: vpand {{.*}}(%rip), %ymm0, %ymm0
; KNL-NEXT: vpxor %ymm2, %ymm2, %ymm2
; KNL-NEXT: vpcmpgtb %ymm0, %ymm2, %ymm0
; KNL-NEXT: leaq -40(%rbp), %rsp
; KNL-NEXT: popq %rbx
; KNL-NEXT: popq %r12
; KNL-NEXT: popq %r13
; KNL-NEXT: popq %r14
; KNL-NEXT: popq %r15
; KNL-NEXT: popq %rbp
; KNL-NEXT: retq
;
; SKX-LABEL: test17:
; SKX: ## BB#0:
; SKX-NEXT: kmovq %rdi, %k0
; SKX-NEXT: cmpl %edx, %esi
; SKX-NEXT: setg %al
; SKX-NEXT: andl $1, %eax
; SKX-NEXT: kmovw %eax, %k1
; SKX-NEXT: kshiftlq $5, %k1, %k1
; SKX-NEXT: korq %k1, %k0, %k0
; SKX-NEXT: vpmovm2b %k0, %zmm0
; SKX-NEXT: retq
%a = bitcast i64 %x to <64 x i1>
%b = icmp sgt i32 %y, %z
%c = insertelement <64 x i1>%a, i1 %b, i32 5
%d = sext <64 x i1>%c to <64 x i8>
ret <64 x i8>%d
}
define <8 x i1> @test18(i8 %a, i16 %y) {
; KNL-LABEL: test18:
; KNL: ## BB#0:
; KNL-NEXT: kmovw %edi, %k0
; KNL-NEXT: kmovw %esi, %k1
; KNL-NEXT: kshiftlw $7, %k1, %k2
; KNL-NEXT: kshiftrw $15, %k2, %k2
; KNL-NEXT: kshiftlw $6, %k1, %k1
; KNL-NEXT: kshiftrw $15, %k1, %k1
; KNL-NEXT: kshiftlw $6, %k1, %k1
; KNL-NEXT: korw %k1, %k0, %k0
; KNL-NEXT: kshiftlw $7, %k2, %k1
; KNL-NEXT: korw %k1, %k0, %k1
; KNL-NEXT: vpbroadcastq {{.*}}(%rip), %zmm0 {%k1} {z}
; KNL-NEXT: vpmovqw %zmm0, %xmm0
; KNL-NEXT: retq
;
; SKX-LABEL: test18:
; SKX: ## BB#0:
; SKX-NEXT: kmovb %edi, %k0
; SKX-NEXT: kmovw %esi, %k1
; SKX-NEXT: kshiftlw $6, %k1, %k2
; SKX-NEXT: kshiftrw $15, %k2, %k2
; SKX-NEXT: kshiftlw $7, %k1, %k1
; SKX-NEXT: kshiftrw $15, %k1, %k1
; SKX-NEXT: kshiftlb $7, %k1, %k1
; SKX-NEXT: kshiftlb $6, %k2, %k2
; SKX-NEXT: korb %k2, %k0, %k0
; SKX-NEXT: korb %k1, %k0, %k0
; SKX-NEXT: vpmovm2w %k0, %xmm0
; SKX-NEXT: retq
%b = bitcast i8 %a to <8 x i1>
%b1 = bitcast i16 %y to <16 x i1>
%el1 = extractelement <16 x i1>%b1, i32 8
%el2 = extractelement <16 x i1>%b1, i32 9
%c = insertelement <8 x i1>%b, i1 %el1, i32 7
%d = insertelement <8 x i1>%c, i1 %el2, i32 6
ret <8 x i1>%d
}
define <32 x i16> @test21(<32 x i16> %x , <32 x i1> %mask) nounwind readnone {
; KNL-LABEL: test21:
; KNL: ## BB#0:
; KNL-NEXT: vpmovzxbw {{.*#+}} ymm3 = xmm2[0],zero,xmm2[1],zero,xmm2[2],zero,xmm2[3],zero,xmm2[4],zero,xmm2[5],zero,xmm2[6],zero,xmm2[7],zero,xmm2[8],zero,xmm2[9],zero,xmm2[10],zero,xmm2[11],zero,xmm2[12],zero,xmm2[13],zero,xmm2[14],zero,xmm2[15],zero
; KNL-NEXT: vpsllw $15, %ymm3, %ymm3
; KNL-NEXT: vpsraw $15, %ymm3, %ymm3
; KNL-NEXT: vpand %ymm0, %ymm3, %ymm0
; KNL-NEXT: vextracti128 $1, %ymm2, %xmm2
; KNL-NEXT: vpmovzxbw {{.*#+}} ymm2 = xmm2[0],zero,xmm2[1],zero,xmm2[2],zero,xmm2[3],zero,xmm2[4],zero,xmm2[5],zero,xmm2[6],zero,xmm2[7],zero,xmm2[8],zero,xmm2[9],zero,xmm2[10],zero,xmm2[11],zero,xmm2[12],zero,xmm2[13],zero,xmm2[14],zero,xmm2[15],zero
; KNL-NEXT: vpsllw $15, %ymm2, %ymm2
; KNL-NEXT: vpsraw $15, %ymm2, %ymm2
; KNL-NEXT: vpand %ymm1, %ymm2, %ymm1
; KNL-NEXT: retq
;
; SKX-LABEL: test21:
; SKX: ## BB#0:
; SKX-NEXT: vpsllw $7, %ymm1, %ymm1
; SKX-NEXT: vpmovb2m %ymm1, %k1
; SKX-NEXT: vmovdqu16 %zmm0, %zmm0 {%k1} {z}
; SKX-NEXT: retq
%ret = select <32 x i1> %mask, <32 x i16> %x, <32 x i16> zeroinitializer
ret <32 x i16> %ret
}
define void @test22(<4 x i1> %a, <4 x i1>* %addr) {
; KNL-LABEL: test22:
; KNL: ## BB#0:
; KNL-NEXT: vpextrd $3, %xmm0, %eax
; KNL-NEXT: andl $1, %eax
; KNL-NEXT: movb %al, (%rdi)
; KNL-NEXT: vpextrd $2, %xmm0, %eax
; KNL-NEXT: andl $1, %eax
; KNL-NEXT: movb %al, (%rdi)
; KNL-NEXT: vpextrd $1, %xmm0, %eax
; KNL-NEXT: andl $1, %eax
; KNL-NEXT: movb %al, (%rdi)
; KNL-NEXT: vmovd %xmm0, %eax
; KNL-NEXT: andl $1, %eax
; KNL-NEXT: movb %al, (%rdi)
; KNL-NEXT: retq
;
; SKX-LABEL: test22:
; SKX: ## BB#0:
; SKX-NEXT: vpslld $31, %xmm0, %xmm0
; SKX-NEXT: vptestmd %xmm0, %xmm0, %k0
; SKX-NEXT: kmovb %k0, (%rdi)
; SKX-NEXT: retq
store <4 x i1> %a, <4 x i1>* %addr
ret void
}
define void @test23(<2 x i1> %a, <2 x i1>* %addr) {
; KNL-LABEL: test23:
; KNL: ## BB#0:
; KNL-NEXT: vpextrq $1, %xmm0, %rax
; KNL-NEXT: andl $1, %eax
; KNL-NEXT: movb %al, (%rdi)
; KNL-NEXT: vmovq %xmm0, %rax
; KNL-NEXT: andl $1, %eax
; KNL-NEXT: movb %al, (%rdi)
; KNL-NEXT: retq
;
; SKX-LABEL: test23:
; SKX: ## BB#0:
; SKX-NEXT: vpsllq $63, %xmm0, %xmm0
; SKX-NEXT: vptestmq %xmm0, %xmm0, %k0
; SKX-NEXT: kmovb %k0, (%rdi)
; SKX-NEXT: retq
store <2 x i1> %a, <2 x i1>* %addr
ret void
}
define void @store_v1i1(<1 x i1> %c , <1 x i1>* %ptr) {
; KNL-LABEL: store_v1i1:
; KNL: ## BB#0:
; KNL-NEXT: andl $1, %edi
; KNL-NEXT: kmovw %edi, %k0
; KNL-NEXT: kxnorw %k0, %k0, %k1
; KNL-NEXT: kshiftrw $15, %k1, %k1
; KNL-NEXT: kxorw %k1, %k0, %k0
; KNL-NEXT: kmovw %k0, %eax
; KNL-NEXT: movb %al, (%rsi)
; KNL-NEXT: retq
;
; SKX-LABEL: store_v1i1:
; SKX: ## BB#0:
; SKX-NEXT: andl $1, %edi
; SKX-NEXT: kmovw %edi, %k0
; SKX-NEXT: kxnorw %k0, %k0, %k1
; SKX-NEXT: kshiftrw $15, %k1, %k1
; SKX-NEXT: kxorw %k1, %k0, %k0
; SKX-NEXT: kmovb %k0, (%rsi)
; SKX-NEXT: retq
%x = xor <1 x i1> %c, <i1 1>
store <1 x i1> %x, <1 x i1>* %ptr, align 4
ret void
}
define void @store_v2i1(<2 x i1> %c , <2 x i1>* %ptr) {
; KNL-LABEL: store_v2i1:
; KNL: ## BB#0:
; KNL-NEXT: vpxor {{.*}}(%rip), %xmm0, %xmm0
; KNL-NEXT: vpextrq $1, %xmm0, %rax
; KNL-NEXT: andl $1, %eax
; KNL-NEXT: movb %al, (%rdi)
; KNL-NEXT: vmovq %xmm0, %rax
; KNL-NEXT: andl $1, %eax
; KNL-NEXT: movb %al, (%rdi)
; KNL-NEXT: retq
;
; SKX-LABEL: store_v2i1:
; SKX: ## BB#0:
; SKX-NEXT: vpsllq $63, %xmm0, %xmm0
; SKX-NEXT: vptestmq %xmm0, %xmm0, %k0
; SKX-NEXT: knotw %k0, %k0
; SKX-NEXT: kmovb %k0, (%rdi)
; SKX-NEXT: retq
%x = xor <2 x i1> %c, <i1 1, i1 1>
store <2 x i1> %x, <2 x i1>* %ptr, align 4
ret void
}
define void @store_v4i1(<4 x i1> %c , <4 x i1>* %ptr) {
; KNL-LABEL: store_v4i1:
; KNL: ## BB#0:
; KNL-NEXT: vpbroadcastd {{.*}}(%rip), %xmm1
; KNL-NEXT: vpxor %xmm1, %xmm0, %xmm0
; KNL-NEXT: vpextrd $3, %xmm0, %eax
; KNL-NEXT: andl $1, %eax
; KNL-NEXT: movb %al, (%rdi)
; KNL-NEXT: vpextrd $2, %xmm0, %eax
; KNL-NEXT: andl $1, %eax
; KNL-NEXT: movb %al, (%rdi)
; KNL-NEXT: vpextrd $1, %xmm0, %eax
; KNL-NEXT: andl $1, %eax
; KNL-NEXT: movb %al, (%rdi)
; KNL-NEXT: vmovd %xmm0, %eax
; KNL-NEXT: andl $1, %eax
; KNL-NEXT: movb %al, (%rdi)
; KNL-NEXT: retq
;
; SKX-LABEL: store_v4i1:
; SKX: ## BB#0:
; SKX-NEXT: vpslld $31, %xmm0, %xmm0
; SKX-NEXT: vptestmd %xmm0, %xmm0, %k0
; SKX-NEXT: knotw %k0, %k0
; SKX-NEXT: kmovb %k0, (%rdi)
; SKX-NEXT: retq
%x = xor <4 x i1> %c, <i1 1, i1 1, i1 1, i1 1>
store <4 x i1> %x, <4 x i1>* %ptr, align 4
ret void
}
define void @store_v8i1(<8 x i1> %c , <8 x i1>* %ptr) {
; KNL-LABEL: store_v8i1:
; KNL: ## BB#0:
; KNL-NEXT: vpmovsxwq %xmm0, %zmm0
; KNL-NEXT: vpsllq $63, %zmm0, %zmm0
; KNL-NEXT: vptestmq %zmm0, %zmm0, %k0
; KNL-NEXT: knotw %k0, %k0
; KNL-NEXT: kmovw %k0, %eax
; KNL-NEXT: movb %al, (%rdi)
; KNL-NEXT: retq
;
; SKX-LABEL: store_v8i1:
; SKX: ## BB#0:
; SKX-NEXT: vpsllw $15, %xmm0, %xmm0
; SKX-NEXT: vpmovw2m %xmm0, %k0
; SKX-NEXT: knotb %k0, %k0
; SKX-NEXT: kmovb %k0, (%rdi)
; SKX-NEXT: retq
%x = xor <8 x i1> %c, <i1 1, i1 1, i1 1, i1 1, i1 1, i1 1, i1 1, i1 1>
store <8 x i1> %x, <8 x i1>* %ptr, align 4
ret void
}
define void @store_v16i1(<16 x i1> %c , <16 x i1>* %ptr) {
; KNL-LABEL: store_v16i1:
; KNL: ## BB#0:
; KNL-NEXT: vpmovsxbd %xmm0, %zmm0
; KNL-NEXT: vpslld $31, %zmm0, %zmm0
; KNL-NEXT: vptestmd %zmm0, %zmm0, %k0
; KNL-NEXT: knotw %k0, %k0
; KNL-NEXT: kmovw %k0, (%rdi)
; KNL-NEXT: retq
;
; SKX-LABEL: store_v16i1:
; SKX: ## BB#0:
; SKX-NEXT: vpsllw $7, %xmm0, %xmm0
; SKX-NEXT: vpmovb2m %xmm0, %k0
; SKX-NEXT: knotw %k0, %k0
; SKX-NEXT: kmovw %k0, (%rdi)
; SKX-NEXT: retq
%x = xor <16 x i1> %c, <i1 1, i1 1, i1 1, i1 1, i1 1, i1 1, i1 1, i1 1, i1 1, i1 1, i1 1, i1 1, i1 1, i1 1, i1 1, i1 1>
store <16 x i1> %x, <16 x i1>* %ptr, align 4
ret void
}
;void f2(int);
;void f1(int c)
;{
; static int v = 0;
; if (v == 0)
; v = 1;
; else
; v = 0;
; f2(v);
;}
@f1.v = internal unnamed_addr global i1 false, align 4
define void @f1(i32 %c) {
; KNL-LABEL: f1:
; KNL: ## BB#0: ## %entry
; KNL-NEXT: movzbl {{.*}}(%rip), %edi
; KNL-NEXT: movl %edi, %eax
; KNL-NEXT: andl $1, %eax
; KNL-NEXT: kmovw %eax, %k0
; KNL-NEXT: kxnorw %k0, %k0, %k1
; KNL-NEXT: kshiftrw $15, %k1, %k1
; KNL-NEXT: kxorw %k1, %k0, %k0
; KNL-NEXT: kmovw %k0, %eax
; KNL-NEXT: movb %al, {{.*}}(%rip)
; KNL-NEXT: xorl $1, %edi
; KNL-NEXT: jmp _f2 ## TAILCALL
;
; SKX-LABEL: f1:
; SKX: ## BB#0: ## %entry
; SKX-NEXT: movzbl {{.*}}(%rip), %edi
; SKX-NEXT: movl %edi, %eax
; SKX-NEXT: andl $1, %eax
; SKX-NEXT: kmovw %eax, %k0
; SKX-NEXT: kxnorw %k0, %k0, %k1
; SKX-NEXT: kshiftrw $15, %k1, %k1
; SKX-NEXT: kxorw %k1, %k0, %k0
; SKX-NEXT: kmovb %k0, {{.*}}(%rip)
; SKX-NEXT: xorl $1, %edi
; SKX-NEXT: jmp _f2 ## TAILCALL
entry:
%.b1 = load i1, i1* @f1.v, align 4
%not..b1 = xor i1 %.b1, true
store i1 %not..b1, i1* @f1.v, align 4
%0 = zext i1 %not..b1 to i32
tail call void @f2(i32 %0) #2
ret void
}
declare void @f2(i32) #1
define void @store_i16_i1(i16 %x, i1 *%y) {
; CHECK-LABEL: store_i16_i1:
; CHECK: ## BB#0:
; CHECK-NEXT: andl $1, %edi
; CHECK-NEXT: movb %dil, (%rsi)
; CHECK-NEXT: retq
%c = trunc i16 %x to i1
store i1 %c, i1* %y
ret void
}
define void @store_i8_i1(i8 %x, i1 *%y) {
; CHECK-LABEL: store_i8_i1:
; CHECK: ## BB#0:
; CHECK-NEXT: andl $1, %edi
; CHECK-NEXT: movb %dil, (%rsi)
; CHECK-NEXT: retq
%c = trunc i8 %x to i1
store i1 %c, i1* %y
ret void
}