[PATCH] D98979: [LegalizeDAG] Add asserts to verify the types of custom legalized operation matches the original node.
Craig Topper via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Mon Mar 22 10:31:07 PDT 2021
This revision was landed with ongoing or failed builds.
This revision was automatically updated to reflect the committed changes.
Closed by commit rG2f13e63f9eef: [LegalizeDAG] Add asserts to verify the types of custom legalized operation… (authored by craig.topper).
Changed prior to commit:
https://reviews.llvm.org/D98979?vs=331976&id=332356#toc
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D98979/new/
https://reviews.llvm.org/D98979
Files:
llvm/lib/CodeGen/SelectionDAG/LegalizeDAG.cpp
Index: llvm/lib/CodeGen/SelectionDAG/LegalizeDAG.cpp
===================================================================
--- llvm/lib/CodeGen/SelectionDAG/LegalizeDAG.cpp
+++ llvm/lib/CodeGen/SelectionDAG/LegalizeDAG.cpp
@@ -1259,6 +1259,11 @@
return;
if (Node->getNumValues() == 1) {
+ // Verify the new types match the original. Glue is waived because
+ // ISD::ADDC can be legalized by replacing Glue with an integer type.
+ assert((Res.getValueType() == Node->getValueType(0) ||
+ Node->getValueType(0) == MVT::Glue) &&
+ "Type mismatch for custom legalized operation");
LLVM_DEBUG(dbgs() << "Successfully custom legalized node\n");
// We can just directly replace this node with the lowered value.
ReplaceNode(SDValue(Node, 0), Res);
@@ -1266,8 +1271,14 @@
}
SmallVector<SDValue, 8> ResultVals;
- for (unsigned i = 0, e = Node->getNumValues(); i != e; ++i)
+ for (unsigned i = 0, e = Node->getNumValues(); i != e; ++i) {
+ // Verify the new types match the original. Glue is waived because
+ // ISD::ADDC can be legalized by replacing Glue with an integer type.
+ assert((Res->getValueType(i) == Node->getValueType(i) ||
+ Node->getValueType(i) == MVT::Glue) &&
+ "Type mismatch for custom legalized operation");
ResultVals.push_back(Res.getValue(i));
+ }
LLVM_DEBUG(dbgs() << "Successfully custom legalized node\n");
ReplaceNode(Node, ResultVals.data());
return;
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D98979.332356.patch
Type: text/x-patch
Size: 1623 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210322/d0b6811d/attachment.bin>
More information about the llvm-commits
mailing list