Всегда ли одинаковый порядок регистров

[Kronos913]

Делаю я, например, вот такой вот вызов процедуры

Procedure HalfBytes(const in1: byte; var out1, out2: byte); register;

После вызова проверил через CPU
In1 - al
out1 - edx
out2 - ecx

Вопрос: всегда ли при вызове этой процедуры будут в таком порядке располагаться переменные в регистрах?
Могу ли я сразу обращаться к регистрам, не перенося данные из них никуда?

[p51x]

Пока не изменится соглашение вызова.

Сообщение от Kronos913

Могу ли я сразу обращаться к регистрам, не перенося данные из них никуда?

За вас это сделал пролог функции.

http://docwiki.embarcadero.com/RADSt...ter_Convention

[macomics]

Сообщение от Kronos913

Вопрос: всегда ли при вызове этой процедуры будут в таком порядке располагаться переменные в регистрах?
Могу ли я сразу обращаться к регистрам, не перенося данные из них никуда?

Можете. Только надо следить за тем, что не только порядок регистров важен, но и их длина. В типе вызова register всегда используются регистры eax, edx, ecx для первых трех параметров в этом порядке. Расширение аргументов до 32-х бит уже выполнено и то, что вы определили как byte уже расширено и занимает весь eax

[macomics]

Сообщение от p51x

Пока не изменится соглашение вызова.

Это соглашение может измениться разве что при изменении архитектуры или платформы. Например, fastcall в x86_64 для первых 4-х параметров использует регистры rcx, rdx, r8, r9, но при передачи float/double значений эти же аргументы перемещаются в xmm регистры.

[Kronos913]

Procedure HalfBytes(const in1: byte; var out1, out2: byte); register;
asm
  mov ah, 0
  shl eax, 4

  mov [edx], ah

  mov ah, 0

  shr eax, 4
  mov [ecx], al
end;

Есть вот такой вот простенький код. Тестирую на разных переменных - работает нормально

Есть ли риск ошибок при запуске на другом пк (с другой версией винды, или другом процессором), или при компиляции на другой версии Delphi ?

[macomics]

mov ah, 0 - лишняя. Я же сказал, что byte уже расширили до dword. А учитывая, что byte - без знаковая, то и расширение было без знаковое (т.е. обнуление старших 24 бит).

Procedure HalfBytes(const in1: byte; var out2: byte): byte; register;
asm
    ror ax, 4
    shr ah, 4
    mov [edx], ah
    and eax, 15
end;

Зачем заставлять вычислять 2 указателя, когда одно из значений можно вернуть обычным образом (оставив его в eax)

Сообщение от Kronos913

Есть ли риск ошибок при запуске на другом пк (с другой версией винды, или другом процессором), или при компиляции на другой версии Delphi ?

Риск есть всегда. Но пока компилятор следует этому типу вызова, то ошибок не будет. Вам же наверняка уже попадались программы не работающие уже даже на Win10, но работавшие на Win7 или WinXP и даже не хочу вспоминать про Win9x (типичный пример 16-битные консольные приложения)

[Kronos913]

mov ah, 0 - лишняя. Я же сказал, что byte уже расширили до dword. А учитывая, что byte - без знаковая, то и расширение было без знаковое (т.е. обнуление старших 24 бит).

Проверил - таки надо. Но больше для защиты от некорректного ввода

[macomics]

Если вы вместо byte передаете int и отключена проверка на диапазоны, тогда надо. Но если исходное значение у вас определено как переменная типа byte, тогда обнуление будет сделано за вас перед передачей параметра.

[Kronos913]

Раз уж на то пошло, насколько оптимален этот код?

Procedure TColorToRGB(const Color:TColor; var r, g, b:byte); register;
asm
  mov [edx], al
  mov [ecx], ah

  shr eax, 8

  mov edx, b
  mov [edx], ah
end;

[macomics]

Не очень оптимален. Не забывайте, что для этой процедуры компилятор должен будет еще дополнительно вычислить адреса 3 указателей на переменные типа byte. С точке зрения оптимальности лучше всего использовать конструкцию

type TRGBtriple = packed record
   case Byte of
      0: (color: TColor);
      1: (value: Cardinal);
      2: (b, g, r: Byte);
      3: (x: array [0 .. 2] of Byte);
   end;

Так компилятор вместо того, чтобы выполнять кучу команд с регистрами будет брать нужный байт генерируя его offset и не понадобятся все эти манипуляции.
Т.е. этот код будет делать примерно это

mov al, byte ptr [rgbt.color + 2] // r
mov dl, byte ptr [rgbt.color + 1] // g
mov cl, byte ptr [rgbt.color + 0] // b

Вот эти значения вычисляются компилятором на этапе сборки программы (build-time) и сохраняются в ней как есть, а ваши манипуляции с регистрами забирают у программы время исполнения (run-time).