OK ... I use the row matrix convention. Each [m] requires (2) __m128 elements to get 8 floats. Vector 8x1 v is a column vector. Since you are using the haddps instruction, I assume SSE3 is available. Search r = [m] * v :
void mul (__m128 r[2], const __m128 m[8][2], const __m128 v[2]) { __m128 t0, t1, t2, t3, r0, r1, r2, r3; t0 = _mm_mul_ps(m[0][0], v[0]); t1 = _mm_mul_ps(m[1][0], v[0]); t2 = _mm_mul_ps(m[2][0], v[0]); t3 = _mm_mul_ps(m[3][0], v[0]); t0 = _mm_hadd_ps(t0, t1); t2 = _mm_hadd_ps(t2, t3); r0 = _mm_hadd_ps(t0, t2); t0 = _mm_mul_ps(m[0][1], v[1]); t1 = _mm_mul_ps(m[1][1], v[1]); t2 = _mm_mul_ps(m[2][1], v[1]); t3 = _mm_mul_ps(m[3][1], v[1]); t0 = _mm_hadd_ps(t0, t1); t2 = _mm_hadd_ps(t2, t3); r1 = _mm_hadd_ps(t0, t2); t0 = _mm_mul_ps(m[4][0], v[0]); t1 = _mm_mul_ps(m[5][0], v[0]); t2 = _mm_mul_ps(m[6][0], v[0]); t3 = _mm_mul_ps(m[7][0], v[0]); t0 = _mm_hadd_ps(t0, t1); t2 = _mm_hadd_ps(t2, t3); r2 = _mm_hadd_ps(t0, t2); t0 = _mm_mul_ps(m[4][1], v[1]); t1 = _mm_mul_ps(m[5][1], v[1]); t2 = _mm_mul_ps(m[6][1], v[1]); t3 = _mm_mul_ps(m[7][1], v[1]); t0 = _mm_hadd_ps(t0, t1); t2 = _mm_hadd_ps(t2, t3); r3 = _mm_hadd_ps(t0, t2); r[0] = _mm_add_ps(r0, r1); r[1] = _mm_add_ps(r2, r3); }
As for alignment, a variable of type __m128 should automatically align on the stack. With dynamic memory, this is not a safe assumption. Some malloc / new implementations may only return memory guaranteed by 8-byte alignment.
The intrinsics header provides _mm_malloc and _mm_free. The align parameter should be (16) in this case.