64 位 nasm 划分 idiv

Question

;print out division message
mov rcx, 0                       ;zero out register
mov rax, [input]
mov rcx, [input2]
idiv rcx                        ;divide rax by rcx
mov rdi, rax                    ;for printing purposes
call print_int

我似乎无法弄清楚为什么这不是除法，我得到一个错误“浮点异常”我使用的是 64 位机器并且值是整数而不是浮点......想法？

我知道除法发生后，商应该在 rax 中，余数应该在 rdx 中，我相信，但现在我只是想了解商。

Answer 1

你的函数在我看来有点复杂。 idiv 在这里使用此功能按预期工作：

_mydiv:
  xor  %rdx, %rdx ; clear high bits of dividend
  mov  %rdi, %rax ; copy dividend argument into rax
  idiv %rsi       ; divide by divisor argument
  ret             ; return (quotient is in rax)

翻译成 NASM 语法和 windows ABI，我认为应该是这样的：

_mydiv:
  mov  r8, rdx    ; copy divisor argument to scratch register
  xor  rdx, rdx   ; clear high bits of dividend
  mov  rax, rcx   ; copy dividend argument into rax
  idiv r8         ; divide by divisor in scratch register
  ret             ; return (quotient is in rax)

您是否可能会踩踏您的参数并在此过程中混淆某些东西？

编辑：查看您的代码，我突然想到它可能根本没有写成正确的函数。重要的步骤是：

1. 将股息放入 RDX:RAX - 对您而言，这可能意味着清除 RDX 并将输入股息放入 RAX。
2. 将除数放入其他寄存器 - 您选择了 RCX，应该没问题。
3. 除法-idiv rcx。
4. 结果将在 RAX 中。

您应该特别注意第 1 步 - 确保 RDX:RAX 的内容正常！为什么你会得到一个浮点异常，我无法从你显示的代码中猜到。

Answer 2

您实际上是在将 RDX:RAX 中的 128 位数字除以 RCX。因此，如果 RDX 未初始化，则结果可能会大于 64 位，从而导致溢出异常。尝试在除法之前添加 CQO 以将 RAX 符号扩展到 RDX。

不过，我无法解释浮点位，也许有人决定在某个地方重用中断向量来解决通用数学错误？