change pin_done to a set

Author: helen-23

vpr/src/route/check_route.cpp

@@ -20,7 +20,7 @@
 /******************** Subroutines local to this module **********************/
 static void check_node_and_range(int inode, enum e_route_type route_type);
 static void check_source(int inode, ClusterNetId net_id);
-static void check_sink(int inode, ClusterNetId net_id, bool* pin_done);
+static void check_sink(int inode, ClusterNetId net_id, std::set<vtr::StrongId<cluster_pin_id_tag>>& pin_done);
 static void check_switch(t_trace* tptr, int num_switch);
 static bool check_adjacent(int from_node, int to_node);
 static int chanx_chany_adjacent(int chanx_node, int chany_node);
@@ -47,7 +47,6 @@ void check_route(enum e_route_type route_type, e_check_route_option check_route_
     }
 
     int max_pins, inode, prev_node;
-    unsigned int ipin;
     bool valid, connects;
     t_trace* tptr;
 
@@ -80,15 +79,13 @@ void check_route(enum e_route_type route_type, e_check_route_option check_route_
     for (auto net_id : cluster_ctx.clb_nlist.nets())
         max_pins = std::max(max_pins, (int)cluster_ctx.clb_nlist.net_pins(net_id).size());
 
-    auto pin_done = std::make_unique<bool[]>(max_pins);
+    std::set<vtr::StrongId<cluster_pin_id_tag>> pin_done;
 
     /* Now check that all nets are indeed connected. */
     for (auto net_id : cluster_ctx.clb_nlist.nets()) {
         if (cluster_ctx.clb_nlist.net_is_ignored(net_id) || cluster_ctx.clb_nlist.net_sinks(net_id).size() == 0) /* Skip ignored nets. */
             continue;
 
-        std::fill_n(pin_done.get(), cluster_ctx.clb_nlist.net_pins(net_id).size(), false);
-
         /* Check the SOURCE of the net. */
         tptr = route_ctx.trace[net_id].head;
         if (tptr == nullptr) {
@@ -102,7 +99,8 @@ void check_route(enum e_route_type route_type, e_check_route_option check_route_
         connected_to_route[inode] = true; /* Mark as in path. */
 
         check_source(inode, net_id);
-        pin_done[0] = true;
+        auto first_net_id = cluster_ctx.clb_nlist.net_pins(net_id).begin();
+        pin_done.insert(*first_net_id); /* Insert the source */
 
         prev_node = inode;
         int prev_switch = tptr->iswitch;
@@ -135,7 +133,7 @@ void check_route(enum e_route_type route_type, e_check_route_option check_route_
                 connected_to_route[inode] = true; /* Mark as in path. */
 
                 if (device_ctx.rr_nodes[inode].type() == SINK) {
-                    check_sink(inode, net_id, pin_done.get());
+                    check_sink(inode, net_id, pin_done);
                     num_sinks += 1;
                 }
 
@@ -152,10 +150,11 @@ void check_route(enum e_route_type route_type, e_check_route_option check_route_
                             num_sinks, cluster_ctx.clb_nlist.net_sinks(net_id).size());
         }
 
-        for (ipin = 0; ipin < cluster_ctx.clb_nlist.net_pins(net_id).size(); ipin++) {
-            if (pin_done[ipin] == false) {
+        for (auto pin_id : cluster_ctx.clb_nlist.net_pins(net_id)) {
+            if (pin_done.find(pin_id) == pin_done.end()) {
+                int net_pin_index = tile_pin_index(pin_id);
                 VPR_FATAL_ERROR(VPR_ERROR_ROUTE,
-                                "in check_route: net %zu does not connect to pin %d.\n", size_t(net_id), ipin);
+                                "in check_route: net %zu does not connect to pin %d.\n", size_t(net_id), net_pin_index);
             }
         }
 
@@ -177,7 +176,7 @@ void check_route(enum e_route_type route_type, e_check_route_option check_route_
 
 /* Checks that this SINK node is one of the terminals of inet, and marks   *
  * the appropriate pin as being reached.                                   */
-static void check_sink(int inode, ClusterNetId net_id, bool* pin_done) {
+static void check_sink(int inode, ClusterNetId net_id, std::set<vtr::StrongId<cluster_pin_id_tag>>& pin_done) {
     auto& device_ctx = g_vpr_ctx.device();
     auto& cluster_ctx = g_vpr_ctx.clustering();
     auto& place_ctx = g_vpr_ctx.placement();
@@ -191,22 +190,20 @@ static void check_sink(int inode, ClusterNetId net_id, bool* pin_done) {
     int ifound = 0;
 
     for (auto bnum : place_ctx.grid_blocks[i][j].blocks) {
-        unsigned int ipin = 1;
         for (auto pin_id : cluster_ctx.clb_nlist.net_sinks(net_id)) {
             if (cluster_ctx.clb_nlist.pin_block(pin_id) == bnum) {
                 int pin_index = tile_pin_index(pin_id);
                 int iclass = type->pin_class[pin_index];
                 if (iclass == ptc_num) {
                     /* Could connect to same pin class on the same clb more than once.  Only   *
                      * update pin_done for a pin that hasn't been reached yet.                 */
-                    if (pin_done[ipin] == false) {
+                    if (pin_done.find(pin_id) == pin_done.end()) {
                         ifound++;
-                        pin_done[ipin] = true;
+                        pin_done.insert(pin_id);
                         break;
                     }
                 }
             }
-            ipin++;
         }
     }