Как работает этот assembler code?

Question

[Vi]

этот код рабочий но

mov eax,0
do:
  mov edx,48
  add edx,eax
  mov dword [temp+eax],edx
  inc eax
  cmp eax,10
  jne do

смущает строка
mov dword [temp+eax], edx

не могу понять как он прибавляет значение eax каждый раз когда оно меняется в одной команде mov ?
подскажите как это получается, что это за магия такая

Answer 1

[15432]

На Си это выглядит примерно как

int temp[10];
int i ;
for ( i = 0; i != 10; ++i)
{
temp[i] = i + 48;
//Не уверен, может даже *(int*)((char*)temp + i) = i + 48
}

Единственное сомнение по поводу +eax... Для индексации dword вроде надо еще на 4 умножить

В любом случае, eax модифицируется только в команде inc

Comments

[Vi]

да мне больше интересно как этот регистр этот складывается в mov [temp+eax],edx

вот это [temp+eax] !! не понятно

[Vi]

я не говорю что он модифицируется, а как команда mov узнает адрес [temp+eax]

[15432]

Vi: в память по адресу temp+eax записывается значение edx... Как именно это происходит на уровне микрокода внутри процессора - не знаю. Значение eax не меняется.

[Vi]

15432: но откуда получается этот код temp+eax, если в команде ведь не может быть сложение, это наверное на уровень выше чтоли, тк я удивился что этот код заработал

[15432]

x86 даже такие конструкции городить позволяет
xor ebp, dword [16+eax*4+esp]

[15432]

В архитектуре x86 есть такие ассемблерные команды. Сделано для ускорения работы, чтоб лишний раз не складывать. В ARM и PowerPC тоже есть чтение/запись в память, используя другой регистр в качестве индекса

[Vi]

Ivan Sokolov: а тогда откуда mov знает адрес он ведь зависит от результата регистра и адреса ячейки данных

[Vi]

Ivan Sokolov: не могу догнать где же сложение произходит ведь команда в памяти, но адрес еще не посчитан, правильно ли я понимаю это это какой то дополнительный бит в команде mov это делает ?

[none7]

Vi: Ассемблер(компилятор Ассемблера) рассчитает адрес temp и заменит на соответствующее число. Например mov [401000h + eax], edx. Естественно это работает только для статических переменных. Для переменных в стеке обычно используют конструкцию вроде mov [ebp + eax + 16], edx. Точный адрес вычисляется процессором в момент исполнения инструкции.

[abcd0x00]

Vi:
[temp+eax]
Берётся адрес из temp, к этому адресу прибавляется число из eax (получается новый адрес, адрес как бы сдвигается) и потом полученный адрес разыменовывается и даётся доступ к ячейке памяти с этим адресом, а дальше туда уже пишется то, что там дальше во всей команде - число в edx.

[Vi]

abcd0x00: а кто прибавляет адрес mov [temp+eax] ?
ассемблер этого делать не может тк значени eax всегда может быть разное

это ведь цикл и eax меняется каждый прыжок, а это означает что после команды INC, значение адресата изменится и это означает что надо делать сложение заново, но вопрос как бы уже "кто вычысляет Новый адресс mov [temp+eax] "

[15432]

Vi: сам CPU вычисляет. берет значение из eax, складывает с temp и производит обращение к памяти. Если вы не знали, процессор исполняет ассемблерные команды при помощи собственного микрокода. Микрокод процессора можно обновить (ага, перепрошивка процесора) - так одно из обновлений микрокода исправляло проблему с ошибкой в одной из арифметических операций с дробными числами.

[Vi]

15432: ну про микрокод я слышал , но как я понимаю туда вообще доступа нет. может есть у вас где то материал подробный про микрокод, хотелось бы немного быть вовлеченым в это.

[15432]

Vi: инфы мало. например, https://www.dcddcc.com/docs/2014_paper_microcode.pdf

[Vi]

15432: знаю что мало вот и спросил, английский нормально буду по чуть чуть разбираться. Спасибо смелый человек )

Answer 2

[CityCat4]

Команда mov делает только перенос данных. В данном случае - поместит значение EDX по адресу, равному сумме адреса области temp и EAX. Перемещение точки записи происходит в команде inc - и вот тут уже магия :) Я не вижу описания temp, но мотнуть inc должен на длину описания типа, насколько я помню...

Comments

[Vi]

Ого вот вы меня удивили, в это даже как то трудно поверить что когда происходит inc то команда mov тоже измениться(адрес назначения)? тк адрес ведь изменился.
трудно поверить тк а вдруг я сделаю сто команд
mov [temp1+eax], edx
mov [temp2+eax], edx
и так далее

чтото сомнительно что inc будет менять адрес назначения всех mov во всем коде.