caiyu/nextpnr
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #655 from YosysHQ/gatecat/alt-placer-fix

Browse Source 
interchange: Fix illegal placements
This commit is contained in:
gatecat 2021-03-30 16:20:41 +01:00 committed by GitHub
commit 7a9082e698
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
common/placer1.cc
View File

@ -552,7 +552,9 @@ class SAPlacer
add_move_cell(moveChange, other_cell, newBel);
}
if (!ctx->isBelLocationValid(newBel) || ((other_cell != nullptr && !ctx->isBelLocationValid(oldBel)))) {
// Always check both the new and old locations; as in some cases of dedicated routing ripping up a cell can deny
// use of a dedicated path and thus make a site illegal
if (!ctx->isBelLocationValid(newBel) || !ctx->isBelLocationValid(oldBel)) {
ctx->unbindBel(newBel);
if (other_cell != nullptr)
ctx->unbindBel(oldBel);

11
fpga_interchange/arch.h
View File

@ -808,9 +808,7 @@ struct Arch : ArchAPI<ArchRanges>
}
const TileStatus &tile_status = iter->second;
const CellInfo *cell = tile_status.boundcells[bel.index];
if (cell == nullptr) {
return true;
} else {
if (cell != nullptr) {
if (!dedicated_interconnect.isBelLocationValid(bel, cell)) {
return false;
}
@ -825,10 +823,11 @@ struct Arch : ArchAPI<ArchRanges>
if (!is_cell_valid_constraints(cell, tile_status, explain_constraints)) {
return false;
}
auto &bel_data = bel_info(chip_info, bel);
return get_site_status(tile_status, bel_data).checkSiteRouting(getCtx(), tile_status);
}
// Still check site status if cell is nullptr; as other bels in the site could be illegal (for example when
// dedicated paths can no longer be used after ripping up a cell)
auto &bel_data = bel_info(chip_info, bel);
return get_site_status(tile_status, bel_data).checkSiteRouting(getCtx(), tile_status);
}
IdString get_bel_tiletype(BelId bel) const { return IdString(loc_info(chip_info, bel).name); }