Описание:

Команда POP заменяет содержимое операнда памяти, регистра или сегментного регистра значением из вершины стека. Текущий атрибут размера операнда в дескрипторе стекового сегмента (бит B) определяет размерность указателя стека: SP используется, если этот атрибут равен 16 бит и ESP — если 32 бита. Текущий атрибут размера операнда кодового сегмента определяет размерность пересылаемых данных (16 или 32 бита). Текущий атрибут размера адреса определяет размерность адреса при обращении к операнду-назначению команды в памяти. После выборки данных указатель стека (E)SP увеличивается на 2 при 16-битном размере операнда для кодового сегмента или на 4 при 32-битном размере операнда для кодового сегмента, после чего он указывает на новую вершину стека.

Если операнд-назначение — сегментный регистр (DS, ES, FS, GS или SS), то извлекаемое значение должно быть корректным селектором. В защищенном режиме загрузка селектора инициирует автоматическую загрузку информации из соответствующего дескриптора в скрытую часть сегментного регистра, а также проверку правильности информации селектора и дескриптора.

Нулевой селектор (0000h, … 0003h) может быть загружен в регистры DS, ES, FS или GS не вызывая исключений защиты. Однакоко попытка использования нулевых селекторов при обращении к памяти вызывает особую ситуацию #GP(0), и никакого обращения к памяти не происходит.

Сегментный регистр CS не может быть загружен командой POP. Для загрузки регистра CS должны использоваться команды JMP, CALL или RET.

Команда POP SS имеет специальное свойство, она запрещает все прерывания включая NMI до тех пор, пока не выполнится следующая команда. Это позволяет последовательно выполнить команды POP SS и MOV (E)SP,(E)BP без опасности использования ошибочного стека во время прерывания. Тем не менее, использование команды LSS является предпочтительным методом загрузки регистров SS и (E)SP. Существуют и другие команды, которые задерживают прием прерываний при выполнении следующей за ними команды, но комбинация таких команд (например, STI и POP SS) не означает, что прерывания не будут восприниматься на протяжении двух команд. Такие последовательности могут вызвать серьезные сбои, т.к. станет возможным поступление прерывания сразу после команды загрузки стекового сегмента SS.

Команда POP-в-память, которая использует указатель стека (E)SP в качестве базового регистра, обращается к памяти после извлечения данных из стека. Используемое при вычислении эффективного адреса значение является значением (E)SP после выполнения команды выборки. Для случая, когда в режиме 16-битной адресации значение регистра ESP после выборки операнда из стека становится равным 0h, фактический адрес, используемый при доступе к операнду-назначению в памяти, зависит от модели процессора и в общем случае не документирован.

Загрузка сегментного регистра в защищенном режиме вызывает специальные проверки и действия описанные ниже.

IF (Загружается SS)

  THEN

     IF (Селектор нулевой) THEN #GP(0);

     Индекс селектора должен попадать в пределы таблицы дескрипторов, иначе #GP(Селектор);

     RPL селектора должен быть равен CPL, иначе #GP(Селектор);

     AR байт дескриптора должен задавать разрешенный для записи сегмент, иначе #GP(Селектор);

     DPL в AR байте должен быть равен CPL, иначе #GP(Селектор);

     Сегмент должен присутствовать, иначе #SS(Селектор);

     Загрузить регистр SS селектором;

     Загрузить скрытую часть регистра SS дескриптором;

FI;

IF (Загружается не нулевой селектор в регистр DS, ES, FS или GS)

  THEN

     AR байт дескриптора должен задавать сегмент данных или разрешенный для чтения кодовый сегмент, иначе #GP(Cелектор);

        IF (Cегмент данных или несогласованный кодовый сегмент)

        THEN RPL и CPL должны быть меньше или равны DPL в AR байте;

        ELSE #GP(Cелектор);

        FI;

        Сегмент должен присутствовать, иначе #NP(Cелектор);

        Загрузить сегментный регистр селектором;

        Загрузить скрытую часть сегментного регистра дескриптором;

FI;

IF (загружается нулевой селектор в регистр DS, ES, FS или GS)

  THEN

     Загрузить сегментный регистр селектором;

     Очистить бит достоверности (valide bit) в скрытой части сегментного регистра;

FI;

Операция:

IF StackAddrSize = 16

THEN

  IF OperandSize = 16

  THEN

     DEST = (SS:SP); (* Копировать слово *)

     SP = SP + 2;

  ELSE (* OperandSize = 32 *)

     DEST = (SS:SP); (* Копировать двойное слово *)

     SP = SP + 4;

  FI;

ELSE (* StackAddrSize = 32 *)

  IF OperandSize = 16

  THEN

     DEST = (SS:ESP); (* Копировать слово *)

     ESP = ESP + 2;

  ELSE (* OperandSize = 32 *)

     DEST = (SS:ESP); (* Копировать двойное слово *)

     ESP = ESP + 4;

  FI;

FI;