Add debug prints

Author: Scheremo

lib/Conversion/ImportVerilog/Expressions.cpp

@@ -994,8 +994,10 @@ struct RvalueExprVisitor : public ExprVisitor {
 
     case (1):
       value = context.convertRvalueExpression(*args[0]);
-      if (!value)
+      if (!value){
+        dbgs(loc) << "Failed to convert RValue Expression of call " << subroutine.name;
         return {};
+      }
       result = context.convertSystemCallArity1(subroutine, loc, value);
       break;
 

lib/Conversion/ImportVerilog/HierarchicalNames.cpp

@@ -184,8 +184,10 @@ LogicalResult Context::traverseInstanceBody(const slang::ast::Symbol &symbol) {
   if (auto *instBodySymbol = symbol.as_if<slang::ast::InstanceBodySymbol>())
     for (auto &member : instBodySymbol->members()) {
       auto loc = convertLocation(member.location);
-      if (failed(member.visit(InstBodyVisitor(*this, loc))))
+      if (failed(member.visit(InstBodyVisitor(*this, loc)))) {
+        dbgs(member.location) << ": Failed to convert symbol " << member.name;
         return failure();
+      }
     }
   return success();
 }

lib/Conversion/ImportVerilog/ImportVerilog.cpp

@@ -23,7 +23,6 @@
 #include "slang/parsing/Preprocessor.h"
 #include "slang/syntax/SyntaxPrinter.h"
 #include "slang/util/VersionInfo.h"
-#include "ImportVerilogDebugStream.h"
 
 using namespace mlir;
 using namespace circt;
@@ -263,8 +262,10 @@ LogicalResult ImportDriver::importVerilog(ModuleOp module) {
   auto compilation = driver.createCompilation();
   for (auto &diag : compilation->getAllDiagnostics())
     driver.diagEngine.issue(diag);
-  if (!parseSuccess || driver.diagEngine.getNumErrors() > 0)
+  if (!parseSuccess || driver.diagEngine.getNumErrors() > 0) {
+    dbgs() << "Failed to parse and elaborate inputs!";
     return failure();
+  }
   compileTimer.stop();
 
   // If we were only supposed to lint the input, return here. This leaves the
@@ -279,8 +280,10 @@ LogicalResult ImportDriver::importVerilog(ModuleOp module) {
                     debug::DebugDialect>();
   auto conversionTimer = ts.nest("Verilog to dialect mapping");
   Context context(options, *compilation, module, driver.sourceManager);
-  if (failed(context.convertCompilation()))
+  if (failed(context.convertCompilation())) {
+    dbgs() << "Failed to convert Slang compilation!";
     return failure();
+  }
   conversionTimer.stop();
 
   // Run the verifier on the constructed module to ensure it is clean.

lib/Conversion/ImportVerilog/ImportVerilogDebugStream.h

@@ -21,11 +21,11 @@
 
 // If includer defined DEBUG_TYPE, use that; else fall back to our default.
 #ifndef IMPORTVERILOG_DEBUG_TYPE
-  #ifdef DEBUG_TYPE
-    #define IMPORTVERILOG_DEBUG_TYPE DEBUG_TYPE
-  #else
-    #define IMPORTVERILOG_DEBUG_TYPE "import-verilog"
-  #endif
+#ifdef DEBUG_TYPE
+#define IMPORTVERILOG_DEBUG_TYPE DEBUG_TYPE
+#else
+#define IMPORTVERILOG_DEBUG_TYPE "import-verilog"
+#endif
 #endif
 
 struct ImportVerilogDebugStream {
@@ -40,7 +40,7 @@ struct ImportVerilogDebugStream {
 
   inline ~ImportVerilogDebugStream() {
     DEBUG_WITH_TYPE(IMPORTVERILOG_DEBUG_TYPE, {
-      if(compLoc)
+      if (compLoc)
         llvm::dbgs() << compLoc->file_name() << ":" << compLoc->line() << " ("
                      << compLoc->function_name() << ") ";
       if (srcLoc) {
@@ -86,8 +86,8 @@ operator<<(ImportVerilogDebugStream &&s,
 }
 
 /// Helper function to set up a debug stream with reasonable defaults
-ImportVerilogDebugStream dbgs(
-                              std::optional<mlir::Location> sourceLocation = {},
-    std::optional<std::source_location> cl = std::source_location::current());
+ImportVerilogDebugStream
+dbgs(std::optional<mlir::Location> sourceLocation = {},
+     std::optional<std::source_location> cl = std::source_location::current());
 
 #endif // IMPORT_VERILOG_DEBUG_H

lib/Conversion/ImportVerilog/ImportVerilogInternals.h

@@ -95,10 +95,12 @@ struct Context {
   /// Convert a slang `SourceRange` into an MLIR `Location`.
   Location convertLocation(slang::SourceRange range);
 
-  /// A convenient debug stream wrapper which attaches information about input source location and compiler source location; also accepts slang::SourceLocation and tries to unwrap it.
+  /// A convenient debug stream wrapper which attaches information about input
+  /// source location and compiler source location; also accepts
+  /// slang::SourceLocation and tries to unwrap it.
   ImportVerilogDebugStream dbgs(
       std::optional<std::variant<mlir::Location, slang::SourceLocation>>
-      sourceLocation = {},
+          sourceLocation = {},
       std::optional<std::source_location> cl = std::source_location::current());
 
   /// Convert a slang type into an MLIR type. Returns null on failure. Uses the

lib/Conversion/ImportVerilog/Statements.cpp

@@ -9,7 +9,9 @@
 #include "ImportVerilogInternals.h"
 #include "slang/ast/Compilation.h"
 #include "slang/ast/SystemSubroutine.h"
+#include "slang/syntax/AllSyntax.h"
 #include "llvm/ADT/ScopeExit.h"
+#include <slang/ast/SFormat.h>
 
 using namespace mlir;
 using namespace circt;
@@ -138,8 +140,11 @@ struct StmtVisitor {
         mlir::emitWarning(loc, "unreachable code");
         break;
       }
-      if (failed(context.convertStatement(*stmt)))
+      if (failed(context.convertStatement(*stmt))) {
+        context.dbgs(stmt->syntax->sourceRange().start())
+            << "Failed to convert statement " << stmt->syntax->toString();
         return failure();
+      }
     }
     return success();
   }
@@ -157,17 +162,26 @@ struct StmtVisitor {
               std::get_if<slang::ast::CallExpression::SystemCallInfo>(
                   &call->subroutine)) {
         auto handled = visitSystemCall(stmt, *call, *info);
-        if (failed(handled))
+        if (failed(handled)) {
+          context.dbgs(stmt.sourceRange.start())
+              << "Failed to convert system call " << stmt.syntax->toString();
           return failure();
+        }
         if (handled == true)
           return success();
       }
+      context.dbgs(stmt.sourceRange.start())
+          << "Assuming statement " << stmt.syntax->toString()
+          << " is not a system task";
     }
 
     auto value = context.convertRvalueExpression(stmt.expr);
-    if (!value)
+    if (!value) {
+      context.dbgs(stmt.sourceRange.start())
+          << "Failed to convert expression statement as RValue "
+          << stmt.expr.syntax->toString();
       return failure();
-
+    }
     // Expressions like calls to void functions return a dummy value that has no
     // uses. If the returned value is trivially dead, remove it.
     if (auto *defOp = value.getDefiningOp())

lib/Conversion/ImportVerilog/Structure.cpp

@@ -669,23 +669,30 @@ LogicalResult Context::convertCompilation() {
   for (auto *unit : root.compilationUnits) {
     for (const auto &member : unit->members()) {
       auto loc = convertLocation(member.location);
-      if (failed(member.visit(RootVisitor(*this, loc))))
+      if (failed(member.visit(RootVisitor(*this, loc)))) {
+        dbgs(loc) << "Failed to convert top-level object " << member.name;
         return failure();
+      }
     }
   }
 
   // Prime the root definition worklist by adding all the top-level modules.
   SmallVector<const slang::ast::InstanceSymbol *> topInstances;
   for (auto *inst : root.topInstances)
-    if (!convertModuleHeader(&inst->body))
+    if (!convertModuleHeader(&inst->body)) {
+      dbgs(inst->location) << ": Failed to convert module header of module "
+                           << inst->name;
       return failure();
-
+    }
   // Convert all the root module definitions.
   while (!moduleWorklist.empty()) {
     auto *module = moduleWorklist.front();
     moduleWorklist.pop();
-    if (failed(convertModuleBody(module)))
+    if (failed(convertModuleBody(module))) {
+      dbgs(module->location)
+          << ": Failed to convert module body of module " << module->name;
       return failure();
+    }
   }
 
   return success();
@@ -1057,8 +1064,10 @@ Context::convertFunction(const slang::ast::SubroutineSymbol &subroutine) {
 
   // First get or create the function declaration.
   auto *lowering = declareFunction(subroutine);
-  if (!lowering)
+  if (!lowering) {
+    dbgs(subroutine.location) << "Failed to lower function " << subroutine.name;
     return failure();
+  }
   ValueSymbolScope scope(valueSymbols);
 
   // Create a function body block and populate it with block arguments.
@@ -1101,9 +1110,11 @@ Context::convertFunction(const slang::ast::SubroutineSymbol &subroutine) {
     valueSymbols.insert(subroutine.returnValVar, returnVar);
   }
 
-  if (failed(convertStatement(subroutine.getBody())))
+  if (failed(convertStatement(subroutine.getBody()))) {
+    dbgs(subroutine.location)
+        << "Failed to convert body of function " << subroutine.name;
     return failure();
-
+  }
   // If there was no explicit return statement provided by the user, insert a
   // default one.
   if (builder.getBlock()) {