From 8839d7fa5a60214e1ff54fc2fdec8a33b27731cc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Povi=C5=A1er?= Date: Mon, 10 Jul 2023 12:27:50 +0200 Subject: [PATCH] cellaigs: Fix the case of $_NMUX_ cells Later on there's a if (cell->type == ID($_NMUX_)) but that code was unreachable until now. --- kernel/cellaigs.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kernel/cellaigs.cc b/kernel/cellaigs.cc index 292af3f51..c0d413fad 100644 --- a/kernel/cellaigs.cc +++ b/kernel/cellaigs.cc @@ -318,7 +318,7 @@ Aig::Aig(Cell *cell) goto optimize; } - if (cell->type.in(ID($mux), ID($_MUX_))) + if (cell->type.in(ID($mux), ID($_MUX_), ID($_NMUX_))) { int S = mk.inport(ID::S); for (int i = 0; i < GetSize(cell->getPort(ID::Y)); i++) {