TableGen: Allow dag operators to be resolved late

[nhaehnle]

Summary

Change-Id: I51bb80fd5c48c8ac441ab11e43d43c1b91b4b590

llvm/trunk/lib/TableGen/Record.cpp

 Init *BinOpInit::Fold(Record *CurRec, MultiClass *CurMultiClass) const {
   switch (getOpcode()) {
   case CONCAT: {
     DagInit *LHSs = dyn_cast<DagInit>(LHS);
     DagInit *RHSs = dyn_cast<DagInit>(RHS);
     if (LHSs && RHSs) {
       DefInit *LOp = dyn_cast<DefInit>(LHSs->getOperator());
       DefInit *ROp = dyn_cast<DefInit>(RHSs->getOperator());
-      if (!LOp || !ROp || LOp->getDef() != ROp->getDef())
-        PrintFatalError("Concated Dag operators do not match!");
+      if (!LOp || !ROp)
+        break;
+      if (LOp->getDef() != ROp->getDef()) {
+        PrintFatalError(Twine("Concatenated Dag operators do not match: '") +
+                        LHSs->getAsString() + "' vs. '" + RHSs->getAsString() +
+                        "'");
+      }
       SmallVector<Init*, 8> Args;
       SmallVector<StringInit*, 8> ArgNames;
       for (unsigned i = 0, e = LHSs->getNumArgs(); i != e; ++i) {
         Args.push_back(LHSs->getArg(i));
         ArgNames.push_back(LHSs->getArgName(i));
       }
       for (unsigned i = 0, e = RHSs->getNumArgs(); i != e; ++i) {
         Args.push_back(RHSs->getArg(i));

llvm/trunk/test/TableGen/dag-functional.td

 // CHECK:   dag ret1 = (ops ?:$a, ?:$b);
 // CHECK:   dag ret2 = (ops 1, 2);
 // CHECK: }
 
 // CHECK: def D {
 // CHECK:   dag d1 = (ops 1, ?:$name1, 2, 3);
 // CHECK: }
 
-def ops;
+// CHECK: def E0 {
+// CHECK:   dag ret = (ops 1, 2);
+// CHECK: }
+
+class Ops;
+
+def ops : Ops;
 
 class Node<int val, string name> {
   int Val = val;
   string Name = name;
 }
 
 class Aint<list<int> nodes, list<string> names> {
   dag ret = !dag(ops, nodes, names);
class C<list<int> nodes, list<string> names> {
   dag ret1 = !dag(ops, ?, names);
   dag ret2 = !dag(ops, nodes, ?);
 }
 
 def C0 : C<[1, 2], ["a", "b"]>;
 
 def D {
   dag d1 = !con((ops 1), (ops $name1), (ops), (ops 2, 3));
-}
+}
+
+class E<Ops op> {
+  // Allow concatenation of DAG nodes with operators from template arguments.
+  dag ret = !con((op 1), (op 2));
+}
+
+def E0 : E<ops>;