diff options
author | Clifford Wolf <clifford@clifford.at> | 2013-03-01 12:35:12 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2013-03-01 12:35:12 +0100 |
commit | a338d1a082726d84210912318a9ac49977dc380c (patch) | |
tree | e025f50cbc314b882c911aaa4083f91608836cac /passes/fsm/fsm_opt.cc | |
parent | f3a849512f2c7def98fcfa56de74d8a6bdc8b8fc (diff) | |
download | yosys-a338d1a082726d84210912318a9ac49977dc380c.tar.gz yosys-a338d1a082726d84210912318a9ac49977dc380c.tar.bz2 yosys-a338d1a082726d84210912318a9ac49977dc380c.zip |
Added help messages for fsm_* passes
Diffstat (limited to 'passes/fsm/fsm_opt.cc')
-rw-r--r-- | passes/fsm/fsm_opt.cc | 22 |
1 files changed, 17 insertions, 5 deletions
diff --git a/passes/fsm/fsm_opt.cc b/passes/fsm/fsm_opt.cc index 8ba9679fd..ae764eaa5 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; |