Compilación extraña del ensamblaje en línea en LLVM GCC 4.2

Question

Estoy tratando de optimizar la siguiente macro C:

rotate(v0, v1) a0 = v0, b0 = v1, v0 = a0*c - b0*s, v1 = a0*s + b0*c

donde están todas las variables dobles para el procesador Cortex-A8.

El ensamblaje en línea se ve lo siguiente:

            __asm__ __volatile__("vmul.f64 %[v0], %[a0], %[c];\n\t"
                                 "vmul.f64 %[v1], %[a0], %[s];\n\t"
                                 "vmls.f64 %[v0], %[b0], %[s];\n\t"
                                 "vmla.f64 %[v1], %[b0], %[c];\n\t"
                                 :[v0]"=w"(v0), [v1]"=w"(v1)
                                 :[s]"w"(s), [c]"w"(c),
                                  [a0]"w"(v0), [b0]"w"(v1)
                                 :);

El ensamblaje generado se ve de la siguiente manera:

@ InlineAsm Start
vmul.f64 d13, d13, d9;
vmul.f64 d12, d13, d8;
vmls.f64 d13, d12, d8;
vmla.f64 d12, d12, d9;
@ InlineAsm End

Como puede ver, el compilador usa solo 4 registros en lugar de 6 que son necesarios para obtener el resultado correcto.

¿Cómo puedo decirle al compilador que necesito 6 registros?