- imull %ebx, %ecx # ecx <- quotient * divisor[32..63] \r
- addl %ecx, %edx # edx <- (quotient * divisor)[32..63] \r
- mov 32(%esp), %ecx # ecx <- addr for Remainder \r
- jc TooLarge # product > 2^64 \r
- cmpl %edx, %edi # compare high 32 bits \r
- ja Correct \r
- jb TooLarge # product > dividend \r
- cmpl %eax, %esi \r
- jae Correct # product <= dividend \r
+ imull %ebx, %ecx # ecx <- quotient * divisor[32..63]\r
+ addl %ecx, %edx # edx <- (quotient * divisor)[32..63]\r
+ mov 32(%esp), %ecx # ecx <- addr for Remainder\r
+ jc TooLarge # product > 2^64\r
+ cmpl %edx, %edi # compare high 32 bits\r
+ ja Correct\r
+ jb TooLarge # product > dividend\r
+ cmpl %eax, %esi\r
+ jae Correct # product <= dividend\r