93 lines
3.2 KiB
LLVM
93 lines
3.2 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
|
|
; RUN: llc < %s -mtriple=i686-unknown-unknown -mattr=+avx | FileCheck %s --check-prefix=X86
|
|
; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx | FileCheck %s --check-prefix=X64
|
|
|
|
define <8 x i32> @select00(i32 %a, <8 x i32> %b) nounwind {
|
|
; X86-LABEL: select00:
|
|
; X86: # %bb.0:
|
|
; X86-NEXT: cmpl $255, {{[0-9]+}}(%esp)
|
|
; X86-NEXT: vxorps %xmm1, %xmm1, %xmm1
|
|
; X86-NEXT: je .LBB0_2
|
|
; X86-NEXT: # %bb.1:
|
|
; X86-NEXT: vmovaps %ymm0, %ymm1
|
|
; X86-NEXT: .LBB0_2:
|
|
; X86-NEXT: vxorps %ymm1, %ymm0, %ymm0
|
|
; X86-NEXT: retl
|
|
;
|
|
; X64-LABEL: select00:
|
|
; X64: # %bb.0:
|
|
; X64-NEXT: cmpl $255, %edi
|
|
; X64-NEXT: vxorps %xmm1, %xmm1, %xmm1
|
|
; X64-NEXT: je .LBB0_2
|
|
; X64-NEXT: # %bb.1:
|
|
; X64-NEXT: vmovaps %ymm0, %ymm1
|
|
; X64-NEXT: .LBB0_2:
|
|
; X64-NEXT: vxorps %ymm1, %ymm0, %ymm0
|
|
; X64-NEXT: retq
|
|
%cmpres = icmp eq i32 %a, 255
|
|
%selres = select i1 %cmpres, <8 x i32> zeroinitializer, <8 x i32> %b
|
|
%res = xor <8 x i32> %b, %selres
|
|
ret <8 x i32> %res
|
|
}
|
|
|
|
define <4 x i64> @select01(i32 %a, <4 x i64> %b) nounwind {
|
|
; X86-LABEL: select01:
|
|
; X86: # %bb.0:
|
|
; X86-NEXT: cmpl $255, {{[0-9]+}}(%esp)
|
|
; X86-NEXT: vxorps %xmm1, %xmm1, %xmm1
|
|
; X86-NEXT: je .LBB1_2
|
|
; X86-NEXT: # %bb.1:
|
|
; X86-NEXT: vmovaps %ymm0, %ymm1
|
|
; X86-NEXT: .LBB1_2:
|
|
; X86-NEXT: vxorps %ymm1, %ymm0, %ymm0
|
|
; X86-NEXT: retl
|
|
;
|
|
; X64-LABEL: select01:
|
|
; X64: # %bb.0:
|
|
; X64-NEXT: cmpl $255, %edi
|
|
; X64-NEXT: vxorps %xmm1, %xmm1, %xmm1
|
|
; X64-NEXT: je .LBB1_2
|
|
; X64-NEXT: # %bb.1:
|
|
; X64-NEXT: vmovaps %ymm0, %ymm1
|
|
; X64-NEXT: .LBB1_2:
|
|
; X64-NEXT: vxorps %ymm1, %ymm0, %ymm0
|
|
; X64-NEXT: retq
|
|
%cmpres = icmp eq i32 %a, 255
|
|
%selres = select i1 %cmpres, <4 x i64> zeroinitializer, <4 x i64> %b
|
|
%res = xor <4 x i64> %b, %selres
|
|
ret <4 x i64> %res
|
|
}
|
|
|
|
; If a X86ISD::BLENDV node appears before legalization, constant fold using (mask < 0) instead of like a vselect (mask != 0).
|
|
define void @fold_blendv_mask(<4 x i32> %a0) {
|
|
; X86-LABEL: fold_blendv_mask:
|
|
; X86: # %bb.0: # %entry
|
|
; X86-NEXT: vmovaps {{.*#+}} ymm0 = [4294942349,7802,29242,15858,29361,4294951202,4294964216,4294941010]
|
|
; X86-NEXT: vmovaps %ymm0, (%eax)
|
|
; X86-NEXT: vzeroupper
|
|
; X86-NEXT: retl
|
|
;
|
|
; X64-LABEL: fold_blendv_mask:
|
|
; X64: # %bb.0: # %entry
|
|
; X64-NEXT: vmovaps {{.*#+}} ymm0 = [4294942349,7802,29242,15858,29361,4294951202,4294964216,4294941010]
|
|
; X64-NEXT: vmovaps %ymm0, (%rax)
|
|
; X64-NEXT: vzeroupper
|
|
; X64-NEXT: retq
|
|
entry:
|
|
br label %head
|
|
|
|
head:
|
|
%v0 = insertelement <4 x i32> %a0, i32 44158, i64 0
|
|
%v1 = insertelement <4 x i32> %v0, i32 54560, i64 1
|
|
%v2 = insertelement <4 x i32> %v1, i32 45291, i64 2
|
|
%v3 = insertelement <4 x i32> %v2, i32 18686, i64 3
|
|
%isneg = icmp slt <4 x i32> %v3, zeroinitializer
|
|
%or0 = select <4 x i1> %isneg, <4 x i32> <i32 26146, i32 -1257, i32 -2, i32 -3052>, <4 x i32> <i32 -24947, i32 7802, i32 29242, i32 15858>
|
|
%or1 = shufflevector <4 x i32> %or0, <4 x i32> <i32 29361, i32 -16094, i32 -3080, i32 -26286>, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7>
|
|
br i1 undef, label %exit, label %head
|
|
|
|
exit:
|
|
store <8 x i32> %or1, ptr addrspace(1) undef, align 32
|
|
ret void
|
|
}
|