Коррекция стека с помощью RET вместо POP

Всем здравствуйте!
Ковыряю ассемблер под Windows, в качестве ассемблера использую MASM32
Вопрос по коррекции стека при выходе из оконной процедуры
В примере простейшего приложения из книги Пирогова при входе в оконную процедуру регистры EBP, EBX, ESI, EDI сохраняются в стек (инструкциями PUSH), а при выходе из неё - извлекаются из стека (инструкциями POP). Я решил сократить программу, и вместо POP использовать RET с коррекцией стека. Но это приводит к аварийному завершению программы.
Было:
Стало:
Ну, вроде бы при удалении 4-х инструкций POP в стеке остается лишние 4 слова, т.е. 16 байт. Вместо прежней коррекции на 16 байт (это аргументы оконной процедуры) делаю коррекцию на 32 байта (аргументы оконной процедуры и сохраненные в стеке четыре регистра). Но программа при запуске завершается аварийно.
Я проверил, при обработке конкретно этого сообщения WM_CREATE никаких действий с регистрами EBP, EBX, ESI и EDI не производится, т.е. никакие API-функции не вызываются управление возвращается с тем же содержимым. На всякий пожарный я даже пробовал при входе сохранять регистры в буферные переменные и перед выходом восстанавливать их (всё с помощью MOV). Но после сборки программы она перестаёт запускаться. Не могу понять, что не так.
Зато даже при замене RET 16 на RET 20 программа запускается нормально:
Не могу понять, что я делаю не так, и что вообще с коррекцией стека в Windows происходит, если даже при неправильной коррекции стека программа запускается нормально.

0

BluntCoder,
сохранять EBP, EBX, ESI и EDI в стеке, а потом восстанавливать их из стека нужно лишь в том случае, если в процедуре используются EBP, EBX, ESI и EDI. Не используйте эти регистры, тогда не нужно будет их помещать в стек и извлекать их оттуда. Пользуйтесь глобальными или локальными процедурами

0

Ну, вообще-то вопрос не в этом. А в логике работы ассемблера. Что не так? Почему RET 32 не срабатывает так, как ожидается?
А что такое локальные и глобальные процедуры? Имелись в виду переменные?

0

Сообщение от BluntCoder программа при запуске завершается аварийно

ESP до и после вызова у вас один и тот же, но возвращаетесь не туда, откуда был вызов.

Сообщение от BluntCoder при замене RET 16 на RET 20 программа запускается нормально

Возвращаетесь туда, откуда был вызов, но стек нарушен. Поведение программы зависит от того, что происходит после возврата. При определённых обстоятельствах ошибка нарушения стека может не проявиться.

1

UnknownSoldier, ыыы, я понял! При вызове CALL в стек кладётся адрес возврата, он и оказывается в стеке после всех параметров, про него-то я и забыл. Спасибо!

0