mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-05-21 09:29:37 +00:00
Code Activity

Aiger use defines for known ops.

Browse source
This commit is contained in:
nella 2026-03-02 12:24:41 +01:00 • committed by Emil J. Tywoniak
parent 04822c6660
commit 16b1a914f1
1 changed files with 5 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

18
backends/aiger2/aiger.cc
View file

@ -47,24 +47,16 @@ PRIVATE_NAMESPACE_BEGIN
static constexpr auto known_ops = []() constexpr {
StaticCellTypes::Categories::Category c{};
// bitwise
for (auto id : {ID($buf), ID($not), ID($mux), ID($and), ID($or), ID($xor), ID($xnor), ID($fa), ID($bwmux)})
for (auto id : {BITWISE_OPS})
c.set_id(id);
// reduce
for (auto id : {ID($reduce_and), ID($reduce_or), ID($reduce_xor), ID($reduce_xnor), ID($reduce_bool)})
for (auto id : {REDUCE_OPS})
c.set_id(id);
// logic
for (auto id : {ID($logic_and), ID($logic_or), ID($logic_not)})
for (auto id : {LOGIC_OPS})
c.set_id(id);
// gates
for (auto id : {ID($_BUF_), ID($_NOT_), ID($_AND_), ID($_NAND_), ID($_OR_), ID($_NOR_),
ID($_XOR_), ID($_XNOR_), ID($_ANDNOT_), ID($_ORNOT_), ID($_MUX_), ID($_NMUX_),
ID($_AOI3_), ID($_OAI3_), ID($_AOI4_), ID($_OAI4_)})
for (auto id : {GATE_OPS})
c.set_id(id);
// compare
for (auto id : {ID($eq), ID($ne), ID($lt), ID($le), ID($ge), ID($gt)})
for (auto id : {CMP_OPS})
c.set_id(id);
// other
for (auto id : {ID($pos), ID($pmux), ID($bmux)})
c.set_id(id);
return c;