Cインラインアセンブリー - 'fst'のオペランドタイプの不一致

Question

私のCプログラムでアセンブリコードを書く方法を学びたいと思っています。私はアセンブリで整数を理解していますが、浮動小数点数は引き続き私を引き上げます。

double asmSqrt(double x) { 
    double o; 
    __asm__ ("fld %1;" 
      "fsqrt;" 
      "fst %0;" 
      : "=g" (o) 
      : "g" (x) 
    ); 
    return o; 
} 

私はxの平方根を見つけようとしています。しかし、コンパイルしようとするたびに、オペランドの型の不一致エラーが発生します。

私はここで使用したのと同じ構文に続く：http://www.codeproject.com/KB/cpp/edujini_inline_asm.aspx?display=Print

PS：イムWindows XP上のMinGW GCCを使用して

Answer 1

メモリ位置を指定する "= M" の代わりに "= G" のを。しかし、最高のは、ここでは、このマニュアルを読むことです：http://ibiblio.org/gferg/ldp/GCC-Inline-Assembly-HOWTO.html#s4

をとにかく、ここでの解決策は次のとおりです。

double asmSqrt(double x) { 
    double o; 
    __asm__ ("fld %1;" 
      "fsqrt;" 
      "fst %0;" 
      : "=m" (o) 
      : "g" (x) 
); 
    return o; 
} 

Answer 2

明示的にしたいfldとfst命令バリアントを指定する必要があります。さもなければ、コンパイラは、あなたのオペランドがどれくらいの大きさであるかを知らない。このコードは、ここに私の作品：

__asm__ ("fldl %1 ;" 
     "fsqrt ;" 
     "fstl %0 ;" 
     : "=g" (o) 
     : "g" (x) 
); 

あなたがダブルチェックするために、64ビットFLDとFST（DD/0とDD/2）のための右のオペコードが放出なっていることを逆アセンブラを使用することができます。

Answer 3

まず、これはどうしてですか？コンパイラは平方根自体を行うことができます。あなたは適切な数学ライブラリ関数を呼び出し、最適化を有効にして（インライン標準関数をインライン化する）、あなたが望むことをしなければ驚くでしょう。結果はプラットフォームに依存しません（必要な場合は64ビット、他のアーキテクチャ全体を構築することもできます）。コードを簡単に保守できます。

あなたはそれを苦労して行う上で主張する場合、gccはまた、（私は実際にこれをテストしていませんでした）ここに助けることができる：

double asmSqrt(double x) { 
    __asm__ ("fsqrt" : "+t" (x)); 
    return x; 
} 

t制約手段が浮動の上に価値を置きますポイントスタック - それがどのようにそこに到達するか気にする必要はありません。 +は、入力と出力の両方に値を使用することを意味します。

編集：ああ、あなたは自身が、あなたがより良い「切り詰め」セクションでそのことについてコンパイラに指示していたか、あなたはそれがそこに格納されたものを上書きする可能性があるレジスタで物事を入れたいん場合。

Answer 4

ダブルsqrt1（ダブルN） { FSQRT __asm { FLD N } }

呼び出し方法：例