diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-12-12 17:13:27 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-12-12 17:13:27 +0100 |
| commit | ca2adc30c9f3736ccd9e381bbca43326e1f54a69 (patch) | |
| tree | 4381e9abac931751b36ac7a4ece1914a3a9a2094 /passes/opt/opt_clean.cc | |
| parent | ba90e08398e3068a525c3704a069182a365474e8 (diff) | |
| download | yosys-ca2adc30c9f3736ccd9e381bbca43326e1f54a69.tar.gz yosys-ca2adc30c9f3736ccd9e381bbca43326e1f54a69.tar.bz2 yosys-ca2adc30c9f3736ccd9e381bbca43326e1f54a69.zip | |
Add warnings for driver-driver conflicts between FFs (and other cells) and constants
Diffstat (limited to 'passes/opt/opt_clean.cc')
| -rw-r--r-- | passes/opt/opt_clean.cc | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/passes/opt/opt_clean.cc b/passes/opt/opt_clean.cc index 2d2ffa9a1..25d462ada 100644 --- a/passes/opt/opt_clean.cc +++ b/passes/opt/opt_clean.cc @@ -91,9 +91,16 @@ void rmunused_module_cells(Module *module, bool verbose) Cell *cell = it.second; for (auto &it2 : cell->connections()) { if (!ct_all.cell_known(cell->type) || ct_all.cell_output(cell->type, it2.first)) - for (auto bit : sigmap(it2.second)) + for (auto raw_bit : it2.second) { + if (raw_bit.wire == nullptr) + continue; + auto bit = sigmap(raw_bit); + if (bit.wire == nullptr) + log_warning("Driver-driver conflict for %s between cell %s.%s and constant %s in %s: Resolved using constant.\n", + log_signal(raw_bit), log_id(cell), log_id(it2.first), log_signal(bit), log_id(module)); if (bit.wire != nullptr) wire2driver[bit].insert(cell); + } } if (keep_cache.query(cell)) queue.insert(cell); |