Merge 5bee737 into f8327e8

magma/backend/coreir_.py

@@ -16,6 +16,7 @@
 from .util import make_relative, get_codegen_debug_info
 from ..interface import InterfaceKind
 import copy
+import json
 
 from collections import defaultdict
 
@@ -290,6 +291,15 @@ def compile_definition(self, definition):
         self.check_interface(definition)
         module_type = self.convert_interface_to_module_type(definition.interface)
         coreir_module = self.context.global_namespace.new_module(definition.coreir_name, module_type)
+
+        # If this module was imported from verilog, do not go through the
+        # general module construction flow. Instead just attach the verilog
+        # source as metadata and return the module.
+        if hasattr(definition, "verilogFile"):
+            verilog_metadata = {"verilog_string": definition.verilogFile}
+            coreir_module.add_metadata("verilog", json.dumps(verilog_metadata))
+            return coreir_module
+
         module_definition = coreir_module.new_definition()
         self.compile_definition_to_module_definition(definition, module_definition)
         coreir_module.definition = module_definition