MVT LVT = EVT;
if (InVec.getOpcode() == ISD::BIT_CONVERT) {
MVT BCVT = InVec.getOperand(0).getValueType();
- if (!BCVT.isVector() || EVT.bitsGT(BCVT.getVectorElementType()))
+ if (!BCVT.isVector() || EVT.bitsGT(BCVT.getVectorElementType()) ||
+ VT.getVectorNumElements() != BCVT.getVectorNumElements())
return SDValue();
InVec = InVec.getOperand(0);
EVT = BCVT.getVectorElementType();
--- /dev/null
+; RUN: llvm-as < %s | llc
+
+; Examples that exhibits a bug in DAGCombine. The case is triggered by the
+; following program. The bug is DAGCombine assumes that the bit convert
+; preserves the number of elements so the optimization code tries to read
+; through the 3rd mask element, which doesn't exist.
+define i32 @update(<2 x i64> %val1, <2 x i64> %val2) nounwind readnone {
+entry:
+ %shuf = shufflevector <2 x i64> %val1, <2 x i64> %val2, <2 x i32> <i32 0, i32 3>;
+ %bit = bitcast <2 x i64> %shuf to <4 x i32>;
+ %res = extractelement <4 x i32> %bit, i32 3;
+ ret i32 %res;
+}
\ No newline at end of file