パタヘネ
2.8 コンピュータ・ハードウェア内での手続きのサポート
では、関数の戻り値はレジスタへ戻すコードがコンパイルの結果、吐き出されている。

スタックがクリアされてから呼び出し元へ戻るので、呼び出し元からアクセスできる所へ戻り値が置かれるってことなんだな。

置かれる場所が、一定なのが、非re-entrantな関数ってことなんだな。