OSDev

Товарищи, помогите: нужно вызывать C-функции из ассемблерного кода и ассемблерные функции из C-кода. Спрашивал Google и Википедию, но чёткого ответа так и не получил.

Допустим ассемблерные функции и C-функции все имеют соглашение вызова __cdecl. Хорошо, т.о. при вызове C-функции я должен запихать параметры в стек в обратном порядке, и забирать возвращаемое значение из EAX (или EDX:EAX). Но какие регистры она мне испортит? В Википедии и в других местах говорят о EAX, ECX, EDX, FS, GS. Но где можно посмотреть "официальное" соглашение? Чтобы быть уверенным.

Сохраняются вызываемым EBP, EBX, ESI, EDI. Сегментные (базовые) в __cdecl не включены. См., например, MSDN.

Спасибо за оперативность.

Получается, что нужно искать ABI (Application Binary Interface) для каждой целевой системы, например для Unix, и читать там? Или в доках к компилятору. А я думал, что __cdecl не должно зависеть от системы/компилятора.

Так же есть ещё вопросик: (цитата с того же MSDN) - это для всех систем/компиляторов верно? Думаю, что да, т.к. очень логично.

ПодЫтожу: где есть официальная спецификация для __cdecl отличная от доков того или иного компилятора?

По факту оно во всех системах одинаково, но какой-либо общей спецификации нет.



Да.

Соглашения вызова __cdecl одинаковые на системах. Описаны здесь: http://en.wikipedia.org/wiki/X86_calling_conventions#cdecl

Отличаются соглашения только формированием имени функции. Из C функция может генерироваться с подчеркиванием, а может без подчеркивания. Это зависит от платформы (компилятора). Проще всего проверить соглашения компиляцией исходников из C в ассемблер. И вы все увидите для своего компилятора.

Я на эту тему писал статейку.
http://dev64.wordpress.com/2012/01/23/gcc-calling-conventions-investigation/

Смотрите Agner Fog, у него это расписано хорошо. Ссылка в ваикипедии есть.