Опять о современных CPU

А какие компиляторы и с какими опциями ты используешь?

Алексей, а можно Вам в привате несколько вопросов про интеллект компиляторов и паралеллизм задать?

Я в GCC проверил два варианта
Первый вариант:

float in[]={0,0,0,0,0,0,0,0};
__m128 a, b,c;
scanf("%f%f%f%f%f%f%f%f", in,in+1,in+2,in+3,in+4,in+5,in+6,in+7);
a = _mm_loadu_ps(in);
b = _mm_loadu_ps(in+4);
c = _mm_add_ps(a , b );
float out[4];
_mm_store_ps(out, c );
printf("%f %f %f %f", out[0],out[1],out[2],out[3]);

Дает такой ассемблерный выхлоп в GCC:

...
call __isoc99_scanf
movups 0(%rbp), %xmm1
movups (%rbx), %xmm0
movl $.LC1, %edi
addps %xmm1, %xmm0
movl $4, %eax
movaps %xmm0, 64(%rsp)
cvtss2sd 64(%rsp), %xmm0
cvtss2sd 76(%rsp), %xmm3
cvtss2sd 72(%rsp), %xmm2
cvtss2sd 68(%rsp), %xmm1
call printf
...


И такой вариант с указателями вместо _mm_loadu_ps:

float in[]={0,0,0,0,0,0,0,0};
__m128 *a, *b,c;
scanf("%f%f%f%f%f%f%f%f", in,in+1,in+2,in+3,in+4,in+5,in+6,in+7);
a = (void *)in;
b = (void *)(in+4);
c = _mm_add_ps(*a , *b);
float out[4];
_mm_store_ps(out, c );
printf("%f %f %f %f", out[0],out[1],out[2],out[3]);

получаем:

...
call __isoc99_scanf
movaps 32(%rsp), %xmm0
movl $.LC1, %edi
addps 48(%rsp), %xmm0
movl $4, %eax
movaps %xmm0, 64(%rsp)
cvtss2sd 64(%rsp), %xmm0
cvtss2sd 76(%rsp), %xmm3
cvtss2sd 72(%rsp), %xmm2
cvtss2sd 68(%rsp), %xmm1
call printf
...


Если в первом случае вместо _mm_loadu_ps использовать _mm_load_ps, результаты будут одинаковы. Компилятор может определить ситуацию, когда в _mm_loadu_ps передаются выровненные данные и для этого случая использовать movaps вместо movups? И зачем тогда нужен _mm_load_ps, если можно через делать через указатели?