Описание:

Команда LEAVE производит действия обратные команде ENTER. Копируя указатель кадра eBP в указатель стека, команда LEAVE освобождает пространство стека, использовавшееся для локальных переменных в завершающейся процедуре. Новый указатель кадра выбирается из стека в регистр BP или EBP, восстанавливая кадр вызвавшей процедуры. Последующая команда RET передает управление вызвавшей процедуре.

Операция:

IF StackAddress = 16

  THEN SP = BP;

  ELSE (* StackAddrSize = 32 *)

     ESP = EBP;

FI;

IF OperandSize = 32

  THEN BP = Pop();

  ELSE (* OperandSize = 32 *)

     EBP = Pop();

FI;