Skip to content

Commit

Permalink
equiv_simple: Drop hollow conditional
Browse files Browse the repository at this point in the history
All the listed flip-flop types would be known cells, so the extra part
of the conditional is without effect.
  • Loading branch information
povik committed Oct 2, 2023
1 parent b52f6cb commit 7d16264
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion passes/equiv/equiv_simple.cc
Original file line number Diff line number Diff line change
Expand Up @@ -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))
Expand Down

0 comments on commit 7d16264

Please sign in to comment.