mirror of https://github.com/YosysHQ/yosys.git
equiv_simple: Drop hollow conditional
All the listed flip-flop types would be known cells, so the extra part of the conditional is without effect.
This commit is contained in:
parent
493685b7d2
commit
26644ea779
|
@ -364,7 +364,7 @@ struct EquivSimplePass : public Pass {
|
|||
unproven_cells_counter, GetSize(unproven_equiv_cells), log_id(module));
|
||||
|
||||
for (auto cell : module->cells()) {
|
||||
if (!ct.cell_known(cell->type) && !cell->type.in(ID($dff), ID($_DFF_P_), ID($_DFF_N_), ID($ff), ID($_FF_)))
|
||||
if (!ct.cell_known(cell->type))
|
||||
continue;
|
||||
for (auto &conn : cell->connections())
|
||||
if (yosys_celltypes.cell_output(cell->type, conn.first))
|
||||
|
|
Loading…
Reference in New Issue