ассемблере x86

Question

так им общий нуб на ассемблере и читать их, а

так у меня есть простой код на С

void saxpy() 
{ 
    for(int i = 0; i < ARRAY_SIZE; i++) { 
    float product = a*x[i]; 
    z[i] = product + y[i]; 
} 
} 

и эквивалентный код ассемблера при компиляции с

gcc -std=c99 -O3 -fno-tree-vectorize -S code.c -o code-O3.s 

дает мне следующий код сборки

saxpy: 
.LFB0: 
.cfi_startproc 
movss a(%rip), %xmm1 
xorl %eax, %eax 
.p2align 4,,10 
.p2align 3 
.L3: 
movss x(%rax), %xmm0 
addq $4, %rax 
mulss %xmm1, %xmm0 
addss y-4(%rax), %xmm0 
movss %xmm0, z-4(%rax) 
cmpq $262144, %rax 
jne .L3 
rep ret 
.cfi_endproc 

я понимаю, что разворачивания цикл имеет место , но им не в состоянии понять намерения и идеи за

addq $4, %rax 
mulss %xmm1, %xmm0 
addss y-4(%rax), %xmm0 
movss %xmm0, z-4(%rax) 

Может кто-то объяснить, использование 4, и , что делает заявления означают у-4 (% rax)

Answer 1

x, y и z являются глобальными массивами. Вы оставили в конце списка, в котором объявлены символы.

I put your code on godbolt for you, с необходимыми глобальными значениями, определенными (и фиксированными отступом). Посмотрите на дно.

BTW, здесь нет разворота. Есть один скалярный одноточечный мультиплекс и добавление в цикл. Попробуйте с -funroll-loops, чтобы увидеть его разворот.

With -march=haswell, gcc will use an FMA instruction. Если вы не калечите компилятор, оставив -fno-tree-vectorize, а #define ARRAY_SIZE невелик, как 100, он полностью разворачивает петлю с инструкциями FMA ymm в основном 32 байта, заканчивающимися примерно на 16 байт FMA xmm.

Кроме того, в чем необходимость добавления немедленного значения 4 в регистр rax. что делается в соответствии с утверждением «addq $ 4,% Rax»

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

---

Посмотрите на ссылки на https://stackoverflow.com/questions/tagged/x86. Кроме того, одношаговый код с отладчиком часто является хорошим способом убедиться, что вы понимаете, что он делает.