新石器Wiki

この文書は読取専用です。文書のソースを閲覧することは可能ですが、変更はできません。もし変更したい場合は管理者に連絡してください。

32bit×32bit→64bit演算の注意
==========================
[[devtool:ide:ewarm:start|IAR社のEWARM]]では、64bit変数(long long)がサポートされているので、32bit変数同士のかけ算で64bit結果を得る時の留意点についての備忘録。（他のコンパイラでは未確認）

ソース例１でアセンブラ出力を確認
-----------------------------
下記記述では、「`MULS`」命令で32bit演算命令が使われてしまっている。

<code c dat64.c>
int64_t dmuls(int32_t dat1, int32_t dat2)
{
    return (int64_t)(dat1 * dat2);
}
</code>

　　　↓（アセンブラ出力リスト）
   
<code>
49          int64_t dmuls(int32_t dat1, int32_t dat2)
50          {
51          	return (int64_t)(dat1 * dat2);
                    dmuls: (+1)
       0x0   0x4348             MULS     R0,R1,R0
       0x2   0x17C1             ASRS     R1,R0,#+31
       0x4   0x4770             BX       LR               ;; return
52          }
</code>


ソース例２でアセンブラ出力を確認
-----------------------------
下記記述では、「`SMULL`」命令で期待通り64bit演算命令が使われた。

<code c dat64.c>
int64_t dmuls(int32_t dat1, int32_t dat2)
{
    return (int64_t)dat1 * (int64_t)dat2;
}
</code>

　　　↓（アセンブラ出力リスト）
   
<code>
49          int64_t dmuls(int32_t dat1, int32_t dat2)
50          {
51          	return (int64_t)dat1 * (int64_t)dat2;
                     dmuls: (+1)
        0x0   0xFB81 0x0100      SMULL    R0,R1,R1,R0
        0x4   0x4770             BX       LR               ;; return
52          }
</code>

64bit結果を得たい時には、上記のように非演算側をキャストする必要があるので注意。