У меня есть несколько процедур сборки, которые вызываются функциями C и принимают аргументы из них. Прямо сейчас я предполагаю, что эти аргументы передаются в стеке в порядке cdecl. Это справедливое предположение?
Обнаружит ли это компилятор (GCC) и удостоверится, что аргументы переданы правильно, или я должен вручную объявить их cdecl? Если да, то сохранится ли этот атрибут, если я укажу более высокий уровень оптимизации?
Это вопрос ABI платформы, для которой вы пишете код. Почти все платформы следуют соглашению о вызовах Unix System V ABI для C и другим вопросам ABI, который включает в себя как общий документ ABI (gABI), в котором подробно описаны общие характеристики ABI для всех архитектур ЦП, так и документ ABI для конкретного процессора (psABI), специфичный для конкретная архитектура/семейство ЦП. Когда дело доходит до x86, это соответствует тому, что вы называете «cdecl». Таким образом, с практической точки зрения, сборка x86, предназначенная для вызова из C, должна быть написана с учетом «cdecl». По сути, единственным исключением из универсальности этого соглашения о вызовах являются функции Windows API, которые используют свое собственное нестандартное соглашение о вызовах "stdcall" из-за проблем с совместимостью устаревших dll-преобразователей Win16; тем не менее, соглашение о вызовах «по умолчанию» в x86 Windows по-прежнему «cdecl».
Более важная проблема при написании asm для вызова из C заключается в том, должны ли имена символов начинаться с префикса подчеркивания или нет. Это сильно различается между платформами, при этом общая тенденция заключается в том, что платформы на основе ELF не используют префикс, а большинство других платформ используют...
Соглашения о вызовах означают гораздо больше, чем просто порядок аргументов. Существует хороший PDF-файл, объясняющий все детали, написанный Агнером Фогом: Соглашения о вызовах для различных компиляторов C++ и системы.
Быстрый и грязный способ сделать это - создать фиктивную функцию C, которая соответствует ассемблерной функции, которую вы хотите реализовать, сделать несколько вещей в фиктивной функции C с переданными параметрами, чтобы вы могли различать их, скомпилировать, а затем дизассемблировать. Ненадежный, но работает часто.
