Actually, there might not be any harm in updating sigmap...

diff --git a/passes/techmap/shregmap.cc b/passes/techmap/shregmap.cc
index f308292fabba606195d3680299c3ed31b6279ffb..9da69e8ba470a2d20c42d037ca53f432e1401c91 100644 (file)
--- a/passes/techmap/shregmap.cc
+++ b/passes/techmap/shregmap.cc
@@ -151,11 +151,9 @@ struct ShregmapWorker
                                                // so that it can be identified as another chain
                                                // (omitting this common flop)
                                                // Link: https://github.com/YosysHQ/yosys/pull/1085
-                                               // NB: This relies on us not updating sigmap with this
-                                               //     alias otherwise it would think they are the same
-                                               //     wire
                                                Wire *wire = module->addWire(NEW_ID);
                                                module->connect(wire, d_bit);
+                                               sigmap.add(wire, d_bit);
                                                sigbit_chain_next.insert(std::make_pair(wire, cell));
                                        }