diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-01-23 19:08:51 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-01-23 19:08:51 -0800 |
| commit | 245873d42d7975b6c303c2d04b75f3cafc6c5697 (patch) | |
| tree | d16ddf1937f6015d8c7598287bd20bea5f73f037 /passes/techmap/abc9.cc | |
| parent | 11e50c0e9ecec6439d44064a0e1a016dc2b3188b (diff) | |
| download | yosys-245873d42d7975b6c303c2d04b75f3cafc6c5697.tar.gz yosys-245873d42d7975b6c303c2d04b75f3cafc6c5697.tar.bz2 yosys-245873d42d7975b6c303c2d04b75f3cafc6c5697.zip | |
abc9: warning message if no modules selected
Diffstat (limited to 'passes/techmap/abc9.cc')
| -rw-r--r-- | passes/techmap/abc9.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/passes/techmap/abc9.cc b/passes/techmap/abc9.cc index f4a89efff..2aeda16d6 100644 --- a/passes/techmap/abc9.cc +++ b/passes/techmap/abc9.cc @@ -234,6 +234,12 @@ struct Abc9Pass : public ScriptPass } extra_args(args, argidx, design); + log_assert(design); + if (design->selected_modules().empty()) { + log_warning("No modules selected for ABC9 techmapping.\n"); + return; + } + log_header(design, "Executing ABC9 pass.\n"); log_push(); |