WebAssembly control flow instructions.

• block

  • : Creates a label that can later be branched out of with a br.

  br

  • : Branches to a loop, block, or if.

  br_if

  • : Branches to a loop, block, or if, based on a boolean condition.

  br_table

  • : Branches to different loop, block, or if 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 a block, loop, if, or else.

  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 a br.

  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.