Merge pull request #3889 from povik/cellaigs-fix-gcc9-build

cellaigs: Drop initializer list in call to `IdString::in`
This commit is contained in:
Miodrag Milanović 2023-08-14 16:05:57 +02:00 committed by GitHub
commit 316200493e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions

View File

@ -385,17 +385,17 @@ Aig::Aig(Cell *cell)
goto optimize;
}
if (cell->type.in({ID($lt), ID($gt), ID($le), ID($ge)}))
if (cell->type.in(ID($lt), ID($gt), ID($le), ID($ge)))
{
int width = std::max(GetSize(cell->getPort(ID::A)),
GetSize(cell->getPort(ID::B))) + 1;
vector<int> A = mk.inport_vec(ID::A, width);
vector<int> B = mk.inport_vec(ID::B, width);
if (cell->type.in({ID($gt), ID($ge)}))
if (cell->type.in(ID($gt), ID($ge)))
std::swap(A, B);
int carry = mk.bool_node(!cell->type.in({ID($le), ID($ge)}));
int carry = mk.bool_node(!cell->type.in(ID($le), ID($ge)));
for (auto &n : B)
n = mk.not_gate(n);
vector<int> Y = mk.adder(A, B, carry);