Revert revision: 171467. This transformation is incorrect and makes some tests fail. Original message:
Simplified TRUNCATE operation that comes after SETCC. It is possible since SETCC result is 0 or -1.
Added a test.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@171468 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Target/X86/X86ISelLowering.cpp b/lib/Target/X86/X86ISelLowering.cpp
index 9a553d6..eca63f8 100644
--- a/lib/Target/X86/X86ISelLowering.cpp
+++ b/lib/Target/X86/X86ISelLowering.cpp
@@ -14661,29 +14661,12 @@
return EltsFromConsecutiveLoads(VT, Elts, dl, DAG);
}
-/// PerformTruncateCombine - In some cases a sequence with "truncate"
-/// operation may be simplified.
+/// PerformTruncateCombine - Converts truncate operation to
+/// a sequence of vector shuffle operations.
+/// It is possible when we truncate 256-bit vector to 128-bit vector
static SDValue PerformTruncateCombine(SDNode *N, SelectionDAG &DAG,
TargetLowering::DAGCombinerInfo &DCI,
const X86Subtarget *Subtarget) {
- EVT VT = N->getValueType(0);
- if (DCI.isBeforeLegalize() || !VT.isVector())
- return SDValue();
-
- SDValue In = N->getOperand(0);
- // Optimize the sequence setcc -> truncate
- if (In.getOpcode() == ISD::SETCC) {
- DebugLoc DL = N->getDebugLoc();
- EVT InVT = In.getValueType();
-
- // The vector element is all ones or all zero. Just take a half of it.
- EVT HalfVT = EVT::getVectorVT(*DAG.getContext(), InVT.getScalarType(),
- InVT.getVectorNumElements()/2);
- SDValue HalfVec = DAG.getNode(ISD::EXTRACT_SUBVECTOR, DL, HalfVT, In,
- DAG.getIntPtrConstant(0));
- assert(HalfVT.getSizeInBits() == VT.getSizeInBits());
- return DAG.getNode(ISD::BITCAST, DL, VT, HalfVec);
- }
return SDValue();
}