CCMBソース読解の道しるべ

戻る

・レジスタ割り当ての規則

　ＣＣＭＢは（そのスーパーセットであるＣＭＢもですが）、次のようにきわめてアクセス頻度の高いインタプリタ用のグローバル変数を常時レジスタに割り当てています。Ｃなどのコンパイラで作るとこのような「グローバル変数を常時レジスタに割り付ける」なんてことはやってくれないと思います。

レジスタ	エイリアス	機　能
Ｒ１１	LINEP	現在実行中の行の先頭を指すポインタ
Ｒ１２	EXEP	現在まさに解釈・実行中の文字を指すポインタ
Ｒ１３		２バイト、４バイトの即値ロード用
Ｒ１４		構文チェック用ソフトウエアスタックポインタ

私はこれまで、Ｚ８０、８０ｘ８６リアルモード、Ｈ８のＢＡＳＩＣを作ってきましたが、ＳＨになって汎用レジスタが１５個になって急に自由度が増したように感じました（Ｈ８はＥＲｎを１個の汎用レジスタと考えると結局７個で、８０８６等と比べてあまり増えた感じはしませんでした）。それらのＣＰＵではLINEP、EXEPのレジスタへの常時割り当ては行っていません。Ｈ８版では、ソフトウエアスタックポインタのみＥＲ６に常時割り付けしています。

　ＧＢＲも、ＩＯアクセス時などのごくわずかなケースを除いてほとんど常にＢＡＳＩＣインタプリタのワークエリアの先頭を指しています。これによりインタプリタは非常に高速に動作します。

　また、Ｒ３にはよく実行ポインタEXEPがコピーされます。EXEPをＲ３にコピーしてそれが指しているものが何であるか調べ、取り込むべきものであった場合そのサイズぶん進んだＲ３をEXEPに書き戻し、そうでなければEXEPはそのままでＲ３の内容を破棄する、という処理がそこかしこにあります。

　それ以外にもＲ３は何らかのデータを指すポインタに使われることが多く、Ｒ２は関数などへのデータの受け渡しに使われることが多いです。それは一番最初に作ったＺ８０版の名残でＨＬ、ＤＥレジスタがやっていたことをＳＨ版ではそれぞれＲ３、Ｒ２に割り振っているからです。

・ラベル命名規則

　必ずしも１００％のっとっていないところもありますが、大体次のようなルールで名前をつけていますので、覚えておくと概要がつかみやすくなります。

●　Qで始まるラベル名のルーチンは「□△であるか否か」を判定し、□△であると判断すればＳＲのＴビットをセットしてリターン、そうでなければＴビットをクリヤしてリターンする。

なお、私はサブルーチンの戻り値が真か偽か、あるいは成功か失敗かといったブール値の場合、ＳＲのＴビットで返す、という手法を多用しています。これだとたった１ビットの情報のために貴重な汎用レジスタを１つ潰す必要がありませんし、受け取った側は即条件分岐できます。（これもＺ８０版ではキャリーフラグで渡していた名残）） Ｃなどのコンパイラでプログラムを組むと汎用レジスタにH'00000000あるいはH'00000001を返す、というコードになってしまうケースが多く、受け取った側はTSTやCMP/EQで判断しなければいけません。

●　Xで始まるラベル名のルーチンは文、関数、演算子などの実行ルーチン本体である

●　何かを処理するルーチンの中で、処理に成功すれば□△Eというラベルに分岐してそのルーチンを抜ける（正常終了）。失敗した場合は□△Nというラベルに分岐してルーチンを抜ける（否定的終了）。SCANルーチンのSCANEラベル、SCANNラベルなどが代表的な例。

●　□△が存在することを期待するルーチンのラベル名はEXPで始まる。それらのルーチンはＲ３が指しているものが□△ならばそのサイズだけＲ３を進め何事も無かったかのようにリターンする。□△でなかった場合はＳＹＮＴＡＸエラーを発生させ元の処理には戻らない。
SXP□△はＲ３が指す空白をスキップしてからEXP□△を行う。LXP□△は実行ポインタをＲ３にロードしてからSXP□△を行う。