mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-23 09:05:32 +00:00
Fix handling of z_digit "?" and fix optimization of cmp with "z"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
parent
4da6e19fe1
commit
a67d63714b
2 changed files with 5 additions and 5 deletions
|
@ -953,6 +953,10 @@ void replace_const_cells(RTLIL::Design *design, RTLIL::Module *module, bool cons
|
|||
}
|
||||
|
||||
if (b.is_fully_const()) {
|
||||
if (b.is_fully_undef()) {
|
||||
RTLIL::SigSpec input = b;
|
||||
ACTION_DO(ID::Y, Const(State::Sx, GetSize(cell->getPort(ID::Y))));
|
||||
} else
|
||||
if (b.as_bool() == (cell->type == ID($eq))) {
|
||||
RTLIL::SigSpec input = b;
|
||||
ACTION_DO(ID::Y, cell->getPort(ID::A));
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue