diff options
author | Clifford Wolf <clifford@clifford.at> | 2015-02-21 11:21:28 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2015-02-21 11:21:28 +0100 |
commit | f778a4081c9b509c0a1d886f8668b1931bfc93d6 (patch) | |
tree | ff3ea9827d9d873863e1aeafd9b4c094d64214f2 | |
parent | d5ce9a32ef51cd56810b3a1842dff846c1c8eab6 (diff) | |
download | yosys-f778a4081c9b509c0a1d886f8668b1931bfc93d6.tar.gz yosys-f778a4081c9b509c0a1d886f8668b1931bfc93d6.tar.bz2 yosys-f778a4081c9b509c0a1d886f8668b1931bfc93d6.zip |
Catch constants assigned to cell outputs in "flatten"
-rw-r--r-- | passes/techmap/techmap.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/passes/techmap/techmap.cc b/passes/techmap/techmap.cc index 521ac61a0..8435d3a32 100644 --- a/passes/techmap/techmap.cc +++ b/passes/techmap/techmap.cc @@ -66,6 +66,7 @@ struct TechmapWorker std::map<std::pair<RTLIL::IdString, std::map<RTLIL::IdString, RTLIL::Const>>, RTLIL::Module*> techmap_cache; std::map<RTLIL::Module*, bool> techmap_do_cache; std::set<RTLIL::Module*, RTLIL::IdString::compare_ptr_by_name<RTLIL::Module>> module_queue; + dict<Module*, SigMap> sigmaps; struct TechmapWireData { RTLIL::Wire *wire; @@ -235,6 +236,11 @@ struct TechmapWorker if (flatten_mode) { // more conservative approach: // connect internal and external wires + if (sigmaps.count(module) == 0) + sigmaps[module].set(module); + if (sigmaps.at(module)(c.first).has_const()) + log_error("Mismatch in directionality for cell port %s.%s.%s: %s <= %s\n", + log_id(module), log_id(cell), log_id(it.first), log_signal(c.first), log_signal(c.second)); module->connect(c); } else { // approach that yields nicer outputs: |