Gcc 裸属性留下一些尾随函数序言 asm 指令

Question

我在 cortex-m0 上实现了以下 svc 异常处理程序:

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]

我之前使用naked属性没有问题，为什么现在会出现这种情况？这与 svc 异常处理程序是特殊情况有什么关系吗？

Answer 1

根据 gcc 手册，您只能对仅包含基本 asm 语句的函数使用 naked 函数属性。在此类函数中使用扩展 asm 语句或普通 C 代码可能看起来可行，但不能保证会发生任何情况。

在您的代码中，您的裸函数中有一个正常的函数调用。这可能是您问题的根源。