欧文的WriteDec
应该被替换为WriteInt
将参数处理EAX
为有符号数。
在 CPU 内部,负“-2”和正“4294967294”被转换为相同的值:0xFFFFFFFE。DIV
正向执行除法 6/-2 (6/4294967294) 并得到结果 0 = 0x00000000,IDIV
结果正确:-3 = 0xFFFFFFFD。
MUL
并且IMUL
在结果的高位部分不同(EDX
)。由于在这种情况下不需要高位,因此不强制使用IMUL
.
有符号数和无符号数没有不同的ADD
版本SUB
。这是引入 2 的补码编码的主要原因。这只是一个解释:如果程序员决定这应该是一个有符号数,那么它就是一个有符号数。如果他/她/它确定这是一个无符号数,那么它就是一个无符号数。CPU 不关心这些事情——结果总是一样的。
这是一个带有WriteInt
,IDIV
和的示例IMUL
:
; ((A + B) / C) * ((D - A) + E)
INCLUDE Irvine32.inc
.DATA
valA dword 5
valB dword 4
valC dword 3
valD dword 2
valE dword 1
.CODE
main PROC
mov ecx, valA
add ecx, valB
mov edx, valC
call Divide
mov ecx, eax
mov edx, valD
sub edx, valA
add edx, valE
call Multiply
call WriteInt ; Write a positive or negative number
exit
main ENDP
Divide PROC USES ECX EDX ; EAX = ECX / EDX
mov eax, ecx
mov ecx, edx
xor edx, edx
idiv ecx ; Signed division, e.g 6/-3 = -2
ret
Divide ENDP
Multiply PROC USES ECX EDX ; EAX = ECX * EDX
mov eax, edx
imul ecx ; Signed multiplication
ret
Multiply ENDP
END main
需要进行 2 的补码计算才能获得数字的绝对值。例如,-2 的表示有两部分:符号('-')和绝对值('2')。获取绝对值的一个简单方法是查看符号位,即数字的最左侧位,并进行适当的跳转。计算本身仅由 执行NEG
。
示例WriteDec
,IDIV
和IMUL
:
; ((A + B) / C) * ((D - A) + E)
INCLUDE Irvine32.inc
.DATA
valA dword 5
valB dword 4
valC dword 3
valD dword 2
valE dword 1
.CODE
main PROC
mov ecx, valA
add ecx, valB
mov edx, valC
call Divide
mov ecx, eax
mov edx, valD
sub edx, valA
add edx, valE
call Multiply
test eax, eax ; Set the flags according to (EAX AND EAX)
jns J1 ; Skip the next block if EAX is positive (no sign)
; EAX is negative
push eax ; Preserve EAX
mov al, '-' ; Write the letter '-'
call WriteChar ; http://programming.msjc.edu/asm/help/index.html?page=source%2Firvinelib%2Fwritechar.htm
pop eax ; Restore EAX
neg eax ; 2's complement
J1:
call WriteDec ; Write EAX as positive number
exit
main ENDP
Divide PROC USES ECX EDX ; EAX = ECX / EDX
mov eax, ecx
mov ecx, edx
xor edx, edx
idiv ecx ; signed division, e.g 6/-3 = -2
ret
Divide ENDP
Multiply PROC USES ECX EDX ; EAX = ECX * EDX
mov eax, edx
imul ecx ; signed multiplication
ret
Multiply ENDP
END main
这是一个无需跳转即可获得EAX绝对值的算法:
cdq
xor eax, edx
sub eax, edx