From: Clifford Wolf Date: Sat, 8 Jun 2013 21:16:36 +0000 (+0200) Subject: Moved cmds from kernel/ to passes/cmds/ X-Git-Tag: yosys-0.2.0~602 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5a592b37398b5cc441471019c56a28e8a6cac680;p=yosys.git Moved cmds from kernel/ to passes/cmds/ --- diff --git a/Makefile b/Makefile index 09137f3d4..79220486c 100644 --- a/Makefile +++ b/Makefile @@ -50,7 +50,7 @@ ifeq ($(ENABLE_QT4),1) TARGETS += yosys-svgviewer endif -OBJS += kernel/driver.o kernel/register.o kernel/rtlil.o kernel/log.o kernel/calc.o kernel/select.o kernel/show.o +OBJS += kernel/driver.o kernel/register.o kernel/rtlil.o kernel/log.o kernel/calc.o OBJS += libs/bigint/BigIntegerAlgorithms.o libs/bigint/BigInteger.o libs/bigint/BigIntegerUtils.o OBJS += libs/bigint/BigUnsigned.o libs/bigint/BigUnsignedInABase.o diff --git a/kernel/select.cc b/kernel/select.cc deleted file mode 100644 index 1ab15c9a9..000000000 --- a/kernel/select.cc +++ /dev/null @@ -1,1052 +0,0 @@ -/* - * yosys -- Yosys Open SYnthesis Suite - * - * Copyright (C) 2012 Clifford Wolf - * - * Permission to use, copy, modify, and/or distribute this software for any - * purpose with or without fee is hereby granted, provided that the above - * copyright notice and this permission notice appear in all copies. - * - * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES - * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF - * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR - * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES - * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN - * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF - * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. - * - */ - -#include "kernel/register.h" -#include "kernel/celltypes.h" -#include "kernel/log.h" -#include -#include - -using RTLIL::id2cstr; - -static std::vector work_stack; - -static bool match_ids(RTLIL::IdString id, std::string pattern) -{ - if (!fnmatch(pattern.c_str(), id.c_str(), FNM_NOESCAPE)) - return true; - if (id.size() > 0 && id[0] == '\\' && !fnmatch(pattern.c_str(), id.substr(1).c_str(), FNM_NOESCAPE)) - return true; - return false; -} - -static bool match_attr_val(const RTLIL::Const &value, std::string pattern) -{ - if (!fnmatch(pattern.c_str(), value.str.c_str(), FNM_NOESCAPE)) - return true; - return false; -} - -static bool match_attr(const std::map &attributes, std::string name_pat, std::string value_pat, bool use_value_pat) -{ - if (name_pat.find('*') != std::string::npos || name_pat.find('?') != std::string::npos || name_pat.find('[') != std::string::npos) { - for (auto &it : attributes) { - if (!fnmatch(name_pat.c_str(), it.first.c_str(), FNM_NOESCAPE) && (!use_value_pat || match_attr_val(it.second, value_pat))) - return true; - if (it.first.size() > 0 && it.first[0] == '\\' && !fnmatch(name_pat.c_str(), it.first.substr(1).c_str(), FNM_NOESCAPE) && (!use_value_pat || match_attr_val(it.second, value_pat))) - return true; - } - } else { - if (name_pat.size() > 0 && (name_pat[0] == '\\' || name_pat[0] == '$') && attributes.count(name_pat) && (!use_value_pat || match_attr_val(attributes.at(name_pat), value_pat))) - return true; - if (attributes.count("\\" + name_pat) && (!use_value_pat || match_attr_val(attributes.at("\\" + name_pat), value_pat))) - return true; - } - return false; -} - -static void select_op_neg(RTLIL::Design *design, RTLIL::Selection &lhs) -{ - if (lhs.full_selection) { - lhs.full_selection = false; - lhs.selected_modules.clear(); - lhs.selected_members.clear(); - return; - } - - if (lhs.selected_modules.size() == 0 && lhs.selected_members.size() == 0) { - lhs.full_selection = true; - return; - } - - RTLIL::Selection new_sel(false); - - for (auto &mod_it : design->modules) - { - if (lhs.selected_whole_module(mod_it.first)) - continue; - if (!lhs.selected_module(mod_it.first)) { - new_sel.selected_modules.insert(mod_it.first); - continue; - } - - RTLIL::Module *mod = mod_it.second; - for (auto &it : mod->wires) - if (!lhs.selected_member(mod_it.first, it.first)) - new_sel.selected_members[mod->name].insert(it.first); - for (auto &it : mod->memories) - if (!lhs.selected_member(mod_it.first, it.first)) - new_sel.selected_members[mod->name].insert(it.first); - for (auto &it : mod->cells) - if (!lhs.selected_member(mod_it.first, it.first)) - new_sel.selected_members[mod->name].insert(it.first); - for (auto &it : mod->processes) - if (!lhs.selected_member(mod_it.first, it.first)) - new_sel.selected_members[mod->name].insert(it.first); - } - - lhs.selected_modules.swap(new_sel.selected_modules); - lhs.selected_members.swap(new_sel.selected_members); -} - -static void select_op_union(RTLIL::Design*, RTLIL::Selection &lhs, const RTLIL::Selection &rhs) -{ - if (rhs.full_selection) { - lhs.full_selection = true; - lhs.selected_modules.clear(); - lhs.selected_members.clear(); - return; - } - - if (lhs.full_selection) - return; - - for (auto &it : rhs.selected_members) - for (auto &it2 : it.second) - lhs.selected_members[it.first].insert(it2); - - for (auto &it : rhs.selected_modules) { - lhs.selected_modules.insert(it); - lhs.selected_members.erase(it); - } -} - -static void select_op_diff(RTLIL::Design *design, RTLIL::Selection &lhs, const RTLIL::Selection &rhs) -{ - if (rhs.full_selection) { - lhs.full_selection = false; - lhs.selected_modules.clear(); - lhs.selected_members.clear(); - return; - } - - if (lhs.full_selection) { - if (!rhs.full_selection && rhs.selected_modules.size() == 0 && rhs.selected_members.size() == 0) - return; - lhs.full_selection = false; - for (auto &it : design->modules) - lhs.selected_modules.insert(it.first); - } - - for (auto &it : rhs.selected_modules) { - lhs.selected_modules.erase(it); - lhs.selected_members.erase(it); - } - - for (auto &it : rhs.selected_members) - { - if (design->modules.count(it.first) == 0) - continue; - - RTLIL::Module *mod = design->modules[it.first]; - - if (lhs.selected_modules.count(mod->name) > 0) - { - for (auto &it : mod->wires) - lhs.selected_members[mod->name].insert(it.first); - for (auto &it : mod->memories) - lhs.selected_members[mod->name].insert(it.first); - for (auto &it : mod->cells) - lhs.selected_members[mod->name].insert(it.first); - for (auto &it : mod->processes) - lhs.selected_members[mod->name].insert(it.first); - lhs.selected_modules.erase(mod->name); - } - - if (lhs.selected_members.count(mod->name) == 0) - continue; - - for (auto &it2 : it.second) - lhs.selected_members[mod->name].erase(it2); - } -} - -static void select_op_intersect(RTLIL::Design *design, RTLIL::Selection &lhs, const RTLIL::Selection &rhs) -{ - if (rhs.full_selection) - return; - - if (lhs.full_selection) { - lhs.full_selection = false; - for (auto &it : design->modules) - lhs.selected_modules.insert(it.first); - } - - std::vector del_list; - - for (auto &it : lhs.selected_modules) - if (rhs.selected_modules.count(it) == 0) { - if (rhs.selected_members.count(it) > 0) - for (auto &it2 : rhs.selected_members.at(it)) - lhs.selected_members[it].insert(it2); - del_list.push_back(it); - } - for (auto &it : del_list) - lhs.selected_modules.erase(it); - - del_list.clear(); - for (auto &it : lhs.selected_members) { - if (rhs.selected_modules.count(it.first) > 0) - continue; - if (rhs.selected_members.count(it.first) == 0) { - del_list.push_back(it.first); - continue; - } - std::vector del_list2; - for (auto &it2 : it.second) - if (rhs.selected_members.at(it.first).count(it2) == 0) - del_list2.push_back(it2); - for (auto &it2 : del_list2) - it.second.erase(it2); - if (it.second.size() == 0) - del_list.push_back(it.first); - } - for (auto &it : del_list) - lhs.selected_members.erase(it); -} - -namespace { - struct expand_rule_t { - char mode; - std::set cell_types, port_names; - }; -} - -static int parse_comma_list(std::set &tokens, std::string str, size_t pos, std::string stopchar) -{ - stopchar += ','; - while (1) { - size_t endpos = str.find_first_of(stopchar, pos); - if (endpos == std::string::npos) - endpos = str.size(); - if (endpos != pos) - tokens.insert(RTLIL::escape_id(str.substr(pos, endpos-pos))); - pos = endpos; - if (pos == str.size() || str[pos] != ',') - return pos; - pos++; - } -} - -static int select_op_expand(RTLIL::Design *design, RTLIL::Selection &lhs, std::vector &rules, std::set &limits, int max_objects, char mode, CellTypes &ct) -{ - int sel_objects = 0; - bool is_input, is_output; - for (auto &mod_it : design->modules) - { - if (lhs.selected_whole_module(mod_it.first) || !lhs.selected_module(mod_it.first)) - continue; - - RTLIL::Module *mod = mod_it.second; - std::set selected_wires; - - for (auto &it : mod->wires) - if (lhs.selected_member(mod_it.first, it.first) && limits.count(it.first) == 0) - selected_wires.insert(it.second); - - for (auto &cell : mod->cells) - for (auto &conn : cell.second->connections) - { - char last_mode = '-'; - for (auto &rule : rules) { - last_mode = rule.mode; - if (rule.cell_types.size() > 0 && rule.cell_types.count(cell.second->type) == 0) - continue; - if (rule.port_names.size() > 0 && rule.port_names.count(conn.first) == 0) - continue; - if (rule.mode == '+') - goto include_match; - else - goto exclude_match; - } - if (last_mode == '+') - goto exclude_match; - include_match: - is_input = mode == 'x' || ct.cell_input(cell.second->type, conn.first); - is_output = mode == 'x' || ct.cell_output(cell.second->type, conn.first); - for (auto &chunk : conn.second.chunks) - if (chunk.wire != NULL) { - if (max_objects != 0 && selected_wires.count(chunk.wire) > 0 && lhs.selected_members[mod->name].count(cell.first) == 0) - if (mode == 'x' || (mode == 'i' && is_output) || (mode == 'o' && is_input)) - lhs.selected_members[mod->name].insert(cell.first), sel_objects++, max_objects--; - if (max_objects != 0 && lhs.selected_members[mod->name].count(cell.first) > 0 && limits.count(cell.first) == 0 && lhs.selected_members[mod->name].count(chunk.wire->name) == 0) - if (mode == 'x' || (mode == 'i' && is_input) || (mode == 'o' && is_output)) - lhs.selected_members[mod->name].insert(chunk.wire->name), sel_objects++, max_objects--; - } - exclude_match:; - } - } - - return sel_objects; -} - -static void select_op_expand(RTLIL::Design *design, std::string arg, char mode) -{ - int pos = mode == 'x' ? 2 : 3, levels = 1, rem_objects = -1; - std::vector rules; - std::set limits; - - CellTypes ct; - - if (mode != 'x') - ct.setup(design); - - if (pos < int(arg.size()) && arg[pos] == '*') { - levels = 1000000; - pos++; - } else - if (pos < int(arg.size()) && '0' <= arg[pos] && arg[pos] <= '9') { - size_t endpos = arg.find_first_not_of("0123456789", pos); - if (endpos == std::string::npos) - endpos = arg.size(); - levels = atoi(arg.substr(pos, endpos-pos).c_str()); - pos = endpos; - } - - if (pos < int(arg.size()) && arg[pos] == '.') { - size_t endpos = arg.find_first_not_of("0123456789", ++pos); - if (endpos == std::string::npos) - endpos = arg.size(); - if (int(endpos) > pos) - rem_objects = atoi(arg.substr(pos, endpos-pos).c_str()); - pos = endpos; - } - - while (pos < int(arg.size())) { - if (arg[pos] != ':' || pos+1 == int(arg.size())) - log_cmd_error("Syntax error in expand operator '%s'.\n", arg.c_str()); - pos++; - if (arg[pos] == '+' || arg[pos] == '-') { - expand_rule_t rule; - rule.mode = arg[pos++]; - pos = parse_comma_list(rule.cell_types, arg, pos, "[:"); - if (pos < int(arg.size()) && arg[pos] == '[') { - pos = parse_comma_list(rule.port_names, arg, pos+1, "]:"); - if (pos < int(arg.size()) && arg[pos] == ']') - pos++; - } - rules.push_back(rule); - } else { - size_t endpos = arg.find(':', pos); - if (endpos == std::string::npos) - endpos = arg.size(); - if (int(endpos) > pos) { - std::string str = arg.substr(pos, endpos-pos); - if (str[0] == '@') { - str = RTLIL::escape_id(str.substr(1)); - if (design->selection_vars.count(str) > 0) { - for (auto i1 : design->selection_vars.at(str).selected_members) - for (auto i2 : i1.second) - limits.insert(i2); - } - } else - limits.insert(RTLIL::escape_id(str)); - } - pos = endpos; - } - } - -#if 0 - log("expand by %d levels (max. %d objects):\n", levels, rem_objects); - for (auto &rule : rules) { - log(" rule (%c):\n", rule.mode); - if (rule.cell_types.size() > 0) { - log(" cell types:"); - for (auto &it : rule.cell_types) - log(" %s", it.c_str()); - log("\n"); - } - if (rule.port_names.size() > 0) { - log(" port names:"); - for (auto &it : rule.port_names) - log(" %s", it.c_str()); - log("\n"); - } - } - if (limits.size() > 0) { - log(" limits:"); - for (auto &it : limits) - log(" %s", it.c_str()); - log("\n"); - } -#endif - - while (levels-- > 0 && rem_objects != 0) { - int num_objects = select_op_expand(design, work_stack.back(), rules, limits, rem_objects, mode, ct); - if (num_objects == 0) - break; - rem_objects -= num_objects; - } - - if (rem_objects == 0) - log("Warning: reached configured limit at `%s'.\n", arg.c_str()); -} - -static void select_filter_active_mod(RTLIL::Design *design, RTLIL::Selection &sel) -{ - if (design->selected_active_module.empty()) - return; - - if (sel.full_selection) { - sel.full_selection = false; - sel.selected_modules.clear(); - sel.selected_members.clear(); - sel.selected_modules.insert(design->selected_active_module); - return; - } - - std::vector del_list; - for (auto mod_name : sel.selected_modules) - if (mod_name != design->selected_active_module) - del_list.push_back(mod_name); - for (auto &it : sel.selected_members) - if (it.first != design->selected_active_module) - del_list.push_back(it.first); - for (auto mod_name : del_list) { - sel.selected_modules.erase(mod_name); - sel.selected_members.erase(mod_name); - } -} - -static void select_stmt(RTLIL::Design *design, std::string arg) -{ - std::string arg_mod, arg_memb; - - if (arg.size() == 0) - return; - - if (arg[0] == '%') { - if (arg == "%") { - if (design->selection_stack.size() > 0) - work_stack.push_back(design->selection_stack.back()); - } else - if (arg == "%%") { - while (work_stack.size() > 1) { - select_op_union(design, work_stack.front(), work_stack.back()); - work_stack.pop_back(); - } - } else - if (arg == "%n") { - if (work_stack.size() < 1) - log_cmd_error("Must have at least one element on the stack for operator %%n.\n"); - select_op_neg(design, work_stack[work_stack.size()-1]); - } else - if (arg == "%u") { - if (work_stack.size() < 2) - log_cmd_error("Must have at least two elements on the stack for operator %%u.\n"); - select_op_union(design, work_stack[work_stack.size()-2], work_stack[work_stack.size()-1]); - work_stack.pop_back(); - } else - if (arg == "%d") { - if (work_stack.size() < 2) - log_cmd_error("Must have at least two elements on the stack for operator %%d.\n"); - select_op_diff(design, work_stack[work_stack.size()-2], work_stack[work_stack.size()-1]); - work_stack.pop_back(); - } else - if (arg == "%i") { - if (work_stack.size() < 2) - log_cmd_error("Must have at least two elements on the stack for operator %%i.\n"); - select_op_intersect(design, work_stack[work_stack.size()-2], work_stack[work_stack.size()-1]); - work_stack.pop_back(); - } else - if (arg == "%x" || (arg.size() > 2 && arg.substr(0, 2) == "%x" && (arg[2] == ':' || arg[2] == '*' || arg[2] == '.' || ('0' <= arg[2] && arg[2] <= '9')))) { - if (work_stack.size() < 1) - log_cmd_error("Must have at least one element on the stack for operator %%x.\n"); - select_op_expand(design, arg, 'x'); - } else - if (arg == "%ci" || (arg.size() > 3 && arg.substr(0, 3) == "%ci" && (arg[3] == ':' || arg[3] == '*' || arg[3] == '.' || ('0' <= arg[3] && arg[3] <= '9')))) { - if (work_stack.size() < 1) - log_cmd_error("Must have at least one element on the stack for operator %%ci.\n"); - select_op_expand(design, arg, 'i'); - } else - if (arg == "%co" || (arg.size() > 3 && arg.substr(0, 3) == "%co" && (arg[3] == ':' || arg[3] == '*' || arg[3] == '.' || ('0' <= arg[3] && arg[3] <= '9')))) { - if (work_stack.size() < 1) - log_cmd_error("Must have at least one element on the stack for operator %%co.\n"); - select_op_expand(design, arg, 'o'); - } else - log_cmd_error("Unknown selection operator '%s'.\n", arg.c_str()); - if (work_stack.size() >= 1) - select_filter_active_mod(design, work_stack.back()); - return; - } - - if (arg[0] == '@') { - std::string set_name = RTLIL::escape_id(arg.substr(1)); - if (design->selection_vars.count(set_name) > 0) - work_stack.push_back(design->selection_vars[set_name]); - else - work_stack.push_back(RTLIL::Selection(false)); - select_filter_active_mod(design, work_stack.back()); - return; - } - - if (!design->selected_active_module.empty()) { - arg_mod = design->selected_active_module; - arg_memb = arg; - } else { - size_t pos = arg.find('/'); - if (pos == std::string::npos) { - arg_mod = arg; - } else { - arg_mod = arg.substr(0, pos); - arg_memb = arg.substr(pos+1); - } - } - - work_stack.push_back(RTLIL::Selection()); - RTLIL::Selection &sel = work_stack.back(); - - if (arg == "*" && arg_mod == "*") { - select_filter_active_mod(design, work_stack.back()); - return; - } - - sel.full_selection = false; - for (auto &mod_it : design->modules) - { - if (!match_ids(mod_it.first, arg_mod)) - continue; - - if (arg_memb == "") { - sel.selected_modules.insert(mod_it.first); - continue; - } - - RTLIL::Module *mod = mod_it.second; - if (arg_memb.substr(0, 2) == "w:") { - for (auto &it : mod->wires) - if (match_ids(it.first, arg_memb.substr(2))) - sel.selected_members[mod->name].insert(it.first); - } else - if (arg_memb.substr(0, 2) == "m:") { - for (auto &it : mod->memories) - if (match_ids(it.first, arg_memb.substr(2))) - sel.selected_members[mod->name].insert(it.first); - } else - if (arg_memb.substr(0, 2) == "c:") { - for (auto &it : mod->cells) - if (match_ids(it.first, arg_memb.substr(2))) - sel.selected_members[mod->name].insert(it.first); - } else - if (arg_memb.substr(0, 2) == "t:") { - for (auto &it : mod->cells) - if (match_ids(it.second->type, arg_memb.substr(2))) - sel.selected_members[mod->name].insert(it.first); - } else - if (arg_memb.substr(0, 2) == "p:") { - for (auto &it : mod->processes) - if (match_ids(it.first, arg_memb.substr(2))) - sel.selected_members[mod->name].insert(it.first); - } else - if (arg_memb.substr(0, 2) == "a:") { - bool use_value_pat = false; - std::string name_pat = arg_memb.substr(2); - std::string value_pat; - if (name_pat.find('=') != std::string::npos) { - value_pat = name_pat.substr(name_pat.find('=')+1); - name_pat = name_pat.substr(0, name_pat.find('=')); - use_value_pat = true; - } - for (auto &it : mod->wires) - if (match_attr(it.second->attributes, name_pat, value_pat, use_value_pat)) - sel.selected_members[mod->name].insert(it.first); - for (auto &it : mod->memories) - if (match_attr(it.second->attributes, name_pat, value_pat, use_value_pat)) - sel.selected_members[mod->name].insert(it.first); - for (auto &it : mod->cells) - if (match_attr(it.second->attributes, name_pat, value_pat, use_value_pat)) - sel.selected_members[mod->name].insert(it.first); - for (auto &it : mod->processes) - if (match_attr(it.second->attributes, name_pat, value_pat, use_value_pat)) - sel.selected_members[mod->name].insert(it.first); - } else { - if (arg_memb.substr(0, 2) == "n:") - arg_memb = arg_memb.substr(2); - for (auto &it : mod->wires) - if (match_ids(it.first, arg_memb)) - sel.selected_members[mod->name].insert(it.first); - for (auto &it : mod->memories) - if (match_ids(it.first, arg_memb)) - sel.selected_members[mod->name].insert(it.first); - for (auto &it : mod->cells) - if (match_ids(it.first, arg_memb)) - sel.selected_members[mod->name].insert(it.first); - for (auto &it : mod->processes) - if (match_ids(it.first, arg_memb)) - sel.selected_members[mod->name].insert(it.first); - } - } - - select_filter_active_mod(design, work_stack.back()); -} - -// used in kernel/register.cc and maybe other locations, extern decl. in register.h -void handle_extra_select_args(Pass *pass, std::vector args, size_t argidx, size_t args_size, RTLIL::Design *design) -{ - work_stack.clear(); - for (; argidx < args_size; argidx++) { - if (args[argidx].substr(0, 1) == "-") { - if (pass != NULL) - pass->cmd_error(args, argidx, "Unexpected option in selection arguments."); - else - log_cmd_error("Unexpected option in selection arguments."); - } - select_stmt(design, args[argidx]); - } - while (work_stack.size() > 1) { - select_op_union(design, work_stack.front(), work_stack.back()); - work_stack.pop_back(); - } - if (work_stack.size() > 0) - design->selection_stack.push_back(work_stack.back()); - else - design->selection_stack.push_back(RTLIL::Selection(false)); -} - -struct SelectPass : public Pass { - SelectPass() : Pass("select", "modify and view the list of selected objects") { } - virtual void help() - { - // |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---| - log("\n"); - log(" select [ -add | -del | -set ] \n"); - log(" select [ -list | -write | -count | -clear ]\n"); - log(" select -module \n"); - log("\n"); - log("Most commands use the list of currently selected objects to determine which part\n"); - log("of the design to operate on. This command can be used to modify and view this\n"); - log("list of selected objects.\n"); - log("\n"); - log("Note that many commands support an optional [selection] argument that can be\n"); - log("used to override the global selection for the command. The syntax of this\n"); - log("optional argument is identical to the syntax of the argument\n"); - log("described here.\n"); - log("\n"); - log(" -add, -del\n"); - log(" add or remove the given objects to the current selection.\n"); - log(" without this options the current selection is replaced.\n"); - log("\n"); - log(" -set \n"); - log(" do not modify the current selection. instead save the new selection\n"); - log(" under the given name (see @ below).\n"); - log("\n"); - log(" -list\n"); - log(" list all objects in the current selection\n"); - log("\n"); - log(" -write \n"); - log(" like -list but write the output to the specified file\n"); - log("\n"); - log(" -count\n"); - log(" count all objects in the current selection\n"); - log("\n"); - log(" -clear\n"); - log(" clear the current selection. this effectively selects the\n"); - log(" whole design.\n"); - log("\n"); - log(" -module \n"); - log(" limit the current scope to the specified module.\n"); - log(" the difference between this and simply selecting the module\n"); - log(" is that all object names are interpreted relative to this\n"); - log(" module after this command until the selection is cleared again.\n"); - log("\n"); - log("When this command is called without an argument, the current selection\n"); - log("is displayed in a compact form (i.e. only the module name when a whole module\n"); - log("is selected).\n"); - log("\n"); - log("The argument itself is a series of commands for a simple stack\n"); - log("machine. Each element on the stack represents a set of selected objects.\n"); - log("After this commands have been executed, the union of all remaining sets\n"); - log("on the stack is computed and used as selection for the command.\n"); - log("\n"); - log("Pushing (selecting) object when not in -module mode:\n"); - log("\n"); - log(" \n"); - log(" select the specified module(s)\n"); - log("\n"); - log(" /\n"); - log(" select the specified object(s) from the module(s)\n"); - log("\n"); - log("Pushing (selecting) object when in -module mode:\n"); - log("\n"); - log(" \n"); - log(" select the specified object(s) from the current module\n"); - log("\n"); - log("A can be a module name or wildcard expression (*, ?, [..])\n"); - log("matching module names.\n"); - log("\n"); - log("An can be an object name, wildcard expression, or one of\n"); - log("the following:\n"); - log("\n"); - log(" w:\n"); - log(" all wires with a name matching the given wildcard pattern\n"); - log("\n"); - log(" m:\n"); - log(" all memories with a name matching the given pattern\n"); - log("\n"); - log(" c:\n"); - log(" all cells with a name matching the given pattern\n"); - log("\n"); - log(" t:\n"); - log(" all cells with a type matching the given pattern\n"); - log("\n"); - log(" p:\n"); - log(" all processes with a name matching the given pattern\n"); - log("\n"); - log(" a:\n"); - log(" all objects with an attribute name matching the given pattern\n"); - log("\n"); - log(" a:=\n"); - log(" all objects with a matching attribute name-value-pair\n"); - log("\n"); - log(" n:\n"); - log(" all objects with a name matching the given pattern\n"); - log(" (i.e. 'n:' is optional as it is the default matching rule)\n"); - log("\n"); - log(" @\n"); - log(" push the selection saved prior with 'select -set ...'\n"); - log("\n"); - log("The following actions can be performed on the top sets on the stack:\n"); - log("\n"); - log(" %%\n"); - log(" push a copy of the current selection to the stack\n"); - log("\n"); - log(" %%%%\n"); - log(" replace the stack with a union of all elements on it\n"); - log("\n"); - log(" %%n\n"); - log(" replace top set with its invert\n"); - log("\n"); - log(" %%u\n"); - log(" replace the two top sets on the stack with their union\n"); - log("\n"); - log(" %%i\n"); - log(" replace the two top sets on the stack with their intersection\n"); - log("\n"); - log(" %%d\n"); - log(" pop the top set from the stack and subtract it from the new top\n"); - log("\n"); - log(" %%x[|*][.][:[:..]]\n"); - log(" expand top set num times according to the specified rules.\n"); - log(" (i.e. select all cells connected to selected wires and select all\n"); - log(" wires connected to selected cells) The rules specify which cell\n"); - log(" ports to use for this. the syntax for a rule is a '-' for exclusion\n"); - log(" and a '+' for inclusion, followed by an optional comma seperated\n"); - log(" list of cell types followed by an optional comma separated list of\n"); - log(" cell ports in square brackets. a rule can also be just a cell or wire\n"); - log(" name that limits the expansion (is included but does not go beyond).\n"); - log(" select at most objects. a warning message is printed when this\n"); - log(" limit is reached. When '*' is used instead of then the process\n"); - log(" is repeated until no further object are selected.\n"); - log("\n"); - log(" %%ci[|*][.][:[:..]]\n"); - log(" %%co[|*][.][:[:..]]\n"); - log(" simmilar to %%x, but only select input (%%ci) or output cones (%%co)\n"); - log("\n"); - log("Example: the following command selects all wires that are connected to a\n"); - log("'GATE' input of a 'SWITCH' cell:\n"); - log("\n"); - log(" select */t:SWITCH %%x:+[GATE] */t:SWITCH %%d\n"); - log("\n"); - } - virtual void execute(std::vector args, RTLIL::Design *design) - { - bool add_mode = false; - bool del_mode = false; - bool clear_mode = false; - bool list_mode = false; - bool count_mode = false; - bool got_module = false; - std::string write_file; - std::string set_name; - - work_stack.clear(); - - size_t argidx; - for (argidx = 1; argidx < args.size(); argidx++) - { - std::string arg = args[argidx]; - if (arg == "-add") { - add_mode = true; - continue; - } - if (arg == "-del") { - del_mode = true; - continue; - } - if (arg == "-clear") { - clear_mode = true; - continue; - } - if (arg == "-list") { - list_mode = true; - continue; - } - if (arg == "-write" && argidx+1 < args.size()) { - write_file = args[++argidx]; - continue; - } - if (arg == "-count") { - count_mode = true; - continue; - } - if (arg == "-module" && argidx+1 < args.size()) { - RTLIL::IdString mod_name = RTLIL::escape_id(args[++argidx]); - if (design->modules.count(mod_name) == 0) - log_cmd_error("No such module: %s\n", id2cstr(mod_name)); - design->selected_active_module = mod_name; - got_module = true; - continue; - } - if (arg == "-set" && argidx+1 < args.size()) { - set_name = RTLIL::escape_id(args[++argidx]); - continue; - } - if (arg.size() > 0 && arg[0] == '-') - log_cmd_error("Unkown option %s.\n", arg.c_str()); - select_stmt(design, arg); - } - - if (clear_mode && args.size() != 2) - log_cmd_error("Option -clear can not be combined with other options.\n"); - - if (add_mode && del_mode) - log_cmd_error("Options -add and -del can not be combined.\n"); - - if ((list_mode || !write_file.empty() || count_mode) && (add_mode || del_mode)) - log_cmd_error("Options -list, -write and -count can not be combined with -add or -del.\n"); - - if (!set_name.empty() && (list_mode || !write_file.empty() || count_mode || add_mode || del_mode)) - log_cmd_error("Option -set can not be combined with -list, -write, -count, -add or -del.\n"); - - if (work_stack.size() == 0 && got_module) { - RTLIL::Selection sel; - select_filter_active_mod(design, sel); - work_stack.push_back(sel); - } - - while (work_stack.size() > 1) { - select_op_union(design, work_stack.front(), work_stack.back()); - work_stack.pop_back(); - } - - assert(design->selection_stack.size() > 0); - - if (clear_mode) - { - design->selection_stack.back() = RTLIL::Selection(true); - design->selected_active_module = std::string(); - return; - } - - if (list_mode || count_mode || !write_file.empty()) - { - #define LOG_OBJECT(...) do { if (list_mode) log(__VA_ARGS__); if (f != NULL) fprintf(f, __VA_ARGS__); total_count++; } while (0) - int total_count = 0; - FILE *f = NULL; - if (!write_file.empty()) { - f = fopen(write_file.c_str(), "w"); - if (f == NULL) - log_error("Can't open '%s' for writing: %s\n", write_file.c_str(), strerror(errno)); - } - RTLIL::Selection *sel = &design->selection_stack.back(); - if (work_stack.size() > 0) - sel = &work_stack.back(); - sel->optimize(design); - for (auto mod_it : design->modules) - { - if (sel->selected_whole_module(mod_it.first) && list_mode) - log("%s\n", id2cstr(mod_it.first)); - if (sel->selected_module(mod_it.first)) { - for (auto &it : mod_it.second->wires) - if (sel->selected_member(mod_it.first, it.first)) - LOG_OBJECT("%s/%s\n", id2cstr(mod_it.first), id2cstr(it.first)); - for (auto &it : mod_it.second->memories) - if (sel->selected_member(mod_it.first, it.first)) - LOG_OBJECT("%s/%s\n", id2cstr(mod_it.first), id2cstr(it.first)); - for (auto &it : mod_it.second->cells) - if (sel->selected_member(mod_it.first, it.first)) - LOG_OBJECT("%s/%s\n", id2cstr(mod_it.first), id2cstr(it.first)); - for (auto &it : mod_it.second->processes) - if (sel->selected_member(mod_it.first, it.first)) - LOG_OBJECT("%s/%s\n", id2cstr(mod_it.first), id2cstr(it.first)); - } - } - if (count_mode) - log("%d objects.\n", total_count); - if (f != NULL) - fclose(f); - #undef LOG_OBJECT - return; - } - - if (add_mode) - { - if (work_stack.size() == 0) - log_cmd_error("Nothing to add to selection.\n"); - select_op_union(design, design->selection_stack.back(), work_stack.back()); - design->selection_stack.back().optimize(design); - return; - } - - if (del_mode) - { - if (work_stack.size() == 0) - log_cmd_error("Nothing to delete from selection.\n"); - select_op_diff(design, design->selection_stack.back(), work_stack.back()); - design->selection_stack.back().optimize(design); - return; - } - - if (!set_name.empty()) - { - if (work_stack.size() == 0) - design->selection_vars.erase(set_name); - else - design->selection_vars[set_name] = work_stack.back(); - return; - } - - if (work_stack.size() == 0) { - RTLIL::Selection &sel = design->selection_stack.back(); - if (sel.full_selection) - log("*\n"); - for (auto &it : sel.selected_modules) - log("%s\n", id2cstr(it)); - for (auto &it : sel.selected_members) - for (auto &it2 : it.second) - log("%s/%s\n", id2cstr(it.first), id2cstr(it2)); - return; - } - - design->selection_stack.back() = work_stack.back(); - design->selection_stack.back().optimize(design); - } -} SelectPass; - -struct CdPass : public Pass { - CdPass() : Pass("cd", "a shortcut for 'select -module '") { } - virtual void help() - { - // |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---| - log("\n"); - log(" cd \n"); - log("\n"); - log("This is just a shortcut for 'select -module '.\n"); - log("\n"); - log("\n"); - log(" cd \n"); - log("\n"); - log("When no module with the specified name is found, but there is a cell\n"); - log("with the specified name in the current module, then this is equivialent\n"); - log("to 'cd '.\n"); - log("\n"); - log(" cd ..\n"); - log("\n"); - log("This is just a shortcut for 'select -clear'.\n"); - log("\n"); - } - virtual void execute(std::vector args, RTLIL::Design *design) - { - if (args.size() != 2) - log_cmd_error("Invalid number of arguments.\n"); - - if (args[1] == "..") { - design->selection_stack.back() = RTLIL::Selection(true); - design->selected_active_module = std::string(); - return; - } - - std::string modname = RTLIL::escape_id(args[1]); - - if (design->modules.count(modname) == 0 && !design->selected_active_module.empty()) { - RTLIL::Module *module = NULL; - if (design->modules.count(design->selected_active_module) > 0) - module = design->modules.at(design->selected_active_module); - if (module != NULL && module->cells.count(modname) > 0) - modname = module->cells.at(modname)->type; - } - - if (design->modules.count(modname) > 0) { - design->selected_active_module = modname; - design->selection_stack.back() = RTLIL::Selection(); - select_filter_active_mod(design, design->selection_stack.back()); - design->selection_stack.back().optimize(design); - return; - } - - log_cmd_error("No such module `%s' found!\n", RTLIL::id2cstr(modname)); - } -} CdPass; - -struct LsPass : public Pass { - LsPass() : Pass("ls", "list modules or objects in modules") { } - virtual void help() - { - // |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---| - log("\n"); - log(" ls\n"); - log("\n"); - log("When no active module is selected, this prints a list of all module.\n"); - log("\n"); - log("When an active module is selected, this prints a list of objects in the module.\n"); - log("\n"); - } - virtual void execute(std::vector args, RTLIL::Design *design) - { - if (args.size() != 1) - log_cmd_error("Invalid number of arguments.\n"); - - if (design->selected_active_module.empty()) - { - log("\n%d modules:\n", int(design->modules.size())); - for (auto &it : design->modules) - log(" %s\n", RTLIL::id2cstr(it.first)); - } - else - if (design->modules.count(design->selected_active_module) > 0) - { - RTLIL::Module *module = design->modules.at(design->selected_active_module); - - if (module->wires.size()) { - log("\n%d wires:\n", int(module->wires.size())); - for (auto &it : module->wires) - log(" %s\n", RTLIL::id2cstr(it.first)); - } - - if (module->memories.size()) { - log("\n%d memories:\n", int(module->memories.size())); - for (auto &it : module->memories) - log(" %s\n", RTLIL::id2cstr(it.first)); - } - - if (module->cells.size()) { - log("\n%d cells:\n", int(module->cells.size())); - for (auto &it : module->cells) - log(" %s\n", RTLIL::id2cstr(it.first)); - } - - if (module->processes.size()) { - log("\n%d processes:\n", int(module->processes.size())); - for (auto &it : module->processes) - log(" %s\n", RTLIL::id2cstr(it.first)); - } - } - } -} LsPass; - diff --git a/kernel/show.cc b/kernel/show.cc deleted file mode 100644 index c66320b3e..000000000 --- a/kernel/show.cc +++ /dev/null @@ -1,684 +0,0 @@ -/* - * yosys -- Yosys Open SYnthesis Suite - * - * Copyright (C) 2012 Clifford Wolf - * - * Permission to use, copy, modify, and/or distribute this software for any - * purpose with or without fee is hereby granted, provided that the above - * copyright notice and this permission notice appear in all copies. - * - * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES - * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF - * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR - * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES - * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN - * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF - * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. - * - */ - -#include "kernel/register.h" -#include "kernel/celltypes.h" -#include "kernel/log.h" -#include -#include - -using RTLIL::id2cstr; - -#undef CLUSTER_CELLS_AND_PORTBOXES - -struct ShowWorker -{ - CellTypes ct; - - std::vector dot_escape_store; - std::map dot_id2num_store; - std::map autonames; - int single_idx_count; - - struct net_conn { std::set in, out; int bits; std::string color; }; - std::map net_conn_map; - - FILE *f; - RTLIL::Design *design; - RTLIL::Module *module; - uint32_t currentColor; - bool genWidthLabels; - bool stretchIO; - int page_counter; - - const std::vector> &color_selections; - const std::vector> &label_selections; - - uint32_t xorshift32(uint32_t x) { - x ^= x << 13; - x ^= x >> 17; - x ^= x << 5; - return x; - } - - std::string nextColor() - { - if (currentColor == 0) - return "color=\"black\""; - return stringf("colorscheme=\"dark28\", color=\"%d\", fontcolor=\"%d\"", currentColor%8+1); - } - - std::string nextColor(std::string presetColor) - { - if (presetColor.empty()) - return nextColor(); - return presetColor; - } - - std::string nextColor(RTLIL::SigSpec sig, std::string defaultColor) - { - sig.sort_and_unify(); - for (auto &c : sig.chunks) { - if (c.wire != NULL) - for (auto &s : color_selections) - if (s.second.selected_members.count(module->name) > 0 && s.second.selected_members.at(module->name).count(c.wire->name) > 0) - return stringf("color=\"%s\", fontcolor=\"%d\"", s.first.c_str(), s.first.c_str()); - } - return defaultColor; - } - - std::string nextColor(RTLIL::SigSig &conn, std::string defaultColor) - { - return nextColor(conn.first, nextColor(conn.second, defaultColor)); - } - - std::string nextColor(RTLIL::SigSpec &sig) - { - return nextColor(sig, nextColor()); - } - - std::string nextColor(RTLIL::SigSig &conn) - { - return nextColor(conn, nextColor()); - } - - std::string widthLabel(int bits) - { - if (bits <= 1) - return "label=\"\""; - if (!genWidthLabels) - return "style=\"setlinewidth(3)\", label=\"\""; - return stringf("style=\"setlinewidth(3)\", label=\"<%d>\"", bits); - } - - const char *escape(std::string id, bool is_name = false) - { - if (id.size() == 0) - return ""; - - if (id[0] == '$' && is_name) { - if (autonames.count(id) == 0) { - autonames[id] = autonames.size() + 1; - log("Generated short name for internal identifier: _%d_ -> %s\n", autonames[id], id.c_str()); - } - id = stringf("_%d_", autonames[id]); - } - - if (id[0] == '\\') - id = id.substr(1); - - std::string str; - for (char ch : id) { - if (ch == '\\' || ch == '"') - str += "\\"; - str += ch; - } - - dot_escape_store.push_back(str); - return dot_escape_store.back().c_str(); - } - - int id2num(RTLIL::IdString id) - { - if (dot_id2num_store.count(id) > 0) - return dot_id2num_store[id]; - return dot_id2num_store[id] = dot_id2num_store.size() + 1; - } - - std::string gen_signode_simple(RTLIL::SigSpec sig, bool range_check = true) - { - sig.optimize(); - - if (sig.chunks.size() == 0) { - fprintf(f, "v%d [ label=\"\" ];\n", single_idx_count); - return stringf("v%d", single_idx_count++); - } - - if (sig.chunks.size() == 1) { - RTLIL::SigChunk &c = sig.chunks[0]; - if (c.wire != NULL && design->selected_member(module->name, c.wire->name)) { - if (!range_check || c.wire->width == c.width) - return stringf("n%d", id2num(c.wire->name)); - } else { - fprintf(f, "v%d [ label=\"%s\" ];\n", single_idx_count, escape(log_signal(c), true)); - return stringf("v%d", single_idx_count++); - } - } - - return std::string(); - } - - std::string gen_portbox(std::string port, RTLIL::SigSpec sig, bool driver, std::string *node = NULL) - { - std::string code; - std::string net = gen_signode_simple(sig); - if (net.empty()) - { - std::string label_string; - sig.optimize(); - int pos = sig.width-1; - int idx = single_idx_count++; - for (int i = int(sig.chunks.size())-1; i >= 0; i--) { - RTLIL::SigChunk &c = sig.chunks[i]; - net = gen_signode_simple(c, false); - assert(!net.empty()); - if (driver) { - label_string += stringf(" %d:%d - %d:%d |", i, pos, pos-c.width+1, c.offset+c.width-1, c.offset); - net_conn_map[net].in.insert(stringf("x%d:s%d", idx, i)); - net_conn_map[net].bits = c.width; - net_conn_map[net].color = nextColor(c, net_conn_map[net].color); - } else { - label_string += stringf(" %d:%d - %d:%d |", i, c.offset+c.width-1, c.offset, pos, pos-c.width+1); - net_conn_map[net].out.insert(stringf("x%d:s%d", idx, i)); - net_conn_map[net].bits = c.width; - net_conn_map[net].color = nextColor(c, net_conn_map[net].color); - } - pos -= c.width; - } - if (label_string[label_string.size()-1] == '|') - label_string = label_string.substr(0, label_string.size()-1); - code += stringf("x%d [ shape=record, style=rounded, label=\"%s\" ];\n", idx, label_string.c_str()); - if (!port.empty()) { - currentColor = xorshift32(currentColor); - if (driver) - code += stringf("%s:e -> x%d:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, %s, %s];\n", port.c_str(), idx, nextColor(sig).c_str(), widthLabel(sig.width).c_str()); - else - code += stringf("x%d:e -> %s:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, %s, %s];\n", idx, port.c_str(), nextColor(sig).c_str(), widthLabel(sig.width).c_str()); - } - if (node != NULL) - *node = stringf("x%d", idx); - } - else - { - if (!port.empty()) { - if (driver) - net_conn_map[net].in.insert(port); - else - net_conn_map[net].out.insert(port); - net_conn_map[net].bits = sig.width; - net_conn_map[net].color = nextColor(sig, net_conn_map[net].color); - } - if (node != NULL) - *node = net; - } - return code; - } - - void collect_proc_signals(std::vector &obj, std::set &signals) - { - for (auto &it : obj) - if (!it.is_fully_const()) - signals.insert(it); - } - - void collect_proc_signals(std::vector &obj, std::set &input_signals, std::set &output_signals) - { - for (auto &it : obj) { - output_signals.insert(it.first); - if (!it.second.is_fully_const()) - input_signals.insert(it.second); - } - } - - void collect_proc_signals(RTLIL::CaseRule *obj, std::set &input_signals, std::set &output_signals) - { - collect_proc_signals(obj->compare, input_signals); - collect_proc_signals(obj->actions, input_signals, output_signals); - for (auto it : obj->switches) - collect_proc_signals(it, input_signals, output_signals); - } - - void collect_proc_signals(RTLIL::SwitchRule *obj, std::set &input_signals, std::set &output_signals) - { - input_signals.insert(obj->signal); - for (auto it : obj->cases) - collect_proc_signals(it, input_signals, output_signals); - } - - void collect_proc_signals(RTLIL::SyncRule *obj, std::set &input_signals, std::set &output_signals) - { - input_signals.insert(obj->signal); - collect_proc_signals(obj->actions, input_signals, output_signals); - } - - void collect_proc_signals(RTLIL::Process *obj, std::set &input_signals, std::set &output_signals) - { - collect_proc_signals(&obj->root_case, input_signals, output_signals); - for (auto it : obj->syncs) - collect_proc_signals(it, input_signals, output_signals); - } - - void handle_module() - { - single_idx_count = 0; - dot_escape_store.clear(); - dot_id2num_store.clear(); - net_conn_map.clear(); - - fprintf(f, "digraph \"%s\" {\n", escape(module->name)); - fprintf(f, "label=\"%s\";\n", escape(module->name)); - fprintf(f, "rankdir=\"LR\";\n"); - fprintf(f, "remincross=true;\n"); - - std::set all_sources, all_sinks; - - std::map wires_on_demand; - for (auto &it : module->wires) { - if (!design->selected_member(module->name, it.first)) - continue; - const char *shape = "diamond"; - if (it.second->port_input || it.second->port_output) - shape = "octagon"; - if (it.first[0] == '\\') { - fprintf(f, "n%d [ shape=%s, label=\"%s\", %s, fontcolor=\"black\" ];\n", - id2num(it.first), shape, escape(it.first), - nextColor(RTLIL::SigSpec(it.second), "color=\"black\"").c_str()); - if (it.second->port_input) - all_sources.insert(stringf("n%d", id2num(it.first))); - else if (it.second->port_output) - all_sinks.insert(stringf("n%d", id2num(it.first))); - } else { - wires_on_demand[stringf("n%d", id2num(it.first))] = it.first; - } - } - - if (stretchIO) - { - fprintf(f, "{ rank=\"source\";"); - for (auto n : all_sources) - fprintf(f, " %s;", n.c_str()); - fprintf(f, "}\n"); - - fprintf(f, "{ rank=\"sink\";"); - for (auto n : all_sinks) - fprintf(f, " %s;", n.c_str()); - fprintf(f, "}\n"); - } - - for (auto &it : module->cells) - { - if (!design->selected_member(module->name, it.first)) - continue; - - std::vector in_ports, out_ports; - - for (auto &conn : it.second->connections) { - if (!ct.cell_output(it.second->type, conn.first)) - in_ports.push_back(conn.first); - else - out_ports.push_back(conn.first); - } - - std::string label_string = "{{"; - - for (auto &p : in_ports) - label_string += stringf(" %s|", id2num(p), escape(p)); - if (label_string[label_string.size()-1] == '|') - label_string = label_string.substr(0, label_string.size()-1); - - label_string += stringf("}|%s\\n%s|{", escape(it.first, true), escape(it.second->type)); - - for (auto &p : out_ports) - label_string += stringf(" %s|", id2num(p), escape(p)); - if (label_string[label_string.size()-1] == '|') - label_string = label_string.substr(0, label_string.size()-1); - - label_string += "}}"; - - std::string code; - for (auto &conn : it.second->connections) { - code += gen_portbox(stringf("c%d:p%d", id2num(it.first), id2num(conn.first)), - conn.second, ct.cell_output(it.second->type, conn.first)); - } - -#ifdef CLUSTER_CELLS_AND_PORTBOXES - if (!code.empty()) - fprintf(f, "subgraph cluster_c%d {\nc%d [ shape=record, label=\"%s\" ];\n%s}\n", - id2num(it.first), id2num(it.first), label_string.c_str(), code.c_str()); - else -#endif - fprintf(f, "c%d [ shape=record, label=\"%s\" ];\n%s", - id2num(it.first), label_string.c_str(), code.c_str()); - } - - for (auto &it : module->processes) - { - RTLIL::Process *proc = it.second; - - if (!design->selected_member(module->name, proc->name)) - continue; - - std::set input_signals, output_signals; - collect_proc_signals(proc, input_signals, output_signals); - - int pidx = single_idx_count++; - input_signals.erase(RTLIL::SigSpec()); - output_signals.erase(RTLIL::SigSpec()); - - for (auto &sig : input_signals) { - std::string code, node; - code += gen_portbox("", sig, false, &node); - fprintf(f, "%s", code.c_str()); - net_conn_map[node].out.insert(stringf("p%d", pidx)); - } - - for (auto &sig : output_signals) { - std::string code, node; - code += gen_portbox("", sig, true, &node); - fprintf(f, "%s", code.c_str()); - net_conn_map[node].in.insert(stringf("p%d", pidx)); - } - - fprintf(f, "p%d [shape=box, style=rounded, label=\"PROC\\n%s\"];\n", pidx, RTLIL::id2cstr(proc->name)); - } - - for (auto &conn : module->connections) - { - bool found_lhs_wire = false; - for (auto &c : conn.first.chunks) { - if (c.wire == NULL || design->selected_member(module->name, c.wire->name)) - found_lhs_wire = true; - } - bool found_rhs_wire = false; - for (auto &c : conn.second.chunks) { - if (c.wire == NULL || design->selected_member(module->name, c.wire->name)) - found_rhs_wire = true; - } - if (!found_lhs_wire || !found_rhs_wire) - continue; - - std::string code, left_node, right_node; - code += gen_portbox("", conn.second, false, &left_node); - code += gen_portbox("", conn.first, true, &right_node); - fprintf(f, "%s", code.c_str()); - - if (left_node[0] == 'x' && right_node[0] == 'x') { - currentColor = xorshift32(currentColor); - fprintf(f, "%s:e -> %s:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, %s, %s];\n", left_node.c_str(), right_node.c_str(), nextColor(conn).c_str(), widthLabel(conn.first.width).c_str()); - } else { - net_conn_map[right_node].bits = conn.first.width; - net_conn_map[right_node].color = nextColor(conn, net_conn_map[right_node].color); - net_conn_map[left_node].bits = conn.first.width; - net_conn_map[left_node].color = nextColor(conn, net_conn_map[left_node].color); - if (left_node[0] == 'x') { - net_conn_map[right_node].in.insert(left_node); - } else if (right_node[0] == 'x') { - net_conn_map[left_node].out.insert(right_node); - } else { - net_conn_map[right_node].in.insert(stringf("x%d:e", single_idx_count)); - net_conn_map[left_node].out.insert(stringf("x%d:w", single_idx_count)); - fprintf(f, "x%d [shape=box, style=rounded, label=\"BUF\"];\n", single_idx_count++); - } - } - } - - for (auto &it : net_conn_map) - { - currentColor = xorshift32(currentColor); - if (wires_on_demand.count(it.first) > 0) { - if (it.second.in.size() == 1 && it.second.out.size() > 1 && it.second.in.begin()->substr(0, 1) == "p") - it.second.out.erase(*it.second.in.begin()); - if (it.second.in.size() == 1 && it.second.out.size() == 1) { - std::string from = *it.second.in.begin(), to = *it.second.out.begin(); - if (from != to || from.substr(0, 1) != "p") - fprintf(f, "%s:e -> %s:w [%s, %s];\n", from.c_str(), to.c_str(), nextColor(it.second.color).c_str(), widthLabel(it.second.bits).c_str()); - continue; - } - if (it.second.in.size() == 0 || it.second.out.size() == 0) - fprintf(f, "%s [ shape=diamond, label=\"%s\" ];\n", it.first.c_str(), escape(wires_on_demand[it.first], true)); - else - fprintf(f, "%s [ shape=point ];\n", it.first.c_str()); - } - for (auto &it2 : it.second.in) - fprintf(f, "%s:e -> %s:w [%s, %s];\n", it2.c_str(), it.first.c_str(), nextColor(it.second.color).c_str(), widthLabel(it.second.bits).c_str()); - for (auto &it2 : it.second.out) - fprintf(f, "%s:e -> %s:w [%s, %s];\n", it.first.c_str(), it2.c_str(), nextColor(it.second.color).c_str(), widthLabel(it.second.bits).c_str()); - } - - fprintf(f, "};\n"); - } - - ShowWorker(FILE *f, RTLIL::Design *design, std::vector &libs, uint32_t colorSeed, bool genWidthLabels, bool stretchIO, - const std::vector> &color_selections, - const std::vector> &label_selections) : - f(f), design(design), currentColor(colorSeed), genWidthLabels(genWidthLabels), stretchIO(stretchIO), - color_selections(color_selections), label_selections(label_selections) - { - ct.setup_internals(); - ct.setup_internals_mem(); - ct.setup_stdcells(); - ct.setup_stdcells_mem(); - ct.setup_design(design); - - for (auto lib : libs) - ct.setup_design(lib); - - design->optimize(); - page_counter = 0; - for (auto &mod_it : design->modules) - { - module = mod_it.second; - if (!design->selected_module(module->name)) - continue; - if (design->selected_whole_module(module->name)) { - if (module->attributes.count("\\placeholder") > 0) { - log("Skipping placeholder module %s.\n", id2cstr(module->name)); - continue; - } else - if (module->cells.empty() && module->connections.empty() && module->processes.empty()) { - log("Skipping empty module %s.\n", id2cstr(module->name)); - continue; - } else - log("Dumping module %s to page %d.\n", id2cstr(module->name), ++page_counter); - } else - log("Dumping selected parts of module %s to page %d.\n", id2cstr(module->name), ++page_counter); - handle_module(); - } - } -}; - -struct ShowPass : public Pass { - ShowPass() : Pass("show", "generate schematics using graphviz") { } - virtual void help() - { - // |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---| - log("\n"); - log(" show [options] [selection]\n"); - log("\n"); - log("Create a graphviz DOT file for the selected part of the design and compile it\n"); - log("to a graphics file (usually SVG or PostScript).\n"); - log("\n"); - log(" -viewer \n"); - log(" Run the specified command with the graphics file as parameter.\n"); - log("\n"); - log(" -format \n"); - log(" Generate a graphics file in the specified format.\n"); - log(" Usually is 'svg' or 'ps'.\n"); - log("\n"); - log(" -lib \n"); - log(" Use the specified library file for determining whether cell ports are\n"); - log(" inputs or outputs. This option can be used multiple times to specify\n"); - log(" more than one library.\n"); - log("\n"); - log(" -prefix \n"); - log(" generate .dot and .ps instead of yosys-show.{dot,ps}\n"); - log("\n"); - log(" -color \n"); - log(" assign the specified color to the specified wire. The object can be\n"); - log(" a single selection wildcard expressions or a saved set of objects in\n"); - log(" the @ syntax (see \"help select\" for details).\n"); - log("\n"); - log(" -colors \n"); - log(" Randomly assign colors to the wires. The integer argument is the seed\n"); - log(" for the random number generator. Change the seed value if the colored\n"); - log(" graph still is ambigous. A seed of zero deactivates the coloring.\n"); - log("\n"); - log(" -width\n"); - log(" annotate busses with a label indicating the width of the bus.\n"); - log("\n"); - log(" -stretch\n"); - log(" stretch the graph so all inputs are on the left side and all outputs\n"); - log(" (including inout ports) are on the right side.\n"); - log("\n"); - log("When no is specified, SVG is used. When no and is\n"); - log("specified, 'yosys-svgviewer' is used to display the schematic.\n"); - log("\n"); - log("The generated output files are 'yosys-show.dot' and 'yosys-show.',\n"); - log("unless another prefix is specified using -prefix .\n"); - log("\n"); - } - virtual void execute(std::vector args, RTLIL::Design *design) - { - log_header("Generating Graphviz representation of design.\n"); - log_push(); - - std::vector> color_selections; - std::vector> label_selections; - - std::string format; - std::string viewer_exe; - std::string prefix = "yosys-show"; - std::vector libfiles; - std::vector libs; - uint32_t colorSeed = 0; - bool flag_width = false; - bool flag_stretch = false; - - size_t argidx; - for (argidx = 1; argidx < args.size(); argidx++) - { - std::string arg = args[argidx]; - if (arg == "-viewer" && argidx+1 < args.size()) { - viewer_exe = args[++argidx]; - continue; - } - if (arg == "-lib" && argidx+1 < args.size()) { - libfiles.push_back(args[++argidx]); - continue; - } - if (arg == "-prefix" && argidx+1 < args.size()) { - prefix = args[++argidx]; - continue; - } - if (arg == "-color" && argidx+2 < args.size()) { - std::pair data; - data.first = args[++argidx], argidx++; - handle_extra_select_args(this, args, argidx, argidx+1, design); - data.second = design->selection_stack.back(); - design->selection_stack.pop_back(); - color_selections.push_back(data); - continue; - } - if (arg == "-label" && argidx+2 < args.size() && false) { - std::pair data; - data.first = args[++argidx], argidx++; - handle_extra_select_args(this, args, argidx, argidx+1, design); - data.second = design->selection_stack.back(); - design->selection_stack.pop_back(); - label_selections.push_back(data); - continue; - } - if (arg == "-colors" && argidx+1 < args.size()) { - colorSeed = atoi(args[++argidx].c_str()); - continue; - } - if (arg == "-format" && argidx+1 < args.size()) { - format = args[++argidx]; - continue; - } - if (arg == "-width") { - flag_width= true; - continue; - } - if (arg == "-stretch") { - flag_stretch= true; - continue; - } - break; - } - extra_args(args, argidx, design); - - if (format != "ps") { - int modcount = 0; - for (auto &mod_it : design->modules) { - if (mod_it.second->attributes.count("\\placeholder") > 0) - continue; - if (mod_it.second->cells.empty() && mod_it.second->connections.empty()) - continue; - if (design->selected_module(mod_it.first)) - modcount++; - } - if (modcount > 1) - log_cmd_error("For formats different than 'ps' only one module must be selected.\n"); - } - - for (auto filename : libfiles) { - FILE *f = fopen(filename.c_str(), "rt"); - if (f == NULL) - log_error("Can't open lib file `%s'.\n", filename.c_str()); - RTLIL::Design *lib = new RTLIL::Design; - Frontend::frontend_call(lib, f, filename, (filename.size() > 3 && filename.substr(filename.size()-3) == ".il") ? "ilang" : "verilog"); - libs.push_back(lib); - fclose(f); - } - - if (libs.size() > 0) - log_header("Continuing show pass.\n"); - - std::string dot_file = stringf("%s.dot", prefix.c_str()); - std::string out_file = stringf("%s.%s", prefix.c_str(), format.empty() ? "svg" : format.c_str()); - - log("Writing dot description to `%s'.\n", dot_file.c_str()); - FILE *f = fopen(dot_file.c_str(), "w"); - if (f == NULL) { - for (auto lib : libs) - delete lib; - log_cmd_error("Can't open dot file `%s' for writing.\n", dot_file.c_str()); - } - ShowWorker worker(f, design, libs, colorSeed, flag_width, flag_stretch, color_selections, label_selections); - fclose(f); - - for (auto lib : libs) - delete lib; - - if (worker.page_counter == 0) - log_cmd_error("Nothing there to show.\n"); - - std::string cmd = stringf("dot -T%s -o '%s' '%s'", format.empty() ? "svg" : format.c_str(), out_file.c_str(), dot_file.c_str()); - log("Exec: %s\n", cmd.c_str()); - if (system(cmd.c_str()) != 0) - log_cmd_error("Shell command failed!\n"); - - if (!viewer_exe.empty()) { - cmd = stringf("%s '%s' &", viewer_exe.c_str(), out_file.c_str()); - log("Exec: %s\n", cmd.c_str()); - if (system(cmd.c_str()) != 0) - log_cmd_error("Shell command failed!\n"); - } else - if (format.empty()) { - cmd = stringf("fuser -s '%s' || yosys-svgviewer '%s' &", out_file.c_str(), out_file.c_str()); - log("Exec: %s\n", cmd.c_str()); - if (system(cmd.c_str()) != 0) - log_cmd_error("Shell command failed!\n"); - } - - log_pop(); - } -} ShowPass; - diff --git a/passes/cmds/Makefile.inc b/passes/cmds/Makefile.inc new file mode 100644 index 000000000..c113e7886 --- /dev/null +++ b/passes/cmds/Makefile.inc @@ -0,0 +1,3 @@ + +OBJS += passes/cmds/select.o +OBJS += passes/cmds/show.o diff --git a/passes/cmds/select.cc b/passes/cmds/select.cc new file mode 100644 index 000000000..1ab15c9a9 --- /dev/null +++ b/passes/cmds/select.cc @@ -0,0 +1,1052 @@ +/* + * yosys -- Yosys Open SYnthesis Suite + * + * Copyright (C) 2012 Clifford Wolf + * + * Permission to use, copy, modify, and/or distribute this software for any + * purpose with or without fee is hereby granted, provided that the above + * copyright notice and this permission notice appear in all copies. + * + * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES + * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF + * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR + * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES + * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN + * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF + * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. + * + */ + +#include "kernel/register.h" +#include "kernel/celltypes.h" +#include "kernel/log.h" +#include +#include + +using RTLIL::id2cstr; + +static std::vector work_stack; + +static bool match_ids(RTLIL::IdString id, std::string pattern) +{ + if (!fnmatch(pattern.c_str(), id.c_str(), FNM_NOESCAPE)) + return true; + if (id.size() > 0 && id[0] == '\\' && !fnmatch(pattern.c_str(), id.substr(1).c_str(), FNM_NOESCAPE)) + return true; + return false; +} + +static bool match_attr_val(const RTLIL::Const &value, std::string pattern) +{ + if (!fnmatch(pattern.c_str(), value.str.c_str(), FNM_NOESCAPE)) + return true; + return false; +} + +static bool match_attr(const std::map &attributes, std::string name_pat, std::string value_pat, bool use_value_pat) +{ + if (name_pat.find('*') != std::string::npos || name_pat.find('?') != std::string::npos || name_pat.find('[') != std::string::npos) { + for (auto &it : attributes) { + if (!fnmatch(name_pat.c_str(), it.first.c_str(), FNM_NOESCAPE) && (!use_value_pat || match_attr_val(it.second, value_pat))) + return true; + if (it.first.size() > 0 && it.first[0] == '\\' && !fnmatch(name_pat.c_str(), it.first.substr(1).c_str(), FNM_NOESCAPE) && (!use_value_pat || match_attr_val(it.second, value_pat))) + return true; + } + } else { + if (name_pat.size() > 0 && (name_pat[0] == '\\' || name_pat[0] == '$') && attributes.count(name_pat) && (!use_value_pat || match_attr_val(attributes.at(name_pat), value_pat))) + return true; + if (attributes.count("\\" + name_pat) && (!use_value_pat || match_attr_val(attributes.at("\\" + name_pat), value_pat))) + return true; + } + return false; +} + +static void select_op_neg(RTLIL::Design *design, RTLIL::Selection &lhs) +{ + if (lhs.full_selection) { + lhs.full_selection = false; + lhs.selected_modules.clear(); + lhs.selected_members.clear(); + return; + } + + if (lhs.selected_modules.size() == 0 && lhs.selected_members.size() == 0) { + lhs.full_selection = true; + return; + } + + RTLIL::Selection new_sel(false); + + for (auto &mod_it : design->modules) + { + if (lhs.selected_whole_module(mod_it.first)) + continue; + if (!lhs.selected_module(mod_it.first)) { + new_sel.selected_modules.insert(mod_it.first); + continue; + } + + RTLIL::Module *mod = mod_it.second; + for (auto &it : mod->wires) + if (!lhs.selected_member(mod_it.first, it.first)) + new_sel.selected_members[mod->name].insert(it.first); + for (auto &it : mod->memories) + if (!lhs.selected_member(mod_it.first, it.first)) + new_sel.selected_members[mod->name].insert(it.first); + for (auto &it : mod->cells) + if (!lhs.selected_member(mod_it.first, it.first)) + new_sel.selected_members[mod->name].insert(it.first); + for (auto &it : mod->processes) + if (!lhs.selected_member(mod_it.first, it.first)) + new_sel.selected_members[mod->name].insert(it.first); + } + + lhs.selected_modules.swap(new_sel.selected_modules); + lhs.selected_members.swap(new_sel.selected_members); +} + +static void select_op_union(RTLIL::Design*, RTLIL::Selection &lhs, const RTLIL::Selection &rhs) +{ + if (rhs.full_selection) { + lhs.full_selection = true; + lhs.selected_modules.clear(); + lhs.selected_members.clear(); + return; + } + + if (lhs.full_selection) + return; + + for (auto &it : rhs.selected_members) + for (auto &it2 : it.second) + lhs.selected_members[it.first].insert(it2); + + for (auto &it : rhs.selected_modules) { + lhs.selected_modules.insert(it); + lhs.selected_members.erase(it); + } +} + +static void select_op_diff(RTLIL::Design *design, RTLIL::Selection &lhs, const RTLIL::Selection &rhs) +{ + if (rhs.full_selection) { + lhs.full_selection = false; + lhs.selected_modules.clear(); + lhs.selected_members.clear(); + return; + } + + if (lhs.full_selection) { + if (!rhs.full_selection && rhs.selected_modules.size() == 0 && rhs.selected_members.size() == 0) + return; + lhs.full_selection = false; + for (auto &it : design->modules) + lhs.selected_modules.insert(it.first); + } + + for (auto &it : rhs.selected_modules) { + lhs.selected_modules.erase(it); + lhs.selected_members.erase(it); + } + + for (auto &it : rhs.selected_members) + { + if (design->modules.count(it.first) == 0) + continue; + + RTLIL::Module *mod = design->modules[it.first]; + + if (lhs.selected_modules.count(mod->name) > 0) + { + for (auto &it : mod->wires) + lhs.selected_members[mod->name].insert(it.first); + for (auto &it : mod->memories) + lhs.selected_members[mod->name].insert(it.first); + for (auto &it : mod->cells) + lhs.selected_members[mod->name].insert(it.first); + for (auto &it : mod->processes) + lhs.selected_members[mod->name].insert(it.first); + lhs.selected_modules.erase(mod->name); + } + + if (lhs.selected_members.count(mod->name) == 0) + continue; + + for (auto &it2 : it.second) + lhs.selected_members[mod->name].erase(it2); + } +} + +static void select_op_intersect(RTLIL::Design *design, RTLIL::Selection &lhs, const RTLIL::Selection &rhs) +{ + if (rhs.full_selection) + return; + + if (lhs.full_selection) { + lhs.full_selection = false; + for (auto &it : design->modules) + lhs.selected_modules.insert(it.first); + } + + std::vector del_list; + + for (auto &it : lhs.selected_modules) + if (rhs.selected_modules.count(it) == 0) { + if (rhs.selected_members.count(it) > 0) + for (auto &it2 : rhs.selected_members.at(it)) + lhs.selected_members[it].insert(it2); + del_list.push_back(it); + } + for (auto &it : del_list) + lhs.selected_modules.erase(it); + + del_list.clear(); + for (auto &it : lhs.selected_members) { + if (rhs.selected_modules.count(it.first) > 0) + continue; + if (rhs.selected_members.count(it.first) == 0) { + del_list.push_back(it.first); + continue; + } + std::vector del_list2; + for (auto &it2 : it.second) + if (rhs.selected_members.at(it.first).count(it2) == 0) + del_list2.push_back(it2); + for (auto &it2 : del_list2) + it.second.erase(it2); + if (it.second.size() == 0) + del_list.push_back(it.first); + } + for (auto &it : del_list) + lhs.selected_members.erase(it); +} + +namespace { + struct expand_rule_t { + char mode; + std::set cell_types, port_names; + }; +} + +static int parse_comma_list(std::set &tokens, std::string str, size_t pos, std::string stopchar) +{ + stopchar += ','; + while (1) { + size_t endpos = str.find_first_of(stopchar, pos); + if (endpos == std::string::npos) + endpos = str.size(); + if (endpos != pos) + tokens.insert(RTLIL::escape_id(str.substr(pos, endpos-pos))); + pos = endpos; + if (pos == str.size() || str[pos] != ',') + return pos; + pos++; + } +} + +static int select_op_expand(RTLIL::Design *design, RTLIL::Selection &lhs, std::vector &rules, std::set &limits, int max_objects, char mode, CellTypes &ct) +{ + int sel_objects = 0; + bool is_input, is_output; + for (auto &mod_it : design->modules) + { + if (lhs.selected_whole_module(mod_it.first) || !lhs.selected_module(mod_it.first)) + continue; + + RTLIL::Module *mod = mod_it.second; + std::set selected_wires; + + for (auto &it : mod->wires) + if (lhs.selected_member(mod_it.first, it.first) && limits.count(it.first) == 0) + selected_wires.insert(it.second); + + for (auto &cell : mod->cells) + for (auto &conn : cell.second->connections) + { + char last_mode = '-'; + for (auto &rule : rules) { + last_mode = rule.mode; + if (rule.cell_types.size() > 0 && rule.cell_types.count(cell.second->type) == 0) + continue; + if (rule.port_names.size() > 0 && rule.port_names.count(conn.first) == 0) + continue; + if (rule.mode == '+') + goto include_match; + else + goto exclude_match; + } + if (last_mode == '+') + goto exclude_match; + include_match: + is_input = mode == 'x' || ct.cell_input(cell.second->type, conn.first); + is_output = mode == 'x' || ct.cell_output(cell.second->type, conn.first); + for (auto &chunk : conn.second.chunks) + if (chunk.wire != NULL) { + if (max_objects != 0 && selected_wires.count(chunk.wire) > 0 && lhs.selected_members[mod->name].count(cell.first) == 0) + if (mode == 'x' || (mode == 'i' && is_output) || (mode == 'o' && is_input)) + lhs.selected_members[mod->name].insert(cell.first), sel_objects++, max_objects--; + if (max_objects != 0 && lhs.selected_members[mod->name].count(cell.first) > 0 && limits.count(cell.first) == 0 && lhs.selected_members[mod->name].count(chunk.wire->name) == 0) + if (mode == 'x' || (mode == 'i' && is_input) || (mode == 'o' && is_output)) + lhs.selected_members[mod->name].insert(chunk.wire->name), sel_objects++, max_objects--; + } + exclude_match:; + } + } + + return sel_objects; +} + +static void select_op_expand(RTLIL::Design *design, std::string arg, char mode) +{ + int pos = mode == 'x' ? 2 : 3, levels = 1, rem_objects = -1; + std::vector rules; + std::set limits; + + CellTypes ct; + + if (mode != 'x') + ct.setup(design); + + if (pos < int(arg.size()) && arg[pos] == '*') { + levels = 1000000; + pos++; + } else + if (pos < int(arg.size()) && '0' <= arg[pos] && arg[pos] <= '9') { + size_t endpos = arg.find_first_not_of("0123456789", pos); + if (endpos == std::string::npos) + endpos = arg.size(); + levels = atoi(arg.substr(pos, endpos-pos).c_str()); + pos = endpos; + } + + if (pos < int(arg.size()) && arg[pos] == '.') { + size_t endpos = arg.find_first_not_of("0123456789", ++pos); + if (endpos == std::string::npos) + endpos = arg.size(); + if (int(endpos) > pos) + rem_objects = atoi(arg.substr(pos, endpos-pos).c_str()); + pos = endpos; + } + + while (pos < int(arg.size())) { + if (arg[pos] != ':' || pos+1 == int(arg.size())) + log_cmd_error("Syntax error in expand operator '%s'.\n", arg.c_str()); + pos++; + if (arg[pos] == '+' || arg[pos] == '-') { + expand_rule_t rule; + rule.mode = arg[pos++]; + pos = parse_comma_list(rule.cell_types, arg, pos, "[:"); + if (pos < int(arg.size()) && arg[pos] == '[') { + pos = parse_comma_list(rule.port_names, arg, pos+1, "]:"); + if (pos < int(arg.size()) && arg[pos] == ']') + pos++; + } + rules.push_back(rule); + } else { + size_t endpos = arg.find(':', pos); + if (endpos == std::string::npos) + endpos = arg.size(); + if (int(endpos) > pos) { + std::string str = arg.substr(pos, endpos-pos); + if (str[0] == '@') { + str = RTLIL::escape_id(str.substr(1)); + if (design->selection_vars.count(str) > 0) { + for (auto i1 : design->selection_vars.at(str).selected_members) + for (auto i2 : i1.second) + limits.insert(i2); + } + } else + limits.insert(RTLIL::escape_id(str)); + } + pos = endpos; + } + } + +#if 0 + log("expand by %d levels (max. %d objects):\n", levels, rem_objects); + for (auto &rule : rules) { + log(" rule (%c):\n", rule.mode); + if (rule.cell_types.size() > 0) { + log(" cell types:"); + for (auto &it : rule.cell_types) + log(" %s", it.c_str()); + log("\n"); + } + if (rule.port_names.size() > 0) { + log(" port names:"); + for (auto &it : rule.port_names) + log(" %s", it.c_str()); + log("\n"); + } + } + if (limits.size() > 0) { + log(" limits:"); + for (auto &it : limits) + log(" %s", it.c_str()); + log("\n"); + } +#endif + + while (levels-- > 0 && rem_objects != 0) { + int num_objects = select_op_expand(design, work_stack.back(), rules, limits, rem_objects, mode, ct); + if (num_objects == 0) + break; + rem_objects -= num_objects; + } + + if (rem_objects == 0) + log("Warning: reached configured limit at `%s'.\n", arg.c_str()); +} + +static void select_filter_active_mod(RTLIL::Design *design, RTLIL::Selection &sel) +{ + if (design->selected_active_module.empty()) + return; + + if (sel.full_selection) { + sel.full_selection = false; + sel.selected_modules.clear(); + sel.selected_members.clear(); + sel.selected_modules.insert(design->selected_active_module); + return; + } + + std::vector del_list; + for (auto mod_name : sel.selected_modules) + if (mod_name != design->selected_active_module) + del_list.push_back(mod_name); + for (auto &it : sel.selected_members) + if (it.first != design->selected_active_module) + del_list.push_back(it.first); + for (auto mod_name : del_list) { + sel.selected_modules.erase(mod_name); + sel.selected_members.erase(mod_name); + } +} + +static void select_stmt(RTLIL::Design *design, std::string arg) +{ + std::string arg_mod, arg_memb; + + if (arg.size() == 0) + return; + + if (arg[0] == '%') { + if (arg == "%") { + if (design->selection_stack.size() > 0) + work_stack.push_back(design->selection_stack.back()); + } else + if (arg == "%%") { + while (work_stack.size() > 1) { + select_op_union(design, work_stack.front(), work_stack.back()); + work_stack.pop_back(); + } + } else + if (arg == "%n") { + if (work_stack.size() < 1) + log_cmd_error("Must have at least one element on the stack for operator %%n.\n"); + select_op_neg(design, work_stack[work_stack.size()-1]); + } else + if (arg == "%u") { + if (work_stack.size() < 2) + log_cmd_error("Must have at least two elements on the stack for operator %%u.\n"); + select_op_union(design, work_stack[work_stack.size()-2], work_stack[work_stack.size()-1]); + work_stack.pop_back(); + } else + if (arg == "%d") { + if (work_stack.size() < 2) + log_cmd_error("Must have at least two elements on the stack for operator %%d.\n"); + select_op_diff(design, work_stack[work_stack.size()-2], work_stack[work_stack.size()-1]); + work_stack.pop_back(); + } else + if (arg == "%i") { + if (work_stack.size() < 2) + log_cmd_error("Must have at least two elements on the stack for operator %%i.\n"); + select_op_intersect(design, work_stack[work_stack.size()-2], work_stack[work_stack.size()-1]); + work_stack.pop_back(); + } else + if (arg == "%x" || (arg.size() > 2 && arg.substr(0, 2) == "%x" && (arg[2] == ':' || arg[2] == '*' || arg[2] == '.' || ('0' <= arg[2] && arg[2] <= '9')))) { + if (work_stack.size() < 1) + log_cmd_error("Must have at least one element on the stack for operator %%x.\n"); + select_op_expand(design, arg, 'x'); + } else + if (arg == "%ci" || (arg.size() > 3 && arg.substr(0, 3) == "%ci" && (arg[3] == ':' || arg[3] == '*' || arg[3] == '.' || ('0' <= arg[3] && arg[3] <= '9')))) { + if (work_stack.size() < 1) + log_cmd_error("Must have at least one element on the stack for operator %%ci.\n"); + select_op_expand(design, arg, 'i'); + } else + if (arg == "%co" || (arg.size() > 3 && arg.substr(0, 3) == "%co" && (arg[3] == ':' || arg[3] == '*' || arg[3] == '.' || ('0' <= arg[3] && arg[3] <= '9')))) { + if (work_stack.size() < 1) + log_cmd_error("Must have at least one element on the stack for operator %%co.\n"); + select_op_expand(design, arg, 'o'); + } else + log_cmd_error("Unknown selection operator '%s'.\n", arg.c_str()); + if (work_stack.size() >= 1) + select_filter_active_mod(design, work_stack.back()); + return; + } + + if (arg[0] == '@') { + std::string set_name = RTLIL::escape_id(arg.substr(1)); + if (design->selection_vars.count(set_name) > 0) + work_stack.push_back(design->selection_vars[set_name]); + else + work_stack.push_back(RTLIL::Selection(false)); + select_filter_active_mod(design, work_stack.back()); + return; + } + + if (!design->selected_active_module.empty()) { + arg_mod = design->selected_active_module; + arg_memb = arg; + } else { + size_t pos = arg.find('/'); + if (pos == std::string::npos) { + arg_mod = arg; + } else { + arg_mod = arg.substr(0, pos); + arg_memb = arg.substr(pos+1); + } + } + + work_stack.push_back(RTLIL::Selection()); + RTLIL::Selection &sel = work_stack.back(); + + if (arg == "*" && arg_mod == "*") { + select_filter_active_mod(design, work_stack.back()); + return; + } + + sel.full_selection = false; + for (auto &mod_it : design->modules) + { + if (!match_ids(mod_it.first, arg_mod)) + continue; + + if (arg_memb == "") { + sel.selected_modules.insert(mod_it.first); + continue; + } + + RTLIL::Module *mod = mod_it.second; + if (arg_memb.substr(0, 2) == "w:") { + for (auto &it : mod->wires) + if (match_ids(it.first, arg_memb.substr(2))) + sel.selected_members[mod->name].insert(it.first); + } else + if (arg_memb.substr(0, 2) == "m:") { + for (auto &it : mod->memories) + if (match_ids(it.first, arg_memb.substr(2))) + sel.selected_members[mod->name].insert(it.first); + } else + if (arg_memb.substr(0, 2) == "c:") { + for (auto &it : mod->cells) + if (match_ids(it.first, arg_memb.substr(2))) + sel.selected_members[mod->name].insert(it.first); + } else + if (arg_memb.substr(0, 2) == "t:") { + for (auto &it : mod->cells) + if (match_ids(it.second->type, arg_memb.substr(2))) + sel.selected_members[mod->name].insert(it.first); + } else + if (arg_memb.substr(0, 2) == "p:") { + for (auto &it : mod->processes) + if (match_ids(it.first, arg_memb.substr(2))) + sel.selected_members[mod->name].insert(it.first); + } else + if (arg_memb.substr(0, 2) == "a:") { + bool use_value_pat = false; + std::string name_pat = arg_memb.substr(2); + std::string value_pat; + if (name_pat.find('=') != std::string::npos) { + value_pat = name_pat.substr(name_pat.find('=')+1); + name_pat = name_pat.substr(0, name_pat.find('=')); + use_value_pat = true; + } + for (auto &it : mod->wires) + if (match_attr(it.second->attributes, name_pat, value_pat, use_value_pat)) + sel.selected_members[mod->name].insert(it.first); + for (auto &it : mod->memories) + if (match_attr(it.second->attributes, name_pat, value_pat, use_value_pat)) + sel.selected_members[mod->name].insert(it.first); + for (auto &it : mod->cells) + if (match_attr(it.second->attributes, name_pat, value_pat, use_value_pat)) + sel.selected_members[mod->name].insert(it.first); + for (auto &it : mod->processes) + if (match_attr(it.second->attributes, name_pat, value_pat, use_value_pat)) + sel.selected_members[mod->name].insert(it.first); + } else { + if (arg_memb.substr(0, 2) == "n:") + arg_memb = arg_memb.substr(2); + for (auto &it : mod->wires) + if (match_ids(it.first, arg_memb)) + sel.selected_members[mod->name].insert(it.first); + for (auto &it : mod->memories) + if (match_ids(it.first, arg_memb)) + sel.selected_members[mod->name].insert(it.first); + for (auto &it : mod->cells) + if (match_ids(it.first, arg_memb)) + sel.selected_members[mod->name].insert(it.first); + for (auto &it : mod->processes) + if (match_ids(it.first, arg_memb)) + sel.selected_members[mod->name].insert(it.first); + } + } + + select_filter_active_mod(design, work_stack.back()); +} + +// used in kernel/register.cc and maybe other locations, extern decl. in register.h +void handle_extra_select_args(Pass *pass, std::vector args, size_t argidx, size_t args_size, RTLIL::Design *design) +{ + work_stack.clear(); + for (; argidx < args_size; argidx++) { + if (args[argidx].substr(0, 1) == "-") { + if (pass != NULL) + pass->cmd_error(args, argidx, "Unexpected option in selection arguments."); + else + log_cmd_error("Unexpected option in selection arguments."); + } + select_stmt(design, args[argidx]); + } + while (work_stack.size() > 1) { + select_op_union(design, work_stack.front(), work_stack.back()); + work_stack.pop_back(); + } + if (work_stack.size() > 0) + design->selection_stack.push_back(work_stack.back()); + else + design->selection_stack.push_back(RTLIL::Selection(false)); +} + +struct SelectPass : public Pass { + SelectPass() : Pass("select", "modify and view the list of selected objects") { } + virtual void help() + { + // |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---| + log("\n"); + log(" select [ -add | -del | -set ] \n"); + log(" select [ -list | -write | -count | -clear ]\n"); + log(" select -module \n"); + log("\n"); + log("Most commands use the list of currently selected objects to determine which part\n"); + log("of the design to operate on. This command can be used to modify and view this\n"); + log("list of selected objects.\n"); + log("\n"); + log("Note that many commands support an optional [selection] argument that can be\n"); + log("used to override the global selection for the command. The syntax of this\n"); + log("optional argument is identical to the syntax of the argument\n"); + log("described here.\n"); + log("\n"); + log(" -add, -del\n"); + log(" add or remove the given objects to the current selection.\n"); + log(" without this options the current selection is replaced.\n"); + log("\n"); + log(" -set \n"); + log(" do not modify the current selection. instead save the new selection\n"); + log(" under the given name (see @ below).\n"); + log("\n"); + log(" -list\n"); + log(" list all objects in the current selection\n"); + log("\n"); + log(" -write \n"); + log(" like -list but write the output to the specified file\n"); + log("\n"); + log(" -count\n"); + log(" count all objects in the current selection\n"); + log("\n"); + log(" -clear\n"); + log(" clear the current selection. this effectively selects the\n"); + log(" whole design.\n"); + log("\n"); + log(" -module \n"); + log(" limit the current scope to the specified module.\n"); + log(" the difference between this and simply selecting the module\n"); + log(" is that all object names are interpreted relative to this\n"); + log(" module after this command until the selection is cleared again.\n"); + log("\n"); + log("When this command is called without an argument, the current selection\n"); + log("is displayed in a compact form (i.e. only the module name when a whole module\n"); + log("is selected).\n"); + log("\n"); + log("The argument itself is a series of commands for a simple stack\n"); + log("machine. Each element on the stack represents a set of selected objects.\n"); + log("After this commands have been executed, the union of all remaining sets\n"); + log("on the stack is computed and used as selection for the command.\n"); + log("\n"); + log("Pushing (selecting) object when not in -module mode:\n"); + log("\n"); + log(" \n"); + log(" select the specified module(s)\n"); + log("\n"); + log(" /\n"); + log(" select the specified object(s) from the module(s)\n"); + log("\n"); + log("Pushing (selecting) object when in -module mode:\n"); + log("\n"); + log(" \n"); + log(" select the specified object(s) from the current module\n"); + log("\n"); + log("A can be a module name or wildcard expression (*, ?, [..])\n"); + log("matching module names.\n"); + log("\n"); + log("An can be an object name, wildcard expression, or one of\n"); + log("the following:\n"); + log("\n"); + log(" w:\n"); + log(" all wires with a name matching the given wildcard pattern\n"); + log("\n"); + log(" m:\n"); + log(" all memories with a name matching the given pattern\n"); + log("\n"); + log(" c:\n"); + log(" all cells with a name matching the given pattern\n"); + log("\n"); + log(" t:\n"); + log(" all cells with a type matching the given pattern\n"); + log("\n"); + log(" p:\n"); + log(" all processes with a name matching the given pattern\n"); + log("\n"); + log(" a:\n"); + log(" all objects with an attribute name matching the given pattern\n"); + log("\n"); + log(" a:=\n"); + log(" all objects with a matching attribute name-value-pair\n"); + log("\n"); + log(" n:\n"); + log(" all objects with a name matching the given pattern\n"); + log(" (i.e. 'n:' is optional as it is the default matching rule)\n"); + log("\n"); + log(" @\n"); + log(" push the selection saved prior with 'select -set ...'\n"); + log("\n"); + log("The following actions can be performed on the top sets on the stack:\n"); + log("\n"); + log(" %%\n"); + log(" push a copy of the current selection to the stack\n"); + log("\n"); + log(" %%%%\n"); + log(" replace the stack with a union of all elements on it\n"); + log("\n"); + log(" %%n\n"); + log(" replace top set with its invert\n"); + log("\n"); + log(" %%u\n"); + log(" replace the two top sets on the stack with their union\n"); + log("\n"); + log(" %%i\n"); + log(" replace the two top sets on the stack with their intersection\n"); + log("\n"); + log(" %%d\n"); + log(" pop the top set from the stack and subtract it from the new top\n"); + log("\n"); + log(" %%x[|*][.][:[:..]]\n"); + log(" expand top set num times according to the specified rules.\n"); + log(" (i.e. select all cells connected to selected wires and select all\n"); + log(" wires connected to selected cells) The rules specify which cell\n"); + log(" ports to use for this. the syntax for a rule is a '-' for exclusion\n"); + log(" and a '+' for inclusion, followed by an optional comma seperated\n"); + log(" list of cell types followed by an optional comma separated list of\n"); + log(" cell ports in square brackets. a rule can also be just a cell or wire\n"); + log(" name that limits the expansion (is included but does not go beyond).\n"); + log(" select at most objects. a warning message is printed when this\n"); + log(" limit is reached. When '*' is used instead of then the process\n"); + log(" is repeated until no further object are selected.\n"); + log("\n"); + log(" %%ci[|*][.][:[:..]]\n"); + log(" %%co[|*][.][:[:..]]\n"); + log(" simmilar to %%x, but only select input (%%ci) or output cones (%%co)\n"); + log("\n"); + log("Example: the following command selects all wires that are connected to a\n"); + log("'GATE' input of a 'SWITCH' cell:\n"); + log("\n"); + log(" select */t:SWITCH %%x:+[GATE] */t:SWITCH %%d\n"); + log("\n"); + } + virtual void execute(std::vector args, RTLIL::Design *design) + { + bool add_mode = false; + bool del_mode = false; + bool clear_mode = false; + bool list_mode = false; + bool count_mode = false; + bool got_module = false; + std::string write_file; + std::string set_name; + + work_stack.clear(); + + size_t argidx; + for (argidx = 1; argidx < args.size(); argidx++) + { + std::string arg = args[argidx]; + if (arg == "-add") { + add_mode = true; + continue; + } + if (arg == "-del") { + del_mode = true; + continue; + } + if (arg == "-clear") { + clear_mode = true; + continue; + } + if (arg == "-list") { + list_mode = true; + continue; + } + if (arg == "-write" && argidx+1 < args.size()) { + write_file = args[++argidx]; + continue; + } + if (arg == "-count") { + count_mode = true; + continue; + } + if (arg == "-module" && argidx+1 < args.size()) { + RTLIL::IdString mod_name = RTLIL::escape_id(args[++argidx]); + if (design->modules.count(mod_name) == 0) + log_cmd_error("No such module: %s\n", id2cstr(mod_name)); + design->selected_active_module = mod_name; + got_module = true; + continue; + } + if (arg == "-set" && argidx+1 < args.size()) { + set_name = RTLIL::escape_id(args[++argidx]); + continue; + } + if (arg.size() > 0 && arg[0] == '-') + log_cmd_error("Unkown option %s.\n", arg.c_str()); + select_stmt(design, arg); + } + + if (clear_mode && args.size() != 2) + log_cmd_error("Option -clear can not be combined with other options.\n"); + + if (add_mode && del_mode) + log_cmd_error("Options -add and -del can not be combined.\n"); + + if ((list_mode || !write_file.empty() || count_mode) && (add_mode || del_mode)) + log_cmd_error("Options -list, -write and -count can not be combined with -add or -del.\n"); + + if (!set_name.empty() && (list_mode || !write_file.empty() || count_mode || add_mode || del_mode)) + log_cmd_error("Option -set can not be combined with -list, -write, -count, -add or -del.\n"); + + if (work_stack.size() == 0 && got_module) { + RTLIL::Selection sel; + select_filter_active_mod(design, sel); + work_stack.push_back(sel); + } + + while (work_stack.size() > 1) { + select_op_union(design, work_stack.front(), work_stack.back()); + work_stack.pop_back(); + } + + assert(design->selection_stack.size() > 0); + + if (clear_mode) + { + design->selection_stack.back() = RTLIL::Selection(true); + design->selected_active_module = std::string(); + return; + } + + if (list_mode || count_mode || !write_file.empty()) + { + #define LOG_OBJECT(...) do { if (list_mode) log(__VA_ARGS__); if (f != NULL) fprintf(f, __VA_ARGS__); total_count++; } while (0) + int total_count = 0; + FILE *f = NULL; + if (!write_file.empty()) { + f = fopen(write_file.c_str(), "w"); + if (f == NULL) + log_error("Can't open '%s' for writing: %s\n", write_file.c_str(), strerror(errno)); + } + RTLIL::Selection *sel = &design->selection_stack.back(); + if (work_stack.size() > 0) + sel = &work_stack.back(); + sel->optimize(design); + for (auto mod_it : design->modules) + { + if (sel->selected_whole_module(mod_it.first) && list_mode) + log("%s\n", id2cstr(mod_it.first)); + if (sel->selected_module(mod_it.first)) { + for (auto &it : mod_it.second->wires) + if (sel->selected_member(mod_it.first, it.first)) + LOG_OBJECT("%s/%s\n", id2cstr(mod_it.first), id2cstr(it.first)); + for (auto &it : mod_it.second->memories) + if (sel->selected_member(mod_it.first, it.first)) + LOG_OBJECT("%s/%s\n", id2cstr(mod_it.first), id2cstr(it.first)); + for (auto &it : mod_it.second->cells) + if (sel->selected_member(mod_it.first, it.first)) + LOG_OBJECT("%s/%s\n", id2cstr(mod_it.first), id2cstr(it.first)); + for (auto &it : mod_it.second->processes) + if (sel->selected_member(mod_it.first, it.first)) + LOG_OBJECT("%s/%s\n", id2cstr(mod_it.first), id2cstr(it.first)); + } + } + if (count_mode) + log("%d objects.\n", total_count); + if (f != NULL) + fclose(f); + #undef LOG_OBJECT + return; + } + + if (add_mode) + { + if (work_stack.size() == 0) + log_cmd_error("Nothing to add to selection.\n"); + select_op_union(design, design->selection_stack.back(), work_stack.back()); + design->selection_stack.back().optimize(design); + return; + } + + if (del_mode) + { + if (work_stack.size() == 0) + log_cmd_error("Nothing to delete from selection.\n"); + select_op_diff(design, design->selection_stack.back(), work_stack.back()); + design->selection_stack.back().optimize(design); + return; + } + + if (!set_name.empty()) + { + if (work_stack.size() == 0) + design->selection_vars.erase(set_name); + else + design->selection_vars[set_name] = work_stack.back(); + return; + } + + if (work_stack.size() == 0) { + RTLIL::Selection &sel = design->selection_stack.back(); + if (sel.full_selection) + log("*\n"); + for (auto &it : sel.selected_modules) + log("%s\n", id2cstr(it)); + for (auto &it : sel.selected_members) + for (auto &it2 : it.second) + log("%s/%s\n", id2cstr(it.first), id2cstr(it2)); + return; + } + + design->selection_stack.back() = work_stack.back(); + design->selection_stack.back().optimize(design); + } +} SelectPass; + +struct CdPass : public Pass { + CdPass() : Pass("cd", "a shortcut for 'select -module '") { } + virtual void help() + { + // |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---| + log("\n"); + log(" cd \n"); + log("\n"); + log("This is just a shortcut for 'select -module '.\n"); + log("\n"); + log("\n"); + log(" cd \n"); + log("\n"); + log("When no module with the specified name is found, but there is a cell\n"); + log("with the specified name in the current module, then this is equivialent\n"); + log("to 'cd '.\n"); + log("\n"); + log(" cd ..\n"); + log("\n"); + log("This is just a shortcut for 'select -clear'.\n"); + log("\n"); + } + virtual void execute(std::vector args, RTLIL::Design *design) + { + if (args.size() != 2) + log_cmd_error("Invalid number of arguments.\n"); + + if (args[1] == "..") { + design->selection_stack.back() = RTLIL::Selection(true); + design->selected_active_module = std::string(); + return; + } + + std::string modname = RTLIL::escape_id(args[1]); + + if (design->modules.count(modname) == 0 && !design->selected_active_module.empty()) { + RTLIL::Module *module = NULL; + if (design->modules.count(design->selected_active_module) > 0) + module = design->modules.at(design->selected_active_module); + if (module != NULL && module->cells.count(modname) > 0) + modname = module->cells.at(modname)->type; + } + + if (design->modules.count(modname) > 0) { + design->selected_active_module = modname; + design->selection_stack.back() = RTLIL::Selection(); + select_filter_active_mod(design, design->selection_stack.back()); + design->selection_stack.back().optimize(design); + return; + } + + log_cmd_error("No such module `%s' found!\n", RTLIL::id2cstr(modname)); + } +} CdPass; + +struct LsPass : public Pass { + LsPass() : Pass("ls", "list modules or objects in modules") { } + virtual void help() + { + // |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---| + log("\n"); + log(" ls\n"); + log("\n"); + log("When no active module is selected, this prints a list of all module.\n"); + log("\n"); + log("When an active module is selected, this prints a list of objects in the module.\n"); + log("\n"); + } + virtual void execute(std::vector args, RTLIL::Design *design) + { + if (args.size() != 1) + log_cmd_error("Invalid number of arguments.\n"); + + if (design->selected_active_module.empty()) + { + log("\n%d modules:\n", int(design->modules.size())); + for (auto &it : design->modules) + log(" %s\n", RTLIL::id2cstr(it.first)); + } + else + if (design->modules.count(design->selected_active_module) > 0) + { + RTLIL::Module *module = design->modules.at(design->selected_active_module); + + if (module->wires.size()) { + log("\n%d wires:\n", int(module->wires.size())); + for (auto &it : module->wires) + log(" %s\n", RTLIL::id2cstr(it.first)); + } + + if (module->memories.size()) { + log("\n%d memories:\n", int(module->memories.size())); + for (auto &it : module->memories) + log(" %s\n", RTLIL::id2cstr(it.first)); + } + + if (module->cells.size()) { + log("\n%d cells:\n", int(module->cells.size())); + for (auto &it : module->cells) + log(" %s\n", RTLIL::id2cstr(it.first)); + } + + if (module->processes.size()) { + log("\n%d processes:\n", int(module->processes.size())); + for (auto &it : module->processes) + log(" %s\n", RTLIL::id2cstr(it.first)); + } + } + } +} LsPass; + diff --git a/passes/cmds/show.cc b/passes/cmds/show.cc new file mode 100644 index 000000000..c66320b3e --- /dev/null +++ b/passes/cmds/show.cc @@ -0,0 +1,684 @@ +/* + * yosys -- Yosys Open SYnthesis Suite + * + * Copyright (C) 2012 Clifford Wolf + * + * Permission to use, copy, modify, and/or distribute this software for any + * purpose with or without fee is hereby granted, provided that the above + * copyright notice and this permission notice appear in all copies. + * + * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES + * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF + * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR + * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES + * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN + * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF + * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. + * + */ + +#include "kernel/register.h" +#include "kernel/celltypes.h" +#include "kernel/log.h" +#include +#include + +using RTLIL::id2cstr; + +#undef CLUSTER_CELLS_AND_PORTBOXES + +struct ShowWorker +{ + CellTypes ct; + + std::vector dot_escape_store; + std::map dot_id2num_store; + std::map autonames; + int single_idx_count; + + struct net_conn { std::set in, out; int bits; std::string color; }; + std::map net_conn_map; + + FILE *f; + RTLIL::Design *design; + RTLIL::Module *module; + uint32_t currentColor; + bool genWidthLabels; + bool stretchIO; + int page_counter; + + const std::vector> &color_selections; + const std::vector> &label_selections; + + uint32_t xorshift32(uint32_t x) { + x ^= x << 13; + x ^= x >> 17; + x ^= x << 5; + return x; + } + + std::string nextColor() + { + if (currentColor == 0) + return "color=\"black\""; + return stringf("colorscheme=\"dark28\", color=\"%d\", fontcolor=\"%d\"", currentColor%8+1); + } + + std::string nextColor(std::string presetColor) + { + if (presetColor.empty()) + return nextColor(); + return presetColor; + } + + std::string nextColor(RTLIL::SigSpec sig, std::string defaultColor) + { + sig.sort_and_unify(); + for (auto &c : sig.chunks) { + if (c.wire != NULL) + for (auto &s : color_selections) + if (s.second.selected_members.count(module->name) > 0 && s.second.selected_members.at(module->name).count(c.wire->name) > 0) + return stringf("color=\"%s\", fontcolor=\"%d\"", s.first.c_str(), s.first.c_str()); + } + return defaultColor; + } + + std::string nextColor(RTLIL::SigSig &conn, std::string defaultColor) + { + return nextColor(conn.first, nextColor(conn.second, defaultColor)); + } + + std::string nextColor(RTLIL::SigSpec &sig) + { + return nextColor(sig, nextColor()); + } + + std::string nextColor(RTLIL::SigSig &conn) + { + return nextColor(conn, nextColor()); + } + + std::string widthLabel(int bits) + { + if (bits <= 1) + return "label=\"\""; + if (!genWidthLabels) + return "style=\"setlinewidth(3)\", label=\"\""; + return stringf("style=\"setlinewidth(3)\", label=\"<%d>\"", bits); + } + + const char *escape(std::string id, bool is_name = false) + { + if (id.size() == 0) + return ""; + + if (id[0] == '$' && is_name) { + if (autonames.count(id) == 0) { + autonames[id] = autonames.size() + 1; + log("Generated short name for internal identifier: _%d_ -> %s\n", autonames[id], id.c_str()); + } + id = stringf("_%d_", autonames[id]); + } + + if (id[0] == '\\') + id = id.substr(1); + + std::string str; + for (char ch : id) { + if (ch == '\\' || ch == '"') + str += "\\"; + str += ch; + } + + dot_escape_store.push_back(str); + return dot_escape_store.back().c_str(); + } + + int id2num(RTLIL::IdString id) + { + if (dot_id2num_store.count(id) > 0) + return dot_id2num_store[id]; + return dot_id2num_store[id] = dot_id2num_store.size() + 1; + } + + std::string gen_signode_simple(RTLIL::SigSpec sig, bool range_check = true) + { + sig.optimize(); + + if (sig.chunks.size() == 0) { + fprintf(f, "v%d [ label=\"\" ];\n", single_idx_count); + return stringf("v%d", single_idx_count++); + } + + if (sig.chunks.size() == 1) { + RTLIL::SigChunk &c = sig.chunks[0]; + if (c.wire != NULL && design->selected_member(module->name, c.wire->name)) { + if (!range_check || c.wire->width == c.width) + return stringf("n%d", id2num(c.wire->name)); + } else { + fprintf(f, "v%d [ label=\"%s\" ];\n", single_idx_count, escape(log_signal(c), true)); + return stringf("v%d", single_idx_count++); + } + } + + return std::string(); + } + + std::string gen_portbox(std::string port, RTLIL::SigSpec sig, bool driver, std::string *node = NULL) + { + std::string code; + std::string net = gen_signode_simple(sig); + if (net.empty()) + { + std::string label_string; + sig.optimize(); + int pos = sig.width-1; + int idx = single_idx_count++; + for (int i = int(sig.chunks.size())-1; i >= 0; i--) { + RTLIL::SigChunk &c = sig.chunks[i]; + net = gen_signode_simple(c, false); + assert(!net.empty()); + if (driver) { + label_string += stringf(" %d:%d - %d:%d |", i, pos, pos-c.width+1, c.offset+c.width-1, c.offset); + net_conn_map[net].in.insert(stringf("x%d:s%d", idx, i)); + net_conn_map[net].bits = c.width; + net_conn_map[net].color = nextColor(c, net_conn_map[net].color); + } else { + label_string += stringf(" %d:%d - %d:%d |", i, c.offset+c.width-1, c.offset, pos, pos-c.width+1); + net_conn_map[net].out.insert(stringf("x%d:s%d", idx, i)); + net_conn_map[net].bits = c.width; + net_conn_map[net].color = nextColor(c, net_conn_map[net].color); + } + pos -= c.width; + } + if (label_string[label_string.size()-1] == '|') + label_string = label_string.substr(0, label_string.size()-1); + code += stringf("x%d [ shape=record, style=rounded, label=\"%s\" ];\n", idx, label_string.c_str()); + if (!port.empty()) { + currentColor = xorshift32(currentColor); + if (driver) + code += stringf("%s:e -> x%d:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, %s, %s];\n", port.c_str(), idx, nextColor(sig).c_str(), widthLabel(sig.width).c_str()); + else + code += stringf("x%d:e -> %s:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, %s, %s];\n", idx, port.c_str(), nextColor(sig).c_str(), widthLabel(sig.width).c_str()); + } + if (node != NULL) + *node = stringf("x%d", idx); + } + else + { + if (!port.empty()) { + if (driver) + net_conn_map[net].in.insert(port); + else + net_conn_map[net].out.insert(port); + net_conn_map[net].bits = sig.width; + net_conn_map[net].color = nextColor(sig, net_conn_map[net].color); + } + if (node != NULL) + *node = net; + } + return code; + } + + void collect_proc_signals(std::vector &obj, std::set &signals) + { + for (auto &it : obj) + if (!it.is_fully_const()) + signals.insert(it); + } + + void collect_proc_signals(std::vector &obj, std::set &input_signals, std::set &output_signals) + { + for (auto &it : obj) { + output_signals.insert(it.first); + if (!it.second.is_fully_const()) + input_signals.insert(it.second); + } + } + + void collect_proc_signals(RTLIL::CaseRule *obj, std::set &input_signals, std::set &output_signals) + { + collect_proc_signals(obj->compare, input_signals); + collect_proc_signals(obj->actions, input_signals, output_signals); + for (auto it : obj->switches) + collect_proc_signals(it, input_signals, output_signals); + } + + void collect_proc_signals(RTLIL::SwitchRule *obj, std::set &input_signals, std::set &output_signals) + { + input_signals.insert(obj->signal); + for (auto it : obj->cases) + collect_proc_signals(it, input_signals, output_signals); + } + + void collect_proc_signals(RTLIL::SyncRule *obj, std::set &input_signals, std::set &output_signals) + { + input_signals.insert(obj->signal); + collect_proc_signals(obj->actions, input_signals, output_signals); + } + + void collect_proc_signals(RTLIL::Process *obj, std::set &input_signals, std::set &output_signals) + { + collect_proc_signals(&obj->root_case, input_signals, output_signals); + for (auto it : obj->syncs) + collect_proc_signals(it, input_signals, output_signals); + } + + void handle_module() + { + single_idx_count = 0; + dot_escape_store.clear(); + dot_id2num_store.clear(); + net_conn_map.clear(); + + fprintf(f, "digraph \"%s\" {\n", escape(module->name)); + fprintf(f, "label=\"%s\";\n", escape(module->name)); + fprintf(f, "rankdir=\"LR\";\n"); + fprintf(f, "remincross=true;\n"); + + std::set all_sources, all_sinks; + + std::map wires_on_demand; + for (auto &it : module->wires) { + if (!design->selected_member(module->name, it.first)) + continue; + const char *shape = "diamond"; + if (it.second->port_input || it.second->port_output) + shape = "octagon"; + if (it.first[0] == '\\') { + fprintf(f, "n%d [ shape=%s, label=\"%s\", %s, fontcolor=\"black\" ];\n", + id2num(it.first), shape, escape(it.first), + nextColor(RTLIL::SigSpec(it.second), "color=\"black\"").c_str()); + if (it.second->port_input) + all_sources.insert(stringf("n%d", id2num(it.first))); + else if (it.second->port_output) + all_sinks.insert(stringf("n%d", id2num(it.first))); + } else { + wires_on_demand[stringf("n%d", id2num(it.first))] = it.first; + } + } + + if (stretchIO) + { + fprintf(f, "{ rank=\"source\";"); + for (auto n : all_sources) + fprintf(f, " %s;", n.c_str()); + fprintf(f, "}\n"); + + fprintf(f, "{ rank=\"sink\";"); + for (auto n : all_sinks) + fprintf(f, " %s;", n.c_str()); + fprintf(f, "}\n"); + } + + for (auto &it : module->cells) + { + if (!design->selected_member(module->name, it.first)) + continue; + + std::vector in_ports, out_ports; + + for (auto &conn : it.second->connections) { + if (!ct.cell_output(it.second->type, conn.first)) + in_ports.push_back(conn.first); + else + out_ports.push_back(conn.first); + } + + std::string label_string = "{{"; + + for (auto &p : in_ports) + label_string += stringf(" %s|", id2num(p), escape(p)); + if (label_string[label_string.size()-1] == '|') + label_string = label_string.substr(0, label_string.size()-1); + + label_string += stringf("}|%s\\n%s|{", escape(it.first, true), escape(it.second->type)); + + for (auto &p : out_ports) + label_string += stringf(" %s|", id2num(p), escape(p)); + if (label_string[label_string.size()-1] == '|') + label_string = label_string.substr(0, label_string.size()-1); + + label_string += "}}"; + + std::string code; + for (auto &conn : it.second->connections) { + code += gen_portbox(stringf("c%d:p%d", id2num(it.first), id2num(conn.first)), + conn.second, ct.cell_output(it.second->type, conn.first)); + } + +#ifdef CLUSTER_CELLS_AND_PORTBOXES + if (!code.empty()) + fprintf(f, "subgraph cluster_c%d {\nc%d [ shape=record, label=\"%s\" ];\n%s}\n", + id2num(it.first), id2num(it.first), label_string.c_str(), code.c_str()); + else +#endif + fprintf(f, "c%d [ shape=record, label=\"%s\" ];\n%s", + id2num(it.first), label_string.c_str(), code.c_str()); + } + + for (auto &it : module->processes) + { + RTLIL::Process *proc = it.second; + + if (!design->selected_member(module->name, proc->name)) + continue; + + std::set input_signals, output_signals; + collect_proc_signals(proc, input_signals, output_signals); + + int pidx = single_idx_count++; + input_signals.erase(RTLIL::SigSpec()); + output_signals.erase(RTLIL::SigSpec()); + + for (auto &sig : input_signals) { + std::string code, node; + code += gen_portbox("", sig, false, &node); + fprintf(f, "%s", code.c_str()); + net_conn_map[node].out.insert(stringf("p%d", pidx)); + } + + for (auto &sig : output_signals) { + std::string code, node; + code += gen_portbox("", sig, true, &node); + fprintf(f, "%s", code.c_str()); + net_conn_map[node].in.insert(stringf("p%d", pidx)); + } + + fprintf(f, "p%d [shape=box, style=rounded, label=\"PROC\\n%s\"];\n", pidx, RTLIL::id2cstr(proc->name)); + } + + for (auto &conn : module->connections) + { + bool found_lhs_wire = false; + for (auto &c : conn.first.chunks) { + if (c.wire == NULL || design->selected_member(module->name, c.wire->name)) + found_lhs_wire = true; + } + bool found_rhs_wire = false; + for (auto &c : conn.second.chunks) { + if (c.wire == NULL || design->selected_member(module->name, c.wire->name)) + found_rhs_wire = true; + } + if (!found_lhs_wire || !found_rhs_wire) + continue; + + std::string code, left_node, right_node; + code += gen_portbox("", conn.second, false, &left_node); + code += gen_portbox("", conn.first, true, &right_node); + fprintf(f, "%s", code.c_str()); + + if (left_node[0] == 'x' && right_node[0] == 'x') { + currentColor = xorshift32(currentColor); + fprintf(f, "%s:e -> %s:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, %s, %s];\n", left_node.c_str(), right_node.c_str(), nextColor(conn).c_str(), widthLabel(conn.first.width).c_str()); + } else { + net_conn_map[right_node].bits = conn.first.width; + net_conn_map[right_node].color = nextColor(conn, net_conn_map[right_node].color); + net_conn_map[left_node].bits = conn.first.width; + net_conn_map[left_node].color = nextColor(conn, net_conn_map[left_node].color); + if (left_node[0] == 'x') { + net_conn_map[right_node].in.insert(left_node); + } else if (right_node[0] == 'x') { + net_conn_map[left_node].out.insert(right_node); + } else { + net_conn_map[right_node].in.insert(stringf("x%d:e", single_idx_count)); + net_conn_map[left_node].out.insert(stringf("x%d:w", single_idx_count)); + fprintf(f, "x%d [shape=box, style=rounded, label=\"BUF\"];\n", single_idx_count++); + } + } + } + + for (auto &it : net_conn_map) + { + currentColor = xorshift32(currentColor); + if (wires_on_demand.count(it.first) > 0) { + if (it.second.in.size() == 1 && it.second.out.size() > 1 && it.second.in.begin()->substr(0, 1) == "p") + it.second.out.erase(*it.second.in.begin()); + if (it.second.in.size() == 1 && it.second.out.size() == 1) { + std::string from = *it.second.in.begin(), to = *it.second.out.begin(); + if (from != to || from.substr(0, 1) != "p") + fprintf(f, "%s:e -> %s:w [%s, %s];\n", from.c_str(), to.c_str(), nextColor(it.second.color).c_str(), widthLabel(it.second.bits).c_str()); + continue; + } + if (it.second.in.size() == 0 || it.second.out.size() == 0) + fprintf(f, "%s [ shape=diamond, label=\"%s\" ];\n", it.first.c_str(), escape(wires_on_demand[it.first], true)); + else + fprintf(f, "%s [ shape=point ];\n", it.first.c_str()); + } + for (auto &it2 : it.second.in) + fprintf(f, "%s:e -> %s:w [%s, %s];\n", it2.c_str(), it.first.c_str(), nextColor(it.second.color).c_str(), widthLabel(it.second.bits).c_str()); + for (auto &it2 : it.second.out) + fprintf(f, "%s:e -> %s:w [%s, %s];\n", it.first.c_str(), it2.c_str(), nextColor(it.second.color).c_str(), widthLabel(it.second.bits).c_str()); + } + + fprintf(f, "};\n"); + } + + ShowWorker(FILE *f, RTLIL::Design *design, std::vector &libs, uint32_t colorSeed, bool genWidthLabels, bool stretchIO, + const std::vector> &color_selections, + const std::vector> &label_selections) : + f(f), design(design), currentColor(colorSeed), genWidthLabels(genWidthLabels), stretchIO(stretchIO), + color_selections(color_selections), label_selections(label_selections) + { + ct.setup_internals(); + ct.setup_internals_mem(); + ct.setup_stdcells(); + ct.setup_stdcells_mem(); + ct.setup_design(design); + + for (auto lib : libs) + ct.setup_design(lib); + + design->optimize(); + page_counter = 0; + for (auto &mod_it : design->modules) + { + module = mod_it.second; + if (!design->selected_module(module->name)) + continue; + if (design->selected_whole_module(module->name)) { + if (module->attributes.count("\\placeholder") > 0) { + log("Skipping placeholder module %s.\n", id2cstr(module->name)); + continue; + } else + if (module->cells.empty() && module->connections.empty() && module->processes.empty()) { + log("Skipping empty module %s.\n", id2cstr(module->name)); + continue; + } else + log("Dumping module %s to page %d.\n", id2cstr(module->name), ++page_counter); + } else + log("Dumping selected parts of module %s to page %d.\n", id2cstr(module->name), ++page_counter); + handle_module(); + } + } +}; + +struct ShowPass : public Pass { + ShowPass() : Pass("show", "generate schematics using graphviz") { } + virtual void help() + { + // |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---| + log("\n"); + log(" show [options] [selection]\n"); + log("\n"); + log("Create a graphviz DOT file for the selected part of the design and compile it\n"); + log("to a graphics file (usually SVG or PostScript).\n"); + log("\n"); + log(" -viewer \n"); + log(" Run the specified command with the graphics file as parameter.\n"); + log("\n"); + log(" -format \n"); + log(" Generate a graphics file in the specified format.\n"); + log(" Usually is 'svg' or 'ps'.\n"); + log("\n"); + log(" -lib \n"); + log(" Use the specified library file for determining whether cell ports are\n"); + log(" inputs or outputs. This option can be used multiple times to specify\n"); + log(" more than one library.\n"); + log("\n"); + log(" -prefix \n"); + log(" generate .dot and .ps instead of yosys-show.{dot,ps}\n"); + log("\n"); + log(" -color \n"); + log(" assign the specified color to the specified wire. The object can be\n"); + log(" a single selection wildcard expressions or a saved set of objects in\n"); + log(" the @ syntax (see \"help select\" for details).\n"); + log("\n"); + log(" -colors \n"); + log(" Randomly assign colors to the wires. The integer argument is the seed\n"); + log(" for the random number generator. Change the seed value if the colored\n"); + log(" graph still is ambigous. A seed of zero deactivates the coloring.\n"); + log("\n"); + log(" -width\n"); + log(" annotate busses with a label indicating the width of the bus.\n"); + log("\n"); + log(" -stretch\n"); + log(" stretch the graph so all inputs are on the left side and all outputs\n"); + log(" (including inout ports) are on the right side.\n"); + log("\n"); + log("When no is specified, SVG is used. When no and is\n"); + log("specified, 'yosys-svgviewer' is used to display the schematic.\n"); + log("\n"); + log("The generated output files are 'yosys-show.dot' and 'yosys-show.',\n"); + log("unless another prefix is specified using -prefix .\n"); + log("\n"); + } + virtual void execute(std::vector args, RTLIL::Design *design) + { + log_header("Generating Graphviz representation of design.\n"); + log_push(); + + std::vector> color_selections; + std::vector> label_selections; + + std::string format; + std::string viewer_exe; + std::string prefix = "yosys-show"; + std::vector libfiles; + std::vector libs; + uint32_t colorSeed = 0; + bool flag_width = false; + bool flag_stretch = false; + + size_t argidx; + for (argidx = 1; argidx < args.size(); argidx++) + { + std::string arg = args[argidx]; + if (arg == "-viewer" && argidx+1 < args.size()) { + viewer_exe = args[++argidx]; + continue; + } + if (arg == "-lib" && argidx+1 < args.size()) { + libfiles.push_back(args[++argidx]); + continue; + } + if (arg == "-prefix" && argidx+1 < args.size()) { + prefix = args[++argidx]; + continue; + } + if (arg == "-color" && argidx+2 < args.size()) { + std::pair data; + data.first = args[++argidx], argidx++; + handle_extra_select_args(this, args, argidx, argidx+1, design); + data.second = design->selection_stack.back(); + design->selection_stack.pop_back(); + color_selections.push_back(data); + continue; + } + if (arg == "-label" && argidx+2 < args.size() && false) { + std::pair data; + data.first = args[++argidx], argidx++; + handle_extra_select_args(this, args, argidx, argidx+1, design); + data.second = design->selection_stack.back(); + design->selection_stack.pop_back(); + label_selections.push_back(data); + continue; + } + if (arg == "-colors" && argidx+1 < args.size()) { + colorSeed = atoi(args[++argidx].c_str()); + continue; + } + if (arg == "-format" && argidx+1 < args.size()) { + format = args[++argidx]; + continue; + } + if (arg == "-width") { + flag_width= true; + continue; + } + if (arg == "-stretch") { + flag_stretch= true; + continue; + } + break; + } + extra_args(args, argidx, design); + + if (format != "ps") { + int modcount = 0; + for (auto &mod_it : design->modules) { + if (mod_it.second->attributes.count("\\placeholder") > 0) + continue; + if (mod_it.second->cells.empty() && mod_it.second->connections.empty()) + continue; + if (design->selected_module(mod_it.first)) + modcount++; + } + if (modcount > 1) + log_cmd_error("For formats different than 'ps' only one module must be selected.\n"); + } + + for (auto filename : libfiles) { + FILE *f = fopen(filename.c_str(), "rt"); + if (f == NULL) + log_error("Can't open lib file `%s'.\n", filename.c_str()); + RTLIL::Design *lib = new RTLIL::Design; + Frontend::frontend_call(lib, f, filename, (filename.size() > 3 && filename.substr(filename.size()-3) == ".il") ? "ilang" : "verilog"); + libs.push_back(lib); + fclose(f); + } + + if (libs.size() > 0) + log_header("Continuing show pass.\n"); + + std::string dot_file = stringf("%s.dot", prefix.c_str()); + std::string out_file = stringf("%s.%s", prefix.c_str(), format.empty() ? "svg" : format.c_str()); + + log("Writing dot description to `%s'.\n", dot_file.c_str()); + FILE *f = fopen(dot_file.c_str(), "w"); + if (f == NULL) { + for (auto lib : libs) + delete lib; + log_cmd_error("Can't open dot file `%s' for writing.\n", dot_file.c_str()); + } + ShowWorker worker(f, design, libs, colorSeed, flag_width, flag_stretch, color_selections, label_selections); + fclose(f); + + for (auto lib : libs) + delete lib; + + if (worker.page_counter == 0) + log_cmd_error("Nothing there to show.\n"); + + std::string cmd = stringf("dot -T%s -o '%s' '%s'", format.empty() ? "svg" : format.c_str(), out_file.c_str(), dot_file.c_str()); + log("Exec: %s\n", cmd.c_str()); + if (system(cmd.c_str()) != 0) + log_cmd_error("Shell command failed!\n"); + + if (!viewer_exe.empty()) { + cmd = stringf("%s '%s' &", viewer_exe.c_str(), out_file.c_str()); + log("Exec: %s\n", cmd.c_str()); + if (system(cmd.c_str()) != 0) + log_cmd_error("Shell command failed!\n"); + } else + if (format.empty()) { + cmd = stringf("fuser -s '%s' || yosys-svgviewer '%s' &", out_file.c_str(), out_file.c_str()); + log("Exec: %s\n", cmd.c_str()); + if (system(cmd.c_str()) != 0) + log_cmd_error("Shell command failed!\n"); + } + + log_pop(); + } +} ShowPass; +