diff options
Diffstat (limited to 'common/archcheck.cc')
-rw-r--r-- | common/archcheck.cc | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/common/archcheck.cc b/common/archcheck.cc index 585fcfee..f5760c88 100644 --- a/common/archcheck.cc +++ b/common/archcheck.cc @@ -53,7 +53,7 @@ void archcheck_names(const Context *ctx) } log_info("Checking bucket names..\n"); - for(BelBucketId bucket : ctx->getBelBuckets()) { + for (BelBucketId bucket : ctx->getBelBuckets()) { IdString name = ctx->getBelBucketName(bucket); BelBucketId bucket2 = ctx->getBelBucketByName(name); if (bucket != bucket2) { @@ -204,12 +204,12 @@ void archcheck_buckets(const Context *ctx) // BEL buckets should be subsets of BELs that form an exact cover. // In particular that means cell types in a bucket should only be // placable in that bucket. - for(BelBucketId bucket : ctx->getBelBuckets()) { + for (BelBucketId bucket : ctx->getBelBuckets()) { // Find out which cell types are in this bucket. std::unordered_set<IdString> cell_types_in_bucket; - for(IdString cell_type : ctx->getCellTypes()) { - if(ctx->getBelBucketForCellType(cell_type) == bucket) { + for (IdString cell_type : ctx->getCellTypes()) { + if (ctx->getBelBucketForCellType(cell_type) == bucket) { cell_types_in_bucket.insert(cell_type); } } @@ -219,7 +219,7 @@ void archcheck_buckets(const Context *ctx) std::unordered_set<IdString> cell_types_unused; std::unordered_set<BelId> bels_in_bucket; - for(BelId bel : ctx->getBelsInBucket(bucket)) { + for (BelId bel : ctx->getBelsInBucket(bucket)) { BelBucketId bucket2 = ctx->getBelBucketForBel(bel); log_assert(bucket == bucket2); @@ -227,9 +227,9 @@ void archcheck_buckets(const Context *ctx) // Check to see if a cell type not in this bucket can be // placed at a BEL in this bucket. - for(IdString cell_type : ctx->getCellTypes()) { - if(ctx->getBelBucketForCellType(cell_type) == bucket) { - if(ctx->isValidBelForCellType(cell_type, bel)) { + for (IdString cell_type : ctx->getCellTypes()) { + if (ctx->getBelBucketForCellType(cell_type) == bucket) { + if (ctx->isValidBelForCellType(cell_type, bel)) { cell_types_unused.erase(cell_type); } } else { @@ -240,8 +240,8 @@ void archcheck_buckets(const Context *ctx) // Verify that any BEL not in this bucket reports a different // bucket. - for(BelId bel : ctx->getBels()) { - if(ctx->getBelBucketForBel(bel) != bucket) { + for (BelId bel : ctx->getBels()) { + if (ctx->getBelBucketForBel(bel) != bucket) { log_assert(bels_in_bucket.count(bel) == 0); } } |