32bit×32bit→64bit演算の注意
==========================
[[devtool:ide:ewarm:start|IAR社のEWARM]]では、64bit変数(long long)がサポートされているので、32bit変数同士のかけ算で64bit結果を得る時の留意点についての備忘録。(他のコンパイラでは未確認)
ソース例1でアセンブラ出力を確認
-----------------------------
下記記述では、「`MULS`」命令で32bit演算命令が使われてしまっている。
int64_t dmuls(int32_t dat1, int32_t dat2)
{
return (int64_t)(dat1 * dat2);
}
↓(アセンブラ出力リスト)
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 }
ソース例2でアセンブラ出力を確認
-----------------------------
下記記述では、「`SMULL`」命令で期待通り64bit演算命令が使われた。
int64_t dmuls(int32_t dat1, int32_t dat2)
{
return (int64_t)dat1 * (int64_t)dat2;
}
↓(アセンブラ出力リスト)
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 }
64bit結果を得たい時には、上記のように非演算側をキャストする必要があるので注意。