Вывод сборки GCC пустой программы на x86, win32

есть очень похожее упражнение, описанное здесь:http://en.wikibooks.org/wiki/X86_Assembly/GAS_Syntax

вы поняли большую часть этого -- я просто сделаю дополнительные заметки для акцента и дополнений.

__main Это подпрограмма в стандартной библиотеке GNU, которая заботится о различных инициализации запуска. Это не является строго необходимым для программ C, но требуется только в том случае, если код C связывается с С.++

_main ваша основная подпрограмма. А как _main и __main являются кодовыми местоположениями, они имеют один и тот же класс хранения и тип. Я еще не выкопал определения для .scl и .type еще. Вы можете получить некоторое освещение, определив несколько глобальных переменных.

первые три инструкции настраивают кадр стека, который является техническим термином для рабочего хранения подпрограммы - локальные и временные переменные по большей части. Толкает ebp сохраняет основание кадра стека вызывающего объекта. Положить esp на ebp установка базы кадра стека. Элемент andl выравнивает кадр стека до границы 16 байт только в том случае, если какие-либо локальные переменные в стеке требуют выравнивания 16 байт (для инструкций x86 SIMD требуется это выравнивание, но выравнивание ускоряет обычные типы, такие как int s и float s.

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

вызов __main является специальным для основной точки входа и обычно не отображается в подпрограммах.

остальное идет, как вы предположили. Регистрация eax это место, чтобы поместить целочисленные коды возврата в двоичной спецификации. leave отменяет кадр стека и ret возвращается к звонящему. В этом случае вызывающий объект-это низкоуровневая среда выполнения C, которая будет выполнять дополнительную магию (например, вызов atexit() функции, установите код выхода для процесса и попросите операционную систему завершить процесс.

по этому andl $-16,%esp

• 32 бит: -16 в десятичном равен 0xfffffff0 в шестнадцатеричном представлении
• 64 бит: -16 в десятичном виде равно 0xfffffffffffffff0 в шестнадцатеричном представлении

таким образом, он будет маскировать последние 4 бита ESP (кстати: 2**4 равно 16) и сохранит все остальные биты (независимо от того, является ли целевая система 32 или 64 бит).

дальше andl $-16,%esp, это работает, потому что установка низких битов на ноль всегда будет регулировать %espвниз в значении, и стек растет вниз на x86.

у меня нет всех ответов, но я могу объяснить, что я знаю.

ebp используется функцией для хранения начального состояния esp во время его потока ссылка на то, где аргументы передаются функции и где находятся ее собственные локальные переменные. Первое, что делает функция, это сохранить статус данного ebp делаешь pushl %ebp, это жизненно важно для функции, которая делает вызов, и чем заменяет его на свою текущую позицию стека esp делаешь movl %esp, %ebp. Обнуление последних 4 бит ebp на данный момент GCC специфичен, я не знаю, почему этот компилятор делает это. Он будет работать, не делая этого. Теперь, наконец, мы идем в бизнес, call ___main, кто _ _ главный? Я не знаю... возможно, больше специальных процедур GCC, и, наконец, единственное, что делает ваш main (), установите возвращаемое значение как 0 с movl , %eax и leave это то же самое, что делать movl %ebp, %esp; popl %ebp восстановить ebp государство, то ret до конца. ret pops eip и продолжить поток потока от этот момент, где бы он ни был (как его основной(), этот ret, вероятно, приводит к некоторой процедуре ядра, которая обрабатывает конец программы).

большинство из них все об управлении стеком. Я написал подробный учебник о том, как используется стек некоторое время назад, было бы полезно объяснить, почему все эти вещи сделаны. Но это на португальском языке...