Translator: Follow-up fix of 8419670

Author: kateinoigakukun

FuzzTesting/FailCases/FuzzDifferential/diff-28b86dad836ec8190896453558e3c4a9026f13e1.wasm

@@ -1154,6 +1154,7 @@ struct InstructionTranslator<Context: TranslatorContext>: InstructionVisitor {
         // Pop condition value
         let condition = try popVRegOperand(.i32)
         let blockType = try module.resolveBlockType(blockType)
+        self.preserveLocalsOnStack(depth: self.valueStack.height)
         preserveOnStack(depth: blockType.parameters.count)
         let endLabel = iseqBuilder.allocLabel()
         let elseLabel = iseqBuilder.allocLabel()

Sources/WasmKit/Translator.swift

@@ -67,3 +67,22 @@
 )
 
 (assert_return (invoke "check") (i32.const 0))
+
+(module
+  (global (mut i32) (i32.const 4))
+  (func (export "check") (result i32)
+    (local i32)
+    global.get 0
+    drop
+    local.get 0
+    i32.const 1
+    if
+      i32.const 1
+      br_if 0
+      i32.const 0
+      local.set 0
+    end
+  )
+)
+
+(assert_return (invoke "check") (i32.const 0))