From c7f99be3be828606cafc7d35b3612f5344065736 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 3 Aug 2014 20:19:50 +0200
Subject: [PATCH] Fixed "share" for memory read ports

---
 passes/sat/share.cc | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/passes/sat/share.cc b/passes/sat/share.cc
index 4484d6771..0c88b4d3c 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();
 	}