Update instr.cpp

AliveToolkit · Nov 27, 2023 · 1f0f220 · 1f0f220
1 parent 9eef40f
commit 1f0f220
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ir/instr.cpp b/ir/instr.cpp
@@ -355,7 +355,7 @@ StateValue BinOp::toSMT(State &s) const {
 
   case Or:
     fn = [&](auto &a, auto &ap, auto &b, auto &bp) -> StateValue {
-      return { a | b, flags & Disjoint ? (a & b).isZero() : true };
+      return { a | b, (flags & Disjoint) ? (a & b) == 0 : true };
     };
     break;