浮点到双精度（IEEE754）转换

Question

我正在尝试在x86体系结构上的asm中将32位float转换为64位double 。 转换由用asm编写的函数完成，然后我想从C调用它。我不知道我在做什么错，但是dst指向的内存似乎保持不变，并且在printf程序崩溃之后。 我想做到这一点而无需任何浮点指令。 这是代码：

.686 
.model flat 
public _conv

.data
mantissa_mask dd 00000000011111111111111111111111b
exponent_mask dd 01111111100000000000000000000000b

.code 

_conv PROC
pusha
mov ebp, esp

mov esi, dword ptr [ebp+8] ; src
mov edi, dword ptr [ebp+12]; dst

mov dword ptr [edi], 0
mov dword ptr [edi+4], 0

mov eax, dword ptr [esi]
and eax, dword ptr mantissa_mask
mov dword ptr [edi], eax
xor edx, edx ; zero edx
mov ecx, 1
shl ecx, 29 ;ecx == 2^29
mul ecx ;so it's like `shl edx:eax, 29`
mov dword ptr [edi], eax
mov dword ptr [edi+4], edx

mov eax, dword ptr [esi]
and eax, dword ptr exponent_mask
shr eax, 23 ;put exponent on lowest bits
sub eax, 127 ;exponent in float is coded enlarged by 127
add eax, 1023 ;in double it's enlarged by 1023
shl eax, 20 ;exponent in double starts on 20bit of 2nd byte
or dword ptr [edi], eax

;sign bit:
bt dword ptr [esi], 31
jc set_sign_bit
    btr dword ptr [edi+4], 31
    jmp endthis
set_sign_bit:
    bts dword ptr [edi+4], 31
endthis:

popa
ret
_conv ENDP

END

和C代码：

void conv(float * src, double * dst);

int main()
{
    float src = 4.5f;
    double dst = 0.;
    conv(&src, &dst);
    printf("%f\n", dst);
    return 0;
}

Answer 1

您的主要问题是访问参数。 由于您确实进行过pusha因此参数不在 [ebp+8]和[ebp+12] ，而是在[ebp+36]和[ebp+40] 。 调试器会立即向您显示此内容。 即使进行了这些更改，您的代码仍然会中断。

Answer 2

好的，终于可以了。 Jester关于args访问的建议非常有帮助。 愚蠢的事情，但很难注意到。 这是最终代码：

.686 
.model flat 
public _conv

.data
mantissa_mask dd 00000000011111111111111111111111b
exponent_mask dd 01111111100000000000000000000000b

.code 

_conv PROC
pusha
mov ebp, esp

;+36 and +40 since pusha
mov esi, dword ptr [ebp+36]; src
mov edi, dword ptr [ebp+40]; dst

mov dword ptr [edi], 0
mov dword ptr [edi+4], 0

;mentissa:
mov eax, dword ptr [esi]
and eax, dword ptr mantissa_mask
mov dword ptr [edi], eax
xor edx, edx ; zero edx
mov ecx, 1
shl ecx, 29 ;ecx == 2^29
mul ecx ;so it's like `shl edx:eax, 29`
mov dword ptr [edi], eax
mov dword ptr [edi+4], edx

;exponent:
mov eax, dword ptr [esi]
and eax, dword ptr exponent_mask
shr eax, 23 ;put exponent on lowest bits
sub eax, 127 ;exponent in float is coded enlarged by 127
add eax, 1023 ;in double it's enlarged by 1023
shl eax, 20 ;exponent in double starts on 20bit of 2nd byte
or dword ptr [edi+4], eax

;sign bit:
bt dword ptr [esi], 31
jc set_sign_bit
    btr dword ptr [edi+4], 31
    jmp endthis
set_sign_bit:
    bts dword ptr [edi+4], 31
endthis:

popa
ret
_conv ENDP

END