Код сборки, созданный различными компиляторами?

Question

Я начал изучать сборку для арки ARM. Я читал в некоторых pdf-файлах и небольших учебниках в сети. Я понял код там. Но когда я написал простую глобальную программу hello в GCC, он дал файл сборки, содержимое которого сильно отличалось от того, что я узнал в pdf и в Интернете. (Я имею в виду главным образом директивы сборки).

SO, это означает, что код сборки, сгенерированный разными компиляторами, отличается (все используют разные способы написания ассемблерных директив и некоторых других вещей). Как и все, что я читал в Интернете, я думаю, что они были основаны на компиляторе Kiel.

Если то, что я написал выше, истинно, тогда, согласно компилятору, я изучу язык ассемблера для ARM.

Answer 1

Вы должны изучить сборку в соответствии с набором инструкций и архитектурой машины, которую у вас есть (и директивы в соответствии с используемым ассемблером). Две из основных причин обучения сборке - понять набор команд и делать то, что просто невозможно на языке более высокого уровня, - глядя на подмножество функциональности, которая сопоставляется с этим более высоким языком, не все это полезно в любом отношении, тем более, если оптимизация компилятора превратила его в неузнаваемость. Я бы сказал, что это особенно верно в ARM, где набор инструкций может делать всевозможные дурацкие вещи - это совершенно другая парадигма с высших языков и лучше всего решать на своих собственных условиях.

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

Таким образом, скомпилированный код может быть полезен для самых оснований, таких как «то, что этот цикл выглядит в сборе» - в этом случае выбор компилятора не должен иметь значения, поскольку вы хотите сохранить вещи как простой как возможно. Это означает, что отключить все оптимизация, придерживаться стандартного C (лично я бы даже пошел на ANSI C по C99) и сохранить код интереса к небольшим отдельным функциям, поэтому легче разобраться в разборке. Однако из-за оснований это меньше «язык обучения ассемблера» и более «изучение C в контексте языка ассемблера».