riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Added "techmap -autoproc"

This commit is contained in:
Clifford Wolf 2014-09-01 15:36:29 +02:00
parent 27a1bfbec6
commit 826fdb34d8
1 changed files with 18 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
passes/techmap/techmap.cc
View File

@ -70,6 +70,7 @@ struct TechmapWorker
bool assert_mode; bool assert_mode;
bool flatten_mode; bool flatten_mode;
bool recursive_mode; bool recursive_mode;
bool autoproc_mode;
TechmapWorker() TechmapWorker()
{ {
@ -77,6 +78,7 @@ struct TechmapWorker
assert_mode = false; assert_mode = false;
flatten_mode = false; flatten_mode = false;
recursive_mode = false; recursive_mode = false;
autoproc_mode = false;
} }
std::string constmap_tpl_name(SigMap &sigmap, RTLIL::Module *tpl, RTLIL::Cell *cell, bool verbose) std::string constmap_tpl_name(SigMap &sigmap, RTLIL::Module *tpl, RTLIL::Cell *cell, bool verbose)
@ -148,7 +150,11 @@ struct TechmapWorker
log("Technology map yielded processes:\n"); log("Technology map yielded processes:\n");
for (auto &it : tpl->processes) for (auto &it : tpl->processes)
log(" %s",RTLIL::id2cstr(it.first)); log(" %s",RTLIL::id2cstr(it.first));
log_error("Technology map yielded processes -> this is not supported.\n"); if (autoproc_mode) {
Pass::call_on_module(tpl->design, tpl, "proc");
log_assert(SIZE(tpl->processes) == 0);
} else
log_error("Technology map yielded processes -> this is not supported (use -autoproc to run 'proc' automatically).\n");
} }
std::string orig_cell_name; std::string orig_cell_name;
@ -726,6 +732,9 @@ struct TechmapPass : public Pass {
log(" depth-first algorithm. both methods should yield equivialent results,\n"); log(" depth-first algorithm. both methods should yield equivialent results,\n");
log(" but may differ in performance.\n"); log(" but may differ in performance.\n");
log("\n"); log("\n");
log(" -autoproc\n");
log(" Automatically call \"proc\" on implementations that contain processes.\n");
log("\n");
log(" -assert\n"); log(" -assert\n");
log(" this option will cause techmap to exit with an error if it can't map\n"); log(" this option will cause techmap to exit with an error if it can't map\n");
log(" a selected cell. only cell types that end on an underscore are accepted\n"); log(" a selected cell. only cell types that end on an underscore are accepted\n");
@ -831,7 +840,10 @@ struct TechmapPass : public Pass {
size_t argidx; size_t argidx;
for (argidx = 1; argidx < args.size(); argidx++) { for (argidx = 1; argidx < args.size(); argidx++) {
if (args[argidx] == "-map" && argidx+1 < args.size()) { if (args[argidx] == "-map" && argidx+1 < args.size()) {
map_files.push_back(args[++argidx]); if (args[argidx+1].substr(0, 2) == "+/")
map_files.push_back(proc_share_dirname() + args[++argidx].substr(2));
else
map_files.push_back(args[++argidx]);
continue; continue;
} }
if (args[argidx] == "-share_map" && argidx+1 < args.size()) { if (args[argidx] == "-share_map" && argidx+1 < args.size()) {
@ -862,6 +874,10 @@ struct TechmapPass : public Pass {
worker.recursive_mode = true; worker.recursive_mode = true;
continue; continue;
} }
if (args[argidx] == "-autoproc") {
worker.autoproc_mode = true;
continue;
}
break; break;
} }
extra_args(args, argidx, design); extra_args(args, argidx, design);