| /* |
| * yosys -- Yosys Open SYnthesis Suite |
| * |
| * Copyright (C) 2012 Clifford Wolf <clifford@clifford.at> |
| * |
| * 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/rtlil.h" |
| #include "kernel/log.h" |
| |
| USING_YOSYS_NAMESPACE |
| PRIVATE_NAMESPACE_BEGIN |
| |
| struct SplitnetsWorker |
| { |
| std::map<RTLIL::Wire*, std::vector<RTLIL::SigBit>> splitmap; |
| |
| void append_wire(RTLIL::Module *module, RTLIL::Wire *wire, int offset, int width, std::string format) |
| { |
| std::string new_wire_name = wire->name.str(); |
| |
| if (format.size() > 0) |
| new_wire_name += format.substr(0, 1); |
| |
| if (width > 1) { |
| if (wire->upto) |
| new_wire_name += stringf("%d", wire->start_offset+wire->width-(offset+width)-1); |
| else |
| new_wire_name += stringf("%d", wire->start_offset+offset+width-1); |
| if (format.size() > 2) |
| new_wire_name += format.substr(2, 1); |
| else |
| new_wire_name += ":"; |
| } |
| |
| if (wire->upto) |
| new_wire_name += stringf("%d", wire->start_offset+wire->width-offset-1); |
| else |
| new_wire_name += stringf("%d", wire->start_offset+offset); |
| |
| if (format.size() > 1) |
| new_wire_name += format.substr(1, 1); |
| |
| RTLIL::Wire *new_wire = module->addWire(module->uniquify(new_wire_name), width); |
| new_wire->port_id = wire->port_id ? wire->port_id + offset : 0; |
| new_wire->port_input = wire->port_input; |
| new_wire->port_output = wire->port_output; |
| |
| if (wire->attributes.count("\\src")) |
| new_wire->attributes["\\src"] = wire->attributes.at("\\src"); |
| |
| if (wire->attributes.count("\\keep")) |
| new_wire->attributes["\\keep"] = wire->attributes.at("\\keep"); |
| |
| if (wire->attributes.count("\\init")) { |
| Const old_init = wire->attributes.at("\\init"), new_init; |
| for (int i = offset; i < offset+width; i++) |
| new_init.bits.push_back(i < GetSize(old_init) ? old_init.bits.at(i) : State::Sx); |
| new_wire->attributes["\\init"] = new_init; |
| } |
| |
| std::vector<RTLIL::SigBit> sigvec = RTLIL::SigSpec(new_wire).to_sigbit_vector(); |
| splitmap[wire].insert(splitmap[wire].end(), sigvec.begin(), sigvec.end()); |
| } |
| |
| void operator()(RTLIL::SigSpec &sig) |
| { |
| for (auto &bit : sig) |
| if (splitmap.count(bit.wire) > 0) |
| bit = splitmap.at(bit.wire).at(bit.offset); |
| } |
| }; |
| |
| struct SplitnetsPass : public Pass { |
| SplitnetsPass() : Pass("splitnets", "split up multi-bit nets") { } |
| void help() YS_OVERRIDE |
| { |
| // |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---| |
| log("\n"); |
| log(" splitnets [options] [selection]\n"); |
| log("\n"); |
| log("This command splits multi-bit nets into single-bit nets.\n"); |
| log("\n"); |
| log(" -format char1[char2[char3]]\n"); |
| log(" the first char is inserted between the net name and the bit index, the\n"); |
| log(" second char is appended to the netname. e.g. -format () creates net\n"); |
| log(" names like 'mysignal(42)'. the 3rd character is the range separation\n"); |
| log(" character when creating multi-bit wires. the default is '[]:'.\n"); |
| log("\n"); |
| log(" -ports\n"); |
| log(" also split module ports. per default only internal signals are split.\n"); |
| log("\n"); |
| log(" -driver\n"); |
| log(" don't blindly split nets in individual bits. instead look at the driver\n"); |
| log(" and split nets so that no driver drives only part of a net.\n"); |
| log("\n"); |
| } |
| void execute(std::vector<std::string> args, RTLIL::Design *design) YS_OVERRIDE |
| { |
| bool flag_ports = false; |
| bool flag_driver = false; |
| std::string format = "[]:"; |
| |
| log_header(design, "Executing SPLITNETS pass (splitting up multi-bit signals).\n"); |
| |
| size_t argidx; |
| for (argidx = 1; argidx < args.size(); argidx++) |
| { |
| if (args[argidx] == "-format" && argidx+1 < args.size()) { |
| format = args[++argidx]; |
| continue; |
| } |
| if (args[argidx] == "-ports") { |
| flag_ports = true; |
| continue; |
| } |
| if (args[argidx] == "-driver") { |
| flag_driver = true; |
| continue; |
| } |
| break; |
| } |
| extra_args(args, argidx, design); |
| |
| // module_ports_db[module_name][old_port_name] = new_port_name_list |
| dict<IdString, dict<IdString, vector<IdString>>> module_ports_db; |
| |
| for (auto module : design->selected_modules()) |
| { |
| SplitnetsWorker worker; |
| |
| if (flag_ports) |
| { |
| int normalized_port_factor = 0; |
| |
| for (auto wire : module->wires()) |
| if (wire->port_id != 0) { |
| normalized_port_factor = max(normalized_port_factor, wire->port_id+1); |
| normalized_port_factor = max(normalized_port_factor, GetSize(wire)+1); |
| } |
| |
| for (auto wire : module->wires()) |
| wire->port_id *= normalized_port_factor; |
| } |
| |
| if (flag_driver) |
| { |
| CellTypes ct(design); |
| |
| std::map<RTLIL::Wire*, std::set<int>> split_wires_at; |
| |
| for (auto &c : module->cells_) |
| for (auto &p : c.second->connections()) |
| { |
| if (!ct.cell_known(c.second->type)) |
| continue; |
| if (!ct.cell_output(c.second->type, p.first)) |
| continue; |
| |
| RTLIL::SigSpec sig = p.second; |
| for (auto &chunk : sig.chunks()) { |
| if (chunk.wire == NULL) |
| continue; |
| if (chunk.wire->port_id == 0 || flag_ports) { |
| if (chunk.offset != 0) |
| split_wires_at[chunk.wire].insert(chunk.offset); |
| if (chunk.offset + chunk.width < chunk.wire->width) |
| split_wires_at[chunk.wire].insert(chunk.offset + chunk.width); |
| } |
| } |
| } |
| |
| for (auto &it : split_wires_at) { |
| int cursor = 0; |
| for (int next_cursor : it.second) { |
| worker.append_wire(module, it.first, cursor, next_cursor - cursor, format); |
| cursor = next_cursor; |
| } |
| worker.append_wire(module, it.first, cursor, it.first->width - cursor, format); |
| } |
| } |
| else |
| { |
| for (auto &w : module->wires_) { |
| RTLIL::Wire *wire = w.second; |
| if (wire->width > 1 && (wire->port_id == 0 || flag_ports) && design->selected(module, w.second)) |
| worker.splitmap[wire] = std::vector<RTLIL::SigBit>(); |
| } |
| |
| for (auto &it : worker.splitmap) |
| for (int i = 0; i < it.first->width; i++) |
| worker.append_wire(module, it.first, i, 1, format); |
| } |
| |
| module->rewrite_sigspecs(worker); |
| |
| if (flag_ports) |
| { |
| for (auto wire : module->wires()) |
| { |
| if (wire->port_id == 0) |
| continue; |
| |
| SigSpec sig(wire); |
| worker(sig); |
| |
| if (sig == wire) |
| continue; |
| |
| vector<IdString> &new_ports = module_ports_db[module->name][wire->name]; |
| |
| for (SigSpec c : sig.chunks()) |
| new_ports.push_back(c.as_wire()->name); |
| } |
| } |
| |
| pool<RTLIL::Wire*> delete_wires; |
| for (auto &it : worker.splitmap) |
| delete_wires.insert(it.first); |
| module->remove(delete_wires); |
| |
| if (flag_ports) |
| module->fixup_ports(); |
| } |
| |
| if (!module_ports_db.empty()) |
| { |
| for (auto module : design->modules()) |
| for (auto cell : module->cells()) |
| { |
| if (module_ports_db.count(cell->type) == 0) |
| continue; |
| |
| for (auto &it : module_ports_db.at(cell->type)) |
| { |
| IdString port_id = it.first; |
| const auto &new_port_ids = it.second; |
| |
| if (!cell->hasPort(port_id)) |
| continue; |
| |
| int offset = 0; |
| SigSpec sig = cell->getPort(port_id); |
| |
| for (auto nid : new_port_ids) |
| { |
| int nlen = GetSize(design->module(cell->type)->wire(nid)); |
| if (offset + nlen > GetSize(sig)) |
| nlen = GetSize(sig) - offset; |
| if (nlen > 0) |
| cell->setPort(nid, sig.extract(offset, nlen)); |
| offset += nlen; |
| } |
| |
| cell->unsetPort(port_id); |
| } |
| } |
| } |
| } |
| } SplitnetsPass; |
| |
| PRIVATE_NAMESPACE_END |