Описание:

Команда PUSH уменьшает указатель стека (E)SP на 2 для 16-битного размера операнда или на 4 для 32-битного размера операнда. Затем команда помещает операнд-источник в новую вершину стека, адресуемую через SS:SP, если атрибут размера адреса для стекового сегмента равен 16 бит (управляется битом B дескриптора стекового сегмента), или через SS:ESP, если атрибут размера для стекового сегмента адреса равен 32 бита. Атрибуты размера адреса и операнда для кода управляют, соответственно, размерностью адреса при доступе к операнду-источнику в памяти и размерностью самого пересылаемого операнда. При записи в стек однобайтного непосредственного значения указатель eSP уменьшается на 2, т.е. происходит запись слова (значения старших 8 бит этого слова не документировано для процессоров Intel).

Команда PUSH-из-памяти, которая использует указатель стека (E)SP в качестве базового регистра, обращается к памяти перед занесением данных в стек. Используемое при вычислении эффективного адреса значение является значением (E)SP перед выполнением команды.

В процессорах, начиная с Intel286, команда PUSH (E)SP помещает в стек значение регистра (E)SP такое, каким оно было до поступления команды. В 8086/8088 команда PUSH SP помещает в стек измененное значение SP (уменьшенное на 2).

В реальном режиме, если значение eSP равно 1 перед исполнением команды PUSH, процессор сбрасывается из-за отсутствия места в стеке. Такое поведение процессора документируется для процессоров Intel и вероятно возможно и при значении eSP равном 3 (если сохраняется двойное слово), однако, некоторые модели процессоров (в первую очередь это касается клонов производства других фирм) могут вести себя совершенно непредсказуемо в данной ситуации.

Операция:

IF StackAddrSize = 16

THEN

  IF OperandSize = 16

  THEN

     SP = SP - 2;

     (SS:SP) = (SOURCE); (* Пересылает слово *)

  ELSE (* OperandSize = 32 *)

     SP = SP - 4;

     (SS:SP) = (SOURCE); (* Пересылает двойное слово *)

  FI;

ELSE (* StackAddrSize = 32 *)

  IF OperandSize = 16

  THEN

     ESP = ESP - 2;

     (SS:ESP) = (SOURCE); (* Пересылает слово *)

  ELSE (* OperandSize = 32 *)

     ESP = ESP - 4;

     (SS:ESP) = (SOURCE); (* Пересылает двойное слово *)

  FI;

FI;