добавление компонентов регистра SSE

Я хочу добавить четыре компонента регистра SSE, чтобы получить одно значение с плавающей запятой. Вот как я это делаю сейчас:

float a[4];
_mm_storeu_ps(a, foo128);
float x = a[0] + a[1] + a[2] + a[3];

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