[llvm] r342265 - Revert r342183 "[DAGCombine] Fix crash when store merging created an extract_subvector with invalid index."
Reid Kleckner via llvm-commits
llvm-commits at lists.llvm.org
Fri Sep 14 12:39:40 PDT 2018
Author: rnk
Date: Fri Sep 14 12:39:40 2018
New Revision: 342265
URL: http://llvm.org/viewvc/llvm-project?rev=342265&view=rev
Log:
Revert r342183 "[DAGCombine] Fix crash when store merging created an extract_subvector with invalid index."
Causes 'isVector() && "Invalid vector type!"' assertion when building
Skia in Chrome.
Removed:
llvm/trunk/test/CodeGen/X86/merge-vector-stores-scale-idx-crash.ll
Modified:
llvm/trunk/lib/CodeGen/SelectionDAG/DAGCombiner.cpp
Modified: llvm/trunk/lib/CodeGen/SelectionDAG/DAGCombiner.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/CodeGen/SelectionDAG/DAGCombiner.cpp?rev=342265&r1=342264&r2=342265&view=diff
==============================================================================
--- llvm/trunk/lib/CodeGen/SelectionDAG/DAGCombiner.cpp (original)
+++ llvm/trunk/lib/CodeGen/SelectionDAG/DAGCombiner.cpp Fri Sep 14 12:39:40 2018
@@ -13843,24 +13843,17 @@ bool DAGCombiner::MergeStoresOfConstants
Val.getOpcode() == ISD::EXTRACT_SUBVECTOR)) {
SDValue Vec = Val.getOperand(0);
EVT MemVTScalarTy = MemVT.getScalarType();
- SDValue Idx = Val.getOperand(1);
// We may need to add a bitcast here to get types to line up.
if (MemVTScalarTy != Vec.getValueType()) {
unsigned Elts = Vec.getValueType().getSizeInBits() /
MemVTScalarTy.getSizeInBits();
- if (Val.getValueType().isVector()) {
- unsigned IdxC = cast<ConstantSDNode>(Idx)->getZExtValue();
- unsigned NewIdx =
- ((uint64_t)IdxC * MemVT.getVectorNumElements()) / Elts;
- Idx = DAG.getConstant(NewIdx, SDLoc(Val), Idx.getValueType());
- }
EVT NewVecTy =
EVT::getVectorVT(*DAG.getContext(), MemVTScalarTy, Elts);
Vec = DAG.getBitcast(NewVecTy, Vec);
}
auto OpC = (MemVT.isVector()) ? ISD::EXTRACT_SUBVECTOR
: ISD::EXTRACT_VECTOR_ELT;
- Val = DAG.getNode(OpC, SDLoc(Val), MemVT, Vec, Idx);
+ Val = DAG.getNode(OpC, SDLoc(Val), MemVT, Vec, Val.getOperand(1));
}
Ops.push_back(Val);
}
Removed: llvm/trunk/test/CodeGen/X86/merge-vector-stores-scale-idx-crash.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/merge-vector-stores-scale-idx-crash.ll?rev=342264&view=auto
==============================================================================
--- llvm/trunk/test/CodeGen/X86/merge-vector-stores-scale-idx-crash.ll (original)
+++ llvm/trunk/test/CodeGen/X86/merge-vector-stores-scale-idx-crash.ll (removed)
@@ -1,19 +0,0 @@
-; RUN: llc < %s -mtriple=x86_64-apple-osx10.14 -mattr=+avx2 | FileCheck %s
-
-; Check that we don't crash due creating invalid extract_subvector indices in store merging.
-; CHECK-LABEL: testfn
-; CHECK: retq
-define void @testfn(i32* nocapture %p) {
- %v0 = getelementptr i32, i32* %p, i64 12
- %1 = bitcast i32* %v0 to <2 x i64>*
- %2 = bitcast i32* %v0 to <4 x i32>*
- %3 = getelementptr <2 x i64>, <2 x i64>* %1, i64 -3
- store <2 x i64> undef, <2 x i64>* %3, align 16
- %4 = shufflevector <4 x i64> zeroinitializer, <4 x i64> undef, <2 x i32> <i32 0, i32 1>
- %5 = getelementptr <2 x i64>, <2 x i64>* %1, i64 -2
- store <2 x i64> %4, <2 x i64>* %5, align 16
- %6 = shufflevector <8 x i32> zeroinitializer, <8 x i32> undef, <4 x i32> <i32 4, i32 5, i32 6, i32 7>
- %7 = getelementptr <4 x i32>, <4 x i32>* %2, i64 -1
- store <4 x i32> %6, <4 x i32>* %7, align 16
- ret void
-}
More information about the llvm-commits
mailing list