Почему ассемблерный код, работающий в C++, не запускается в Delphi: разница в обработке массивов и вызовах функций

Delphi , Синтаксис , Массивы

При работе с ассемблерным кодом в среде разработки Delphi и C++ могут возникнуть проблемы, связанные с различиями в обработке данных и вызовах функций. В данном случае, пользователь столкнулся с проблемой при попытке перевести код, использующий указатели, в ассемблер для использования в Delphi. Давайте разберемся, в чем заключается проблема и как ее можно решить.

Описание проблемы

Пользователь предоставил код на Pascal, который работает с массивом функций и вызывает одну из них. Попытка перевести этот код в ассемблерную вставку в Delphi привела к ошибке. В C++ аналогичный код работает корректно. Вопрос заключается в том, почему ассемблерный код не запускается в Delphi и связано ли это с различиями в обработке массивов.

Анализ проблемы

В ассемблерной версии кода используется индексация массива с учетом размера целого числа (4 байта), что соответствует размеру указателя в C++. Однако, в Delphi компилятор генерирует дополнительный код для обработки стека, что приводит к ошибке выполнения.

Подтвержденный ответ

Вот пример приложения, которое воспроизводит описанную проблему:

var
  FunctionAddressList: Array of Integer;
function Bar(parameter: Integer): Integer; cdecl;
begin
  ShowMessage('Bar '+IntToStr(parameter));
end;
function Foo(parameter: Integer): Integer; cdecl;
asm
  mov eax, FunctionAddressList
  jmp dword ptr [eax + 5 * SizeOf(Integer)]
end;
procedure TForm1.Button1Click(Sender: TObject);
begin
  SetLength(FunctionAddressList, 6);
  FunctionAddressList[5]:= Integer(@Bar);
  Foo(25);
end;

В ассемблерной вставке функции Foo используется размер целого числа (SizeOf(Integer)) для индексации массива, что является корректным подходом.

Решение проблемы

Чтобы решить проблему, необходимо учесть, что компилятор Delphi добавляет код для обработки стека (проки, эпилог) в начале и в конце функции. Это значит, что реальный ассемблерный код функции Foo будет выглядеть следующим образом:

0046CD30 55               push ebp
0046CD31 8BEC             mov ebp,esp
Unit1.pas.46:             mov eax, FunctionAddressList
Unit1.pas.47:             jmp dword ptr [eax + 5 * SizeOf(Integer)]
0046CD3B 5D               pop ebp
0046CD3C C3               ret

Это приводит к тому, что стек оказывается поврежденным, параметр становится неверным, и возвращаемый адрес функции Bar также становится некорректным. Если вы все же хотите продолжить использовать этот трюк, вам следует модифицировать ассемблерный код функции Foo следующим образом:

function Foo(parameter: Integer): Integer; cdecl;
asm
  pop ebp
  mov eax, FunctionAddressList
  jmp dword ptr [eax + 5 * SizeOf(Integer)]
end;

Таким образом, вы убираете инструкции для работы со стеком, добавленные компилятором, и непосредственно переходите к выполнению кода, хранящегося по адресу, полученному из массива.

Заключение

Различия в обработке стека и вызова функций между C++ и Delphi приводят к тому, что ассемблерный код, написанный для одной среды, может не работать в другой. Важно учитывать эти различия и соответствующим образом адаптировать код. В данном случае, корректное обращение к элементам массива с учетом размера целого числа и удаление лишних инструкций для работы со стеком позволит исправить проблему.

Создано по материалам из источника по ссылке.

Пользователь столкнулся с проблемой совместимости ассемблерного кода между средами разработки C++ и Delphi, вызванной различиями в обработке стека и вызовах функций.

Комментарии и вопросы

Получайте свежие новости и обновления по Object Pascal, Delphi и Lazarus прямо в свой смартфон. Подпишитесь на наш Telegram-канал delphi_kansoftware и будьте в курсе последних тенденций в разработке под Linux, Windows, Android и iOS

:: Главная :: Массивы ::