mirror of
https://github.com/YosysHQ/yosys
synced 2025-06-09 07:33:25 +00:00
Enforce non-existence
This commit is contained in:
parent
187e1c46e6
commit
33e6d05585
1 changed files with 4 additions and 0 deletions
|
@ -841,6 +841,8 @@ grow_read_ports:;
|
||||||
found = true;
|
found = true;
|
||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
|
else if (!exists)
|
||||||
|
continue;
|
||||||
if (it->second != value)
|
if (it->second != value)
|
||||||
continue;
|
continue;
|
||||||
found = true;
|
found = true;
|
||||||
|
@ -1165,6 +1167,8 @@ void handle_cell(Cell *cell, const rules_t &rules)
|
||||||
found = true;
|
found = true;
|
||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
|
else if (!exists)
|
||||||
|
continue;
|
||||||
if (it->second != value)
|
if (it->second != value)
|
||||||
continue;
|
continue;
|
||||||
found = true;
|
found = true;
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue