connect: Do interpret selection arguments

Instead of silently ignoring what would ordinarily be the selection
arguments to a pass, interpret those and mark the support in the help
message.
This commit is contained in:
Martin Povišer 2024-02-01 10:28:36 +01:00
parent bbb8ad5997
commit a84fa0a277
1 changed files with 15 additions and 14 deletions

View File

@ -47,7 +47,7 @@ struct ConnectPass : public Pass {
{ {
// |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---| // |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|
log("\n"); log("\n");
log(" connect [-nomap] [-nounset] -set <lhs-expr> <rhs-expr>\n"); log(" connect [-nomap] [-nounset] -set <lhs-expr> <rhs-expr> [selection]\n");
log("\n"); log("\n");
log("Create a connection. This is equivalent to adding the statement 'assign\n"); log("Create a connection. This is equivalent to adding the statement 'assign\n");
log("<lhs-expr> = <rhs-expr>;' to the Verilog input. Per default, all existing\n"); log("<lhs-expr> = <rhs-expr>;' to the Verilog input. Per default, all existing\n");
@ -55,12 +55,12 @@ struct ConnectPass : public Pass {
log("the -nounset option.\n"); log("the -nounset option.\n");
log("\n"); log("\n");
log("\n"); log("\n");
log(" connect [-nomap] -unset <expr>\n"); log(" connect [-nomap] -unset <expr> [selection]\n");
log("\n"); log("\n");
log("Unconnect all existing drivers for the specified expression.\n"); log("Unconnect all existing drivers for the specified expression.\n");
log("\n"); log("\n");
log("\n"); log("\n");
log(" connect [-nomap] [-assert] -port <cell> <port> <expr>\n"); log(" connect [-nomap] [-assert] -port <cell> <port> <expr> [selection]\n");
log("\n"); log("\n");
log("Connect the specified cell port to the specified cell port.\n"); log("Connect the specified cell port to the specified cell port.\n");
log("\n"); log("\n");
@ -80,17 +80,6 @@ struct ConnectPass : public Pass {
} }
void execute(std::vector<std::string> args, RTLIL::Design *design) override void execute(std::vector<std::string> args, RTLIL::Design *design) override
{ {
RTLIL::Module *module = nullptr;
for (auto mod : design->selected_modules()) {
if (module != nullptr)
log_cmd_error("Multiple modules selected: %s, %s\n", log_id(module->name), log_id(mod->name));
module = mod;
}
if (module == nullptr)
log_cmd_error("No modules selected.\n");
if (!module->processes.empty())
log_cmd_error("Found processes in selected module.\n");
bool flag_nounset = false, flag_nomap = false, flag_assert = false; bool flag_nounset = false, flag_nomap = false, flag_assert = false;
std::string set_lhs, set_rhs, unset_expr; std::string set_lhs, set_rhs, unset_expr;
std::string port_cell, port_port, port_expr; std::string port_cell, port_port, port_expr;
@ -128,6 +117,18 @@ struct ConnectPass : public Pass {
} }
break; break;
} }
extra_args(args, argidx, design);
RTLIL::Module *module = nullptr;
for (auto mod : design->selected_modules()) {
if (module != nullptr)
log_cmd_error("Multiple modules selected: %s, %s\n", log_id(module->name), log_id(mod->name));
module = mod;
}
if (module == nullptr)
log_cmd_error("No modules selected.\n");
if (!module->processes.empty())
log_cmd_error("Found processes in selected module.\n");
SigMap sigmap; SigMap sigmap;
if (!flag_nomap) if (!flag_nomap)