Advanced LayerSink

llvm · Sep 18, 2024 · 5031be0 · 5031be0
1 parent 478e0db
commit 5031be0
Show file tree

Hide file tree

Showing 7 changed files with 1,199 additions and 60 deletions.
diff --git a/include/circt/Dialect/FIRRTL/Passes.td b/include/circt/Dialect/FIRRTL/Passes.td
@@ -846,7 +846,7 @@ def LayerMerge : Pass<"firrtl-layer-merge", "firrtl::FModuleOp"> {
   ];
 }
 
-def LayerSink : Pass<"firrtl-layer-sink", "firrtl::FModuleOp"> {
+def LayerSink : Pass<"firrtl-layer-sink", "firrtl::CircuitOp"> {
   let summary = "Sink operations into layer blocks";
   let description = [{
 

diff --git a/lib/Conversion/FIRRTLToHW/LowerToHW.cpp b/lib/Conversion/FIRRTLToHW/LowerToHW.cpp
@@ -2344,6 +2344,11 @@ Value FIRRTLLowering::getLoweredFmtOperand(Value operand) {
 ///
 LogicalResult FIRRTLLowering::setLowering(Value orig, Value result) {
   if (auto origType = dyn_cast<FIRRTLType>(orig.getType())) {
+
+    if (result && type_isa<FIRRTLType>(result.getType())) {
+      llvm::errs() << result.getType() << "\n";
+    }
+
     assert((!result || !type_isa<FIRRTLType>(result.getType())) &&
            "Lowering didn't turn a FIRRTL value into a non-FIRRTL value");