This page is created because it's annoying to constantly jump around the official WebAssembly documentation.
The page requires careful review as official specs are updated
Instructions
| Instruction
|
Byte Code
|
Execution
|
Notes
|
| Control Instructions
|
| unreachable
|
$00
|
|
|
| nop
|
$01
|
|
|
| block
|
$02 blocktype
|
|
block must always be closed with end
|
| br labelidx
|
$0C labelidx
|
|
- 1. Assert: due to validation, the stack contains at least l+1 labels.
- 2. Let L be the l-th label appearing on the stack, starting from the top and counting from zero.
- 3. Let n be the arity of L.
- 4. Assert: due to validation, there are at least n values on the top of the stack.
- 5. Pop the values valn from the stack.
- 6. Repeat l+1 times:
- a. While the top of the stack is a value, do:
- i. Pop the value from the stack.
- b. Assert: due to validation, the top of the stack now is a label.
- c. Pop the label from the stack.
- 7. Push the values valn to the stack.
- 8. Jump to the continuation of L.
|
| br_if labelidx
|
$0D labelidx
|
|
- 1. Assert: due to validation, a value of value type i32 is on the top of the stack.
- 2. Pop the value i32.const c from the stack.
- 3. If c is non-zero, then:
- a. Execute the instruction (br l).
- 4. Else:
- b. Do nothing.
|
| br_table vec(labelidxI) labelidx
|
|
|
|
| return
|
|
|
|
| call funcidx
|
|
|
|
| call_indirect typeuse
|
|
|
|
See Also
