Соглашения, используемые компилятором

[Serg79]

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

Меня интересует в первую очередь не правила передачи параметров в вызываемую функцию и возвращение результата, это и так все знают. А конкретно интересует какие регистры процедура может изменять (например регистр EAX восстанавливать не нужно, т.к. он возвращает результат, так же не требуют восстановления регистры ECX, EDX) а какие должна восстанавливать при возвращении управления (например регистр EBP всегда требует восстановления, если он был изменен).

В принципе все это я и так знаю (использовался метод проб и ошибок), но мне хотелось бы почитать документацию по этому поводу. Ведь существует море соглашений, таких как 'cdecl', 'fastcall', 'stdcall'.

[RXL]

cdecl и stdcall передают параметры через стек, но в разном порядке.
fastcall - через регистры (если есть возможность). Какие - зависит от конкретного компилятора. По этому библиотечные модули следует вызывать с передачей параметров через стек.
Тоже самое и с сохранением регистров. В gcc, к примеру, это не нужно - он сам это сделает, если понадобится.