From 7e9209878c81730e6374ff555ea2c52f8d20a0ee Mon Sep 17 00:00:00 2001
From: David Shah <davey1576@gmail.com>
Date: Fri, 3 Aug 2018 15:00:32 +0200
Subject: Reworking packer and placer to use new generic rel legaliser

Signed-off-by: David Shah <davey1576@gmail.com>
---
 common/place_common.cc |  6 ++++++
 common/placer1.cc      | 17 ++++++++---------
 2 files changed, 14 insertions(+), 9 deletions(-)

(limited to 'common')

diff --git a/common/place_common.cc b/common/place_common.cc
index b02904ec..0b7a0352 100644
--- a/common/place_common.cc
+++ b/common/place_common.cc
@@ -189,9 +189,15 @@ class ConstraintLegaliseWorker
                 diameter = 1;
             } else if (sign == -1) {
                 sign = 1;
+                if ((start + sign * diameter) > max)
+                    sign = -1;
                 ++diameter;
             } else {
                 sign = -1;
+                if ((start + sign * diameter) > max) {
+                    sign = 1;
+                    ++diameter;
+                }
             }
         }
 
diff --git a/common/placer1.cc b/common/placer1.cc
index 3a25f42c..d3665eb6 100644
--- a/common/placer1.cc
+++ b/common/placer1.cc
@@ -224,7 +224,7 @@ class SAPlacer
             // Once cooled below legalise threshold, run legalisation and start requiring
             // legal moves only
             if (temp < legalise_temp && !require_legal) {
-                // legalise_design(ctx);
+                legalise_relative_constraints(ctx);
                 // FIXME
                 require_legal = true;
                 autoplaced.clear();
@@ -294,7 +294,7 @@ class SAPlacer
             }
             BelType targetType = ctx->belTypeFromId(cell->type);
             for (auto bel : ctx->getBels()) {
-                if (ctx->getBelType(bel) == targetType && (ctx->isValidBelForCell(cell, bel) || !require_legal)) {
+                if (ctx->getBelType(bel) == targetType && ctx->isValidBelForCell(cell, bel)) {
                     if (ctx->checkBelAvail(bel)) {
                         uint64_t score = ctx->rng64();
                         if (score <= best_score) {
@@ -364,15 +364,14 @@ class SAPlacer
         if (other != IdString()) {
             ctx->bindBel(oldBel, other_cell->name, STRENGTH_WEAK);
         }
-        if (require_legal) {
-            if (!ctx->isBelLocationValid(newBel) || ((other != IdString() && !ctx->isBelLocationValid(oldBel)))) {
-                ctx->unbindBel(newBel);
-                if (other != IdString())
-                    ctx->unbindBel(oldBel);
-                goto swap_fail;
-            }
+        if (!ctx->isBelLocationValid(newBel) || ((other != IdString() && !ctx->isBelLocationValid(oldBel)))) {
+            ctx->unbindBel(newBel);
+            if (other != IdString())
+                ctx->unbindBel(oldBel);
+            goto swap_fail;
         }
 
+
         new_metric = curr_metric;
 
         // Recalculate metrics for all nets touched by the peturbation
-- 
cgit v1.2.3