diff options
| author | Clifford Wolf <clifford@clifford.at> | 2013-11-10 23:24:21 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2013-11-10 23:24:21 +0100 |
| commit | 378cc509cd7dcb9db9f1e1b4023ab686955bc9f6 (patch) | |
| tree | c2779ef932231c89e6467b6d221e8abc36c11a38 /kernel/driver.cc | |
| parent | 223892ac286b1dd0d09bf2449cd8953b1029ae68 (diff) | |
| download | yosys-378cc509cd7dcb9db9f1e1b4023ab686955bc9f6.tar.gz yosys-378cc509cd7dcb9db9f1e1b4023ab686955bc9f6.tar.bz2 yosys-378cc509cd7dcb9db9f1e1b4023ab686955bc9f6.zip | |
Call internal checker more often
Diffstat (limited to 'kernel/driver.cc')
| -rw-r--r-- | kernel/driver.cc | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc index 54f7a2e65..05a0c48a8 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -67,14 +67,10 @@ static void run_frontend(std::string filename, std::string command, RTLIL::Desig if (f == NULL) log_error("Can't open script file `%s' for reading: %s\n", filename.c_str(), strerror(errno)); std::string command; - while (fgetline(f, command)) { + while (fgetline(f, command)) Pass::call(design, command); - design->check(); - } - if (!command.empty()) { + if (!command.empty()) Pass::call(design, command); - design->check(); - } if (filename != "-") fclose(f); if (backend_command != NULL && *backend_command == "auto") @@ -89,7 +85,6 @@ static void run_frontend(std::string filename, std::string command, RTLIL::Desig } Frontend::frontend_call(design, NULL, filename, command); - design->check(); } static void run_pass(std::string command, RTLIL::Design *design) @@ -97,7 +92,6 @@ static void run_pass(std::string command, RTLIL::Design *design) log("\n-- Running pass `%s' --\n", command.c_str()); Pass::call(design, command); - design->check(); } static void run_backend(std::string filename, std::string command, RTLIL::Design *design) @@ -125,7 +119,6 @@ static void run_backend(std::string filename, std::string command, RTLIL::Design } Backend::backend_call(design, NULL, filename, command); - design->check(); } static char *readline_cmd_generator(const char *text, int state) |