opt for #7455

Author: xuruiyang2002

src/passes/OptimizeInstructions.cpp

@@ -2924,6 +2924,19 @@ struct OptimizeInstructions
             return binary;
           }
         }
+      } else if (binary->op == LtUInt32) {
+        auto value = Properties::getFallthrough(
+          binary->right, getPassOptions(), *getModule());
+        if (Properties::isConstantExpression(value)) {
+          if (Properties::getLiteral(value).isZero()) {
+            // Hoist potential zero to be good for constant propagation
+            // in case of being blocked by side effect.
+            // (unsigned)x < 0   ==>  i32(0)
+            Builder builder(*getModule());
+            return getDroppedChildrenAndAppend(
+              binary, LiteralUtils::makeZero(Type::i32, *getModule()));
+          }
+        }
       }
       if (auto* ext = Properties::getSignExtValue(binary)) {
         // use a cheaper zero-extent, we just care about the boolean value