JPH04294427A - 引数受け渡し方式 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は引数受け渡し方式に関し
、特にコンパイラにおける引数受け渡し方式に関する。

【０００２】

【従来の技術】従来、コンパイラにおける引数の受け渡
し方法は、引数の個数に制限をつけて引数をレジスタに
格納する方法と、引数の個数に制限をつけずに引数をメ
モリに格納してその先頭アドレスをレジスタに格納する
方法とのいずれかであり、また引数の個数に応じて２種
類の方法のいずれかに切り分ける場合でも切り分けの境
界個数はコンパイラごとに固定であった。

【０００３】通常のコンパイラにおいては、２種類の引
数の受け渡し方法では、前者の方法の方がオブジェクト
効率がよい。しかし、実現されているほとんどのコンパ
イラでは、後者の方法で引数を受け渡している。それは
、レジスタの個数が有限であるのに対して、引数の個数
を有限個に制限することがほとんど不可能であることに
起因している。

【０００４】

【発明が解決しようとする課題】上述した従来の引数の
受け渡し方法をコンパイラによって１通りのみサポート
する方式では、引数の個数に制限をつけない場合、実際
に使用される引数の個数が少なくても、無条件にメモリ
を使用した引数の受け渡しが行われるので、オブジェク
ト効率が悪いという欠点がある。

【０００５】また、従来の引数の個数に応じて引数の受
け渡し方法を切り分ける方式でも、切り分けの境界個数
は固定であったため、プログラムの傾向によって手続き
呼び出し以外のプログラムが比較的簡単で使用しないレ
ジスタがあっても、引数の個数が固定の境界個数を越え
ると、メモリを使用した引数の受け渡しが行われるので
、オブジェクト効率が悪くなるという欠点がある。

【０００６】本発明の目的は、上述の点に鑑み、呼び出
し手続きごとにその引数の個数によって引数の受け渡し
方法を切り分けるとともに、コンパイル時に利用者が引
数受け渡し方法を切り分ける引数の境界個数を指定でき
るようにした引数受け渡し方式を提供することにある。

【０００７】

【課題を解決するための手段】本発明の引数受け渡し方
式は、コンパイラにおいて、オプション解析時に、レジ
スタ渡し引数最大個数オプションを入力してレジスタ渡
し引数最大個数変数にレジスタ渡し引数最大個数を設定
するレジスタ渡し引数最大個数設定手段と、アーギュメ
ント渡しオブジェクト生成時に、アーギュメントの個数
とレジスタ渡し引数最大個数変数とに応じてアーギュメ
ントの渡し方法を切り分けるアーギュメント渡し方法切
り分け手段と、アーギュメントの個数がレジスタ渡し引
数最大個数変数以下のときにアーギュメントをレジスタ
で渡すオブジェクトを生成するアーギュメントレジスタ
渡しオブジェクト生成手段と、アーギュメントの個数が
レジスタ渡し引数最大個数変数より大きいときにアーギ
ュメントをアーギュメントリストで渡すオブジェクトを
生成するアーギュメントリスト渡しオブジェクト生成手
段と、パラメータ参照オブジェクト生成時に、パラメー
タの個数とレジスタ渡し引数最大個数変数とに応じてパ
ラメータの参照方法を切り分けるパラメータ参照方法切
り分け手段と、パラメータの個数がレジスタ渡し引数最
大個数変数以下のときにパラメータをレジスタで参照す
るオブジェクトを生成するパラメータレジスタ参照オブ
ジェクト生成手段と、パラメータの個数がレジスタ渡し
引数最大個数変数より大きいときにパラメータをパラメ
ータリストで参照するオブジェクトを生成するパラメー
タリスト参照オブジェクト生成手段とを有する。

【０００８】

【作用】本発明の引数受け渡し方式では、オプション解
析時に、レジスタ渡し引数最大個数設定手段がレジスタ
渡し引数最大個数オプションを入力してレジスタ渡し引
数最大個数変数にレジスタ渡し引数最大個数を設定し、
アーギュメント渡しオブジェクト生成時に、アーギュメ
ント渡し方法切り分け手段がアーギュメントの個数とレ
ジスタ渡し引数最大個数変数とに応じてアーギュメント
の渡し方法を切り分け、アーギュメントレジスタ渡しオ
ブジェクト生成手段がアーギュメントの個数がレジスタ
渡し引数最大個数変数以下のときにアーギュメントをレ
ジスタで渡すオブジェクトを生成し、アーギュメントリ
スト渡しオブジェクト生成手段がアーギュメントの個数
がレジスタ渡し引数最大個数変数より大きいときにアー
ギュメントをアーギュメントリストで渡すオブジェクト
を生成し、パラメータ参照オブジェクト生成時に、パラ
メータ参照方法切り分け手段がパラメータの個数とレジ
スタ渡し引数最大個数変数とに応じてパラメータの参照
方法を切り分け、パラメータレジスタ参照オブジェクト
生成手段がパラメータの個数がレジスタ渡し引数最大個
数変数以下のときにパラメータをレジスタで参照するオ
ブジェクトを生成し、パラメータリスト参照オブジェク
ト生成手段がパラメータの個数がレジスタ渡し引数最大
個数変数より大きいときにパラメータをパラメータリス
トで参照するオブジェクトを生成する。

