La descarga está en progreso. Por favor, espere

La descarga está en progreso. Por favor, espere

Pasaje de Parámetros en 64 bits para C Presentación.

Presentaciones similares


Presentación del tema: "Pasaje de Parámetros en 64 bits para C Presentación."— Transcripción de la presentación:

1 Pasaje de Parámetros en 64 bits para C Presentación

2 Arquitectura x86-64

3 Convención Registros a preservar: %rbp %rbp %rsp %rsp %rbx %rbx %r12 %r12 %r13 %r13 %r15 %r15 Estos registros pertenecen a la función llamadora y deben mantener su valor al terminar la función

4 Clases de Datos Los tipos de argumentos se agrupan en 3 clases. INTEGER INTEGER SSE SSE MEMORY MEMORY Existen más clasificaciones, pero estas clases son las que nos interesan.

5 Tipos de Datos Los tipos built-in de C se clasifican cómo: INTEGER: char, short, int, long, long long y punteros. INTEGER: char, short, int, long, long long y punteros. SSE: float y double SSE: float y double MEMORY: Tamaño mayor a 4 quadwords (8 bytes) o datos desalineados MEMORY: Tamaño mayor a 4 quadwords (8 bytes) o datos desalineados

6 Pasaje de Parámetros Si el tipo es INTEGER, el argumento se pasa en el siguiente registro libre de izquierda a derecha en la secuencia %rdi, %rsi, %rdx, %rcx, %r8 y %r9 Si son necesarios más argumentos se pushean al stack de derecha a izquierda.

7 Pasaje de Parámetros Si el tipo es SSE, el argumento se pasa en el siguiente registro libre de izquierda a derecha en la secuencia %xmm0, %xmm1, %xmm2, %xmm3, %xmm4, %xmm5, %xmm6 y %xmm7 Si son necesarios más argumentos se pushean al stack de derecha a izquierda. Si la función es f(…) %al es una cóta sup. de cuantos argumentos se pasaron por registro.

8 Pasaje de Parámetros Si el tipo es MEMORY, se pushea al stack de derecha a izquierda

9 Pasaje de Parámetros Cuando se pasan datos por stack, estos siempre son redondeados (hacia arriba) a un multiplo de quadword (8 bytes). Los miembros de las estructuras tambíen son redondeados. Esto mantiene la alineación a palabra.

10 Valores de Retorno Si es tipo INTEGER, el retorno se hace por el primer registro libre de la secuencia %rax, %rdx Si es tipo SSE, el retorno se hace por el primer registro libre de la secuencia %xmm0, %xmm1 Si es tipo MEMORY, la función llamadora proveé espacio para el retorno, el registro %rdi apunta a esta zona como si fuera un argumento más. Al salir de la función el valor de %rax es el mismo que el de %rdi.

11 Uso de los registros

12 Ejemplos Las siguientes funciones reciben los argumentos de la misma forma: double foo(long arg1, double arg2); double bar(double arg2, long arg1);

13 Ejemplos La siguiente función recibe todos sus argumentos por registro. long foo(int integer1, float sse1, long integer2, float sse2, void *integer3, double sse4, short integer4, float sse5, char integer5, double sse6, long long integer6, double sse7, double sse8);

14 Ejemplos La siguiente función recibe sus últimos 3 argumentos por stack. long foo(long arg1, long arg2, long arg3, long arg4, long arg5, long arg6, long arg7, long arg8, long arg9);

15 Ejemplo de Integración Escribir una implementación de la llamada al system call int write(int fd, const void *buff, int count); Datos: Las llamadas a los system calls en x86-64 es el mismo que en i386. El número de system call de write es 4.

16 Preguntas Alguna duda? Porqué se usan los registros en lugar del stack en esta arquitectura?


Descargar ppt "Pasaje de Parámetros en 64 bits para C Presentación."

Presentaciones similares


Anuncios Google