[FIRRTL] Remove support for printf-encoded verification, tests.

lib/Dialect/FIRRTL/Import/CMakeLists.txt

@@ -2,7 +2,6 @@ add_circt_translation_library(CIRCTImportFIRFile
   FIRAnnotations.cpp
   FIRLexer.cpp
   FIRParser.cpp
-  FIRParserAsserts.cpp
 
   ADDITIONAL_HEADER_DIRS
 

lib/Dialect/FIRRTL/Import/FIRAnnotations.h

@@ -39,10 +39,6 @@ bool fromOMIRJSON(llvm::json::Value &value,
                   SmallVectorImpl<Attribute> &annotations,
                   llvm::json::Path path, MLIRContext *context);
 
-/// Classifier for legacy verif intent captured in printf + when's.  Returns
-/// true if the printf encodes verif intent, false otherwise.
-bool isRecognizedPrintfEncodedVerif(PrintFOp printOp);
-
 } // namespace firrtl
 } // namespace circt
 

lib/Dialect/FIRRTL/Import/FIRParser.cpp

@@ -5390,33 +5390,6 @@ FIRCircuitParser::parseModuleBody(const SymbolTable &circuitSymTbl,
   if (failed(result))
     return result;
 
-  // Scan for printf-encoded verif's to error on their use, no longer supported.
-  {
-    size_t numVerifPrintfs = 0;
-    std::optional<Location> printfLoc;
-
-    deferredModule.moduleOp.walk([&](PrintFOp printFOp) {
-      if (!circt::firrtl::isRecognizedPrintfEncodedVerif(printFOp))
-        return;
-      ++numVerifPrintfs;
-      if (!printfLoc)
-        printfLoc = printFOp.getLoc();
-    });
-
-    if (numVerifPrintfs > 0) {
-      auto diag =
-          mlir::emitError(deferredModule.moduleOp.getLoc(), "module contains ")
-          << numVerifPrintfs
-          << " printf-encoded verification operation(s), which are no longer "
-             "supported.";
-      diag.attachNote(*printfLoc)
-          << "example printf here, this is now just a printf and nothing more";
-      diag.attachNote() << "For more information, see "
-                           "https://github.com/llvm/circt/issues/6970";
-      return diag;
-    }
-  }
-
   // Demote any forceable operations that aren't being forced.
   deferredModule.moduleOp.walk([](Forceable fop) {
     if (fop.isForceable() && fop.getDataRef().use_empty())