LEA
de Load Effective Address:
TL;DR
Computa la dirección absoluta o efectiva de un offset o posición de memoria y la guarda en el operando de destino sin alterar ninguna bandera.
Considera el siguiente ejemplo:
+-----+-----+-----+-----+
| 'h' | 'o' | 'l' | 'a' | <- Valor del array de caracteres "A"
+-----+-----+-----+-----+
| 0 | 1 | 2 | 3 | <-Posición en memoria
+-----+-----+-----+-----+
En C, si hacemos A[0]
, el valor retornado debería ser 'h'
, no? Entonces, la instrucción LEA
en ensamblador hace prácticamente lo mismo, con la diferencia de que el valor no es dereferenciado, sino que solo se carga la direccion resultante en el operando de destino.
El siguiente texto fue tomado de una respuesta de SO.
Imagina que tienes la siguiente estructura:
struct Point {
int xcoord, ycoord;
};
Y defines un array de esa estructura, luego intentas acceder a un elemento del array mediante:
int y = points[i].ycoord; /* Accede al elemento en la posicion [i]. */
Entonces, asumiendo que la dirección base, es decir, que el elemento [0]
del array este en EBX
y la variable i
en EAX
, tienes la siguiente instrucción:
MOV EDX, [EBX + 8*EAX + 4] ; El lado derecho es la "Dirección efectiva"
Y esto te dara como resultado el valor de la variable y
en EDX
; la razon del 8
en el lado derecho es que actualmente el tamaño de la estructura Point
es 8
bytes.
Ahora considera que ejecutas lo siguiente en tu programa, en lugar de asignar el valor, asignas la dirección de memoria de la variable ycoord
del indice i
en el array.
int *p = &points[i].ycoord; /* Crea un puntero a points[i].ycoord */
El resultado en ensamblador sera:
LEA ESI, [EBX + 8*EAX + 4] ; Carga solo la dirección de memoria.
En este caso no querías asignar el valor de ycoord
en el indice i
de tu array, en su lugar, creaste un puntero y lo asignaste a ESI
.
Cambiando todo eso, y asumiendo que el indice al que intentas acceder es 4
y que la direccion de array[0]
es cero, el código realiza los siguientes cálculos:
LEA ESI, [0 + 8 * 4 + 4]
Dirección | Tamaño x Indice + Offset
base de variable necesitada.
Cabe mencionar que este ejemplo es valido para el código puesto mas arriba, por lo que puede cambiar.