Files
llvm-6502/test/CodeGen/X86/extractelement-index.ll
T
Pawel Bylica c0b7f693ce SelectionDAG: Handle out-of-bounds index in extract vector element
Summary: This patch correctly handles undef case of EXTRACT_VECTOR_ELT node where the element index is constant and not less than vector size.

Test Plan:
CodeGen for X86 test included.
Also one incorrect regression test fixed.

Reviewers: qcolombet, chandlerc, hfinkel

Reviewed By: hfinkel

Subscribers: hfinkel, llvm-commits

Differential Revision: http://reviews.llvm.org/D9250

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@236584 91177308-0d34-0410-b5e6-96231b3b80d8
2015-05-06 10:19:14 +00:00

51 lines
1.4 KiB
LLVM

; RUN: llc < %s -march=x86-64 | FileCheck %s -check-prefix=X64
; RUN: llc < %s -march=x86-64 -mattr=+avx | FileCheck %s -check-prefix=AVX
; CHECK-LABEL: extractelement_index_1:
define i8 @extractelement_index_1(<32 x i8> %a) nounwind {
; X64: movaps
; AVX: vpextrb $1
%b = extractelement <32 x i8> %a, i256 1
ret i8 %b
}
; CHECK-LABEL: extractelement_index_2:
define i32 @extractelement_index_2(<8 x i32> %a) nounwind {
; X64: pshufd
; AVX: vextractf128 $1
; AVX-NEXT: vpextrd $3
%b = extractelement <8 x i32> %a, i64 7
ret i32 %b
}
; CHECK-LABEL: extractelement_index_3:
define i32 @extractelement_index_3(<8 x i32> %a) nounwind {
; CHECK-NOT: pextr
%b = extractelement <8 x i32> %a, i64 15
ret i32 %b
}
; CHECK-LABEL: extractelement_index_4:
define i32 @extractelement_index_4(<8 x i32> %a) nounwind {
; X64: movd
; AVX: vextractf128 $1
; AVX-NEXT: vmovd
%b = extractelement <8 x i32> %a, i256 4
ret i32 %b
}
; CHECK-LABEL: extractelement_index_5:
define i8 @extractelement_index_5(<32 x i8> %a, i256 %i) nounwind {
; X64: movaps
; AVX: vmovaps
%b = extractelement <32 x i8> %a, i256 %i
ret i8 %b
}
; CHECK-LABEL: extractelement_index_6:
define i8 @extractelement_index_6(<32 x i8> %a) nounwind {
; CHECK-NOT: pextr
%b = extractelement <32 x i8> %a, i256 -1
ret i8 %b
}