diff options
| author | David Shah <dave@ds0.me> | 2020-03-10 13:51:59 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-10 13:51:59 +0000 |
| commit | f2550d45ff53c5d430d3be172e6266240db22e6d (patch) | |
| tree | 0b4ecbd5fdb518a64e67e47338e87a4b87bc9dff /kernel | |
| parent | ddcd87b577baa71ad3456fea1cc7bf9d46cfac2e (diff) | |
| parent | b8abf143767c2f8c635de1352bb43ed37e781f96 (diff) | |
| download | yosys-f2550d45ff53c5d430d3be172e6266240db22e6d.tar.gz yosys-f2550d45ff53c5d430d3be172e6266240db22e6d.tar.bz2 yosys-f2550d45ff53c5d430d3be172e6266240db22e6d.zip | |
Merge pull request #1753 from YosysHQ/dave/abc9-speedup
Add ScriptPass::run_nocheck and use for abc9
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/register.cc | 12 | ||||
| -rw-r--r-- | kernel/register.h | 1 |
2 files changed, 13 insertions, 0 deletions
diff --git a/kernel/register.cc b/kernel/register.cc index e59d59654..af8c1b8e8 100644 --- a/kernel/register.cc +++ b/kernel/register.cc @@ -400,6 +400,18 @@ void ScriptPass::run(std::string command, std::string info) } } +void ScriptPass::run_nocheck(std::string command, std::string info) +{ + if (active_design == nullptr) { + if (info.empty()) + log(" %s\n", command.c_str()); + else + log(" %s %s\n", command.c_str(), info.c_str()); + } else { + Pass::call(active_design, command); + } +} + void ScriptPass::run_script(RTLIL::Design *design, std::string run_from, std::string run_to) { help_mode = false; diff --git a/kernel/register.h b/kernel/register.h index 4622845b6..3d89386b7 100644 --- a/kernel/register.h +++ b/kernel/register.h @@ -84,6 +84,7 @@ struct ScriptPass : Pass bool check_label(std::string label, std::string info = std::string()); void run(std::string command, std::string info = std::string()); + void run_nocheck(std::string command, std::string info = std::string()); void run_script(RTLIL::Design *design, std::string run_from = std::string(), std::string run_to = std::string()); void help_script(); }; |