Wasm块分支结果、指令合法性及循环栈状态技术咨询

问题1：如果从一个块中跳出分支，该块的结果应如何处理？ #

参考给出的代码：

loop $FIRST
  block $SECOND (result i32)
    i32.constant 1 
    block $THIRD (result i32)
      i32.constant 1
      br $FIRST
    end
  end
  br $FIRST
end

Wasm的规则如下：

• 只有当块**正常执行到end**时，才需要满足块的结果类型要求——此时栈顶必须有对应结果类型的值。
• 如果通过br等分支指令直接跳出块（跳转到外层标签而非当前块的end），则无需处理该块的结果值。因为分支是提前终止块的执行，块的正常返回路径并未被触发，所以不需要向父块提供结果。
  比如代码中的$THIRD块声明了result i32，但通过br $FIRST直接跳转到外层循环，完全不需要为$THIRD块提供i32类型的结果值。

问题2：若移除其中一条i32.constant指令，是否会触发错误？ #

移除任意一条i32.constant指令都不会触发验证错误，原因分两种情况：

• 若移除$SECOND块内的i32.constant 1：$SECOND块的正常结束路径（走到end）会接收$THIRD块执行后的i32结果，刚好满足$SECOND块的result i32要求，静态验证通过。
• 若移除$THIRD块内的i32.constant 1：$THIRD块内的指令是无条件br $FIRST，不存在走到$THIRD块end的执行路径，此时块的result i32约束不会被触发，验证器不会报错。

问题3：当第三个块内的br指令跳转到循环$FIRST的开头时，循环会看到栈上有什么内容？原因是什么？ #

循环$FIRST开头的栈是空的。
原因是Wasm的分支指令（如br）在跳转到目标标签时，会将栈状态回退到该标签对应的控制结构开始执行时的状态。$FIRST循环启动时栈是空的，所以执行br $FIRST时，当前栈上的所有值（两个i32.constant压入的1）都会被弹出，栈恢复到循环初始的空状态。

内容的提问来源于stack exchange，提问作者confused_sisyphus