From b7535a6c750108697161a72b5f2fe0001d0dd375 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 18 Sep 2015 10:46:50 +0200
Subject: Added $logic_not handling to fsm_detect

---
 passes/fsm/fsm_detect.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/passes/fsm/fsm_detect.cc b/passes/fsm/fsm_detect.cc
index feeaa347..fd0ae44b 100644
--- a/passes/fsm/fsm_detect.cc
+++ b/passes/fsm/fsm_detect.cc
@@ -89,6 +89,8 @@ static bool check_state_users(RTLIL::SigSpec sig)
 		RTLIL::Cell *cell = cellport.first;
 		if (muxtree_cells.count(cell) > 0)
 			continue;
+		if (cell->type == "$logic_not" && assign_map(cell->getPort("\\A")) == sig)
+			continue;
 		if (cellport.second != "\\A" && cellport.second != "\\B")
 			return false;
 		if (!cell->hasPort("\\A") || !cell->hasPort("\\B") || !cell->hasPort("\\Y"))
-- 
cgit v1.2.3