Как работает стек при выполнении инструкций PUSH и POP в архитектуре Intel?

Стек в архитектуре Intel растёт от больших адресов к меньшим. metanit.com Указатель стека (ESP) содержит адрес последнего элемента стека, следующий за последним элементом. habr.com

Инструкция PUSH добавляет элемент на вершину стека. inf-3.narod.ru У неё один операнд, который может быть непосредственным значением, 16-битным регистром (в том числе сегментым) или 16-битной переменной в памяти. inf-3.narod.ru Команда работает следующим образом: inf-3.narod.ru

1. Значение в регистре SP уменьшается на 2 (так как ширина стека — 16 бит или 2 байта). inf-3.narod.ru
2. Операнд помещается в память по адресу в SP. inf-3.narod.ru

Инструкция POP извлекает элемент с вершины стека. inf-3.narod.ru У этой команды также один операнд, который может быть 16-битным регистром (в том числе сегментым, но кроме CS) или 16-битной переменной в памяти. inf-3.narod.ru Команда работает следующим образом: inf-3.narod.ru

1. Операнд читается из памяти по адресу в SP. inf-3.narod.ru
2. Значение в регистре SP увеличивается на 2. inf-3.narod.ru

Извлечённый из стека элемент не обнуляется и не затирается в памяти, а просто остаётся как «мусор». inf-3.narod.ru Он будет перезаписан при помещении нового значения в стек. inf-3.narod.ru

Стек представляет структуру LIFO («Last In — First Out» или «последним пришёл — первым ушёл»). metanit.com inf-3.narod.ru Это значит, что получение данных из стека происходит в порядке, обратном их добавлению. metanit.com