Refactor: remove PlacementValidityChecker and move methods to Arch

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

14 files changed, 107 insertions, 210 deletions

diff --git a/common/place_sa.cc b/common/place_sa.cc
index a12e409b..55496f07 100644
--- a/common/place_sa.cc
+++ b/common/place_sa.cc
@@ -36,7 +36,6 @@
 #include <stdlib.h>
 #include <string.h>
 #include <vector>
-#include "arch_place.h"
 #include "log.h"
 
 NEXTPNR_NAMESPACE_BEGIN
@@ -48,7 +47,6 @@ class SAPlacer
   public:
     SAPlacer(Context *ctx, bool timing_driven) : ctx(ctx), timing_driven(timing_driven)
     {
-        checker = new PlaceValidityChecker(ctx);
         int num_bel_types = 0;
         for (auto bel : ctx->getBels()) {
             int x, y;
@@ -222,7 +220,7 @@ class SAPlacer
         // Final post-pacement validitiy check
         for (auto bel : ctx->getBels()) {
             IdString cell = ctx->getBoundBelCell(bel);
-            if (!checker->isBelLocationValid(bel)) {
+            if (!ctx->isBelLocationValid(bel)) {
                 std::string cell_text = "no cell";
                 if (cell != IdString())
                     cell_text = std::string("cell '") + cell.str(ctx) + "'";
@@ -257,7 +255,7 @@ class SAPlacer
             }
             BelType targetType = ctx->belTypeFromId(cell->type);
             for (auto bel : ctx->getBels()) {
-                if (ctx->getBelType(bel) == targetType && checker->isValidBelForCell(cell, bel)) {
+                if (ctx->getBelType(bel) == targetType && ctx->isValidBelForCell(cell, bel)) {
                     if (ctx->checkBelAvail(bel)) {
                         uint64_t score = ctx->rng64();
                         if (score <= best_score) {
@@ -376,7 +374,7 @@ class SAPlacer
             ctx->bindBel(oldBel, other_cell->name, STRENGTH_WEAK);
         }
 
-        if (!checker->isBelLocationValid(newBel) || ((other != IdString() && !checker->isBelLocationValid(oldBel)))) {
+        if (!ctx->isBelLocationValid(newBel) || ((other != IdString() && !ctx->isBelLocationValid(oldBel)))) {
             ctx->unbindBel(newBel);
             if (other != IdString())
                 ctx->unbindBel(oldBel);
@@ -457,7 +455,6 @@ class SAPlacer
     std::unordered_map<BelType, int> bel_types;
     std::vector<std::vector<std::vector<std::vector<BelId>>>> fast_bels;
     std::unordered_set<BelId> locked_bels;
-    PlaceValidityChecker *checker;
 };
 
 bool place_design_sa(Context *ctx, bool timing_driven)
diff --git a/common/rulecheck.cc b/common/rulecheck.cc
index 9b1ee7fe..c27d33ea 100644
--- a/common/rulecheck.cc
+++ b/common/rulecheck.cc
@@ -15,8 +15,7 @@ bool check_all_nets_driven(Context *ctx)
         CellInfo *cell = cell_entry.second;
 
         if (debug)
-            log_info("  Examining cell \'%s\', of type \'%s\'\n",
-                     cell->name.c_str(ctx), cell->type.c_str(ctx));
+            log_info("  Examining cell \'%s\', of type \'%s\'\n", cell->name.c_str(ctx), cell->type.c_str(ctx));
         for (auto port_entry : cell->ports) {
             PortInfo &port = port_entry.second;
 
@@ -29,14 +28,12 @@ bool check_all_nets_driven(Context *ctx)
 
             if (port.net == NULL) {
                 if (debug)
-                    log_warning(
-                            "    Port \'%s\' in cell \'%s\' is unconnected\n",
-                            port.name.c_str(ctx), cell->name.c_str(ctx));
+                    log_warning("    Port \'%s\' in cell \'%s\' is unconnected\n", port.name.c_str(ctx),
+                                cell->name.c_str(ctx));
             } else {
                 assert(port.net);
                 if (debug)
-                    log_info("    Checking for a net named \'%s\'\n",
-                             port.net->name.c_str(ctx));
+                    log_info("    Checking for a net named \'%s\'\n", port.net->name.c_str(ctx));
                 assert(ctx->nets.count(port.net->name) > 0);
             }
         }
@@ -46,23 +43,19 @@ bool check_all_nets_driven(Context *ctx)
         NetInfo *net = net_entry.second;
 
         assert(net->name == net_entry.first);
-        if ((net->driver.cell != NULL) &&
-            (net->driver.cell->type != ctx->id("GND")) &&
+        if ((net->driver.cell != NULL) && (net->driver.cell->type != ctx->id("GND")) &&
             (net->driver.cell->type != ctx->id("VCC"))) {
 
             if (debug)
-                log_info("    Checking for a driver cell named \'%s\'\n",
-                         net->driver.cell->name.c_str(ctx));
+                log_info("    Checking for a driver cell named \'%s\'\n", net->driver.cell->name.c_str(ctx));
             assert(ctx->cells.count(net->driver.cell->name) > 0);
         }
 
         for (auto user : net->users) {
-            if ((user.cell != NULL) && (user.cell->type != ctx->id("GND")) &&
-                (user.cell->type != ctx->id("VCC"))) {
+            if ((user.cell != NULL) && (user.cell->type != ctx->id("GND")) && (user.cell->type != ctx->id("VCC"))) {
 
                 if (debug)
-                    log_info("    Checking for a user   cell named \'%s\'\n",
-                             user.cell->name.c_str(ctx));
+                    log_info("    Checking for a user   cell named \'%s\'\n", user.cell->name.c_str(ctx));
                 assert(ctx->cells.count(user.cell->name) > 0);
             }
         }
diff --git a/dummy/arch.cc b/dummy/arch.cc
index afd1d638..9d29921c 100644
--- a/dummy/arch.cc
+++ b/dummy/arch.cc
@@ -190,4 +190,7 @@ IdString Arch::getPortClock(const CellInfo *cell, IdString port) const { return
 
 bool Arch::isClockPort(const CellInfo *cell, IdString port) const { return false; }
 
+bool Arch::isValidBelForCell(CellInfo *cell, BelId bel) const { return true; }
+bool Arch::isBelLocationValid(BelId bel) const { return true; }
+
 NEXTPNR_NAMESPACE_END
diff --git a/dummy/arch.h b/dummy/arch.h
index 58636ed9..f1fbcec8 100644
--- a/dummy/arch.h
+++ b/dummy/arch.h
@@ -150,6 +150,9 @@ struct Arch : BaseCtx
     bool getCellDelay(const CellInfo *cell, IdString fromPort, IdString toPort, delay_t &delay) const;
     IdString getPortClock(const CellInfo *cell, IdString port) const;
     bool isClockPort(const CellInfo *cell, IdString port) const;
+
+    bool isValidBelForCell(CellInfo *cell, BelId bel) const;
+    bool isBelLocationValid(BelId bel) const;
 };
 
 NEXTPNR_NAMESPACE_END
diff --git a/dummy/arch_place.cc b/dummy/arch_place.cc
deleted file mode 100644
index b57204bc..00000000
--- a/dummy/arch_place.cc
+++ /dev/null
@@ -1,30 +0,0 @@
-/*
- *  nextpnr -- Next Generation Place and Route
- *
- *  Copyright (C) 2018  Clifford Wolf <clifford@symbioticeda.com>
- *
- *  Permission to use, copy, modify, and/or distribute this software for any
- *  purpose with or without fee is hereby granted, provided that the above
- *  copyright notice and this permission notice appear in all copies.
- *
- *  THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
- *  WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
- *  MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
- *  ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
- *  WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
- *  ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
- *  OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
- *
- */
-
-#include "arch_place.h"
-
-NEXTPNR_NAMESPACE_BEGIN
-
-PlaceValidityChecker::PlaceValidityChecker(Context *ctx) {}
-
-bool PlaceValidityChecker::isValidBelForCell(CellInfo *cell, BelId bel) { return true; }
-
-bool PlaceValidityChecker::isBelLocationValid(BelId bel) { return true; }
-
-NEXTPNR_NAMESPACE_END
diff --git a/dummy/arch_place.h b/dummy/arch_place.h
deleted file mode 100644
index 213472d9..00000000
--- a/dummy/arch_place.h
+++ /dev/null
@@ -1,45 +0,0 @@
-/*
- *  nextpnr -- Next Generation Place and Route
- *
- *  Copyright (C) 2018  Clifford Wolf <clifford@symbioticeda.com>
- *
- *  Permission to use, copy, modify, and/or distribute this software for any
- *  purpose with or without fee is hereby granted, provided that the above
- *  copyright notice and this permission notice appear in all copies.
- *
- *  THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
- *  WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
- *  MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
- *  ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
- *  WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
- *  ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
- *  OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
- *
- */
-
-#ifndef DUMMY_ARCH_PLACE_H
-#define DUMMY_ARCH_PLACE_H
-
-#include "nextpnr.h"
-
-NEXTPNR_NAMESPACE_BEGIN
-
-// Architecure-specific placement functions
-
-class PlaceValidityChecker
-{
-  public:
-    PlaceValidityChecker(Context *ctx);
-
-    // Whether or not a given cell can be placed at a given Bel
-    // This is not intended for Bel type checks, but finer-grained constraints
-    // such as conflicting set/reset signals, etc
-    bool isValidBelForCell(CellInfo *cell, BelId bel);
-
-    // Return true whether all Bels at a given location are valid
-    bool isBelLocationValid(BelId bel);
-};
-
-NEXTPNR_NAMESPACE_END
-
-#endif
diff --git a/dummy/main.cc b/dummy/main.cc
index 5e0a9322..47402f82 100644
--- a/dummy/main.cc
+++ b/dummy/main.cc
@@ -75,16 +75,18 @@ int main(int argc, char *argv[])
         }
 
         if (vm.count("help") || argc == 1) {
-            std::cout << boost::filesystem::basename(argv[0]) << " -- Next Generation Place and Route (git "
-                                                                 "sha1 " GIT_COMMIT_HASH_STR ")\n";
+            std::cout << boost::filesystem::basename(argv[0])
+                      << " -- Next Generation Place and Route (git "
+                         "sha1 " GIT_COMMIT_HASH_STR ")\n";
             std::cout << "\n";
             std::cout << options << "\n";
             return argc != 1;
         }
 
         if (vm.count("version")) {
-            std::cout << boost::filesystem::basename(argv[0]) << " -- Next Generation Place and Route (git "
-                                                                 "sha1 " GIT_COMMIT_HASH_STR ")\n";
+            std::cout << boost::filesystem::basename(argv[0])
+                      << " -- Next Generation Place and Route (git "
+                         "sha1 " GIT_COMMIT_HASH_STR ")\n";
             return 1;
         }
 
diff --git a/ice40/arch.cc b/ice40/arch.cc
index 5c700851..fbad6ab0 100644
--- a/ice40/arch.cc
+++ b/ice40/arch.cc
@@ -163,6 +163,18 @@ Arch::Arch(ArchArgs args) : args(args)
 
     // Initialise regularly used IDStrings for performance
     id_glb_buf_out = id("GLOBAL_BUFFER_OUTPUT");
+    id_icestorm_lc = id("ICESTORM_LC");
+    id_sb_io = id("SB_IO");
+    id_sb_gb = id("SB_GB");
+    id_cen = id("CEN");
+    id_clk = id("CLK");
+    id_sr = id("SR");
+    id_i0 = id("I0");
+    id_i1 = id("I1");
+    id_i2 = id("I2");
+    id_i3 = id("I3");
+    id_dff_en = id("DFF_ENABLE");
+    id_neg_clk = id("NEG_CLK");
 }
 
 // -----------------------------------------------------------------------
diff --git a/ice40/arch.h b/ice40/arch.h
index b5ec1dd2..2906cad7 100644
--- a/ice40/arch.h
+++ b/ice40/arch.h
@@ -815,7 +815,26 @@ struct Arch : BaseCtx
     // Return true if a port is a net
     bool isGlobalNet(const NetInfo *net) const;
 
+    // -------------------------------------------------
+
+    // Perform placement validity checks, returning false on failure (all implemented in arch_place.cc)
+
+    // Whether or not a given cell can be placed at a given Bel
+    // This is not intended for Bel type checks, but finer-grained constraints
+    // such as conflicting set/reset signals, etc
+    bool isValidBelForCell(CellInfo *cell, BelId bel) const;
+
+    // Return true whether all Bels at a given location are valid
+    bool isBelLocationValid(BelId bel) const;
+
+    // Helper function for above
+    bool logicCellsCompatible(const std::vector<const CellInfo *> &cells) const;
+
     IdString id_glb_buf_out;
+    IdString id_icestorm_lc, id_sb_io, id_sb_gb;
+    IdString id_cen, id_clk, id_sr;
+    IdString id_i0, id_i1, id_i2, id_i3;
+    IdString id_dff_en, id_neg_clk;
 };
 
 NEXTPNR_NAMESPACE_END
diff --git a/ice40/arch_place.cc b/ice40/arch_place.cc
index 1a9c11df..129ebe18 100644
--- a/ice40/arch_place.cc
+++ b/ice40/arch_place.cc
@@ -18,19 +18,12 @@
  *
  */
 
-#include "arch_place.h"
 #include "cells.h"
+#include "nextpnr.h"
 #include "util.h"
 
 NEXTPNR_NAMESPACE_BEGIN
 
-PlaceValidityChecker::PlaceValidityChecker(Context *ctx)
-        : ctx(ctx), id_icestorm_lc(ctx, "ICESTORM_LC"), id_sb_io(ctx, "SB_IO"), id_sb_gb(ctx, "SB_GB"),
-          id_cen(ctx, "CEN"), id_clk(ctx, "CLK"), id_sr(ctx, "SR"), id_i0(ctx, "I0"), id_i1(ctx, "I1"),
-          id_i2(ctx, "I2"), id_i3(ctx, "I3"), id_dff_en(ctx, "DFF_ENABLE"), id_neg_clk(ctx, "NEG_CLK")
-{
-}
-
 static const NetInfo *get_net_or_empty(const CellInfo *cell, const IdString port)
 {
     auto found = cell->ports.find(port);
@@ -40,7 +33,7 @@ static const NetInfo *get_net_or_empty(const CellInfo *cell, const IdString port
         return nullptr;
 };
 
-bool PlaceValidityChecker::logicCellsCompatible(const Context *ctx, const std::vector<const CellInfo *> &cells)
+bool Arch::logicCellsCompatible(const std::vector<const CellInfo *> &cells) const
 {
     bool dffs_exist = false, dffs_neg = false;
     const NetInfo *cen = nullptr, *clk = nullptr, *sr = nullptr;
@@ -54,11 +47,11 @@ bool PlaceValidityChecker::logicCellsCompatible(const Context *ctx, const std::v
                 clk = get_net_or_empty(cell, id_clk);
                 sr = get_net_or_empty(cell, id_sr);
 
-                if (!ctx->isGlobalNet(cen) && cen != nullptr)
+                if (!isGlobalNet(cen) && cen != nullptr)
                     locals_count++;
-                if (!ctx->isGlobalNet(clk) && clk != nullptr)
+                if (!isGlobalNet(clk) && clk != nullptr)
                     locals_count++;
-                if (!ctx->isGlobalNet(sr) && sr != nullptr)
+                if (!isGlobalNet(sr) && sr != nullptr)
                     locals_count++;
 
                 if (bool_or_default(cell->params, id_neg_clk)) {
@@ -91,57 +84,57 @@ bool PlaceValidityChecker::logicCellsCompatible(const Context *ctx, const std::v
     return locals_count <= 32;
 }
 
-bool PlaceValidityChecker::isBelLocationValid(BelId bel)
+bool Arch::isBelLocationValid(BelId bel) const
 {
-    if (ctx->getBelType(bel) == TYPE_ICESTORM_LC) {
-        std::vector<const CellInfo *> cells;
-        for (auto bel_other : ctx->getBelsAtSameTile(bel)) {
-            IdString cell_other = ctx->getBoundBelCell(bel_other);
+    if (getBelType(bel) == TYPE_ICESTORM_LC) {
+        std::vector<const CellInfo *> bel_cells;
+        for (auto bel_other : getBelsAtSameTile(bel)) {
+            IdString cell_other = getBoundBelCell(bel_other);
             if (cell_other != IdString()) {
-                const CellInfo *ci_other = ctx->cells[cell_other];
-                cells.push_back(ci_other);
+                const CellInfo *ci_other = cells.at(cell_other);
+                bel_cells.push_back(ci_other);
             }
         }
-        return logicCellsCompatible(ctx, cells);
+        return logicCellsCompatible(bel_cells);
     } else {
-        IdString cellId = ctx->getBoundBelCell(bel);
+        IdString cellId = getBoundBelCell(bel);
         if (cellId == IdString())
             return true;
         else
-            return isValidBelForCell(ctx->cells.at(cellId), bel);
+            return isValidBelForCell(cells.at(cellId), bel);
     }
 }
 
-bool PlaceValidityChecker::isValidBelForCell(CellInfo *cell, BelId bel)
+bool Arch::isValidBelForCell(CellInfo *cell, BelId bel) const
 {
     if (cell->type == id_icestorm_lc) {
-        assert(ctx->getBelType(bel) == TYPE_ICESTORM_LC);
+        assert(getBelType(bel) == TYPE_ICESTORM_LC);
 
-        std::vector<const CellInfo *> cells;
+        std::vector<const CellInfo *> bel_cells;
 
-        for (auto bel_other : ctx->getBelsAtSameTile(bel)) {
-            IdString cell_other = ctx->getBoundBelCell(bel_other);
-            if (cell_other != IdString()) {
-                const CellInfo *ci_other = ctx->cells[cell_other];
-                cells.push_back(ci_other);
+        for (auto bel_other : getBelsAtSameTile(bel)) {
+            IdString cell_other = getBoundBelCell(bel_other);
+            if (cell_other != IdString() && bel_other != bel) {
+                const CellInfo *ci_other = cells.at(cell_other);
+                bel_cells.push_back(ci_other);
             }
         }
 
-        cells.push_back(cell);
-        return logicCellsCompatible(ctx, cells);
+        bel_cells.push_back(cell);
+        return logicCellsCompatible(bel_cells);
     } else if (cell->type == id_sb_io) {
-        return ctx->getBelPackagePin(bel) != "";
+        return getBelPackagePin(bel) != "";
     } else if (cell->type == id_sb_gb) {
         bool is_reset = false, is_cen = false;
-        assert(cell->ports.at(ctx->id("GLOBAL_BUFFER_OUTPUT")).net != nullptr);
-        for (auto user : cell->ports.at(ctx->id("GLOBAL_BUFFER_OUTPUT")).net->users) {
-            if (is_reset_port(ctx, user))
+        assert(cell->ports.at(id_glb_buf_out).net != nullptr);
+        for (auto user : cell->ports.at(id_glb_buf_out).net->users) {
+            if (is_reset_port(this, user))
                 is_reset = true;
-            if (is_enable_port(ctx, user))
+            if (is_enable_port(this, user))
                 is_cen = true;
         }
-        IdString glb_net = ctx->getWireName(ctx->getWireBelPin(bel, PIN_GLOBAL_BUFFER_OUTPUT));
-        int glb_id = std::stoi(std::string("") + glb_net.str(ctx).back());
+        IdString glb_net = getWireName(getWireBelPin(bel, PIN_GLOBAL_BUFFER_OUTPUT));
+        int glb_id = std::stoi(std::string("") + glb_net.str(this).back());
         if (is_reset && is_cen)
             return false;
         else if (is_reset)
diff --git a/ice40/arch_place.h b/ice40/arch_place.h
deleted file mode 100644
index 84ad2d21..00000000
--- a/ice40/arch_place.h
+++ /dev/null
@@ -1,52 +0,0 @@
-/*
- *  nextpnr -- Next Generation Place and Route
- *
- *  Copyright (C) 2018  Clifford Wolf <clifford@symbioticeda.com>
- *  Copyright (C) 2018  David Shah <david@symbioticeda.com>
- *
- *  Permission to use, copy, modify, and/or distribute this software for any
- *  purpose with or without fee is hereby granted, provided that the above
- *  copyright notice and this permission notice appear in all copies.
- *
- *  THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
- *  WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
- *  MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
- *  ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
- *  WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
- *  ACTION OF CONTRACT, NeEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
- *  OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
- *
- */
-
-#ifndef ICE40_ARCH_PLACE_H
-#define ICE40_ARCH_PLACE_H
-
-#include "nextpnr.h"
-// Architecure-specific placement functions
-
-NEXTPNR_NAMESPACE_BEGIN
-
-class PlaceValidityChecker
-{
-  public:
-    PlaceValidityChecker(Context *ctx);
-    // Whether or not a given cell can be placed at a given Bel
-    // This is not intended for Bel type checks, but finer-grained constraints
-    // such as conflicting set/reset signals, etc
-    bool isValidBelForCell(CellInfo *cell, BelId bel);
-
-    // Return true whether all Bels at a given location are valid
-    bool isBelLocationValid(BelId bel);
-
-  private:
-    bool logicCellsCompatible(const Context *ctx, const std::vector<const CellInfo *> &cells);
-    Context *ctx;
-    IdString id_icestorm_lc, id_sb_io, id_sb_gb;
-    IdString id_cen, id_clk, id_sr;
-    IdString id_i0, id_i1, id_i2, id_i3;
-    IdString id_dff_en, id_neg_clk;
-};
-
-NEXTPNR_NAMESPACE_END
-
-#endif
diff --git a/ice40/cells.cc b/ice40/cells.cc
index faaabba0..ddb69f4f 100644
--- a/ice40/cells.cc
+++ b/ice40/cells.cc
@@ -227,7 +227,7 @@ void nxio_to_sb(Context *ctx, CellInfo *nxio, CellInfo *sbio)
     }
 }
 
-bool is_clock_port(const Context *ctx, const PortRef &port)
+bool is_clock_port(const BaseCtx *ctx, const PortRef &port)
 {
     if (port.cell == nullptr)
         return false;
@@ -240,7 +240,7 @@ bool is_clock_port(const Context *ctx, const PortRef &port)
     return false;
 }
 
-bool is_reset_port(const Context *ctx, const PortRef &port)
+bool is_reset_port(const BaseCtx *ctx, const PortRef &port)
 {
     if (port.cell == nullptr)
         return false;
@@ -251,7 +251,7 @@ bool is_reset_port(const Context *ctx, const PortRef &port)
     return false;
 }
 
-bool is_enable_port(const Context *ctx, const PortRef &port)
+bool is_enable_port(const BaseCtx *ctx, const PortRef &port)
 {
     if (port.cell == nullptr)
         return false;
diff --git a/ice40/cells.h b/ice40/cells.h
index 7b5e63d9..a8891598 100644
--- a/ice40/cells.h
+++ b/ice40/cells.h
@@ -30,10 +30,10 @@ NEXTPNR_NAMESPACE_BEGIN
 CellInfo *create_ice_cell(Context *ctx, IdString type, std::string name = "");
 
 // Return true if a cell is a LUT
-inline bool is_lut(const Context *ctx, const CellInfo *cell) { return cell->type == ctx->id("SB_LUT4"); }
+inline bool is_lut(const BaseCtx *ctx, const CellInfo *cell) { return cell->type == ctx->id("SB_LUT4"); }
 
 // Return true if a cell is a flipflop
-inline bool is_ff(const Context *ctx, const CellInfo *cell)
+inline bool is_ff(const BaseCtx *ctx, const CellInfo *cell)
 {
     return cell->type == ctx->id("SB_DFF") || cell->type == ctx->id("SB_DFFE") || cell->type == ctx->id("SB_DFFSR") ||
            cell->type == ctx->id("SB_DFFR") || cell->type == ctx->id("SB_DFFSS") || cell->type == ctx->id("SB_DFFS") ||
@@ -46,26 +46,26 @@ inline bool is_ff(const Context *ctx, const CellInfo *cell)
            cell->type == ctx->id("SB_DFFNESS") || cell->type == ctx->id("SB_DFFNES");
 }
 
-inline bool is_carry(const Context *ctx, const CellInfo *cell) { return cell->type == ctx->id("SB_CARRY"); }
+inline bool is_carry(const BaseCtx *ctx, const CellInfo *cell) { return cell->type == ctx->id("SB_CARRY"); }
 
-inline bool is_lc(const Context *ctx, const CellInfo *cell) { return cell->type == ctx->id("ICESTORM_LC"); }
+inline bool is_lc(const BaseCtx *ctx, const CellInfo *cell) { return cell->type == ctx->id("ICESTORM_LC"); }
 
 // Return true if a cell is a SB_IO
-inline bool is_sb_io(const Context *ctx, const CellInfo *cell) { return cell->type == ctx->id("SB_IO"); }
+inline bool is_sb_io(const BaseCtx *ctx, const CellInfo *cell) { return cell->type == ctx->id("SB_IO"); }
 
 // Return true if a cell is a global buffer
-inline bool is_gbuf(const Context *ctx, const CellInfo *cell) { return cell->type == ctx->id("SB_GB"); }
+inline bool is_gbuf(const BaseCtx *ctx, const CellInfo *cell) { return cell->type == ctx->id("SB_GB"); }
 
 // Return true if a cell is a RAM
-inline bool is_ram(const Context *ctx, const CellInfo *cell)
+inline bool is_ram(const BaseCtx *ctx, const CellInfo *cell)
 {
     return cell->type == ctx->id("SB_RAM40_4K") || cell->type == ctx->id("SB_RAM40_4KNR") ||
            cell->type == ctx->id("SB_RAM40_4KNW") || cell->type == ctx->id("SB_RAM40_4KNRNW");
 }
 
-inline bool is_sb_lfosc(const Context *ctx, const CellInfo *cell) { return cell->type == ctx->id("SB_LFOSC"); }
+inline bool is_sb_lfosc(const BaseCtx *ctx, const CellInfo *cell) { return cell->type == ctx->id("SB_LFOSC"); }
 
-inline bool is_sb_hfosc(const Context *ctx, const CellInfo *cell) { return cell->type == ctx->id("SB_HFOSC"); }
+inline bool is_sb_hfosc(const BaseCtx *ctx, const CellInfo *cell) { return cell->type == ctx->id("SB_HFOSC"); }
 
 // Convert a SB_LUT primitive to (part of) an ICESTORM_LC, swapping ports
 // as needed. Set no_dff if a DFF is not being used, so that the output
@@ -82,13 +82,13 @@ void dff_to_lc(const Context *ctx, CellInfo *dff, CellInfo *lc, bool pass_thru_l
 void nxio_to_sb(Context *ctx, CellInfo *nxio, CellInfo *sbio);
 
 // Return true if a port is a clock port
-bool is_clock_port(const Context *ctx, const PortRef &port);
+bool is_clock_port(const BaseCtx *ctx, const PortRef &port);
 
 // Return true if a port is a reset port
-bool is_reset_port(const Context *ctx, const PortRef &port);
+bool is_reset_port(const BaseCtx *ctx, const PortRef &port);
 
 // Return true if a port is a clock enable port
-bool is_enable_port(const Context *ctx, const PortRef &port);
+bool is_enable_port(const BaseCtx *ctx, const PortRef &port);
 
 NEXTPNR_NAMESPACE_END
 
diff --git a/ice40/main.cc b/ice40/main.cc
index 6a5e6687..8babf8b9 100644
--- a/ice40/main.cc
+++ b/ice40/main.cc
@@ -125,16 +125,18 @@ int main(int argc, char *argv[])
 
         if (vm.count("help") || argc == 1) {
         help:
-            std::cout << boost::filesystem::basename(argv[0]) << " -- Next Generation Place and Route (git "
-                                                                 "sha1 " GIT_COMMIT_HASH_STR ")\n";
+            std::cout << boost::filesystem::basename(argv[0])
+                      << " -- Next Generation Place and Route (git "
+                         "sha1 " GIT_COMMIT_HASH_STR ")\n";
             std::cout << "\n";
             std::cout << options << "\n";
             return argc != 1;
         }
 
         if (vm.count("version")) {
-            std::cout << boost::filesystem::basename(argv[0]) << " -- Next Generation Place and Route (git "
-                                                                 "sha1 " GIT_COMMIT_HASH_STR ")\n";
+            std::cout << boost::filesystem::basename(argv[0])
+                      << " -- Next Generation Place and Route (git "
+                         "sha1 " GIT_COMMIT_HASH_STR ")\n";
             return 1;
         }