From 7d84aefb7f22a615b4cce0edfec530109bda65ba Mon Sep 17 00:00:00 2001
From: Lofty <dan.ravensloft@gmail.com>
Date: Mon, 13 Jan 2025 16:20:06 +0000
Subject: [PATCH] debug print if route found with wrong polarity

---
 common/route/router2.cc | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/common/route/router2.cc b/common/route/router2.cc
index a00c74fd..03663658 100644
--- a/common/route/router2.cc
+++ b/common/route/router2.cc
@@ -734,6 +734,9 @@ struct Router2
                         midpoint_inversion = curr.inverted;
                         break;
                     }
+                    if (was_visited_bwd(curr.wire, std::numeric_limits<float>::max(), !curr.inverted)) {
+                        ROUTE_LOG_DBG("fwd: met bwd with wrong polarity\n");
+                    }
                     auto &curr_data = flat_wires.at(curr.wire);
                     for (PipId dh : ctx->getPipsDownhill(curr_data.w)) {
                         // Skip pips outside of box in bounding-box mode
@@ -781,6 +784,9 @@ struct Router2
                         midpoint_inversion = curr.inverted;
                         break;
                     }
+                    if (was_visited_fwd(curr.wire, std::numeric_limits<float>::max(), !curr.inverted)) {
+                        ROUTE_LOG_DBG("bwd: met fwd with wrong polarity\n");
+                    }
                     // Don't allow the same wire to be bound to the same net with a different driving pip
                     PipId bound_pip;
                     auto fnd_wire = nd.wires.find(curr_data.w);