のgcc裸の属性は、いくつかの末尾の関数プロローグのasm命令を残し

Question

Iきたの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の値は「未定義」され、それがアドレス範囲内にない値が含まれていることを高く可能性があります。私は裸の属性を削除する場合

、アセンブリがはるかに理にかなって：

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マニュアルによれば、基本asmステートメントだけを含む関数には、関数属性を使用できます。そのような機能で拡張asmステートメントまたは通常のCコードを使用すると動作するように見えるかもしれませんが、これまでどんな保証がありません。

あなたのコードでは、裸の関数で通常の関数呼び出しがあります。これはおそらく問題の根源です。