[llvm-commits] CVS: llvm/utils/TableGen/DAGISelEmitter.cpp

[Chris Lattner]

Changes in directory llvm/utils/TableGen:

DAGISelEmitter.cpp updated: 1.15 -> 1.16
---
Log message:

Add some more checking/verification code


---
Diffs of the changes:  (+19 -2)

 DAGISelEmitter.cpp |   21 +++++++++++++++++++--
 1 files changed, 19 insertions(+), 2 deletions(-)


Index: llvm/utils/TableGen/DAGISelEmitter.cpp
diff -u llvm/utils/TableGen/DAGISelEmitter.cpp:1.15 llvm/utils/TableGen/DAGISelEmitter.cpp:1.16
--- llvm/utils/TableGen/DAGISelEmitter.cpp:1.15	Tue Sep 13 19:09:24 2005
+++ llvm/utils/TableGen/DAGISelEmitter.cpp	Tue Sep 13 21:11:12 2005
@@ -654,8 +654,12 @@
       I->error("Could not infer all types in pattern!");
     }
     
+    // SetDestinations - Keep track of all the virtual registers that are 'set'
+    // in the instruction, including what reg class they are.
+    std::map<std::string, Record*> SetDestinations;
+
     // Verify that the top-level forms in the instruction are of void type, and
-    // figure out how many of the instruction operands are destinations.
+    // fill in the SetDestinations map.
     for (unsigned j = 0, e = I->getNumTrees(); j != e; ++j) {
       TreePatternNode *Pat = I->getTree(j);
       if (Pat->getType() != MVT::isVoid) {
@@ -677,16 +681,29 @@
           TreePatternNode *Dest = Pat->getChild(i);
           if (!Dest->isLeaf())
             I->error("set destination should be a virtual register!");
-          
+
           DefInit *Val = dynamic_cast<DefInit*>(Dest->getLeafValue());
           if (!Val)
             I->error("set destination should be a virtual register!");
           
           if (!Val->getDef()->isSubClassOf("RegisterClass"))
             I->error("set destination should be a virtual register!");
+          if (Dest->getName().empty())
+            I->error("set destination must have a name!");
+          if (SetDestinations.count(Dest->getName()))
+            I->error("cannot set '" + Dest->getName() +"' multiple times");
+          SetDestinations[Dest->getName()] = Val->getDef();
         }
       }
     }
+
+    // Now that we have operands that are sets, inspect the operands list for
+    // the instruction.  This determines the order that operands are added to
+    // the machine instruction the node corresponds to.
+    assert(SetDestinations.size() == 1 &&
+           "This code only handles a single set right now!");
+
+
               
     DEBUG(I->dump());
     Instructions.push_back(I);