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

Added -nodetect option to fsm pass

This commit is contained in:
Clifford Wolf 2013-05-24 15:34:25 +02:00
parent cc05404128
commit cc587fb5f3
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
passes/fsm/fsm.cc
View File

@ -33,7 +33,7 @@ struct FsmPass : public Pass {
log("This pass calls all the other fsm_* passes in a useful order. This performs\n"); log("This pass calls all the other fsm_* passes in a useful order. This performs\n");
log("FSM extraction and optimiziation. It also calls opt_rmunused as needed:\n"); log("FSM extraction and optimiziation. It also calls opt_rmunused as needed:\n");
log("\n"); log("\n");
log(" fsm_detect\n"); log(" fsm_detect unless got option -nodetect\n");
log(" fsm_extract\n"); log(" fsm_extract\n");
log("\n"); log("\n");
log(" fsm_opt\n"); log(" fsm_opt\n");
@ -65,6 +65,7 @@ struct FsmPass : public Pass {
{ {
bool flag_nomap = false; bool flag_nomap = false;
bool flag_norecode = false; bool flag_norecode = false;
bool flag_nodetect = false;
bool flag_expand = false; bool flag_expand = false;
bool flag_export = false; bool flag_export = false;
std::string fm_set_fsm_file_opt; std::string fm_set_fsm_file_opt;
@ -84,6 +85,10 @@ struct FsmPass : public Pass {
encoding_opt = " -encoding " + args[++argidx]; encoding_opt = " -encoding " + args[++argidx];
continue; continue;
} }
if (arg == "-nodetect") {
flag_nodetect = true;
continue;
}
if (arg == "-norecode") { if (arg == "-norecode") {
flag_norecode = true; flag_norecode = true;
continue; continue;
@ -104,7 +109,8 @@ struct FsmPass : public Pass {
} }
extra_args(args, argidx, design); extra_args(args, argidx, design);
Pass::call(design, "fsm_detect"); if (!flag_nodetect)
Pass::call(design, "fsm_detect");
Pass::call(design, "fsm_extract"); Pass::call(design, "fsm_extract");
Pass::call(design, "fsm_opt"); Pass::call(design, "fsm_opt");