Обнаженный атрибут Gcc оставляет некоторые прологи функции пролога asm инструкции

Question

У меня есть следующая реализация для обработчика исключений svc на cortex-m0:

int  __attribute__((naked))  
sv_call_handler(uint32_t n, uint32_t arg1, uint32_t arg2, uint32_t arg3,  
                uint32_t arg4, uint32_t arg5)
 {
      irq_off();

Когда я собрал его для cortex-m0, он выглядит так:

   0x7a50 <sv_call_handler>        movs   r4, r0                                                                    
   0x7a52 <sv_call_handler+2>      str    r1, [r7, #12]                                                             
   0x7a54 <sv_call_handler+4>      str    r2, [r7, #8]                                                              
   0x7a56 <sv_call_handler+6>      str    r3, [r7, #4]                                                              
   0x7a58 <sv_call_handler+8>      bl     0x3194 <irq_off> 

В результате возникла серьезная ошибка, потому что, конечно, значение в R7 является "неопределенным", и есть большая вероятность, что оно содержит значение, которое находится вне диапазона адресов.

Когда я удаляю атрибут naked, сборка имеет гораздо больше смысла:

   0x7a50 <sv_call_handler>        push   {r4, r5, r7, lr}                                                          
   0x7a52 <sv_call_handler+2>      sub    sp, #32                                                                   
   0x7a54 <sv_call_handler+4>      add    r7, sp, #8                                                                
   0x7a56 <sv_call_handler+6>      str    r0, [r7, #12]

Я использовал атрибут "голый" без проблем, так почему же это происходит сейчас? Это как-то связано с тем, что обработчик исключений svc является особым случаем?

Answer 1

Не используйте голые функции, которые принимают параметры. Эти параметры должны обрабатываться каким-то прологом, что, скорее всего, не то, что вам нужно.

Лучше написать это в сборке (IMO).

Answer 2

В соответствии с руководством gcc вы можете использовать только naked атрибут функции для функций, которые включают только основные asm заявления. Используя расширенный asm операторы или обычный c-код в такой функции могут показаться работающими, но нет никаких гарантий, что когда-либо.

В вашем коде у вас есть обычный вызов функции в вашей голой функции. Это, вероятно, корень вашей проблемы.