次の C マクロを最適化しようとしています。
rotate(v0, v1) a0 = v0, b0 = v1, v0 = a0*c - b0*s, v1 = a0*s + b0*c
ここで、Cortex-A8 プロセッサの場合、すべての変数はdoubleです。
インライン アセンブリは次のようになります。
__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)
:);
生成されたアセンブリは次のようになります。
@ InlineAsm Start
vmul.f64 d13, d13, d9;
vmul.f64 d12, d13, d8;
vmls.f64 d13, d12, d8;
vmla.f64 d12, d12, d9;
@ InlineAsm End
ご覧のとおり、コンパイラは正しい結果を得るために必要な 6 つではなく 4 つのレジスタのみを使用します。
6 つのレジスターが必要であることをコンパイラーにどのように伝えることができますか?