From 88182e46d7897625f2889bf1e681b7e0e4f7b966 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 13 Dec 2017 19:14:34 +0100
Subject: [PATCH] Check for memories in clk2fflogic

---
 passes/sat/clk2fflogic.cc | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/passes/sat/clk2fflogic.cc b/passes/sat/clk2fflogic.cc
index ef6d5dd72..fbd71fe58 100644
--- a/passes/sat/clk2fflogic.cc
+++ b/passes/sat/clk2fflogic.cc
@@ -72,6 +72,11 @@ struct Clk2fflogicPass : public Pass {
 
 			for (auto cell : vector<Cell*>(module->selected_cells()))
 			{
+				if (cell->type.in("$mem"))
+				{
+					log_error("Currently there is no support for memories in clk2fflogic. Run memory_map first to convert memories to logic.\n");
+				}
+
 				if (cell->type.in("$dlatch"))
 				{
 					bool enpol = cell->parameters["\\EN_POLARITY"].as_bool();