обнуление массива без memset
здравствуйте, не могу понять следующий выхлоп:
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?
Сдвиг на 3 нужен потому, что компилятор желает использовать инструкцию
rep stosq, которая заполняет память не побайтно, а по 8-байтным словам. Поэтому количество итераций, которое надо сделать инструкцииrep stosqравно размеру буфера, деленному на 8. Это и есть сдвиг вправо на 3.То есть при подходе "в лоб" надо просто сделать 125 итераций
rep stosq.Однако для того, чтобы
rep stosqработала эффективнее, необходимо, чтобы ее целевой адрес был выровнен на границу 8 байт. Ваш буферaне гарантированно выровнен на границу 8 байт. Поэтому компилятор делает следующее: первое и последнее 8-байтное слово вашего буфера обнуляются индивидуально. Именно это делают инструкцииmovq $0, (%rdi) movq $0, 992(%rdi)А далее компилятор вычисляет выровненный на границу 8 байт адрес, с которого надо начать обнуление оставшейся "серединки" вашего буфера
leaq 8(%rdi), %rdi andq $-8, %rdiа также вычисляет, сколько надо сделать итераций
rep stosq, чтобы обнулить эту "серединку". Для вычисления количества итераций мы вычитаем изecx(который в этот момент содержит точное начало буфера), значение выровненного началаsubq %rdi, %rcxЕсли произошло фактическое выравнивание, то значение
rcxстанет отрицательным (более того, даже при выровненном буфереrdiздесь содержит адрес второго слова, т.е. значениеrcxв любом случае будет отрицательным). Затемaddl $1000, %ecx shrl $3, %ecxвычислит требуемое количество итераций, которое в общем случае получится меньше, чем 125 (т.е. 124).
-
10:16
-
17:54
-
22:01
-
13:03
-
12:54
Айфон мало держит заряд, разбираемся с проблемой вместе с AppLab
-
21:25
-
07:04
-
07:46
-
21:56
Перевод документов на английский язык: Важность и ключевые аспекты
- Почему SERVER_ADDR имеет не тот IP 47549 visits
- Как заменить $_SERVER[REMOTE_ADDR] на IP клиента в PHP за двумя Nginx? 30491 visits
- Хочу вывести несколько строк из массива в один div, выводит только много undefined; подскажите, что делать? 23623 visits
- Как через css изменить цвет png изображения? 10345 visits
- Blob video url download 9956 visits
- Php curl запрос через прокси с авторизацией 9205 visits
- Работа с captcha vk api 8088 visits
© "hostciti.net" 17.11.2024 | 12:34