From e9506bb2da9640cebc325e33a678d352d36a909e Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sun, 20 Jul 2014 18:54:06 +0200 Subject: Supercell creation for $div/$mod worked all along, fixed test benches --- passes/sat/share.cc | 4 ---- 1 file changed, 4 deletions(-) (limited to 'passes') diff --git a/passes/sat/share.cc b/passes/sat/share.cc index 27b21207..06549671 100644 --- a/passes/sat/share.cc +++ b/passes/sat/share.cc @@ -134,10 +134,6 @@ struct ShareWorker not_a_muxed_cell: continue; - // FIXME: Creation of super cells is broken for this cell types - if (cell->type == "$div" || cell->type == "$mod") - continue; - if (config.opt_force) { shareable_cells.insert(cell); continue; -- cgit v1.2.3