summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--passes/sat/share.cc7
1 files changed, 7 insertions, 0 deletions
diff --git a/passes/sat/share.cc b/passes/sat/share.cc
index 4484d677..0c88b4d3 100644
--- a/passes/sat/share.cc
+++ b/passes/sat/share.cc
@@ -419,6 +419,13 @@ struct ShareWorker
return supercell;
}
+ if (c1->type == "$memrd")
+ {
+ RTLIL::Cell *supercell = module->addCell(NEW_ID, c1);
+ module->connect(c2->getPort("\\DATA"), supercell->getPort("\\DATA"));
+ return supercell;
+ }
+
log_abort();
}