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

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 中的值当然是 'undefined'，并且很有可能它包含一个不在地址范围内的值。

当我删除 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 代码可能看起来有效，但不能保证永远如此。

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

Answer 2

不要使用带参数的裸函数。这些参数必须由一些序言处理，这很可能不是你想要的。

最好用汇编 (IMO) 编写它。

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

Gcc naked attribute leaves some trailing function prologue asm instructions

gcc

arm

system-calls

cortex-m

armv6