Magic-Mirror/llvm-capstone
1
0
Fork 0
mirror of https://github.com/capstone-engine/llvm-capstone.git synced 2024-12-13 19:24:21 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Don't try to extract an i32 from an f64. This

Browse Source 
getCopyToParts problem was noticed by the new
LegalizeTypes infrastructure.  In order to avoid
this kind of thing in the future I've added a
check that EXTRACT_ELEMENT is only used with
integers.  Once LegalizeTypes is up and running
most likely BUILD_PAIR and EXTRACT_ELEMENT can
be removed, in favour of using apints instead.

llvm-svn: 48294
This commit is contained in:
Duncan Sands 2008-03-12 20:30:08 +00:00
parent 28842b7c0d
commit 87de65fc29
3 changed files with 25 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
llvm/include/llvm/CodeGen/SelectionDAGNodes.h
View File

@ -217,10 +217,10 @@ namespace ISD {
/// alignment '1' in other argument pieces.
CALL,
// EXTRACT_ELEMENT - This is used to get the first or second (determined by
// a Constant, which is required to be operand #1), element of the aggregate
// value specified as operand #0. This is only for use before legalization,
// for values that will be broken into multiple registers.
// EXTRACT_ELEMENT - This is used to get the lower or upper (determined by
// a Constant, which is required to be operand #1) half of the integer value
// specified as operand #0. This is only for use before legalization, for
// values that will be broken into multiple registers.
EXTRACT_ELEMENT,
// BUILD_PAIR - This is the opposite of EXTRACT_ELEMENT in some ways. Given

8
llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
View File

@ -2090,13 +2090,17 @@ SDOperand SelectionDAG::getNode(unsigned Opcode, MVT::ValueType VT,
break;
case ISD::EXTRACT_ELEMENT:
assert(N2C && (unsigned)N2C->getValue() < 2 && "Bad EXTRACT_ELEMENT!");
assert(!MVT::isVector(N1.getValueType()) &&
MVT::isInteger(N1.getValueType()) &&
!MVT::isVector(VT) && MVT::isInteger(VT) &&
"EXTRACT_ELEMENT only applies to integers!");
// EXTRACT_ELEMENT of BUILD_PAIR is often formed while legalize is expanding
// 64-bit integers into 32-bit parts. Instead of building the extract of
// the BUILD_PAIR, only to have legalize rip it apart, just do it now.
if (N1.getOpcode() == ISD::BUILD_PAIR)
return N1.getOperand(N2C->getValue());
// EXTRACT_ELEMENT of a constant int is also very common.
if (ConstantSDNode *C = dyn_cast<ConstantSDNode>(N1)) {
unsigned Shift = MVT::getSizeInBits(VT) * N2C->getValue();

24
llvm/lib/CodeGen/SelectionDAG/SelectionDAGISel.cpp
View File

@ -852,19 +852,25 @@ static void getCopyToParts(SelectionDAG &DAG,
// The number of parts is a power of 2. Repeatedly bisect the value using
// EXTRACT_ELEMENT.
Parts[0] = Val;
Parts[0] = DAG.getNode(ISD::BIT_CONVERT,
MVT::getIntegerType(MVT::getSizeInBits(ValueVT)),
Val);
for (unsigned StepSize = NumParts; StepSize > 1; StepSize /= 2) {
for (unsigned i = 0; i < NumParts; i += StepSize) {
unsigned ThisBits = StepSize * PartBits / 2;
MVT::ValueType ThisVT =
ThisBits == PartBits ? PartVT : MVT::getIntegerType (ThisBits);
MVT::ValueType ThisVT = MVT::getIntegerType (ThisBits);
SDOperand &Part0 = Parts[i];
SDOperand &Part1 = Parts[i+StepSize/2];
Parts[i+StepSize/2] =
DAG.getNode(ISD::EXTRACT_ELEMENT, ThisVT, Parts[i],
DAG.getConstant(1, PtrVT));
Parts[i] =
DAG.getNode(ISD::EXTRACT_ELEMENT, ThisVT, Parts[i],
DAG.getConstant(0, PtrVT));
Part1 = DAG.getNode(ISD::EXTRACT_ELEMENT, ThisVT, Part0,
DAG.getConstant(1, PtrVT));
Part0 = DAG.getNode(ISD::EXTRACT_ELEMENT, ThisVT, Part0,
DAG.getConstant(0, PtrVT));
if (ThisBits == PartBits && ThisVT != PartVT) {
Part0 = DAG.getNode(ISD::BIT_CONVERT, PartVT, Part0);
Part1 = DAG.getNode(ISD::BIT_CONVERT, PartVT, Part1);
}
}
}