Как изменить код функции на ассемблере?

Question

[Dorothy]

Здравствуйте. Имеется такая функция:

function sar32(value, shift: longint): longint;
asm
  mov ecx, edx
  sar eax, cl
  end;

подскажите пожалуйста, как изменить эту функцию, чтобы она работала с такими параметрами?

function sar32(value: Int64; shift: longint): longint;

Answer 1

[zed]

В этом случае, переменная value передаётся через стек и её нужно занести в регистры, а shift залетает в регистр eax. Поэтому код будет таким:

function sar64(value: Int64; shift: LongInt): LongInt;
asm
  mov ecx, eax
  mov eax, dword ptr [value]
  mov edx, dword ptr [value+4]
  shrd eax, edx, cl
end;

А вы ничего не напутали с типом возвращаемого значения? Если входной параметр Int64, то по-моему и на выходе нужно использовать этот же тип.

Comments

[Dorothy]

Выходной параметр нужен именно LongInt, так как эта функция должна эмулировать операцию >>> из JavaScript, которая сдвигает на n бит вправо, отбрасывая сдвигаемые биты и добавляя нули слева и результат ограничивается 32 числом. В частности это нужно для отрицательных чисел. Ваш вариант работает, но как >>, который сдвигает, отбрасывает, но нули не добавляет.

[zed]

Dorothy: Как раз таки shr добавляет нули. И поскольку >>> это unsigned shift, вам нужно использовать Cardinal в качестве выходного параметра.

[Dorothy]

zedxxx: Я не понимаю тогда, как мне быть. Вот пример, JS: -85 >>> 2 = 1073741802.
Результат выполнения sar64 с выходом Cardinal sar64(-85, 2) = 4294967274. С выходом Integer: -22.

[zed]

Dorothy: вот так:

function shr64(value: Int64; shift: LongInt): Cardinal;
begin
  Result := Value shr Shift;
  if (Value and $8000000000000000) > 0 then
    Result := Result and ($FFFFFFFF shr Shift);
end;

[Dorothy]

zedxxx: Это да, но хотелось на ассемблере, так как эта функция - критичное место работы приложения, я надеялся, что найдется специальная команда для этого дела, чтобы было быстрее. Изначально вообще был вот такой вариант
Result := (Value and MaxInt) shr ShiftBits - (Value and (not MaxInt)) shr ShiftBits; он работает побыстрее предложенного Вами выше. Но, очень хотелось бы увеличить скорость выполнения.

[zed]

Dorothy: Получается, вы изначально поставили в вопросе не ту задачу, которую вам нужно решить.
Хочется ассемблера? Пожалуйста:

function sar64(value: Int64; shift: LongInt): Cardinal;
asm
  mov ecx, eax
  mov eax, dword ptr [value]
  mov edx, dword ptr [value+4]
  shrd eax, edx, cl
  mov edx, eax
  mov eax, $FFFFFFFF
  shr eax, cl
  and eax, edx
end;

Последние 4 инструкции нужны только для отрицательных чисел. Я выкинул проверку на отрицательное число, если хотите максимального быстродействия, допишите её самостоятельно.

[zed]

Да, только это не sar, а shr функция, конечно же.

[Dorothy]

zedxxx: Шикарно, похоже, то что надо! И по скорости работы намного лучше. Если возможно, я был бы рад задать Вам еще пару вопросов, но за оплату Вашего времени. Как это можно сделать?

[zed]

Dorothy: На email в профиле.

Answer 2

[jcmvbkbc]

как изменить эту функцию, чтобы она преобразовывала результат в Integer, а не LongInt

Если integer имеет ту же или меньшую ширину, что и longint (что, например, так для компилятора fpc), то ничего менять не надо.

function sar32(value: Int64; shift: longint): longint;

Для такого прототипа надо поменять примерно так (для borland register calling convention):

function sar32(value: Int64; shift: longint): longint;
asm
  shrd eax, edx, cl
  end;

Comments

[rediskus]

Абсолютно верно, integer и longint в делфи в настоящее время одно и тоже.

[Dorothy]

Я немного ошибся в описании, подредактировал на требуемый результат.

[rediskus]

Dorothy: Намана так ошибся... См здесь codeverge.com/embarcadero.delphi.general/help-impl...

[jcmvbkbc]

Dorothy: Ок, тогда вопрос: о каком компиляторе паскаля речь?

[Dorothy]

dcc32, который в Rad Studio XE2

[jcmvbkbc]

Dorothy: ок, обновил ответ.

[Dorothy]

jcmvbkbc: Странно, вычисляемый результат получается совсем далеким от действительности. Например, при вызове sar32(85, 2) вместо ожидаемого 21 получается 2

[jcmvbkbc]

Dorothy: ну может быть, мне не на чем это отладить.