[PATCH] D71195: [TableGen] Permit dag operators to be unset.

[Simon Tatham via Phabricator via llvm-commits]

simon_tatham created this revision.
simon_tatham added reviewers: hfinkel, nhaehnle.
Herald added subscribers: llvm-commits, hiraditya.
Herald added a project: LLVM.

This is not a new semantic feature. The syntax `(? 1, 2, 3)` was
disallowed by the parser in a dag //expression//, but there were
already ways to sneak a `?` into the operator field of a dag
//value//, e.g. by initializing it from a class template parameter
which is then set to `?` by the instantiating `def`.

This patch makes `?` in the operator slot syntactically legal, so it's
now easy to construct dags with an unset operator. Also, the semantics
of `!con` are relaxed so that it will allow a combination of set and
unset operator fields in the dag nodes it's concatenating, with the
restriction that all the operators that are //not// unset still have
to agree with each other.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D71195

Files:
  llvm/lib/TableGen/Record.cpp
  llvm/lib/TableGen/TGParser.cpp
  llvm/test/TableGen/unsetop.td


Index: llvm/test/TableGen/unsetop.td
===================================================================
--- /dev/null
+++ llvm/test/TableGen/unsetop.td
@@ -0,0 +1,24 @@
+// RUN: llvm-tblgen %s | FileCheck %s
+// RUN: not llvm-tblgen -DERROR %s 2>&1 | FileCheck --check-prefix=ERROR %s
+
+def op;
+def otherop;
+
+def test {
+  // CHECK: dag d = (? "hello":$world);
+  dag d = (? "hello":$world);
+
+  // CHECK: dag undefNeither = (op 1, 2);
+  dag undefNeither = !con((op 1), (op 2));
+  // CHECK: dag undefFirst = (op 1, 2);
+  dag undefFirst   = !con((?  1), (op 2));
+  // CHECK: dag undefSecond = (op 1, 2);
+  dag undefSecond  = !con((op 1), (?  2));
+  // CHECK: dag undefBoth = (? 1, 2);
+  dag undefBoth    = !con((?  1), (?  2));
+
+#ifdef ERROR
+  // ERROR: Concatenated Dag operators do not match: '(op 1)' vs. '(otherop 2)'
+  dag mismatch     = !con((op 1), (otherop 2));
+#endif
+}
Index: llvm/lib/TableGen/TGParser.cpp
===================================================================
--- llvm/lib/TableGen/TGParser.cpp
+++ llvm/lib/TableGen/TGParser.cpp
@@ -2024,7 +2024,8 @@
   }
   case tgtok::l_paren: {         // Value ::= '(' IDValue DagArgList ')'
     Lex.Lex();   // eat the '('
-    if (Lex.getCode() != tgtok::Id && Lex.getCode() != tgtok::XCast) {
+    if (Lex.getCode() != tgtok::Id && Lex.getCode() != tgtok::XCast &&
+        Lex.getCode() != tgtok::question) {
       TokError("expected identifier in dag init");
       return nullptr;
     }
Index: llvm/lib/TableGen/Record.cpp
===================================================================
--- llvm/lib/TableGen/Record.cpp
+++ llvm/lib/TableGen/Record.cpp
@@ -887,13 +887,18 @@
     if (LHSs && RHSs) {
       DefInit *LOp = dyn_cast<DefInit>(LHSs->getOperator());
       DefInit *ROp = dyn_cast<DefInit>(RHSs->getOperator());
-      if (!LOp || !ROp)
+      if ((!LOp && !isa<UnsetInit>(LHSs->getOperator())) ||
+          (!ROp && !isa<UnsetInit>(RHSs->getOperator())))
         break;
-      if (LOp->getDef() != ROp->getDef()) {
+      if (LOp && ROp && LOp->getDef() != ROp->getDef()) {
         PrintFatalError(Twine("Concatenated Dag operators do not match: '") +
                         LHSs->getAsString() + "' vs. '" + RHSs->getAsString() +
                         "'");
       }
+      Init *Op = LOp ? LOp : ROp;
+      if (!Op)
+        Op = UnsetInit::get();
+
       SmallVector<Init*, 8> Args;
       SmallVector<StringInit*, 8> ArgNames;
       for (unsigned i = 0, e = LHSs->getNumArgs(); i != e; ++i) {
@@ -904,7 +909,7 @@
         Args.push_back(RHSs->getArg(i));
         ArgNames.push_back(RHSs->getArgName(i));
       }
-      return DagInit::get(LHSs->getOperator(), nullptr, Args, ArgNames);
+      return DagInit::get(Op, nullptr, Args, ArgNames);
     }
     break;
   }


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D71195.232804.patch
Type: text/x-patch
Size: 2792 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20191209/8bf7985f/attachment.bin>