-
Notifications
You must be signed in to change notification settings - Fork 478
Closed
Description
The spec currently lists a reduction rule:
spec/document/core/exec/instructions.rst
Line 2878 in 51ff50a
\LABEL_n\{\instr^\ast\}~\val^n~\END &\stepto& \val^n |
n
values on the stack)This line was recently changed in #1564.
In the WebAssembly paper (Bringing the Web up to Speed with WebAssembly), this rule is listed as:
(i.e. leave stack untouched)
(This matches the copy of this rule in the runtime section (#1152) and in both formalizations of the spec (coq, isabelle))
My understanding is that the arity of a label
describes the number of values that should be kept on the stack when breaking, not when exiting normally, since a loop
reduces to a label
whose arity is the loop
's input value count.
This is the same conclusion reached in:
Metadata
Metadata
Assignees
Labels
No labels