Fix assertion on `!eq(?, 0)`

Instead of asserting, emit a proper error message

diff --git a/llvm/lib/TableGen/TGParser.cpp b/llvm/lib/TableGen/TGParser.cpp
index 9314523c501ae83a73531f05058df92930069f65..3d774979eb5f9256899a57663d8c730946415868 100644 (file)
--- a/llvm/lib/TableGen/TGParser.cpp
+++ b/llvm/lib/TableGen/TGParser.cpp
@@ -1180,7 +1180,13 @@ Init *TGParser::ParseOperation(Record *CurRec, RecTy *ItemType) {
       InitList.push_back(ParseValue(CurRec, ArgType));
       if (!InitList.back()) return nullptr;
 
-      RecTy *ListType = cast<TypedInit>(InitList.back())->getType();
+      TypedInit *InitListBack = dyn_cast<TypedInit>(InitList.back());
+      if (!InitListBack) {
+        Error(OpLoc, Twine("expected value to be a typed value, got '" +
+                           InitList.back()->getAsString() + "'"));
+        return nullptr;
+      }
+      RecTy *ListType = InitListBack->getType();
       if (!ArgType) {
         ArgType = ListType;
 

diff --git a/llvm/test/TableGen/eq-unset.td b/llvm/test/TableGen/eq-unset.td
new file mode 100644 (file)
index 0000000..57f06c3
--- /dev/null
+++ b/llvm/test/TableGen/eq-unset.td
@@ -0,0 +1,9 @@
+// RUN: not llvm-tblgen %s 2>&1 | FileCheck %s
+
+// CHECK: error: expected value to be a typed value, got '?'
+
+def Z1 {
+  // This one caused an assertion because the value was an UnsetInit
+  // and !eq() can only accept TypedInit's.
+  bit D = !if(!eq(?, 0), 1, 0);
+}