Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

What is signed division(idiv) instruction?

In intel instruction, idiv(integer divsion) means signed division.
I got the result of idiv, but I don't quite understand the result.

- Example

0xffff0000 idiv 0xffff1100


- My wrong prediction
As long as I know, quotient should be 0, and remainder should be 0xffff0000 and because...

0xffff0000 / 0xffff1100 = 0  
0xffff0000 % 0xffff1100 = 0xffff0000  


- However, the result was...
Before idiv

eax            0xffff0000            # dividend
esi            0xffff1100            # divisor
edx            0x0                     

After idiv

eax            0xfffeedcc            # quotient
edx            0x7400   29696        # remainder


- Question.
The result was value I couldn't expected.
Could someone explain about signed division(idiv)?


- Appended. Here's More information about idiv.
idiv uses the eax register as a source register.
As a result of execution, quotient is stored at eax, and remainder is stored at edx.

like image 324
Jiwon Avatar asked Jan 02 '19 03:01

Jiwon


1 Answers

idiv divides edx:eax by the explicit source operand. See Intel's instruction manual entry.

Since edx is 0, edx:eax is a positive number. You are dividing 4294901760 by -61184, giving -70196 with a remainder of 29696.

Remember that both dividend (EDX:EAX) and divisor (ESI in your case) are interpreted as 2's complement signed numbers, so any bit-pattern with the high bit set is negative.

00000000ffff0000 = 4294901760
ffff1100 = -61184
fffeedcc = -70196
7400 = 29696

You should sign extend eax into edx using cdq before using idiv, instead of zero-extending by zeroing EDX.

However, that still won't give the results you were expecting, because -65536 divided by -61184 equals 1 with a remainder of -4352.


(A negative dividend and positive divisor would give a negative remainder: X86 IDIV sign of remainder depends on sign of dividend for 8/-3 and -8/3?)

like image 92
prl Avatar answered Sep 27 '22 18:09

prl