здравствуйте, не могу понять следующий выхлоп:
ex::ex():
movq $0, (%rdi)
movq $0, 992(%rdi)
movq %rdi, %rcx
leaq 8(%rdi), %rdi
xorl %eax, %eax
andq $-8, %rdi
subq %rdi, %rcx
addl $1000, %ecx
shrl $3, %ecx
rep stosq
ret
для кода:
class ex {
public:
ex() :a{0} {}
char a[1000];
};
int main() {
ex a;
}
читал, что rep stosq делает примерно то же, что и цикл, заполняя что-то пока ecx > 0, вот только не могу толком понять что. в подобных вопросах говорят, что вроде edi заполняется значениями из eax... однако полного понимания как достигается обнуление массива в 1000 элементов нету... разъясните по инструкциям что там и зачем, сдвиг на 3 или вот это, например, зачем:
movq $0, (%rdi)
movq $0, 992(%rdi)
обновление: в общем, предыдущий выхлоп был с -fno-inline, без него генерится вот это:
subq $1016, %rsp
movl $125, %ecx
xorl %eax, %eax
movq %rsp, %rdi
rep stosq
вопрос тот же: что за треш с rep stosq?
g++ -S -O2 ...
или-Os
) значительно понятней человеку. (попробуйте. Только учтите, что такая программа превратится вxorl %eax, %eax
,ret
. Так что просто добавьте в конце вызов какой-нибудь фиктивной функции и передайте в нееa
по ссылке)a
(1000 байт на вершине). Этот адрес пересылается в%rdi
(один из операндовstosq
), второй ее операнд (%rax
) обнуляется, устанавливаем операндrep
(%ecx
) и выполняем 125 разstosq
(rep
будет уменьшать%ecx
и увеличивать%rdi
)%rdi
увеличивает командаstosq
, а неrep
)