Такая адресация в мануалах Intel описывается следующим образом:
Base + (Index × Scale) + Displacement — Using all addressing components together allows efficient indexing of a two-dimensional
array when the elements of the array are 2, 4, or 8 bytes in size.
В синтаксисе языка ассемблера Intel записывается точно также как в мануале:
[Base + Index * Scale + Displacement]
В вашем случае было бы
addw AX, [EDX + ECX * 4 + 0]
Синтаксис языка ассемблера AT&T сильно отличается от синтаксиса Intel и там такой режим адресации можно записать следующим образом:
displacement(base, index, scale)
Соответственно, в вашем случае:
addw (%edx, %ecx, 4), %ax
^~~~ ^~~~ ^
| | +-- scale
| +-- index
+-- base
Как это используется
Допустим, у нас есть массив чисел типа int32_t
(4 байта) из 32-х элементов:
int32_t array[32];
Тогда чтобы обратиться в пятому элементу массива мы можем использовать следующий режим адресации:
(array, 5, 4)
^~~~ ^ ^
| | +-- размер элементов массива
| +-- индекс нужного элемента
+-- адрес самого массива
Это работает, потому что, когда мы умножаем индекс элемента на его размер, то получаем смещение от начала массива, по которому расположен этот элемент. А когда мы прибавим к адресу массива это смещение, то получим адрес самого элемента.
Хотя, для обращения к элементам одномерных статических массивов документация Intel рекомендует использовать (Index × Scale) + Displacement, что и делают компиляторы:
#include <stdio.h>
#include <stdint.h>
const int32_t array[32] = {1, 2, 3, 4, 5, 6};
int
main(void)
{
for (size_t i = 0; i < 32; ++i)
printf("%d\n", array[i]);
}
Обращение к элементам массива компилятор транслирует в следующий код:
movl array(,%rax,4), %eax
addw [edx+ecx*4], ax
Так конечно гораздо понятнее, что 4 это множитель для счетчика элементов массива, так как сдвигаться надо по 4 байтаaddw ax, [edx+ecx*4]
...mov %ax, %bx
:перемести %ax в %bx
... но синтаксис адресации, действительно вырвиглазный... и это ещё в примере смещения нет:inc -0x20(%edx,%ecx,4)
...