This commit is contained in:
Eddie Hung 2019-08-01 22:30:10 -07:00
parent 8a8c1d7857
commit 789585a744
1 changed files with 2 additions and 0 deletions

View File

@ -736,6 +736,8 @@ void abc9_module(RTLIL::Design *design, RTLIL::Module *current_module, std::stri
} }
} }
// TODO: Move this optimisation into parse_xaiger, so that we
// can get save on the "clean" call at the end of this function
for (auto &it : bit_users) for (auto &it : bit_users)
if (bit_drivers.count(it.first)) if (bit_drivers.count(it.first))
for (auto driver_cell : bit_drivers.at(it.first)) for (auto driver_cell : bit_drivers.at(it.first))