diff options
| author | Hal Finkel <hfinkel@anl.gov> | 2013-07-09 18:55:10 +0000 |
|---|---|---|
| committer | Hal Finkel <hfinkel@anl.gov> | 2013-07-09 18:55:10 +0000 |
| commit | e4dd5c29f084bcbf481ab0a4dc2d136f7940c0cc (patch) | |
| tree | 284b9946a58a9f96b32cc9b5a9d3361199ca7e76 | |
| parent | 41221693082ec891ea0bb312cab17ce8b8b7e10e (diff) | |
| download | bcm5719-llvm-e4dd5c29f084bcbf481ab0a4dc2d136f7940c0cc.tar.gz bcm5719-llvm-e4dd5c29f084bcbf481ab0a4dc2d136f7940c0cc.zip | |
WidenVecRes_BUILD_VECTOR must use the first operand's type
Because integer BUILD_VECTOR operands may have a larger type than the result's
vector element type, and all operands must have the same type, when widening a
BUILD_VECTOR node by adding UNDEFs, we cannot use the vector element type, but
rather must use the type of the existing operands.
Another bug found by llvm-stress.
llvm-svn: 185960
| -rw-r--r-- | llvm/lib/CodeGen/SelectionDAG/LegalizeVectorTypes.cpp | 5 | ||||
| -rw-r--r-- | llvm/test/CodeGen/PowerPC/bv-widen-undef.ll | 23 |
2 files changed, 27 insertions, 1 deletions
diff --git a/llvm/lib/CodeGen/SelectionDAG/LegalizeVectorTypes.cpp b/llvm/lib/CodeGen/SelectionDAG/LegalizeVectorTypes.cpp index 2a5d7216a97..2cd59ac0814 100644 --- a/llvm/lib/CodeGen/SelectionDAG/LegalizeVectorTypes.cpp +++ b/llvm/lib/CodeGen/SelectionDAG/LegalizeVectorTypes.cpp @@ -1872,7 +1872,10 @@ SDValue DAGTypeLegalizer::WidenVecRes_BUILD_VECTOR(SDNode *N) { SDLoc dl(N); // Build a vector with undefined for the new nodes. EVT VT = N->getValueType(0); - EVT EltVT = VT.getVectorElementType(); + + // Integer BUILD_VECTOR operands may be larger than the node's vector element + // type. The UNDEFs need to have the same type as the existing operands. + EVT EltVT = N->getOperand(0).getValueType(); unsigned NumElts = VT.getVectorNumElements(); EVT WidenVT = TLI.getTypeToTransformTo(*DAG.getContext(), VT); diff --git a/llvm/test/CodeGen/PowerPC/bv-widen-undef.ll b/llvm/test/CodeGen/PowerPC/bv-widen-undef.ll new file mode 100644 index 00000000000..9e58f0d9502 --- /dev/null +++ b/llvm/test/CodeGen/PowerPC/bv-widen-undef.ll @@ -0,0 +1,23 @@ +; RUN: llc -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr7 < %s +target triple = "powerpc64-unknown-linux-gnu" + +define void @autogen_SD4357(i8) { +BB: + br label %CF + +CF: ; preds = %CF, %BB + br i1 undef, label %CF, label %CF77 + +CF77: ; preds = %CF81, %CF77, %CF + %Shuff12 = shufflevector <2 x i8> <i8 -1, i8 -1>, <2 x i8> <i8 -1, i8 -1>, <2 x i32> <i32 0, i32 undef> + br i1 undef, label %CF77, label %CF80 + +CF80: ; preds = %CF80, %CF77 + %B21 = mul <2 x i8> %Shuff12, <i8 -1, i8 -1> + %Cmp24 = fcmp une ppc_fp128 0xM00000000000000000000000000000000, 0xM00000000000000000000000000000000 + br i1 %Cmp24, label %CF80, label %CF81 + +CF81: ; preds = %CF80 + %I36 = insertelement <2 x i8> %B21, i8 %0, i32 0 + br label %CF77 +} |
