如何处理x86 idiv指令中带符号大整数除法的溢出问题

1. 提前预判溢出，跳过idiv #

idiv触发溢出的唯一条件是：被除数（edx:eax）的绝对值 ≥ |divisor| × 2^32，此时商的绝对值超过32位带符号数的最大值（2^31-1），无法存入eax。可以提前做判断：

• 若edx与divisor同号，且|edx| ≥ |divisor|，直接判定溢出；
• 若edx是divisor的符号扩展，且|edx|×2^32 + |eax| ≥ |divisor|×2^32，也判定溢出。

溢出场景下直接手动计算商和余数：比如当divisor = -1，被除数为0x8000000000000000（最小64位带符号数），此时商为0x8000000000000000，余数0。直接将商的低32位0x80000000存入eax，余数0存入edx，同时把商的高32位作为进位加到更高位的商中即可。

2. 拆分64位被除数，手动计算商和余数 #

对可能溢出的edx:eax ÷ divisor场景，拆分被除数为高32位（edx）和低32位（eax），分步计算：
设被除数N = edx × 2^32 + eax，除数D，商Q = N/D，余数R = N%D。

实现代码：

; 假设当前被除数在 edx:eax，除数在 ecx（divisor），保存原eax到栈或寄存器
push eax ; 保存原低32位被除数
push ebx

mov ebx, ecx
mov eax, edx
cdq ; 符号扩展edx到edx:eax
idiv ebx ; eax=Q_high（商的高32位），edx=R_high（高32位除法后的余数）

pop eax ; 恢复原低32位被除数
idiv ecx ; eax=Q_low（商的低32位），edx=R_final（最终余数）

; 将Q_high加到更高位的商（比如quotient[3]）
add [quotient_next], ebx
; 商的低32位存入当前quotient位置
mov [quotient_current], eax
; 余数保留在edx中，用于下一轮计算

pop ebx

这种方法仅需额外1个寄存器（ebx），指令数远少于临时方案，且适用于所有场景，不管是否溢出。

3. 无符号除法辅助转换 #

若除数为正数，可先将被除数转为无符号数，用div指令计算（div仅在除数为0时溢出，提前排除除数为0即可），再恢复符号：

; 处理符号，除数存入ebx
mov ebx, divisor
test ebx, ebx
jns positive_div

neg ebx ; 除数转为正数
neg eax
neg edx
sbb eax, 0 ; 被除数取反，处理溢出

positive_div:
mov ecx, ebx
div ecx ; 无符号除法，eax=商，edx=余数

; 恢复符号
test divisor, divisor
jns restore_sign

neg eax
neg edx
sbb eax, 0

restore_sign:
; eax为商的低32位，edx为余数，商的高32位需从之前的拆分计算中获取

该方法避开了idiv的溢出限制，简化溢出场景的处理。

总结 #

优先选择提前预判+拆分计算的组合方案，既能避免idiv溢出，又能最小化寄存器和指令开销。如果除数为正数，无符号除法辅助的方法也能有效降低复杂度。

内容的提问来源于stack exchange，提问作者user13947194