関数の stack frame の構成と変数へのアクセス
本コンパイラーで生成する関数オブジェクトの、スタックの構成やローカル変数へのアクセスについて、次に図をもちいて示します．
（１）stack frame の基本構成
|
func(arg1,arg2) int arg1; char arg2; { int local1; char local2[3]; .................... .................... { int local3; .............. .............. } .................... } | ||||||||||||||||||||||||||
| |||||||||||||||||||||||||||
関数の入口処理では、その関数で使用するローカル変数の領域をスタックに確保します．そして、出口処理では、確保した領域を開放してからその関数を呼び出した関数ヘリターンします．関数内のブロックの先頭で宣言される変数の領域についても、当該ブロックの処理の実行の如何を問わず、人口処理でまとめて確保します．
呼び出し側関数の bc レジスタは、入口処理の先頭でスタックに退避し、その退避したアドレスを bc レジスタに格納します．これにより、ローカル変数は、bc レジスタのアドレスからのオフセットを用いることによりアクセスすることができます．このため、bc レジスタは、フレームポインタとして常に実行中の関数のスタックフレームを管理していることになります．