From e969340fea89f582949b63741c0f67204c0029ac Mon Sep 17 00:00:00 2001 From: Pete Cooper Date: Thu, 30 Aug 2012 23:58:52 +0000 Subject: Take account of boolean vector contents when promoting a build vector from i1 to some other type. rdar://problem/12210060 llvm-svn: 162960 --- llvm/lib/CodeGen/SelectionDAG/LegalizeIntegerTypes.cpp | 18 +++++++++++++++++- 1 file changed, 17 insertions(+), 1 deletion(-) (limited to 'llvm/lib/CodeGen/SelectionDAG') diff --git a/llvm/lib/CodeGen/SelectionDAG/LegalizeIntegerTypes.cpp b/llvm/lib/CodeGen/SelectionDAG/LegalizeIntegerTypes.cpp index e8e968aaef3..cd93a511b66 100644 --- a/llvm/lib/CodeGen/SelectionDAG/LegalizeIntegerTypes.cpp +++ b/llvm/lib/CodeGen/SelectionDAG/LegalizeIntegerTypes.cpp @@ -2913,8 +2913,24 @@ SDValue DAGTypeLegalizer::PromoteIntRes_BUILD_VECTOR(SDNode *N) { SmallVector Ops; Ops.reserve(NumElems); + unsigned ExtendOp = ISD::ANY_EXTEND; + // Extending boolean constants needs to consider the + // value boolean vector constants take on this target and extend + // with sign or zeros appropriately. + if (OutVT.getVectorElementType() == MVT::i1) { + switch (TLI.getBooleanContents(true)) { + case TargetLowering::UndefinedBooleanContent: + break; + case TargetLowering::ZeroOrOneBooleanContent: + ExtendOp = ISD::ZERO_EXTEND; + break; + case TargetLowering::ZeroOrNegativeOneBooleanContent: + ExtendOp = ISD::SIGN_EXTEND; + break; + } + } for (unsigned i = 0; i != NumElems; ++i) { - SDValue Op = DAG.getNode(ISD::ANY_EXTEND, dl, NOutVTElem, N->getOperand(i)); + SDValue Op = DAG.getNode(ExtendOp, dl, NOutVTElem, N->getOperand(i)); Ops.push_back(Op); } -- cgit v1.2.3