【０００９】

【実施例】次に、本発明について図面を参照して詳細に
説明する。

【００１０】図１は、本発明の一実施例に係る引数受け
渡し方式の構成を示すブロック図である。本実施例の引
数受け渡し方式は、レジスタ渡し引数最大個数設定手段
１と、アーギュメント渡し方法切り分け手段２と、アー
ギュメントレジスタ渡しオブジェクト生成手段３と、ア
ーギュメントリスト渡しオブジェクト生成手段４と、パ
ラメータ参照方法切り分け手段５と、パラメータレジス
タ参照オブジェクト生成手段６と、パラメータリスト参
照オブジェクト生成手段７と、レジスタ渡し引数最大個
数オプション８と、レジスタ渡し引数最大個数変数９と
から構成されている。

【００１１】次に、このように構成された本実施例の引
数受け渡し方式の動作について説明する。ただし、本実
施例の引数受け渡し方式は、従来のコンパイラの一部と
して実現されるが、コンパイラ全体の動作の説明は省略
する。

【００１２】コンパイラのオプション解析部（図示せず
）において、レジスタ渡し引数最大個数オプション８の
入力時に、レジスタ渡し引数最大個数設定手段１は、レ
ジスタ渡し引数最大個数変数９に、レジスタ渡し引数最
大個数オプション８で指定されたレジスタ渡し引数最大
個数ｎを設定する。ただし、レジスタ渡し引数最大個数
オプション８が入力されない場合のために、レジスタ渡
し引数最大個数変数９は、標準規定値（実際にコンパイ
ラ処理系が使用できるレジスタの個数とオブジェクトの
生成方法とに応じて処理系ごとに決める）で初期設定し
ておく。また、レジスタ渡し引数最大個数オプション８
で指定されたレジスタ渡し引数最大個数ｎが通常のオブ
ジェクト生成に支障をきたすような大きな値の場合は、
レジスタ渡し引数最大個数設定手段１は、最大規定値（
標準既定値と同様に決める）をレジスタ渡し引数最大個
数変数９に設定する。

【００１３】コンパイラのコード生成部（図示せず）に
おいては、アーギュメント渡しオブジェクト生成時と、
パラメータ参照オブジェクト生成時とに、オプション解
析部においてレジスタ渡し引数最大個数変数９に設定さ
れたレジスタ渡し引数最大個数ｎを参照して、各々のオ
ブジェクトを生成する。

【００１４】まず、アーギュメント渡しオブジェクト生
成時に、アーギュメント渡し方法切り分け手段２は、ア
ーギュメント渡し方法を切り分ける。すなわち、アーギ
ュメント渡し方法切り分け手段２は、アーギュメントの
個数Ａを調べ、Ａ≦ｎのときにはアーギュメントレジス
タ渡しオブジェクト生成手段３を、Ａ＞ｎのときにはア
ーギュメントリスト渡しオブジェクト生成手段４をそれ
ぞれ呼び出す。

【００１５】アーギュメントレジスタ渡しオブジェクト
生成手段３は、以下のようにオブジェクトを生成する。

【００１６】■　　値渡しのときは、アーギュメントの
値を、ある決められたレジスタＲから連続するＡ個分の
レジスタにロードするオブジェクトを生成する。

【００１７】■　　参照渡しのときは、アーギュメント
のアドレスを、レジスタＲから連続するＡ個分のレジス
タにロードするオブジェクトを生成する。

【００１８】アーギュメントリスト渡しオブジェクト生
成手段４は、以下のようにオブジェクトを生成する。

【００１９】■　　値渡しのときは、アーギュメントの
値をＡ個分の連続したメモリ（＝アーギュメントリスト
）にストアし、そのメモリの先頭アドレスを決められた
レジスタ（＝アーギュメントリスト先頭レジスタＡＬＲ
）にロードするオブジェクトを生成する。

【００２０】■　　参照渡しのときは、アーギュメント
のアドレスをアーギュメントリストにストアし、アーギ
ュメントリスト先頭アドレスをアーギュメントリスト先
頭レジスタＡＬＲにロードするオブジェクトを生成する
。

【００２１】アーギュメント渡しオブジェクトの例を、
図２に示す。

【００２２】また、パラメータ参照オブジェクト生成時
には、パラメータ参照方法切り分け手段５は、パラメー
タ参照の方法を切り分ける。すなわち、パラメータ参照
方法切り分け手段５は、パラメータの個数Ｐを調べ、Ｐ
≦ｎのときはパラメータレジスタ参照オブジェクト生成
手段６を、Ｐ＞ｎのときはパラメータリスト参照オブジ
ェクト生成手段７をそれぞれ呼び出す。

