From a79b9a35ae89d9c1103d5616b0e293814b1afdcf Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Date: Sun, 24 Sep 2023 19:04:49 +0100
Subject: [PATCH] revert simpl

---
 ir/type.cpp | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/ir/type.cpp b/ir/type.cpp
index 150a77936..9417699c2 100644
--- a/ir/type.cpp
+++ b/ir/type.cpp
@@ -251,9 +251,8 @@ StateValue Type::fromInt(StateValue v) const {
 }
 
 expr Type::combine_poison(const expr &boolean, const expr &orig) const {
-  return orig.bits() == 1
-    ? boolean && orig == 1
-    : expr::mkIf(boolean, expr::mkInt(-1, orig), expr::mkInt(0, orig)) & orig;
+  return
+    expr::mkIf(boolean, expr::mkInt(-1, orig), expr::mkInt(0, orig)) & orig;
 }
 
 StateValue Type::mkUndef(State &s) const {