¿Cómo inicializo el registro rdx para una división en una función de tipo fastcall en windows 10?

Question

Quiero hacer una función división, pero tengo problemas con la inicialización de rdx porque siempre es 0.

Hasta el momento no he intentado algo, pero no porque sea flojo sino porque no se me ocurre de inicializar rdx como parámetro manteniendo su valor ingresado.

Esté sería el código de la función.

 division proc public

     cmp rdx, 0
     je error

     mov rax, rcx

     cqo

     idiv rdx

     ret

 division endp
 
 error proc
     xor rax, rax
     ret
 error endp

Está en el ensamblador MASM x64 de visual studio, pero solo necesito saber como inicializarlo como parámetro.

Aquí dejo mi código C

#include <stdio.h>

extern int __fastcall division(int a, int b);

int main() {

    int a = division(20, 10);

    printf("%d", a);

    return 0;
}

Por si se lo preguntan ya probe con mov rbx, rdx pero el resultado es el mismo.

Answer 1

El manual de Intel dice lo siguiente sobre idiv:

Divides the (signed) value in the AX, DX:AX, or EDX:EAX (dividend) by the source operand (divisor) and stores the result in the AX (AH:AL), DX:AX, or EDX:EAX registers.

[...]

In 64-bit mode when REX.W is applied, the instruction divides the signed value in RDX:RAX by the source operand. RAX contains a 64-bit quotient; RDX contains a 64-bit remainder.

El dividendo se encuentra formado por 2 RDX con los bits más significativos y RAX con los menos significativos. El cociente se almacena en el RAX y el resto en RDX. Por lo tanto, RDX no puede tener cualquier valor. En una división con signo, hay que extender el número que utiliza una representación de complemento a 2 y justo eso es lo que hace la instrucción CQO.

Al momento de hacer la división, rdx ya no tiene el divisor que recibió como parámetro. Considera utilizar otro registro al que copiar su valor previamente:

 mov rax, rcx
 mov rcx, rdx
 cqo
 idiv rcx