3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-06-19 07:16:27 +00:00
This commit is contained in:
sabina-sokol 2026-06-19 04:46:35 +00:00 committed by GitHub
commit a34627707e
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;