mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-05-25 19:36:21 +00:00
Code Activity

Resolve sig bugfix.

Browse source
This commit is contained in:
nella 2026-05-06 12:24:57 +02:00
parent 404be73579
commit ef31e84116
1 changed files with 14 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

16
passes/hierarchy/util/ports.cc
View file

@ -29,7 +29,8 @@ namespace Hierarchy {
INPUT,
OUTPUT,
INOUT,
DRIVEN
DRIVEN,
CONFLICT
};
static void build_driven_signals_index(Module *module, SigMap &sigmap, SigPool &driven_signals) {
@ -62,6 +63,7 @@ namespace Hierarchy {
for (auto &chunk : sig.chunks()) {
if (chunk.is_wire()) {
Wire *w = chunk.wire;
if (w->port_input && w->port_output) {
has_input = true;
has_output = true;
@ -71,19 +73,26 @@ namespace Hierarchy {
has_output = true;
} else {
SigSpec chunk_sig = sigmap(SigSpec(chunk));
if (driven_signals.check_any(chunk_sig)) {
has_driven = true;
} else {
has_unknown = true;
}
}
} else {
has_driven = true;
}
}
if (has_input && has_driven)
return SigDirection::CONFLICT;
if (has_input && has_output)
return SigDirection::INOUT;
if (has_output || has_driven)
if (has_output)
return SigDirection::OUTPUT;
if (has_driven)
return SigDirection::DRIVEN;
if (has_input)
return SigDirection::INPUT;
if (has_unknown)
@ -198,6 +207,9 @@ namespace Hierarchy {
SigDirection dir_a = get_signal_direction(sig_a, sigmap, driven_signals);
SigDirection dir_b = get_signal_direction(sig_b, sigmap, driven_signals);
if (dir_a == SigDirection::CONFLICT || dir_b == SigDirection::CONFLICT)
continue;
SigSpec driver, driven;
bool can_resolve = false;