From b6112b3551d75f87da8a61e7ee482e6f4b840d0c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Povi=C5=A1er?= Date: Mon, 12 Feb 2024 11:10:41 +0100 Subject: [PATCH] check: Consider read ports in loop detection --- passes/cmds/check.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/passes/cmds/check.cc b/passes/cmds/check.cc index 9f70dbdc7..070a3fb9d 100644 --- a/passes/cmds/check.cc +++ b/passes/cmds/check.cc @@ -220,7 +220,7 @@ struct CheckPass : public Pass { } } - if (yosys_celltypes.cell_evaluable(cell->type)) + if (yosys_celltypes.cell_evaluable(cell->type) || cell->type.in(ID($mem_v2), ID($memrd), ID($memrd_v2))) edges_db.add_edges_from_cell(cell); }