diff options
| -rw-r--r-- | passes/extract/extract.cc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/passes/extract/extract.cc b/passes/extract/extract.cc index d25af324..0c639aed 100644 --- a/passes/extract/extract.cc +++ b/passes/extract/extract.cc @@ -521,6 +521,11 @@ struct ExtractPass : public Pass { map = new RTLIL::Design; Frontend::frontend_call(map, f, filename, (filename.size() > 3 && filename.substr(filename.size()-3) == ".il") ? "ilang" : "verilog"); fclose(f); + + if (filename.size() <= 3 || filename.substr(filename.size()-3) != ".il") { + Pass::call(map, "proc"); + Pass::call(map, "opt_clean"); + } } std::map<std::string, RTLIL::Module*> needle_map, haystack_map; |