fix: val_cnt for if

zhouwfang · Dec 23, 2024 · f3d4e21 · f3d4e21
1 parent 5c7889b
commit f3d4e21
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/crates/interpreter/src/valid.rs b/crates/interpreter/src/valid.rs
@@ -594,8 +594,10 @@ impl<'a, 'm> Expr<'a, 'm> {
             }
             If(b) => {
                 self.pop_check(ValType::I32)?;
-                let branch = self.branch_source();
-                self.push_label(self.blocktype(&b)?, LabelKind::If(branch))?;
+                let mut branch = self.branch_source();
+                let type_ = self.blocktype(&b)?;
+                branch.result = type_.results.len();
+                self.push_label(type_, LabelKind::If(branch))?;
             }
             Else => {
                 match core::mem::replace(&mut self.label().kind, LabelKind::Block) {