2

Intel命令セットリファレンスクレーム（強調私のもの）：

符号付き整数のソースオペランドを倍精度拡張精度浮動小数点形式に変換し、値をFPUレジスタスタックにプッシュします。ソースオペランドは、ワード、ダブルワード、またはクアッドワード整数にすることができます。丸め誤差なしでロードされます。ソースオペランドの符号は保持されます。この命令の動作は、非64ビットモードと64ビットモードで同じです。

ここに私のテストケースを見ることができます：

% cat stackoverflow.c       
float uint2float(unsigned int a) {
    return a;
}
% gcc -c stackoverflow.c    
% objdump -d stackoverflow.o

stackoverflow.o:     file format elf32-i386


Disassembly of section .text:

00000000 <uint2float>:
   0:   55                      push   %ebp
   1:   89 e5                   mov    %esp,%ebp
   3:   83 ec 08                sub    $0x8,%esp
   6:   8b 45 08                mov    0x8(%ebp),%eax
   9:   ba 00 00 00 00          mov    $0x0,%edx
   e:   89 45 f8                mov    %eax,-0x8(%ebp)
  11:   89 55 fc                mov    %edx,-0x4(%ebp)
  14:   df 6d f8                fildll -0x8(%ebp)
  17:   c9                      leave  
  18:   c3                      ret    
% gcc --version
gcc-4.6.real (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3
4

1 に答える 1

5

ああああ！「ll」サフィックスは、命令の64ビット入力バリアントを使用します。GCCは上位32ビットを0に初期化するため、入力が署名されているかどうかは関係ありません。

于 2012-07-30T00:52:52.747 に答える