将无符号 64 位 integer 转换为浮点数的方法？ [复制]

Question

这个问题在这里已经有了答案：

如何在 x86（32 位）程序集中将无符号 integer 转换为浮点数？ (2 个回答)

刚刚关门。

我需要一个 x86 序列来将 64 位无符号 integer 转换为浮点数。 使用有符号的 integer 就足够简单了，但似乎没有一条指令可以用无符号的指令来做到这一点。 我相信您通常可以使用VCVTUSI2SD ，但是我用于工作的编译器无法访问它。

所以在组装方面，它会做到这一点：

unsigned long long x = ... ;
double y = (double)x;

Answer 1

我在这里假设英特尔 x86_64。 在这些情况下，您通常会使用cvtsi2sd来处理符号

https://www.felixcloutier.com/x86/cvtsi2sd

//
// prototype: double convert(uint64_t value)
//
convert(unsigned long):        
        testq   %rdi, %rdi
        js      .Negative
        pxor    %xmm0, %xmm0
        cvtsi2sdq       %rdi, %xmm0
        ret
.Negative:
        movq    %rdi, %rax
        andl    $1, %edi
        pxor    %xmm0, %xmm0
        shrq    %rax
        orq     %rdi, %rax
        cvtsi2sdq       %rax, %xmm0
        addsd   %xmm0, %xmm0
        ret

基本上因为 cvtsi2sdq 需要一个signed的 integer，你显然必须处理uint64_t被识别为负数的情况。

基本上这段代码在做什么是这样的：

double signed_convert( int64_t value ); // trivial

double convert( uint64_t value ) {
   if ( value>>63 == 0 ) return signed_convert( value );
   double half = signed_convert( (value>>1) | (value&1) );
   return 2*half;
}