diff options
| author | Jannis Harder <me@jix.one> | 2022-12-21 14:22:10 +0100 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2023-01-11 18:07:16 +0100 |
| commit | 673ad561b8cf75abdafd9afb3d44edf0edf1f1e1 (patch) | |
| tree | dbc027f291804a29ba1bbe106f53d6750ca7b973 | |
| parent | 62afe6177995b9d2c2053903f8620271b95034f0 (diff) | |
| download | yosys-673ad561b8cf75abdafd9afb3d44edf0edf1f1e1.tar.gz yosys-673ad561b8cf75abdafd9afb3d44edf0edf1f1e1.tar.bz2 yosys-673ad561b8cf75abdafd9afb3d44edf0edf1f1e1.zip | |
smt2: Treat bweqx as xnor
Without x-bits they are equivalent
| -rw-r--r-- | backends/smt2/smt2.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/backends/smt2/smt2.cc b/backends/smt2/smt2.cc index 8a683a394..3b3585b59 100644 --- a/backends/smt2/smt2.cc +++ b/backends/smt2/smt2.cc @@ -640,6 +640,7 @@ struct Smt2Worker if (cell->type == ID($xor)) return export_bvop(cell, "(bvxor A B)"); if (cell->type == ID($xnor)) return export_bvop(cell, "(bvxnor A B)"); + if (cell->type == ID($bweqx)) return export_bvop(cell, "(bvxnor A B)", 'U'); if (cell->type == ID($bwmux)) return export_bvop(cell, "(bvor (bvand A (bvnot S)) (bvand B S))", 'U'); if (cell->type == ID($shl)) return export_bvop(cell, "(bvshl A B)", 's'); |