place_common: Fix illegal cells left after relative constraint legalisation

Signed-off-by: David Shah <davey1576@gmail.com>

1 files changed, 12 insertions, 0 deletions

diff --git a/common/place_common.cc b/common/place_common.cc
index 6e513aef..fe9cf03d 100644
--- a/common/place_common.cc
+++ b/common/place_common.cc
@@ -375,6 +375,18 @@ class ConstraintLegaliseWorker
                         ctx->bindBel(target, ctx->cells.at(cp.first).get(), STRENGTH_LOCKED);
                         rippedCells.erase(cp.first);
                     }
+                    for (auto cp : solution) {
+                        for (auto bel : ctx->getBelsByTile(cp.second.x, cp.second.y)) {
+                            CellInfo *belCell = ctx->getBoundBelCell(bel);
+                            if (belCell != nullptr && !solution.count(belCell->name)) {
+                                if (!ctx->isValidBelForCell(belCell, bel)) {
+                                    NPNR_ASSERT(belCell->belStrength < STRENGTH_STRONG);
+                                    ctx->unbindBel(bel);
+                                    rippedCells.insert(belCell->name);
+                                }
+                            }
+                        }
+                    }
                     NPNR_ASSERT(constraints_satisfied(cell));
                     return true;
                 }