revert simpl

AliveToolkit · Sep 24, 2023 · a79b9a3 · a79b9a3
1 parent 3358553
commit a79b9a3
Showing 1 changed file with 2 additions and 3 deletions.
diff --git 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 {