From 673ad561b8cf75abdafd9afb3d44edf0edf1f1e1 Mon Sep 17 00:00:00 2001
From: Jannis Harder <me@jix.one>
Date: Wed, 21 Dec 2022 14:22:10 +0100
Subject: [PATCH] smt2: Treat bweqx as xnor

Without x-bits they are equivalent
---
 backends/smt2/smt2.cc | 1 +
 1 file changed, 1 insertion(+)

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');