Floorplan constraints tuning

vpr/src/base/partition_region.cpp

@@ -26,20 +26,18 @@ bool PartitionRegion::is_loc_in_part_reg(t_pl_loc loc) {
     return is_in_pr;
 }
 
-PartitionRegion intersection(PartitionRegion& pr1, PartitionRegion& pr2) {
+PartitionRegion intersection(const PartitionRegion& cluster_pr, const PartitionRegion& new_pr) {
     /**for N regions in part_region and M in the calling object you can get anywhere from
      * 0 to M*N regions in the resulting vector. Only intersection regions with non-zero area rectangles and
      * equivalent subtiles are put in the resulting vector
      * Rectangles are not merged even if it would be possible
      */
     PartitionRegion pr;
     Region intersect_region;
-    bool regions_intersect;
-    for (unsigned int i = 0; i < pr1.partition_region.size(); i++) {
-        for (unsigned int j = 0; j < pr2.partition_region.size(); j++) {
-            regions_intersect = do_regions_intersect(pr1.partition_region[i], pr2.partition_region[j]);
-            if (regions_intersect) {
-                intersect_region = intersection(pr1.partition_region[i], pr2.partition_region[j]);
+    for (unsigned int i = 0; i < cluster_pr.partition_region.size(); i++) {
+        for (unsigned int j = 0; j < new_pr.partition_region.size(); j++) {
+            intersect_region = intersection(cluster_pr.partition_region[i], new_pr.partition_region[j]);
+            if (!intersect_region.empty()) {
                 pr.partition_region.push_back(intersect_region);
             }
         }

vpr/src/base/partition_region.h

@@ -46,7 +46,7 @@ class PartitionRegion {
      *   @param pr1     One of the PartitionRegions to be intersected
      *   @param pr2     One of the PartitionRegions to be intersected
      */
-    friend PartitionRegion intersection(PartitionRegion& pr1, PartitionRegion& pr2);
+    friend PartitionRegion intersection(const PartitionRegion& cluster_pr, const PartitionRegion& new_pr);
 
   private:
     std::vector<Region> partition_region; ///< union of rectangular regions that a partition can be placed in

vpr/src/base/region.cpp

@@ -14,7 +14,7 @@ Region::Region() {
     region_bounds.set_ymax(-1);
 }
 
-vtr::Rect<int> Region::get_region_rect() {
+vtr::Rect<int> Region::get_region_rect() const {
     return region_bounds;
 }
 
@@ -25,7 +25,7 @@ void Region::set_region_rect(int _xmin, int _ymin, int _xmax, int _ymax) {
     region_bounds.set_ymax(_ymax);
 }
 
-int Region::get_sub_tile() {
+int Region::get_sub_tile() const {
     return sub_tile;
 }
 
@@ -82,7 +82,7 @@ bool do_regions_intersect(Region r1, Region r2) {
     return intersect;
 }
 
-Region intersection(Region r1, Region r2) {
+Region intersection(const Region& r1, const Region& r2) {
     Region intersect;
 
     /**

vpr/src/base/region.h

@@ -23,7 +23,7 @@ class Region {
     /**
      * @brief Accessor for the region's rectangle
      */
-    vtr::Rect<int> get_region_rect();
+    vtr::Rect<int> get_region_rect() const;
 
     /**
      * @brief Mutator for the region's rectangle
@@ -33,7 +33,7 @@ class Region {
     /**
      * @brief Accessor for the region's subtile
      */
-    int get_sub_tile();
+    int get_sub_tile() const;
 
     /**
      * @brief Mutator for the region's subtile
@@ -84,7 +84,7 @@ bool do_regions_intersect(Region r1, Region r2);
  *   @param r2  One of the regions to intersect
  *
  */
-Region intersection(Region r1, Region r2);
+Region intersection(const Region& r1, const Region& r2);
 
 ///@brief Used to print data from a Region
 void print_region(FILE* fp, Region region);

vpr/src/pack/cluster.cpp

@@ -1726,13 +1726,12 @@ static enum e_block_pack_status atom_cluster_floorplanning_check(const AtomBlock
                                                                  PartitionRegion& temp_cluster_pr,
                                                                  bool& cluster_pr_needs_update) {
     auto& floorplanning_ctx = g_vpr_ctx.mutable_floorplanning();
-    VprConstraints ctx_constraints = floorplanning_ctx.constraints;
 
     /*check if the atom can go in the cluster by checking if the atom and cluster have intersecting PartitionRegions*/
 
     //get partition that atom belongs to
     PartitionId partid;
-    partid = ctx_constraints.get_atom_partition(blk_id);
+    partid = floorplanning_ctx.constraints.get_atom_partition(blk_id);
 
     PartitionRegion atom_pr;
     PartitionRegion cluster_pr;
@@ -1748,7 +1747,7 @@ static enum e_block_pack_status atom_cluster_floorplanning_check(const AtomBlock
         return BLK_PASSED;
     } else {
         //get pr of that partition
-        atom_pr = ctx_constraints.get_partition_pr(partid);
+        atom_pr = floorplanning_ctx.constraints.get_partition_pr(partid);
 
         //intersect it with the pr of the current cluster
         cluster_pr = floorplanning_ctx.cluster_constraints[clb_index];
@@ -2229,8 +2228,6 @@ static void start_new_cluster(t_cluster_placement_stats* cluster_placement_stats
     auto& device_ctx = g_vpr_ctx.mutable_device();
     auto& floorplanning_ctx = g_vpr_ctx.mutable_floorplanning();
 
-    VprConstraints ctx_constraints = floorplanning_ctx.constraints;
-
     /*Cluster's PartitionRegion is empty initially, meaning it has no floorplanning constraints*/
     PartitionRegion empty_pr;
     floorplanning_ctx.cluster_constraints.push_back(empty_pr);

vpr/src/place/place_constraints.cpp

@@ -11,6 +11,9 @@
 #include "globals.h"
 #include "place_constraints.h"
 
+/// @brief sentinel value for indicating that a subtile has not been specified
+constexpr int NO_SUBTILE = -1;
+
 /*checks that each block's location is compatible with its floorplanning constraints if it has any*/
 int check_placement_floorplanning() {
     int error = 0;
@@ -114,6 +117,10 @@ PartitionRegion constrained_macro_locs(const t_pl_macro& pl_macro) {
 }
 
 /*returns true if location is compatible with floorplanning constraints, false if not*/
+/*
+ * Even if the block passed in is from a macro, it will work because of the constraints
+ * propagation that was done during initial placement.
+ */
 bool cluster_floorplanning_legal(ClusterBlockId blk_id, const t_pl_loc& loc) {
     auto& floorplanning_ctx = g_vpr_ctx.floorplanning();