Fix

src/passes/OptimizeInstructions.cpp

@@ -5185,8 +5185,7 @@ struct OptimizeInstructions
       case SubInt64:
       case XorInt64:
         return getDroppedChildrenAndAppend(
-          binary->left,
-          LiteralUtils::makeZero(binary->left->type, *getModule()));
+          binary, LiteralUtils::makeZero(binary->left->type, *getModule()));
       case NeInt32:
       case LtSInt32:
       case LtUInt32:
@@ -5198,12 +5197,18 @@ struct OptimizeInstructions
       case GtSInt64:
       case GtUInt64:
         return getDroppedChildrenAndAppend(
-          binary->left, LiteralUtils::makeZero(Type::i32, *getModule()));
+          binary, LiteralUtils::makeZero(Type::i32, *getModule()));
       case AndInt32:
       case OrInt32:
       case AndInt64:
-      case OrInt64:
-        return binary->left;
+      case OrInt64: {
+        if (!effects(binary->left).hasSideEffects()) {
+          if (ExpressionAnalyzer::equal(binary->left, binary->right)) {
+            return binary->left;
+          }
+        }
+        return binary;
+      };
       case EqInt32:
       case LeSInt32:
       case LeUInt32:
@@ -5215,8 +5220,7 @@ struct OptimizeInstructions
       case GeSInt64:
       case GeUInt64:
         return getDroppedChildrenAndAppend(
-          binary->left,
-          LiteralUtils::makeFromInt32(1, Type::i32, *getModule()));
+          binary, LiteralUtils::makeFromInt32(1, Type::i32, *getModule()));
       default:
         return nullptr;
     }