diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-05-27 12:16:10 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-05-27 12:16:10 -0700 |
| commit | 234156c01a4086a69ff9ac9f6ae668d64734d525 (patch) | |
| tree | 15674d1e6679a4c45fd28e8275c47f7d0cfdf2b2 /backends/aiger/xaiger.cc | |
| parent | 03b289a851c62eb2a7e3592432876bfa8a56770b (diff) | |
| download | yosys-234156c01a4086a69ff9ac9f6ae668d64734d525.tar.gz yosys-234156c01a4086a69ff9ac9f6ae668d64734d525.tar.bz2 yosys-234156c01a4086a69ff9ac9f6ae668d64734d525.zip | |
Instantiate cell type (from sym file) otherwise 'clean' warnings
Diffstat (limited to 'backends/aiger/xaiger.cc')
| -rw-r--r-- | backends/aiger/xaiger.cc | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index 582e8e076..3c96f6c9e 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -879,13 +879,15 @@ struct XAigerWriter int i = std::get<3>(c); int a = bit2aig(b); log_assert((a & 1) == 0); - input_lines[a] += stringf("cinput %d %d %s %s\n", (a >> 1)-1, i, log_id(std::get<1>(c)), log_id(std::get<2>(c))); + RTLIL::Cell* cell = std::get<1>(c); + input_lines[a] += stringf("cinput %d %d %s %s %s\n", (a >> 1)-1, i, log_id(cell), log_id(std::get<2>(c)), log_id(cell->type)); } for (const auto &c : co_bits) { int i = std::get<3>(c); int o = std::get<4>(c); - output_lines[o] += stringf("coutput %d %d %s %s\n", o, i, log_id(std::get<1>(c)), log_id(std::get<2>(c))); + RTLIL::Cell* cell = std::get<1>(c); + output_lines[o] += stringf("coutput %d %d %s %s %s\n", o, i, log_id(cell), log_id(std::get<2>(c)), log_id(cell->type)); } input_lines.sort(); |