mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-13 04:28:18 +00:00
Code Activity

flowmap: when doing mincut, ensure source is always in X, not X̅.

Browse source 
Fixes #1475.
This commit is contained in:
whitequark 2019-11-12 00:15:43 +00:00
parent eef32195bd
commit c68722818a
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
passes/techmap/flowmap.cc
View file

@ -394,7 +394,7 @@ struct FlowGraph
pair<pool<RTLIL::SigBit>, pool<RTLIL::SigBit>> edge_cut() pair<pool<RTLIL::SigBit>, pool<RTLIL::SigBit>> edge_cut()
{ {
pool<RTLIL::SigBit> x, xi; pool<RTLIL::SigBit> x = {source}, xi; // X and X̅ in the paper
NodePrime source_prime = {source, true}; NodePrime source_prime = {source, true};
pool<NodePrime> visited; pool<NodePrime> visited;
@ -437,6 +437,7 @@ struct FlowGraph
for (auto collapsed_node : collapsed[sink]) for (auto collapsed_node : collapsed[sink])
xi.insert(collapsed_node); xi.insert(collapsed_node);
log_assert(x[source] && !xi[source]);
log_assert(!x[sink] && xi[sink]); log_assert(!x[sink] && xi[sink]);
return {x, xi}; return {x, xi};
} }