WebAssembly control flow instructions.

block

Creates a label that can later be branched out of with abr.

br

Branches to aloop,block, orif.

br_if

Branches to aloop,block, orif, based on a boolean condition.

br_table

Branches to differentloop,block, orif statements, based on an argument.

call

Calls a function.

drop

Pops a value from the stack, and discards it.

end

Can be used to end ablock,loop,if, orelse.

if...else

Executes a statement if the last item on the stack is true (non-zero).

loop

Creates a label that can later be branched to with abr.

nop

Does nothing.

return

Returns from a function.

select

Selects one of its first two operands based on a boolean condition.

unreachable

Denotes a point in code that should not be reachable.