Assembly 为什么在使用DIV指令之前EDX应该为0?
我注意到,当EDX包含一些随机的默认值,如00401000,然后我使用如下的DIV指令:Assembly 为什么在使用DIV指令之前EDX应该为0?,assembly,x86,integer-division,Assembly,X86,Integer Division,我注意到,当EDX包含一些随机的默认值,如00401000,然后我使用如下的DIV指令: mov eax,10 mov ebx,5 div ebx 它会导致整数溢出错误。但是,如果我将edx设置为0,并执行相同的操作,它就会工作。我相信使用div将导致商覆盖eax,其余部分覆盖edx 获取这个整数溢出错误确实让我感到困惑。DIV指令将EDX:EAX除以DIV指令后面的r/m32。因此,如果未能将EDX设置为零,则使用的值将变得非常大 信任有助于做什么 对于32位/32位=>32位除法:零或符号
mov eax,10
mov ebx,5
div ebx
它会导致整数溢出错误。但是,如果我将edx
设置为0,并执行相同的操作,它就会工作。我相信使用div
将导致商覆盖eax
,其余部分覆盖edx
获取这个整数溢出错误确实让我感到困惑。DIV指令将EDX:EAX除以DIV指令后面的r/m32。因此,如果未能将EDX设置为零,则使用的值将变得非常大 信任有助于做什么 对于32位/32位=>32位除法:零或符号,将32位红利从EAX扩展到64位EDX:EAX。
对于16位,将AX转换为DX:AX,使用
cwd
或异或调零
- 无符号:
然后XOR EDX,EDX
DIV除数
- 签名:
然后CDQ
IDIV除数
为什么(TL;DR) 例如,寄存器
EDX
和EAX
形成一个单独的64位值(通常显示为EDX:EAX
),在这种情况下,该值被EBX
除以
因此,如果EAX
=10
或hexA
和EDX
是,比如说20
或hex14
,那么它们一起形成64位值hex14 0000 000A
或十进制85899345930
。如果除以5
,则结果为17179869186
或十六进制4 0000 0002
,这是一个不适合32位的值
这就是为什么会出现整数溢出。
但是,如果EDX
仅为1
,则将十六进制1 0000 000A
除以5
,结果为十六进制3333 3335
。这不是您想要的值,但不会导致整数溢出
要将32位寄存器EAX
除以另一个32位寄存器,请注意由EDX:EAX
形成的64位值的顶部为0
因此,在进行单个除法之前,通常应将EDX
设置为0
(或对于签名部门,cdq
签名将EAX
扩展到EDX:EAX
之前的idiv
)
但是
EDX
不一定总是0
。结果可能不会太大,导致溢出
myBigInteger
code中的一个示例:
在用DIV
除法后,商在EAX
中,余数在EDX
中。要将由多个DWORDS
组成的BigInteger
数组除以10
(例如将值转换为十进制字符串),请执行以下操作:
; ECX contains number of "limbs" (DWORDs) to divide by 10
XOR EDX,EDX ; before start of loop, set EDX to 0
MOV EBX,10
LEA ESI,[EDI + 4*ECX - 4] ; now points to top element of array
@DivLoop:
MOV EAX,[ESI]
DIV EBX ; divide EDX:EAX by EBX. After that,
; quotient in EAX, remainder in EDX
MOV [ESI],EAX
SUB ESI,4 ; remainder in EDX is re-used as top DWORD...
DEC ECX ; ... for the next iteration, and is NOT set to 0.
JNE @DivLoop
在该循环之后,由整个数组(即由biginger
表示)表示的值除以10
,并且EDX
包含该除法的剩余部分
FWIW,在我使用的汇编器(Delphi的内置汇编器)中,以
@
开头的标签是函数的本地标签,即它们不会干扰其他函数中同名的标签。这就是指令的定义/实现方式-对于32位操作数,它将edx:eax中的64位值除以32位操作数值。如果要将64位数字除以32位数字,则必须在开始之前设置所有64位,否则结果将毫无意义。该链接来自。对于处理asm的人来说,这里有很多好东西。在使用不熟悉的操作码之前,最好先看一下指令参考相关:8位操作数大小是一种特殊情况:div bl
(16b/8b=>8b),使用AX(而不是DL:AL)。对于“为什么我的坏除法代码不起作用”FAQ,这可能是比我标记的重复代码更好的标准答案。我做了一个编辑来修复语法错误,但是还有另一个错误:ESI
在循环中保存一个指针,因此JNE@DivLoop
在将整个地址空间转到ESI=(int*)4
之前不会退出循环。也许您打算使用dec ecx
,或cmp
?FWIW,@PeterCordes:在我的汇编程序中,允许使用DIV EAX、EBX
和DIV EBX
。但是由于在一个版本中,DIV EBX
生成了错误的代码,但是DIV EAX,EBX
没有生成错误的代码,所以我总是使用后者。@PeterCordes:我没有逐字复制此代码(我的代码使用展开的循环,而且要复杂得多)。我想我忘了什么。我会修正的。啊,好吧,我想知道在一个基于工作代码的示例中,diveax,ebx
是如何出现的!(是的,我可以说它一定不是逐字复制/粘贴的)。当你这样做的时候,我建议你发表一点评论,指出你不在循环内将EDX归零是故意的;上一个除法的余数是下一个肢体输入的上半部分。(这是故意的,对吧?这对BigInteger来说似乎是合理的)@PeterCordes:我想我在循环结束时的评论解释了这一点(即EDX没有归零)。