【００２３】パラメータレジスタ参照オブジェクト生成
手段６は、以下のようにオブジェクトを生成する。

【００２４】■　　値渡しのときは、（レジスタＲ＋パ
ラメータ番号Ｐｎｏ（何番目のパラメータか）−１）で
決まるレジスタＰＲの内容を参照するオブジェクトを生
成する。

【００２５】■　　参照渡しのときは、レジスタＰＲの
内容で指されるメモリの内容を参照するオブジェクトを
生成する。

【００２６】パラメータリスト参照オブジェクト生成手
段７は、以下のようにオブジェクトを生成する。

【００２７】■　　値渡しのときは、パラメータリスト
先頭レジスタＰＬＲ（＝アーギュメントリスト先頭レジ
スタＡＬＲ）をベースとして、パラメータ番号Ｐｎｏで
決まる値をディスプレイスメントとして決まるメモリ（
＝パラメータリスト（＝アーギュメントリスト））の内
容を参照するオブジェクトを生成する。

【００２８】■　　参照渡しのときは、パラメータリス
ト先頭レジスタＰＬＲをベースとして、パラメータ番号
Ｐｎｏで決まる値をディスプレイスメントとして決まる
メモリ（＝パラメータリスト）の内容で指されるメモリ
を参照するオブジェクトを生成する。

【００２９】パラメータ参照オブジェクトの例を、図３
に示す。

【００３０】

【発明の効果】以上説明したように本発明は、コンパイ
ラにおいて、呼び出し手続きごとにその引数の個数によ
って引数の受け渡し方法を切り分けることにより、使用
できるレジスタの個数が少なく無条件にレジスタを介す
る引数受け渡し方法が採用できないようなコンパイラに
おいても、引数の個数が少なければレジスタを介する引
数受け渡しが可能となり、オブジェクト効率がよくなる
という効果がある。

【００３１】また、コンパイル時に利用者が引数受け渡
し方法を切り分ける引数の境界個数を指定できるように
することにより、プログラムの傾向によってさらに最適
な引数のレジスタ受け渡しが可能になり、オブジェクト
効率もさらによくなるという効果がある。

【図面の簡単な説明】

【図１】本発明の一実施例に係る引数受け渡し方式の構
成を示すブロック図である。

【図２】アーギュメント渡しオブジェクトの例を示す図
である。

【図３】パラメータ参照オブジェクトの例を示す図であ
る。

【符号の説明】

１　　レジスタ渡し引数最大個数設定手段２　　アーギ
ュメント渡し方法切り分け手段３　　アーギュメントレ
ジスタ渡しオブジェクト生成手段４　　アーギュメント
リスト渡しオブジェクト生成手段５　　パラメータ参照
方法切り分け手段６　　パラメータレジスタ参照オブジ
ェクト生成手段７　　パラメータリスト参照オブジェク
ト生成手段８　　レジスタ渡し引数最大個数オプション
９　　レジスタ渡し引数最大個数変数

Claims (1)

【特許請求の範囲】
1. 【請求項１】　　コンパイラにおいて、オプション解析
   時に、レジスタ渡し引数最大個数オプションを入力して
   レジスタ渡し引数最大個数変数にレジスタ渡し引数最大
   個数を設定するレジスタ渡し引数最大個数設定手段と、
   アーギュメント渡しオブジェクト生成時に、アーギュメ
   ントの個数とレジスタ渡し引数最大個数変数とに応じて
   アーギュメントの渡し方法を切り分けるアーギュメント
   渡し方法切り分け手段と、アーギュメントの個数がレジ
   スタ渡し引数最大個数変数以下のときにアーギュメント
   をレジスタで渡すオブジェクトを生成するアーギュメン
   トレジスタ渡しオブジェクト生成手段と、アーギュメン
   トの個数がレジスタ渡し引数最大個数変数より大きいと
   きにアーギュメントをアーギュメントリストで渡すオブ
   ジェクトを生成するアーギュメントリスト渡しオブジェ
   クト生成手段と、パラメータ参照オブジェクト生成時に
   、パラメータの個数とレジスタ渡し引数最大個数変数と
   に応じてパラメータの参照方法を切り分けるパラメータ
   参照方法切り分け手段と、パラメータの個数がレジスタ
   渡し引数最大個数変数以下のときにパラメータをレジス
   タで参照するオブジェクトを生成するパラメータレジス
   タ参照オブジェクト生成手段と、パラメータの個数がレ
   ジスタ渡し引数最大個数変数より大きいときにパラメー
   タをパラメータリストで参照するオブジェクトを生成す
   るパラメータリスト参照オブジェクト生成手段とを有す
   ることを特徴とする引数受け渡し方式。