3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-03-23 04:49:15 +00:00
This commit is contained in:
sabina-sokol 2026-03-19 10:12:03 +01:00 committed by GitHub
commit f46fa03ed0
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -1056,6 +1056,7 @@ skip_fine_alu:
}
if (cell->type.in(ID($_NOT_), ID($not), ID($logic_not)) && GetSize(cell->getPort(ID::Y)) == 1 &&
!cell->has_keep_attr() &&
invert_map.count(assign_map(cell->getPort(ID::A))) != 0) {
replace_cell(assign_map, module, cell, "double_invert", ID::Y, invert_map.at(assign_map(cell->getPort(ID::A))));
goto next_cell;