From: Johann Glaser Date: Sat, 25 Jan 2014 20:11:34 +0000 (+0100) Subject: enabled multiple "-map" for the extract pass X-Git-Tag: yosys-0.2.0~147^2 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e9a209477460946448aaa62c504145a8aa2ca42e;p=yosys.git enabled multiple "-map" for the extract pass --- diff --git a/passes/extract/extract.cc b/passes/extract/extract.cc index aa21e573a..eff14ff01 100644 --- a/passes/extract/extract.cc +++ b/passes/extract/extract.cc @@ -312,7 +312,8 @@ struct ExtractPass : public Pass { log("map file can be a verilog source file (*.v) or an ilang file (*.il).\n"); log("\n"); log(" -map \n"); - log(" use the modules in this file as reference\n"); + log(" use the modules in this file as reference. This option can be used\n"); + log(" multiple times.\n"); log("\n"); log(" -verbose\n"); log(" print debug output while analyzing\n"); @@ -384,7 +385,8 @@ struct ExtractPass : public Pass { SubCircuitSolver solver; - std::string filename; + std::vector map_filenames; + std::string mine_outfile; bool constports = false; bool nodefaultswaps = false; @@ -399,11 +401,15 @@ struct ExtractPass : public Pass { size_t argidx; for (argidx = 1; argidx < args.size(); argidx++) { if (args[argidx] == "-map" && argidx+1 < args.size()) { - filename = args[++argidx]; + if (mine_mode) + log_cmd_error("You cannot mix -map and -mine.\n"); + map_filenames.push_back(args[++argidx]); continue; } if (args[argidx] == "-mine" && argidx+1 < args.size()) { - filename = args[++argidx]; + if (!map_filenames.empty()) + log_cmd_error("You cannot mix -map and -mine.\n"); + mine_outfile = args[++argidx]; mine_mode = true; continue; } @@ -510,23 +516,25 @@ struct ExtractPass : public Pass { solver.addSwappablePorts("$_XOR_", "\\A", "\\B"); } - if (filename.empty()) + if (map_filenames.empty() && mine_outfile.empty()) log_cmd_error("Missing option -map or -mine .\n"); RTLIL::Design *map = NULL; if (!mine_mode) { - FILE *f = fopen(filename.c_str(), "rt"); - if (f == NULL) - log_cmd_error("Can't open map file `%s'.\n", filename.c_str()); 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"); + for (auto &filename : map_filenames) { + FILE *f = fopen(filename.c_str(), "rt"); + if (f == NULL) + log_cmd_error("Can't open map file `%s'.\n", filename.c_str()); + 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"); + } } } @@ -658,10 +666,10 @@ struct ExtractPass : public Pass { } } - FILE *f = fopen(filename.c_str(), "wt"); + FILE *f = fopen(mine_outfile.c_str(), "wt"); if (f == NULL) - log_error("Can't open output file `%s'.\n", filename.c_str()); - Backend::backend_call(map, f, filename, "ilang"); + log_error("Can't open output file `%s'.\n", mine_outfile.c_str()); + Backend::backend_call(map, f, mine_outfile, "ilang"); fclose(f); }