Переходы

JUMP :=
   'jmp' @IDENT               # Безусловный
 | 'jnz' VAL, @IDENT, @IDENT  # Условный
 | 'ret' [VAL]                # Возврат/Return

Команда перехода заканчивает каждый блок и передает управление в другое место программы. Целью перехода никогда не должен быть первый блок в функции. Три вида доступных переходов описаны далее в списке.

A jump instruction ends every block and transfers the control to another program location. The target of a jump must never be the first block in a function. The three kinds of jumps available are described in the following list.

Безусловный переход. Переход к исполнению другого блока данной функции.

Unconditional jump. Simply jumps to another block of the same function.

Условный переход. Когда первый аргумент (тип w - word) имеет ненулевое значение, переход осуществляется по первой метке-имени блока, стоящего первым (второй аргумент перехода); иначе переход осуществляется по второй метке-имени блока (третий аргумент перехода). Первый аргумент должен быть типа word; из-за подтипирования long-аргумент может быть корректно обработан, но только его младшие 32 бита будут сравниваться с 0.

Conditional jump. When its word argument is non-zero, it jumps to its first label argument; otherwise it jumps to the other label. The argument must be of word type; because of subtyping a long argument can be passed, but only its least significant 32 bits will be compared to 0.

Функция возврата/return. Завершает выполнение текущей функции, возвращая ее результат в место, где эта функция была вызвана. Возвращаемое значение должно указываться в прототипе функции. Если возвращаемый тип не определен, то возвращаемое значение не может быть использовано.

Function return. Terminates the execution of the current function, optionally returning a value to the caller. The value returned must be of the type given in the function prototype. If the function prototype does not specify a return type, no return value can be used.

---

Источник: c9x.me