Fix PR17546

- Type of index used in extract_vector_elt or insert_vector_elt supposes
  to be TLI.getVectorIdxTy() which is pointer type on most targets. It'd
  better to truncate (or zero-extend in case it's changed later) it to
  mask element type to guarantee they are matching instead of asserting
  that.



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@192722 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Michael Liao 2013-10-15 17:51:58 +00:00
parent dc8c044a9a
commit bfa7b1e695
2 changed files with 11 additions and 6 deletions

View File

@ -7627,12 +7627,7 @@ X86TargetLowering::LowerEXTRACT_VECTOR_ELT(SDValue Op,
MVT MaskVT = MVT::getVectorVT(MaskEltVT, VecVT.getSizeInBits() /
MaskEltVT.getSizeInBits());
if (Idx.getSimpleValueType() != MaskEltVT)
if (Idx.getOpcode() == ISD::ZERO_EXTEND ||
Idx.getOpcode() == ISD::SIGN_EXTEND)
Idx = Idx.getOperand(0);
assert(Idx.getSimpleValueType() == MaskEltVT &&
"Unexpected index in insertelement");
Idx = DAG.getZExtOrTrunc(Idx, dl, MaskEltVT);
SDValue Mask = DAG.getNode(X86ISD::VINSERT, dl, MaskVT,
getZeroVector(MaskVT, Subtarget, DAG, dl),
Idx, DAG.getConstant(0, getPointerTy()));

View File

@ -0,0 +1,10 @@
; RUN: llc < %s -mtriple=x86_64-linux-gnu -mcpu=core-avx2 | FileCheck %s
define i32 @f_f___un_3C_unf_3E_un_3C_unf_3E_(<8 x i32> %__mask, i64 %BBBB) {
%QQQ = trunc i64 %BBBB to i32
%1 = extractelement <8 x i32> %__mask, i32 %QQQ
ret i32 %1
}
; CHECK: f_f___un_3C_unf_3E_un_3C_unf_3E_
; CHECK: ret