diff options
| author | Marcelina Kościelnicka <mwk@0x04.net> | 2021-05-22 18:18:50 +0200 |
|---|---|---|
| committer | Marcelina Kościelnicka <mwk@0x04.net> | 2021-05-25 02:07:25 +0200 |
| commit | 69bf5c81c7cf65ccb8bd035eb45137e31a68ae86 (patch) | |
| tree | c27924c314fde30979aa0b91f8b179e71c15dd04 /backends/smt2 | |
| parent | 35ee774ea8eac9b745f93641a192341fe559fa6f (diff) | |
| download | yosys-69bf5c81c7cf65ccb8bd035eb45137e31a68ae86.tar.gz yosys-69bf5c81c7cf65ccb8bd035eb45137e31a68ae86.tar.bz2 yosys-69bf5c81c7cf65ccb8bd035eb45137e31a68ae86.zip | |
Reject wide ports in some passes that will never support them.
Diffstat (limited to 'backends/smt2')
| -rw-r--r-- | backends/smt2/smt2.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/backends/smt2/smt2.cc b/backends/smt2/smt2.cc index e0f43d686..4dee0d4fb 100644 --- a/backends/smt2/smt2.cc +++ b/backends/smt2/smt2.cc @@ -715,6 +715,12 @@ struct Smt2Worker has_sync_wr = true; else has_async_wr = true; + if (port.wide_log2) + log_error("Memory %s.%s has wide write ports. This is not supported by \"write_smt2\". Use memory_narrow to convert them first.\n", log_id(cell), log_id(module)); + } + for (auto &port : mem->rd_ports) { + if (port.wide_log2) + log_error("Memory %s.%s has wide read ports. This is not supported by \"write_smt2\". Use memory_narrow to convert them first.\n", log_id(cell), log_id(module)); } if (has_async_wr && has_sync_wr) log_error("Memory %s.%s has mixed clocked/nonclocked write ports. This is not supported by \"write_smt2\".\n", log_id(cell), log_id(module)); |