mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-07 09:55:20 +00:00
Handle sliced bits as clock inputs (fixes #2542)
This commit is contained in:
parent
01626e6746
commit
86607d0fdc
|
@ -601,6 +601,13 @@ struct WireType {
|
||||||
bool is_exact() const { return type == ALIAS || type == CONST; }
|
bool is_exact() const { return type == ALIAS || type == CONST; }
|
||||||
};
|
};
|
||||||
|
|
||||||
|
// Tests for a SigSpec that is backed by a specific slice of a wire, this is used
|
||||||
|
// instead of .is_wire() on clocks because they can be only a portion of an underlying
|
||||||
|
// wire
|
||||||
|
bool is_wire_slice(const RTLIL::SigSpec& sig) {
|
||||||
|
return sig.is_chunk() && sig.chunks()[0].wire;
|
||||||
|
}
|
||||||
|
|
||||||
struct CxxrtlWorker {
|
struct CxxrtlWorker {
|
||||||
bool split_intf = false;
|
bool split_intf = false;
|
||||||
std::string intf_filename;
|
std::string intf_filename;
|
||||||
|
@ -1110,7 +1117,8 @@ struct CxxrtlWorker {
|
||||||
// Flip-flops
|
// Flip-flops
|
||||||
} else if (is_ff_cell(cell->type)) {
|
} else if (is_ff_cell(cell->type)) {
|
||||||
log_assert(!for_debug);
|
log_assert(!for_debug);
|
||||||
if (cell->hasPort(ID::CLK) && cell->getPort(ID::CLK).is_wire()) {
|
// Clocks might be slices of larger signals but should only ever be single bit
|
||||||
|
if (cell->hasPort(ID::CLK) && is_wire_slice(cell->getPort(ID::CLK))) {
|
||||||
// Edge-sensitive logic
|
// Edge-sensitive logic
|
||||||
RTLIL::SigBit clk_bit = cell->getPort(ID::CLK)[0];
|
RTLIL::SigBit clk_bit = cell->getPort(ID::CLK)[0];
|
||||||
clk_bit = sigmaps[clk_bit.wire->module](clk_bit);
|
clk_bit = sigmaps[clk_bit.wire->module](clk_bit);
|
||||||
|
@ -2372,7 +2380,7 @@ struct CxxrtlWorker {
|
||||||
if (cell->type == ID($memwr))
|
if (cell->type == ID($memwr))
|
||||||
writable_memories.insert(module->memories[cell->getParam(ID::MEMID).decode_string()]);
|
writable_memories.insert(module->memories[cell->getParam(ID::MEMID).decode_string()]);
|
||||||
// Collect groups of memory write ports in the same domain.
|
// Collect groups of memory write ports in the same domain.
|
||||||
if (cell->type == ID($memwr) && cell->getParam(ID::CLK_ENABLE).as_bool() && cell->getPort(ID::CLK).is_wire()) {
|
if (cell->type == ID($memwr) && cell->getParam(ID::CLK_ENABLE).as_bool() && is_wire_slice(cell->getPort(ID::CLK))) {
|
||||||
RTLIL::SigBit clk_bit = sigmap(cell->getPort(ID::CLK))[0];
|
RTLIL::SigBit clk_bit = sigmap(cell->getPort(ID::CLK))[0];
|
||||||
const RTLIL::Memory *memory = module->memories[cell->getParam(ID::MEMID).decode_string()];
|
const RTLIL::Memory *memory = module->memories[cell->getParam(ID::MEMID).decode_string()];
|
||||||
memwr_per_domain[{clk_bit, memory}].insert(cell);
|
memwr_per_domain[{clk_bit, memory}].insert(cell);
|
||||||
|
@ -2384,7 +2392,7 @@ struct CxxrtlWorker {
|
||||||
}
|
}
|
||||||
for (auto cell : module->cells()) {
|
for (auto cell : module->cells()) {
|
||||||
// Collect groups of memory write ports read by every transparent read port.
|
// Collect groups of memory write ports read by every transparent read port.
|
||||||
if (cell->type == ID($memrd) && cell->getParam(ID::CLK_ENABLE).as_bool() && cell->getPort(ID::CLK).is_wire() &&
|
if (cell->type == ID($memrd) && cell->getParam(ID::CLK_ENABLE).as_bool() && is_wire_slice(cell->getPort(ID::CLK)) &&
|
||||||
cell->getParam(ID::TRANSPARENT).as_bool()) {
|
cell->getParam(ID::TRANSPARENT).as_bool()) {
|
||||||
RTLIL::SigBit clk_bit = sigmap(cell->getPort(ID::CLK))[0];
|
RTLIL::SigBit clk_bit = sigmap(cell->getPort(ID::CLK))[0];
|
||||||
const RTLIL::Memory *memory = module->memories[cell->getParam(ID::MEMID).decode_string()];
|
const RTLIL::Memory *memory = module->memories[cell->getParam(ID::MEMID).decode_string()];
|
||||||
|
|
Loading…
Reference in a new issue