vaddsd это скалярная AVX операция (не векторная). Для всей плавающей арифметики уже давно используются скалярные SSE/AVX команды вместо FPU x87
ок, буду знать, спасибо) Я как-то давно смотрел всякие доклады по процессорным оптимизациям и там в одном показывался дамп java-кода в ассемблер где простой цикл по массиву успешно векторизировался и я почему-то думал что v8 умеет делать то же самое