From 7871fe3c288c0a8ae2b5d370eaa2b594e3dae4b2 Mon Sep 17 00:00:00 2001 From: George Rennie Date: Wed, 20 Nov 2024 13:56:46 +0100 Subject: [PATCH] write_aiger2: support $barrier --- backends/aiger2/aiger.cc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/backends/aiger2/aiger.cc b/backends/aiger2/aiger.cc index d24e4be99..4e3ddb5ea 100644 --- a/backends/aiger2/aiger.cc +++ b/backends/aiger2/aiger.cc @@ -33,8 +33,8 @@ USING_YOSYS_NAMESPACE PRIVATE_NAMESPACE_BEGIN -#define BITWISE_OPS ID($buf), ID($not), ID($mux), ID($and), ID($or), ID($xor), ID($xnor), ID($fa), \ - ID($bwmux) +#define BITWISE_OPS ID($buf), ID($barrier), ID($not), ID($mux), ID($and), ID($or), ID($xor), ID($xnor), \ + ID($fa), ID($bwmux) #define REDUCE_OPS ID($reduce_and), ID($reduce_or), ID($reduce_xor), ID($reduce_xnor), ID($reduce_bool) @@ -611,7 +611,7 @@ struct Index { a = CFALSE; } - if (cell->type.in(ID($buf), ID($pos), ID($_BUF_))) { + if (cell->type.in(ID($buf), ID($barrier), ID($pos), ID($_BUF_))) { return a; } else if (cell->type.in(ID($not), ID($_NOT_))) { return NOT(a);