$ spレジスタは関数の先頭で変更されません

Question

リンク先：How to get a call stack backtrace?(GCC,MIPS,no frame pointer) アセンブリコードとユーザースタックを使用して関数を反復することにより、コールスタック（詳細は上記のリンクを参照）を再現しています。 私は各関数の前の$属を見つける必要があり、ほとんどの機能は、次の命令で始まる：私は簡単にオペコードから、以前の$ SPを結論付けることができ

addiu sp, sp, -80

。 問題は、スタックを使用していても$ spを変更しない関数が見つかったことです。この種の関数を呼び出す関数はスタック上の同じ起動フレームを使用しているようです。 この場合、前の$ spをどのように再現できますか？

Answer 1

これは、最適化されたコードで発生する可能性があります。

リーフ関数が一時レジスタを変更し、呼び出し元のコードのreturnステートメントに戻る場合は、$raを変更する必要はなく、その関数のスタックフレームは不要です。例：

int caller(....) { 
    int a, b, c; 
    ... 
    c = leaf(a,b); 
    return c; 
} 
int leaf(int a, int b) { 
    return a + b; 
} 

tail callsも参照してください。