Merge branch 'redist_slack' into 'redist_slack'

Redist slack

See merge request eddiehung/nextpnr!12

1 files changed, 4 insertions, 4 deletions

diff --git a/common/timing.cc b/common/timing.cc
index afaddbdf..f720b772 100644
--- a/common/timing.cc
+++ b/common/timing.cc
@@ -160,10 +160,10 @@ void assign_budget(Context *ctx)
         for (size_t i = 0; i < net.second->users.size(); ++i) {
             auto &user = net.second->users[i];
             auto pi = &user.cell->ports.at(user.port);
+            auto budget = ctx->getNetinfoRouteDelay(net.second.get(), i);
             auto it = updates.find(pi);
-            if (it == updates.end())
-                continue;
-            auto budget = ctx->getNetinfoRouteDelay(net.second.get(), i) - it->second;
+            if (it != updates.end())
+                budget += it->second;
             user.budget = ctx->getBudgetOverride(net.second.get(), i, budget);
 
             // Post-update check
@@ -196,7 +196,7 @@ void update_budget(Context *ctx)
             auto budget = ctx->getNetinfoRouteDelay(net.second.get(), i);
             auto it = updates.find(pi);
             if (it != updates.end())
-                budget -= it->second;
+                budget += it->second;
             user.budget = ctx->getBudgetOverride(net.second.get(), i, budget);
 
             // Post-update check