summaryrefslogtreecommitdiff
path: root/passes/fsm/fsm_opt.cc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2013-03-01 12:35:12 +0100
committerClifford Wolf <clifford@clifford.at>2013-03-01 12:35:12 +0100
commita338d1a082726d84210912318a9ac49977dc380c (patch)
treee025f50cbc314b882c911aaa4083f91608836cac /passes/fsm/fsm_opt.cc
parentf3a849512f2c7def98fcfa56de74d8a6bdc8b8fc (diff)
Added help messages for fsm_* passes
Diffstat (limited to 'passes/fsm/fsm_opt.cc')
-rw-r--r--passes/fsm/fsm_opt.cc22
1 files changed, 17 insertions, 5 deletions
diff --git a/passes/fsm/fsm_opt.cc b/passes/fsm/fsm_opt.cc
index 8ba9679f..ae764eaa 100644
--- a/passes/fsm/fsm_opt.cc
+++ b/passes/fsm/fsm_opt.cc
@@ -269,16 +269,28 @@ void FsmData::optimize_fsm(RTLIL::Cell *cell, RTLIL::Module *module)
}
struct FsmOptPass : public Pass {
- FsmOptPass() : Pass("fsm_opt") { }
+ FsmOptPass() : Pass("fsm_opt", "optimize finite state machines") { }
+ virtual void help()
+ {
+ // |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|
+ log("\n");
+ log(" fsm_opt [selection]\n");
+ log("\n");
+ log("This pass optimizes FSM cells. It detects which output signals are actually\n");
+ log("not used and removes them from the FSM. This pass is usually used in\n");
+ log("combination with the 'opt_rmunused' pass (see also 'help fsm').\n");
+ log("\n");
+ }
virtual void execute(std::vector<std::string> args, RTLIL::Design *design)
{
log_header("Executing FSM_OPT pass (simple optimizations of FSMs).\n");
extra_args(args, 1, design);
- for (auto &mod_it : design->modules)
- for (auto &cell_it : mod_it.second->cells) {
- if (cell_it.second->type == "$fsm")
- FsmData::optimize_fsm(cell_it.second, mod_it.second);
+ for (auto &mod_it : design->modules) {
+ if (design->selected(mod_it.second))
+ for (auto &cell_it : mod_it.second->cells)
+ if (cell_it.second->type == "$fsm" and design->selected(mod_it.second, cell_it.second))
+ FsmData::optimize_fsm(cell_it.second, mod_it.second);
}
}
} FsmOptPass;