Соглашения по регистрам, Cortex M3, gcc 4.7.2 Опции

[Genadi Zawidowsk...]

Вижу, что в документе Cortex-M3 programming manual написано - при входе в прерывание сохраняется

● R0-R3, R12
● Return address
● PSR
● LR

Добавление __attribute__((__interrupt__)) (как я смог понять из кода) добавляет выравнивание стека на 8. В этом нет необходимости - обработка прерывания процессором это обеспечивает независимо от требования на выравнивание.
А что обеспечивает сохранение остальных регистров? Или эти регистры в gcc 4.7.2 в случае их использования в вычислениях сохраняются автоматически?
Сейчас при невнимательном тестировании на первый взгляд всё работает и без __attribute__((__interrupt__)).

В документе http://gcc.gnu.org/onlinedocs/gcc-4.7.2/gc...tion-Attributes написано только то, что я и понял - на Cortex Mx только выравнивает стэк:

On ARMv7-M the interrupt type is ignored, and the attribute means the function may be called with a word aligned stack pointer.

В start-up никаких изменений режима работы процессора не делается.

CODE

static void ResetException( void )
{

uint32_t * pSrc, * pDest ;


/* Low level Initialize */
arm_cpu_initialize(); // watchdog disable, clock initialize

/* Initialize the relocate segment */
pSrc = & _sidata;
pDest = & __data_start;

if ( pSrc != pDest )
{
// compiled for FLASH
for ( ; pDest < & __data_end ; )
{
*pDest++ = *pSrc++ ;
}
}
// Следить, чтобы переменные не оказались в стеке, очищаемом сейчас.
// Для этого, например, использована секция noinit
/* Clear the zero segment */
for ( pDest = & __bss_start; pDest < & __bss_end; )
{
* pDest ++ = 0;
}

/* Branch to main function */
main();

/* Infinite loop */
for (;;)
;
}

Сообщение отредактировал Genadi Zawidowski - Feb 12 2013, 19:18

[Genadi Zawidowsk...]

Для примера, как выглядит соответствующая глава документации (цитата НЕ из GCC):

9.3 Calling Convention
In order to keep the binary compatibility with gcc and vc, ucc conforms to the calling convention of these compilers.
(1) When calling a function, the actual parameters will be pushed onto stack from right to left. The caller will pop the parameters.
(2) preserve registers：EBX, ESI and EDI which will be saved by the callee.
scratch registers：EAX, ECX and EDX which will be saved by the caller.
(3) function return value：
if the return value is integer type，EAX holds the return value.
if the return value is floating point type，ST(0) holds the return value.
if the return value is struct/union type in size 1, 2 or 4, EAX holds the return value.
if the return value is struct/union type in size 8, (EAX, EDX) holds the return value.
if the return value is struct/union type in other size, the function’s first parameter is implicit
which is the address of the function return value’s receiver, the function’s return type will be void.