JPH11232118A - 一括関数呼出化方法 - Google Patents

Abstract

(57)【要約】 【課題】 コンパイラの関数呼出オーバヘッド削減手段
としてインライン展開がある。しかし、インライン展開
の適用により関数呼出をなくすことができても、キャッ
シュミスの機会が増える等の理由により、適用できない
場合がある。インライン展開処理が適用できないとき、
関数呼出オーバヘッドを削減する手段がなく処理性能の
向上の妨げとなっている。インライン展開が適用できな
い場合にも、呼出オーバヘッドの削減を行い、オブジェ
クトプログラムの処理性能の向上を図ることが可能な一
括関数呼出化方法を提供することを目的としている。 【解決手段】 複数回の同一関数の処理を一度に実行す
る一括関数を生成し、複数回の同一関数の呼出を、１回
の一括関数の呼出に置き換える一括化呼出生成手段を設
けたことを特徴としている。これにより、インライン展
開によらない呼出オーバヘッドの削減手段を設けること
ができる。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明はコンパイラなどのプ
ログラム変換技術に係わり、特に、関数呼出機構を持つ
言語に対して、関数および関数呼出の関係を解析して関
数情報および呼出情報として生成するプログラム変換の
際の一括関数呼出化方法に関する。

【０００２】

【従来の技術】高級言語によるプログラミングでは、関
数（手続きとも呼ばれるが、以降では関数で統一する）
による構造化を行うのが一般的である。関数は、一連の
処理をまとめてパラメータ化して記述したもの（以下、
これを関数定義と呼ぶ）で、それを呼出す（以下単に呼
出と呼ぶ）ことにより関数定義内の処理を実現できる。
関数定義側のパラメータには、仮引数、返却変数（以
下、仮返数と呼ぶ）があり、関数定義内の記述では、仮
引数・仮返数（以下、仮パラメータと呼ぶ）を使って処
理を記述する。呼出側のパラメータには、実引数、返却
変数（以下、実返数と呼ぶ）があり、呼出側の変数／式
を使ってパラメータの指定を行う（この呼出インタフェ
ースとなる変数／式を実パラメータと呼ぶ）。尚、以下
では、仮パラメータと実パラメータを総称して、インタ
フェース変数／式と呼ぶ。実パラメータには様々な値を
指定することが可能で、これにより同様の処理（＝関数
定義）を繰り返し実行することができる。

【０００３】このように、関数はプログラミング上便利
な機構である一方で、呼出時にオーバヘッドがかかると
いう問題点を抱えている。即ち、引数の受け渡しや、呼
出時のスタックポインタの更新／退避回復、命令ジャン
プに伴うキャッシュミスの可能性の増大といったことに
より、処理性能の低下を招く。特に、処理内容が簡単な
関数を反復呼出する場合には、呼出オーバヘッドは性能
上無視できないものとなる。

【０００４】このような状況に対処するため、高級言語
では、インライン展開の機能を備えている場合が多い。
インライン展開は、関数呼出を関数の定義本体の内容で
置き換え、呼出を抑止するものである。具体的には、各
呼出点で、関数定義の内容を展開し、仮パラメータを実
パラメータで置き換えることにより実現する。インライ
ン展開に関しては、佐々 政孝著岩波講座ソフトウェア
科学５「プログラミング言語処理系」（ 岩波書店、１
９８９）のｐｐ．４５０―４５１に詳しい。

【０００５】

【発明が解決しようとする課題】インライン展開は、高
級言語における呼出オーバヘッド削減のほとんど唯一の
手段である。しかし、インライン展開の適用によりコー
ドサイズが大きくなり過ぎると、キャッシュミスの機会
が増え、かえって性能が低下する場合もある。そのた
め、大きな関数の呼出や、呼出個所が多い場合には、イ
ンライン展開を制限するのが普通である。即ち、コード
量の極端な増加を伴う場合には、インライン展開による
呼出オーバヘッドの削減は行うことができない。すなわ
ち、従来技術においては、インライン展開が適用できな
い場合に、呼出オーバヘッドの削減を行う手段がないと
いう課題があった。本発明の目的は、インライン展開に
よらない呼出オーバヘッドの削減手段を設けることによ
り、インライン展開が適用できない場合にも、呼出オー
バヘッドの削減を行い、オブジェクトプログラムの処理
性能の向上を図ることが可能な一括関数呼出化方法を提
供することにある。

【０００６】

【課題を解決するための手段】インライン展開は、各呼
出点で関数定義の処理内容を展開し、（その呼出点で
の）呼出を除去する。従って、インライン展開の適用の
有無は、各呼出点の呼出回数を０とするか否かを判断す
ることになる。複数回の同一関数の呼出の場合、インラ
イン展開が適用できない場合でも、関数定義側に複数呼
出分の処理を展開すれば、コードサイズを極端に増大さ
せることなく、呼出回数を削減することが可能である。
即ち、複数回の同一関数の処理を一度に実行する一括関
数を生成し、複数回の同一関数の呼出を、１回の一括関
数の呼出に置き換える一括化呼出生成手段を設けること
で、インライン展開によらない呼出オーバヘッドの削減
手段を設けることができる。これにより、インライン展
開が適用できない場合にも、呼出オーバヘッドの削減を
行うことが可能となり、オブジェクトプログラムの処理
性能の向上に寄与する。

【０００７】

【発明の実施の形態】本発明は、同一関数の複数呼び出
しを、一括処理する一括関数の呼び出しに変換する方式
に関するものである。以下では、本発明の１実施例を図
面を用いて説明する。尚、本発明は、ソースプログラム
から変換後のソースプログラムを生成する場合にも、コ
ンパイラが中間語から変換後の中間語に変換する場合に
も、同様に適用可能であるが、実施例としてコンパイラ
に適用した場合（但し、中間語は同等なソースプログラ
ムの形式で示す）を説明することにする。

【０００８】図１は、本発明のコンパイル方法を実施す
るコンパイラが動作する計算機システムの構成図であ
る。計算機システムは、ＣＰＵ１０１、ディスプレイ装
置１０２、キーボード１０３、主記憶装置１０４、外部
記憶装置１０５より構成されている。キーボード１０３
より、ユーザからのコンパイラ起動命令を受け付ける。
コンパイラ終了メッセージや、エラーメッセージは、デ
ィスプレイ装置１０２に表示される。外部記憶装置１０
５には、ソースプログラム１０６とオブジェクトプログ
ラム１０７が格納される。主記憶装置１０４には、コン
パイラ１０８があり、コンパイル過程で必要となる中間
語３、関数情報テーブル４、呼出情報テーブル５、一括
呼出情報テーブル６、一括関数情報テーブル７が格納さ
れる。コンパイル処理は、ＣＰＵ１０１によって、制御
される。

【０００９】図２に本実施例のコンパイラの処理手順を
示す。構文解析２０１では、ソースプログラム１０６を
入力として字句構文解析を行ない、中間語３を出力す
る。ループ展開処理２０２は中間後３を入力とし、反復
処理を展開して反復回数を低減するループ展開を行い、
中間語３を出力する。一括関数化処理２は、中間語３を
入力とし、複数の関数呼び出しを一括命令関数呼び出し
に変換する一括関数化処理を行ない、中間語３を出力す
る。コード生成処理２０３は、中間語を最終的なオブジ
ェクトプログラム１０７の形式に変換する。尚、ループ
展開２０２は、本発明の適用機会を増やすため望ましい
処理であるが、必須の処理ではない。

【００１０】図３は、本発明における関数呼出一括化方
法の１実施例を示すフローチャート図であり、図２の関
数呼出一括化処理２の手順を表している。先ず、関数情
報テーブル生成処理２１により、ソースプログラム中の
関数定義の各種情報を抽出し、関数情報テーブル４を作
成する。同様に、呼出情報テーブル生成処理２２によ
り、関数呼出に関する情報を抽出し、呼出情報テーブル
５を生成する。

【００１１】次に、一括呼出情報テーブル生成処理２３
により、呼出情報テーブル５から複数の同一関数呼出を
一括処理する一括関数に関する情報を抽出し、一括関数
情報テーブル６を生成する。この一括呼出情報テーブル
生成処理２３は、同一関数呼出に関する情報を抽出する
同型呼出抽出処理２３０と、同型呼出集合から一括呼出
化可能な呼出を抽出する一括呼出抽出処理２３１、抽出
した一括呼出を一括呼出情報テーブルに登録する一括呼
出情報テーブル登録処理２３２からなる。各処理に関し
ては図１７から図２３で詳しく述べる。

【００１２】次に、一括関数生成処理２４により、一括
関数情報テーブル７に基づき、中間後３に一括関数を生
成する。最後に、一括呼出化変換処理２５により、一括
呼出情報テーブル６に基づき、中間語３中の関数呼出を
一括関数呼出に変換する。

【００１３】図４は、図３で示した関数呼出一括化関連
処理と、入出力となる中間語やテーブル類の関係を示し
た処理構成図である。但し、中間語３は全般的に参照す
るため入出力関係は、主要なもののみを示した。関数情
報テーブル生成処理２１は、一括関数呼出化前中間語３
１を入力とし、関数定義の情報を格納した関数情報テー
ブル４を生成する。関数情報テーブル４は、関数の一覧
を格納する関数テーブル４１と、関数のインタフェース
となる仮引数および仮返数の情報を格納する仮パラメー
タテーブル４２から成る。呼出情報テーブル生成処理２
２は、一括呼出化前中間語３１を入力とし、関数呼出の
情報を格納した呼出情報テーブル５を生成する。呼出情
報テーブル５は、関数呼出の一覧を格納する呼出テーブ
ル５１と、関数呼出のインタフェースとなる実引数およ
び実返数の情報を格納する実パラメータテーブル５２か
ら成る。

【００１４】一括呼出化情報テーブル生成処理２３は、
呼出情報テーブル５を入力とし、一括呼出化可能な関数
呼出の情報を格納した一括呼出情報テーブル６と、一括
呼出される関数定義の情報を格納した一括関数情報テー
ブル７を生成する。一括呼出情報テーブル６は、一括呼
出化可能な呼出の一覧を格納する一括呼出テーブル６１
と、一括呼出のインタフェースとなる実引数および実返
数の情報を格納する実パラメータテーブル６２から成
る。同様に、一括関数情報テーブル７は、一括呼出化さ
れる関数定義の一覧を格納する一括関数テーブル７１
と、一括関数のインタフェースとなる仮引数および仮返
数の情報を格納する仮パラメータテーブル７２から成
る。

【００１５】一括関数生成処理２４は、一括呼出化前中
間語３１と一括関数情報テーブル７を入力とし、一括呼
出化後中間語３２に一括関数を生成する。一括呼出化変
換処理２５は、一括呼出化前中間語３１と一括呼出情報
テーブル６を入力とし、一括呼出化前中間語３１の関数
呼出を一括関数呼出に変換し、一括呼出化後中間語３２
に生成する。

【００１６】次に、具体的な適用例の説明のため、処理
対象たるソースプログラムの例を挙げておく。図５は、
本発明の一実施例の説明のためのソースプログラム例
（Ｃ言語で書かれたプログラム例）である。本実施例に
おいて、中間語３はソースプログラムと同等の情報を有
しており特別に中間語の形式である必要はない。そこ
で、中間語３の例示に当たっては、ソースプログラムの
形式で記述するものとする。従って、図５はソースプロ
グラム例であるとともに、（一括呼出化前の）中間語３
１の例ともなっている。また、図２の説明でも述べたと
おり、本実施例では（本質的には不要な）ループ展開を
行っている。図５では、ループ展開は適用されていない
が、ループ展開後に同一関数の呼出が生成される場合に
も、一般性を失うことなく適用できる。図５のプログラ
ム例では、関数ｆ、ｇ、ｍａｉｎの３関数があり、関数
ｍａｉｎが関数ｇを１回、関数ｇが関数ｆを２回呼び出
している。１７行と２０行の関数ｆの呼出が、一括呼出
可能な関数である。

【００１７】図６は、図５のソースプログラム例に対す
る一括関数呼出化後のソースプログラム例であり、一括
関数呼出化後中間語３２に対応している。図６では、図
５にはなかった一括関数Ｆが新たに生成されている（３
０行から３６行）。また、図５では関数ｇは関数ｆを２
回呼び出していたが、図６では一括関数Ｆの呼出１回
（１６行）となっている。即ち、関数ｆの２回の呼出を
一括関数Ｆの一回の呼出に変換しており、一括呼出化変
換を行った結果の例である。

【００１８】以降では、一括関数呼出化処理２の細部の
説明を行なう。説明にあたっては、図５の中間語を入力
例とし、各種テーブルの出力例を逐次示していく。そこ
で、先ず、各種テーブルの構成例を説明してから、処理
手順の説明を行なう。以下、関数情報テーブル４、呼出
情報テーブル５、一括呼出情報テーブル６、一括関数情
報テーブル７の順にその構成例を述べる。

【００１９】図７は、図５の例に対して求めた関数テー
ブル４１の構成例である。関数テーブルは、プログラム
中に出現する関数定義毎に、エントリが作成される。各
関数には、一意な関数番号が付与されており、その関数
番号により各エントリがアクセス可能となっている。各
エントリは、関数番号欄４１１、関数名称欄４１２、定
義行番号欄４１３、仮返数欄４１４、仮引数集合欄４１
５、呼出集合欄４１６で構成される。

【００２０】関数番号欄４１１には、関数テーブルのエ
ントリ番号、関数名称欄４１２には、対応する関数の名
称が格納される。定義行番号欄４１３には、当該関数の
中間語３での関数定義情報が格納される。この定義行番
号欄により、対応する関数定義の全ての情報を得ること
ができる。例えば、関数の各種インタフェース情報の取
得や、関数定義本体の読み出し／複写等も可能である。
本実施例では、図７で示したように、ソースプログラム
の行番号の形式で示してある。仮返数欄４１４および仮
引数集合欄４１５は、当該関数の仮返数および仮引数の
情報が、仮パラメータテーブル４２のエントリ番号の形
式で格納される。呼出集合欄４１６は、当該関数中に存
在する関数呼出の情報が、呼出テーブル５１のエントリ
番号の形式で格納される。

【００２１】図８は、図５の例に対して求めた仮パラメ
ータテーブル４２の構成例である。仮パラメータテーブ
ルは、関数テーブル４１の関数インタフェース情報を格
納するための補助テーブルである。仮返数や仮引数毎
に、エントリが作成され、そのエントリ番号が関数テー
ブル４１の仮返数欄や仮引数集合欄に格納される。各エ
ントリは、仮パラメータ番号欄４２１、仮パラメータ位
置番号欄４２２、仮パラメータ型欄４２３、仮パラメー
タ変数欄４２４で構成される。

【００２２】仮パラメータ番号欄４２１には、仮パラメ
ータテーブルのエントリ番号が格納される。仮パラメー
タ位置番号欄４２２には、当該仮パラメータの出現位置
が番号で示してある。仮返数の位置番号は０、ｉ番めの
仮引数は位置番号ｉとなる。仮パラメータ型欄４２３に
は、仮パラメータの型情報が格納される。仮パラメータ
変数欄４２４には、対応する仮パラメータの名称が格納
される。

【００２３】図９は、図５の例に対して求めた呼出テー
ブル５１の構成例である。呼出テーブルは、プログラム
中に出現する関数呼出毎に、エントリが作成される。各
エントリは、呼出番号欄５１１、呼出行番号欄５１２、
呼出関数番号欄５１３、実返数欄５１４、実引数集合欄
５１５で構成される。

【００２４】呼出番号欄５１１には、呼出テーブルのエ
ントリ番号、呼出行番号欄５１２には、対応する関数呼
出の行番号が格納される。呼出関数番号欄５１３には、
当該呼出が呼び出す関数が、関数テーブル４１の関数番
号が格納される。実返数欄５１４および実引数集合欄５
１５は、当該呼出の実返数および実引数の情報が、実パ
ラメータテーブル５２のエントリ番号の形式で格納され
る。

【００２５】図１０は、図５の例に対して求めた実パラ
メータテーブル５２の構成例である。実パラメータテー
ブルは、呼出テーブル５１の呼出インタフェース情報を
格納するための補助テーブルである。実返数や実引数毎
に、エントリが作成され、そのエントリ番号が呼出テー
ブル５１の実返数欄や実引数集合欄に格納される。各エ
ントリは、実パラメータ番号欄５２１、実パラメータ位
置番号欄５２２、実パラメータ式欄５２２で構成され
る。

【００２６】実パラメータ番号欄５２１には、実パラメ
ータテーブルのエントリ番号が格納される。実パラメー
タ位置番号欄５２２には、当該実パラメータの出現位置
が番号で示してある。実返数の位置番号は、（仮パラメ
ータテーブル４２の仮パラメータ位置番号欄４２２と同
様に）０、ｉ番めの実引数は位置番号ｉとなっている。
実パラメータ式欄５２３には、対応する実パラメータの
名称が格納される。

【００２７】図１１は、図５の例に対して求めた一括呼
出テーブル６１の構成例である。一括呼出テーブルは、
一括関数の（一括）呼出毎に、エントリが作成される。
各エントリは、一括呼出番号欄６１１、生成元呼出集合
欄６１２、一括関数番号欄６１３、実返数名称欄６１
４、実返数型欄６１５、実返数集合欄６１６、実引数集
合欄６１７で構成される。

【００２８】一括呼出番号欄６１１には、一括呼出テー
ブルのエントリ番号が格納される。生成元呼出集合欄６
１２には、一括呼出化する呼出の集合が、呼出テーブル
５１のエントリ番号の形式で格納される。一括関数番号
欄６１３には、当該一括呼出が呼び出す一括関数が、一
括関数テーブル７１のエントリ番号（一括関数関数番
号）で格納される。実返数名称欄６１４および実返数型
欄６１５には、返数の名称および返数の型が格納され
る。実返数集合欄６１６および実引数集合欄６１７は、
当該一括呼出の実返数および実引数の情報が、一括実パ
ラメータテーブル６２のエントリ番号の形式で格納され
る。

【００２９】図１２は、図５の例に対して求めた一括実
パラメータテーブル６２の構成例である。一括実パラメ
ータテーブルは、一括呼出テーブル６１の呼出インタフ
ェース情報を格納するための補助テーブルである。実返
数や実引数毎に、エントリが作成され、そのエントリ番
号が一括呼出テーブル６１の実返数欄や実引数集合欄に
格納される。各エントリは、一括実パラメータ番号欄６
２１、一括実パラメータ位置番号欄６２２、生成元実パ
ラメータ番号欄６２３、変換前名称欄６２４、変換後名
称欄６２５で構成される。

【００３０】一括実パラメータ番号欄６２１には、一括
呼出実パラメータテーブルのエントリ番号が格納され
る。一括実パラメータ位置番号欄６２２には、当該実パ
ラメータの出現位置が番号で示してある。生成元呼出集
合欄６２３には、一括化する呼出が、呼出テーブル５１
のエントリ番号の集合形式で格納される。変換前名称欄
７２４には、生成元呼出における実パラメータ名称、変
換後名称欄７２５には、一括呼出化後の（一括）実パラ
メータ名称がそれぞれ格納される。尚、変換前名称欄７
２４と変換後名称欄７２５は、実返数に対してのみ有効
な欄である（実引数に関しては、常に空白となる）。

【００３１】図１３は、図５の例に対して求めた一括関
数テーブル７１の構成例である。一括関数テーブルは、
一括化関数生成を行う関数毎に、エントリが作成され
る。各関数には、一意な一括関数番号が付与されてお
り、その一括関数番号により各エントリがアクセス可能
となっている。各エントリは、一括関数番号欄７１１、
一括関数名称欄７１２、一括化係数欄７１３、生成元関
数番号欄７１４、仮返数型欄７１５、仮返数名称欄７１
６、仮返数集合欄７１７、仮引数数集合欄７１８で構成
される。

【００３２】一括関数番号欄７１１には、一括関数テー
ブルのエントリ番号、一括関数名称欄７１２には、生成
する一括関数の名称が格納される。一括化係数欄７１３
には、何回の呼出を一括化するかの個数が格納される。
生成元関数番号欄７１４には、一括化する関数が関数テ
ーブル４１の関数番号の形式で格納される。仮返数型欄
７１５および仮返数名称欄７１６には、返数の型および
返数の名称が格納される。仮返数集合欄７１７および仮
引数集合欄７１８は、当該一括関数の仮返数および仮引
数の情報が、一括仮パラメータテーブル７２のエントリ
番号の形式で格納される。

【００３３】図１４は、図５の例に対して求めた一括仮
パラメータテーブル７２の構成例である。一括仮パラメ
ータテーブルは、一括関数テーブル７１の関数インタフ
ェース情報を格納するための補助テーブルである。仮返
数や仮引数毎に、エントリが作成され、そのエントリ番
号が一括関数テーブル７１の仮返数集合欄や仮引数集合
欄に格納される。各エントリは、一括仮パラメータ番号
欄７２１、生成元仮パラメータ番号欄７２２、一括仮パ
ラメータ位置番号欄７２３、反復番号欄７２４、変換前
名称欄７２５、変換後名称欄７２６で構成される。

【００３４】一括仮パラメータ番号欄７２１には、一括
仮パラメータテーブルのエントリ番号が格納される。生
成元仮パラメータ番号欄７２２には、生成元関数の対応
する仮パラメータが、仮パラメータテーブル４２の仮パ
ラメータ番号の形式で格納される。一括仮パラメータ位
置番号欄７２３には、当該仮パラメータの出現位置が番
号で示してある。一括仮パラメータ位置番号は、仮返数
と仮引数は独立に数えられ、ｉ番めの仮返数／仮引数は
位置番号ｉとなる。

【００３５】反復番号欄７２４には、一括化の際に何番
めの関数の仮パラメータであったかが格納される。この
反復番号は０から数え始め、一括化係数がｎのときｎ−
１までの番号が付与されることになる。変換前名称欄７
２５には、生成元関数における仮パラメータ名称、変換
後名称欄７２６には、一括関数化後の（一括）仮パラメ
ータ名称がそれぞれ格納される。以上で、本実施例で用
いる各種テーブル構成の説明を終る。

【００３６】以下、これらのテーブルを生成／参照する
各種処理の説明を順に行なう。図１５は、関数情報テー
ブル生成処理２１のフローチャート図である。関数情報
テーブル生成処理は、中間語３を逐次走査し、関数定義
を検出したらその関数定義情報を収集・登録した関数情
報テーブル４を生成する。以下、その手順を説明する。

【００３７】先ず、関数番号ｆｉ、仮パラメータ番号ｆ
ｐｉを０で初期化する（ステップ１５０１）。次に、未
処理関数があるか否かを判定（ステップ１５０２）し、
未処理関数がなくなるまで、ステップ１５０３以下の処
理を行なう。未処理関数ｆがある場合には、先ず、関数
エントリＦを生成し、関数番号ｆｉをインクリメントす
る（ステップ１５０３）。以下、ステップ１５０４以降
でこの関数エントリＦに関数ｆの関数情報を格納する。

【００３８】先ず、ｆの定義行番号をｆｌ、関数名をｆ
ｎとする（ステップ１５０４）。次に、仮パラメータ集
合ＦＰＳを求めるため、ＦＰＳを空集合で初期化する
（ステップ１５０５）。そして、未処理仮パラメータが
あるか否かを判定（ステップ１５０６）し、未処理仮パ
ラメータがなくなるまで、ステップ１５０７以下の処理
を行なう。未処理仮パラメータｆｐがある場合には、仮
パラメータエントリＦＰを生成し、仮パラメータ番号ｆ
ｐｉをインクリメントする（ステップ１５０７）。

【００３９】次に、ｆｐの仮パラメータ情報を仮パラメ
ータテーブル４２に格納（ステップ１５０８）し、その
エントリ番号ｆｐｉを仮パラメータ集合ＦＰＳに加える
（ステップ１５０９）。以下、未処理仮パラメータがな
くなるまで、ステップ１５０６からステップ１５０９を
反復実行する。尚、ステップ１５０８は仮パラメータ情
報である、仮パラメータ番号、仮パラメータ位置、仮パ
ラメータ種別、仮パラメータ型、仮パラメータ名称をエ
ントリＦＰに格納するが、詳細は略す（図８の仮パラメ
ータテーブル４２の説明を参照）。

【００４０】ステップ１５０６の判定がｎｏとなった時
点で、仮パラメータ集合ＦＰＳの収集が終わるので、Ｆ
に全ての関数情報を格納（ステップ１５１０）して、次
の未処理関数判定（ステップ１５０２）を行う。全ての
関数を処理し終わった時点で処理を終了する。

【００４１】図７および図８は、図５で示されたソース
プログラムに対し、上記の処理を行なった結果を示す関
数情報テーブルの例となっている。例えば、エントリ４
１７は、図５の００３行から００８行までで定義されて
いる関数ｆの情報が格納されている。また、仮返数欄に
より、名称ｒで仮パラメータ位置０（＝仮返数）、仮パ
ラメータ型がｉｎｔである仮返数があることが分かる。

【００４２】図１６は、呼出情報テーブル生成処理２２
のフローチャート図である。呼出情報テーブル生成処理
は、中間語３を逐次走査し、関数呼出を検出したらその
呼出情報を収集・登録した呼出情報テーブル５を生成す
る。以下、その手順を説明する。

【００４３】先ず、呼出番号ｃｉ、実パラメータ番号ａ
ｐｉを０で初期化する（ステップ１６０１）。次に、未
処理関数があるか否かを判定（ステップ１６０２）し、
未処理関数がなくなるまで、ステップ１６０３以下の処
理を行なう。未処理関数ｆがある場合には、先ず、その
関数エントリをＦとし（ステップ１６０３）、呼出集合
ＣＳを空集合で初期化する（ステップ１６０４）。次
に、ｆに未処理の関数呼出があるか否かを判定（ステッ
プ１６０５）し、存在する場合には、ステップ１６０６
以降で呼出情報の登録を行う。呼出情報の登録に当たっ
ては、先ず、呼出エントリＣを生成し、呼出番号ｃｉを
インクリメントする（ステップ１６０６）。次に、呼出
行番号ｃｌ、呼出関数番号ｆｉを求める（ステップ１６
０７）。尚、呼出関数番号ｆｉの取得は、関数情報テー
ブル４１を検索することで容易に実現できる（関数情報
テーブルに存在しない場合には空欄としておき、一括化
対象から外す）。

【００４４】次に、実パラメータ集合ＡＰＳを求めるた
め、ＡＰＳを空集合で初期化する（ステップ１６０
８）。そして、未処理実パラメータがあるか否かを判定
（ステップ１６０９）し、未処理実パラメータがなくな
るまで、ステップ１６１０以下の処理を行なう。即ち、
未処理実パラメータａｐがある場合には、実パラメータ
エントリＡＰを生成し、実パラメータ番号ａｐｉをイン
クリメント（ステップ１６１０）後、ａｐの実パラメー
タ情報を実パラメータテーブル５２に格納（ステップ１
６１１）し、そのエントリ番号ａｐｉを実パラメータ集
合ＡＰＳに加える（ステップ１６１２）。尚、ステップ
１６１１は、実パラメータ情報である、実パラメータ番
号、実パラメータ位置番号、実パラメータ式をエントリ
ＡＰに格納するが、詳細は略す（図１４の実パラメータ
テーブル５２の説明を参照）。

【００４５】ステップ１６０９の判定がｎｏとなった時
点で、実パラメータ集合ＡＰＳの収集が終わるので、Ｃ
に全ての呼出情報を格納（ステップ１６１３）する
（実パラメータ集合ＡＰＳは、実返数と実引数を合わせ
たもので、呼出情報テーブルの実返数欄と実引数欄に格
納する）。その後、 ＣＳにｃｉを加え（ステップ１６
１４）、次の未処理呼出判定（ステップ１６０５）を行
う。ステップ１６０５の判定がｎｏとなった段階で、関
数ｆにおける全ての呼出を処理し終わるので、Ｆの呼出
集合欄にＣＳを格納（ステップ１６１５）し、次の未処
理関数の判定（ステップ１６０２）に進む。全ての関数
を処理し終わった時点で処理を終了する。

【００４６】図９および図１０は、図５のソースプログ
ラムの例に対し、上記の処理を行なった結果を示す呼出
情報テーブル５の例となっている。例えば、図９のエン
トリ５１６は、１７行目の関数ｆの呼出情報を格納した
ものである。この呼出では、実引数として（ｐ＊ｐ，ｑ
＊ｑ）を渡し、実返数ｒ１に返却値が格納されることが
分かる。

【００４７】図１７は、一括呼出化情報テーブル生成処
理２３のフローチャート図である。一括呼出化情報テー
ブル生成処理は、呼出情報テーブル５１を逐次走査し、
一括呼出化可能な呼出を検出したら、その一括呼出情報
を収集・登録した一括呼出情報テーブル６および一括関
数情報テーブル７を生成する。以下、その手順を説明す
る。

【００４８】先ず、一括呼出番号ａｃｉ、一括実パラメ
ータ番号ａａｐｉ、一括関数番号ａｆｉ、一括実パラメ
ータ番号ａｆｐｉを０で初期化する（ステップ１７０
１）。次に、未処理関数エントリがあるか否かを判定
（ステップ１７０２）し、未処理関数エントリがなくな
るまで、ステップ１７０３以下の処理を行なう。未処理
関数エントリＦがある場合には、先ず、その呼出集合を
ＣＳとする（ステップ１７０３）。

【００４９】次に、ＣＳから同一関数の呼出の集合であ
る同型呼出集合ＳＣＳの抽出処理（ステップ１７０４か
らステップ１７１１）に移る。この同型呼出集合ＳＣＳ
の抽出処理は、図３のステップ２３０に相当する。先
ず、ＣＳをワーク集合ＷＣＳに格納し、ＳＣＳを空集合
で初期化する（ステップ１７０４）。次に、ＣＳに未処
理の呼出エントリＣがあるか否かを判定（ステップ１７
０５）し、存在する場合には、Ｃの呼出番号ｃｉと呼出
関数番号ｆｉを取得（ステップ１７０６）し、ＷＣＳか
らｃｉを除く（ステップ１７０７） 。次に、ＷＣＳに
未処理エントリＷＣがあるかどうかを判定（ステップ１
７０８）し、存在する場合には、ＷＣの呼出番号ｗｃｉ
と呼出関数番号ｗｆｉを取得（ステップ１７０９）す
る。そして、ｆｉとｗｆｉの一致判定（ステップ１７１
０）により、同一関数の呼出であるかを調べる。同一関
数である場合には、ＳＣＳにｗｃｉを加えて（ステップ
１７１１）からステップ１７０８に進む。

【００５０】ステップ１７０８で全てのワーク呼出集合
の要素を判定した時点で、同型呼出集合ＳＣＳの抽出が
完了する。ここで、ＳＣＳが複数要素を持つか否かを判
定（ステップ１７１２）し、複数存在する場合にのみ、
一括呼出化情報抽出処理（ステップ２３１。詳細は図１
８を参照）を実行し、ステップ１７０５以降で次の同型
呼出集合ＳＣＳの処理に進む。ステップ１７０５で全エ
ントリを処理したら、ステップ１７０２に進み、次の関
数エントリを処理する。全ての関数エントリを処理しお
わった時点で、一括呼出化情報テーブル生成処理を終了
する。

【００５１】図１８は、一括呼出化情報抽出処理２３１
のフローチャート図である。一括呼出化情報抽出処理
は、与えられた同型呼出集合ＳＣＳから、一括呼出化可
能な呼出を集めた一括呼出集合ＡＳＣＳを抽出し、一括
呼出情報テーブル６および一括関数情報テーブル７を生
成する。以下、その手順を説明する。先ず、ＳＣＳに未
処理の呼出エントリＳＣがあるか否かを判定（ステップ
１８０１）し、存在する場合には、Ｃの呼出番号ｓｃｉ
を取得（ステップ１８０２）する。次に、ＳＣＳをワー
ク集合ＷＳＣＳに格納し、ＡＳＣＳを空集合で初期化
（ステップ１８０３）後、ＷＳＣＳからｓｃｉを除く
（ステップ１８０４） 。次に、ＷＳＣＳに未処理エン
トリＷＳＣがあるかどうかを判定（ステップ１８０５）
し、存在する場合には、ＷＳＣの呼出番号ｗｓｃｉを取
得（ステップ１８０６）する。

【００５２】そして、ｓｃｉとｗｓｃｉが一括呼出化可
能であるかを判定（ステップ１８０７）し、可能である
場合には、ＡＳＣＳにｗｓｃｉを加える（ステップ１８
０８）。尚、この一括呼出化の可能性判定は、ｗｓｃｉ
の呼出が、ｓｃｉの呼出行番号の位置に移動可能か等に
より判定するが、本発明には直接関係しないので詳細は
略す。その後、ステップ１８０５に進み、次のＷＳＣの
要素を調べる。ステップ１８０５で全てのワーク呼出集
合ＷＳＣＳの要素を判定した時点で、一括化呼出集合Ａ
ＳＣＳの抽出が完了する。ここで、ＡＳＣＳが複数要素
を持つか否かを判定（ステップ１８０９）し、複数存在
する場合にのみ、一括呼出化情報登録処理（ステップ２
３２。詳細は図１９を参照）を実行する。次に、ＳＣＳ
からＡＳＣＳを除き（ステップ１８１０）、ステップ１
８０１以降で次の同型呼出集合ＳＣＳの要素の処理に進
む。ステップ１８０１で全エントリを処理しおわった時
点で、一括呼出化情報抽出処理を終了する。

【００５３】図１９は、一括呼出化情報登録処理２３２
のフローチャート図である。一括呼出化情報登録処理
は、与えられた一括呼出集合ＡＳＣＳから、一括呼出情
報テーブル６および一括関数情報テーブル７を生成す
る。以下、その手順を説明する。先ず、一括呼出エント
リＡＣを作成して、ａｃｉをインクリメント（ステップ
１９０１）後、ＡＳＣＳをＡＣの生成元呼出集合欄に格
納する（ステップ１９０２）。次に、ＡＳＣＳの（任意
の要素の）呼出関数番号をｃｉ、要素数をａｆｋとする
（ステップ１９０３）。そして、 ＡＳＣＳから変数と
なる型ａｒｔを生成（ステップ１９０４）し、ＡＣの返
数型欄に格納（ステップ１９０５）する。尚、 ａｒｔ
は、本実施例では配列型としたが、生成元呼出集合の全
ての返数が表現できる型であれば何でもよい。 その生
成方法は、本発明にとって本質的ではないので詳細は略
す。

【００５４】次に、一意な名称ａｃｎを生成し、ＡＣの
実返数名称欄に格納（ステップ１９０６）後、一括呼出
実引数登録処理（ステップ２３３。詳細は図２０）、一
括呼出実返数登録処理（ステップ２３４。詳細は図２
１）を行って、一括呼出情報テーブルへの登録を完了す
る。

【００５５】次に、一括関数情報テーブルへの登録を行
う。先ず、一括関数エントリＡＦを作成して、ａｆｉを
インクリメントする（ステップ１９１１）。次に、ａｒ
ｔをＡＦの返数型欄に格納（ステップ１９１２）する。
次に、一意な名称ａｆｎを生成し、ＡＦの仮返数名称欄
に格納（ステップ１９１３）後、一括化係数欄にａｆｋ
を格納する（ステップ１９１４）。最後に、一括関数仮
引数登録処理（ステップ２３５。詳細は図２２）、一括
関数仮返数登録処理（ステップ２３６。詳細は図２３）
を行って、一括関数情報テーブルへの登録を完了する。
以上で、一括呼出情報テーブルと一括関数情報テーブル
への登録が完了するので、一括化呼出情報登録処理を終
了する。

【００５６】図２０は、一括呼出実返数登録処理２３３
のフローチャート図である。一括呼出実返数登録処理
は、一括呼出テーブルの各エントリにある生成元呼出集
合から一括実パラメータテーブル６２を生成し、一括呼
出テーブル６１の一括呼出実返数集合欄６１６に登録す
る。以下、その手順を説明する。先ず、一括呼出実返数
集合ＡＡＲＳを空集合で初期化する（ステップ２００
１）。また、一括呼出実返数位置番号ａａｐｒも０で初
期化する（ステップ２００２）。

【００５７】そして、ＡＣの生成呼出元集合をＡＣＳ
（ステップ２００３）として、ＡＣＳに未処理の呼出Ｃ
が存在かを判定（ステップ２００４）し、存在するとき
は、ステップ２００５からステップ２０１３を反復実行
する。この反復処理では、Ｃの実返数集合をＡＲＳ（ス
テップ２００５）とし、ＡＲＳに未処理の実返数ＡＲが
存在かを判定（ステップ２００６）し、存在するとき
は、ステップ２００７からステップ２０１２を反復実行
する。この反復処理では、先ず、ａａｐｒをインクリメ
ントする（ステップ２００７）。次に、ＡＲの実パラメ
ータ番号と名称を、それぞれａｒｉ、ａｒｎとする（ス
テップ２００８）。次に、一括呼出実返数名称ａａｒｎ
を生成（ステップ２００９）する。次に、一括呼出実パ
ラメータエントリＡＡＰを生成し、ａａｐｉをインクリ
メント（ステップ２０１０）する。

【００５８】次に、ＡＡＰに一括呼出実返数情報を登録
（ステップ２０１１）後、ＡＡＲＳにａａｒｉを加える
（ステップ２０１２）。ステップ２００６の判定でｎｏ
となったとき、全ての実返数の処理が終了するので、Ａ
ＡＲＳをＡＣの一括呼出実返数集合欄に格納（ステップ
２０１３）後、次のＡＣＳの処理を行う。ＡＣＳの全て
の呼出エントリを処理し終えた時点で、一括呼出実返数
登録処理２３３が終了する。

【００５９】図２１は、一括呼出実引数登録処理２３４
のフローチャート図である。一括呼出実引数登録処理
は、一括呼出テーブルの各エントリにある生成元呼出集
合から一括実パラメータテーブル６２を生成し、一括呼
出テーブル６１の一括呼出実引数集合欄６１７に登録す
る。以下、その手順を説明する。

【００６０】先ず、一括呼出実引数集合ＡＡＡＳを空集
合で初期化する（ステップ２１０１）。また、一括呼出
実引数位置番号ａａｐａも０で初期化する（ステップ２
１０２）。そして、ＡＣの生成呼出元集合をＡＣＳ（ス
テップ２１０３）として、ＡＣＳに未処理の呼出Ｃが存
在かを判定（ステップ２１０４）し、存在するときは、
ステップ２1０５からステップ２１１３を反復実行す
る。この反復処理では、Ｃの実引数集合をＡＰＳ（ステ
ップ２１０５）とし、ＡＰＳに未処理の実引数ＡＰが存
在かを判定（ステップ２１０６）し、存在するするとき
は、ステップ２１０７からステップ２１１２を反復実行
する。この反復処理では、先ず、ａａｐaをインクリメ
ントする（ステップ２１０７）。

【００６１】次に、ＡＰの実パラメータ番号と名称を、
それぞれａｐｉ、ａｐｎとする（ステップ２１０８）。
次に、一括呼出実引数名称ａａｐｎを生成（ステップ２
１０９）する。次に、一括呼出実パラメータエントリＡ
ＡＰを生成し、ａａｐｉをインクリメント（ステップ２
１１０）する。次に、ＡＡＰに一括呼出実引数情報を登
録（ステップ２１１１）後、ＡＡＡＳにａａｐｉを加え
る（ステップ２１１２）。ステップ２１０６の判定でｎ
ｏとなったとき、全ての実引数の処理が終了するので、
ＡＡＡＳをＡＣの一括呼出実返数集合欄に格納（ステッ
プ２０１３）後、次のＡＣＳの処理を行う。ＡＣＳの全
ての呼出エントリを処理し終えた時点で、一括呼出実引
数登録処理２３４が終了する。

【００６２】図１１および図１２は、図９および図１０
で示された呼出情報テーブル５を入力とし、図２０およ
び図２１の処理を行なった結果を示す一括呼出情報テー
ブル６の例となっている。例えば、図１１のエントリ６
１８は、図９に示された呼出テーブル５１のエントリ５
１６とエントリ５１７の呼出が一括呼出化可能であるこ
とを示している。この一括呼出は、実引数として（ｐ＊
ｐ，ｑ＊ｑ，ｐ＊ｑ ，ｑ＊ｐ ）を渡し、型がｉｎｔの
配列である実返数ａｒｆに返却値を格納すればよいこと
が分かる。

【００６３】図２２は、一括関数仮返数登録処理２３５
のフローチャート図である。一括関数仮返数登録処理
は、一括関数テーブルの各エントリにある生成元関数番
号と一括化係数から、一括仮パラメータテーブル７２を
生成し、一括関数テーブル７１の一括関数仮返数集合欄
７１７に登録する。以下、その手順を説明する。先ず、
一括関数仮返数集合ＡＦＲＳを空集合で初期化する（ス
テップ２２０１）。また、一括関数仮返数位置番号ａｆ
ｐｒも０で初期化する（ステップ２２０２）。次に、Ａ
Ｆの一括化係数をａｆｋ、ＡＦの生成元関数エントリを
Ｆとする（ステップ２２０３。両者は、既に一括呼出化
常用登録処理で算出済み）。さらに、反復回数ｉを０で
初期化（ステップ２２０４）後、 ｉがａｆｋと等しい
かどうかを判定（ステップ２２０５）することで、ｉが
ａｆｋと等しくなるまで、 ステップ２２０６からステ
ップ２２１２を反復実行する。この反復処理では、先
ず、ｉをインクリメントする（ステップ２２０６）。次
に、ａｆｐｒをインクリメントする（ステップ２２０
７）。

【００６４】次に、ＡＦの仮パラメータ番号と名称を、
それぞれｆｐｉ、ｆｐｎとする（ステップ２２０８）。
次に、一括関数仮返数名称ａｆｐｎを生成（ステップ２
２０９）する。次に、一括関数仮パラメータエントリＡ
ＦＰを生成し、ａｆｐｉをインクリメント（ステップ２
２１０）する。次に、ＡＦＰに一括関数仮返数情報を登
録（ステップ２２１１）後、ＡＦＲＳにａｆｐｉを加え
る（ステップ２２１２）。ステップ２２０５の判定でｎ
ｏとなったとき、ＡＦＲＳをＡＦの一括関数仮返数集合
欄に格納（ステップ２２１３）し、一括関数仮返数登録
処理２３５が終了する。

【００６５】図２３は、一括関数仮引数登録処理２３６
のフローチャート図である。一括関数仮引数登録処理
は、一括関数テーブルの各エントリにある生成元関数番
号と一括化係数から、一括仮パラメータテーブル７２を
生成し、一括関数テーブル７１の一括関数仮引数集合欄
７１８に登録する。以下、その手順を説明する。先ず、
一括関数仮引数集合ＡＦＡＳを空集合で初期化する（ス
テップ２３０１）。また、一括関数仮引数位置番号ａｆ
ｐａも０で初期化する（ステップ２３０２）。次に、Ａ
Ｆの一括化係数をａｆｋ、ＡＦの生成元関数エントリを
Ｆとする（ステップ２３０３。両者は、既に一括呼出化
常用登録処理で算出済み）。

【００６６】さらに、反復回数ｉを０で初期化（ステッ
プ２３０４）後、 ｉがａｆｋと等しいかどうかを判定
（ステップ２３０５）することで、ｉがａｆｋと等しく
なるまで、 ステップ２３０６からステップ２３１５を
反復実行する。この反復処理では、先ず、 ｉをインク
リメントする（ステップ２２０６）。次に、Ｆの仮引数
集合をＦＡＳ（ステップ２３０７）とし、ＦＡＳに未処
理の仮引数ＦＡが存在かを判定（ステップ２３０８）
し、存在するするときは、ステップ２３０９からステッ
プ２３１４を反復実行する。この反復処理では、先ず、
ａｆｐａをインクリメントする（ステップ２３０９）。
次に、ＡＦの仮パラメータ番号と名称を、それぞれｆｐ
ｉ、ｆｐｎとする（ステップ２３１０）。

【００６７】次に、一括関数仮引数名称ａｆｐｎを生成
（ステップ２３１１）する。次に、一括関数仮パラメー
タエントリＡＦＰを生成し、ａｆｐｉをインクリメント
（ステップ２３１２）する。次に、ＡＦＰに一括関数仮
引数情報を登録（ステップ２３１３）後、ＡＦＡＳにａ
ｆｐｉを加える（ステップ２３１４）。ステップ２３０
８の判定でｎｏとなったとき、全ての仮引数の処理が終
了するので、ＡＦＡＳをＡＦの一括関数仮引数集合欄に
格納（ステップ２３１５）後、次の反復処理を行う。ｉ
とａｆｋが一致するまで、一括化係数分反復実行した時
点で、一括関数仮引数登録処理２３６が終了する。

【００６８】図１３および図１４は、図７から図１０に
示された関数情報テーブル４および呼出情報テーブル５
を入力とし、図１７から図２３の処理を行なった結果を
示す一括関数情報テーブル７の例となっている。例え
ば、図１３のエントリ７１９は、図７に示された関数テ
ーブル４１のエントリ４１７を、一括化係数２で一括関
数化したものであることを示している。この一括関数
は、仮引数として（ｘ０，ｙ０，ｘ１，ｙ１ ）を渡さ
れ、型がｉｎｔの配列である仮返数ｆｒｆを返却する。
以上で、一括呼出化情報テーブル生成処理２３の説明を
終える。一括呼出化情報テーブル生成処理２３の後、一
括化関数生成処理２４、一括呼出化変換処理２５を行
う。以下順に説明する。

【００６９】図２４は、一括関数生成処理２４のフロー
チャート図である。一括関数生成処理は、一括関数情報
テーブル７の各エントリから、中間語３中に一括関数を
生成する。以下、その手順を説明する。未処理の一括関
数エントリＡＦがあるかどうかを調べ（ステップ２４０
１）、存在する全ての一括関数エントリに対し、ステッ
プ２４０２以下の処理を行う。先ず、ＡＦの生成元関数
番号をｆｉ、ＡＦの一括化係数をａｆｋとする（ステッ
プ２４０２）。次に、ＡＦの仮返数集合ＡＦＲＳから、
一括関数仮返数定義を生成する（ステップ２４０３）。
次に、ＡＦの仮引数集合ＡＦＡＳから、一括関数仮引数
定義を生成する（ステップ２４０４）。以上で、一括関
数の呼出インタフェースの生成が完了するので、次に、
ステップ２４０６からステップ２４１３で一括関数本体
を生成する。

【００７０】先ず、定義部反復回数ｍを０で初期化（ス
テップ２４０５）後、ｆｉの定義部ＦＢをコピーする
（ステップ２４０６）。次に、このコピーされた領域Ｆ
Ｂ中の仮パラメータの変換を行う。先ず、ＡＦの仮返数
集合ＡＦＲＳと仮引数集合ＡＦＡＳの和集合を一括関数
仮パラメータ集合ＡＦＰＳとする（ステップ２４０
７）。ＡＦＰＳに未処理の仮パラメータエントリＡＦＰ
があるか否かを判定（ステップ２４０８）し、存在する
場合はステップ２４０９以降で仮パラメータの変換を行
う。

【００７１】先ず、ＡＦＰの変換前名称をｂｃｎ、変換
後名称をａｃｎとする（ステップ２４０９）。次に、Ｆ
Ｂに出現する名称ｂｃｎをａｃｎに変換する（ステップ
２４１０）後、さらに次の仮パラメータの変換のため、
ステップ２４０８に進む。ＡＦＰＳの全要素の処理が終
わったら、ｍをインクリメント（ステップ２４１１）
し、一括化係数ａｆｋと一致するか否かを判定する（ス
テップ２４１２）。一致しない間は、ステップ２４０６
に進み反復実行し、ｍがａｆｋと一致したら、ＡＦの仮
返数名称を用いて一括関数仮返数返却を生成（ステップ
２４１３）し、ステップ２４０１に進んで次の一括関数
エントリの処理を行う。全ての一括関数エントリの処理
が終わった時点で、一括関数生成処理が終了する。

【００７２】図６は、図１３および図１４に示された一
括関数情報テーブル７を入力とし、図２４の処理を行な
った結果を示す（ソースプログラム形式による）中間語
の例となっている。図６の３０行から３６行に、図１３
のエントリ７１９で示された一括関数が生成されてい
る。３２行には、一括関数仮返数定義が、３５行には一
括関数仮返数返却分が、それぞれ生成されている。

【００７３】図２５は、一括呼出化変換処理２５のフロ
ーチャート図である。一括呼出化変換処理は、一括呼出
情報テーブル６を使って、中間語３中の一括化可能同型
呼出を、一括呼出に変換する。以下、その手順を説明す
る。未処理の一括呼出エントリＡＣがあるかどうかを調
べ（ステップ２５０１）、存在する全ての一括呼出エン
トリに対し、ステップ２５０２以下の処理を行う。先
ず、ＡＣの実返数名称から、一括呼出実返数定義を生成
する（ステップ２５０２）。次に、ＡＣの生成元呼出集
合をＣＳ、ＡＣの実返数集合をＡＡＰＳとする（ステッ
プ２５０３）。次に、ＣＳの任意の要素Ｃを取り出し、
呼出関数番号ｆｉを取得する（ステップ２５０４）。

【００７４】次に、Ｃの呼出行番号から一括呼出生成位
置ａｃｐを決定する（ステップ２５０５）。この一括呼
出生成位置は、一括呼出化の可能性の判定により保証さ
れた場所ならば、何処でもよいが、本実施例では、便宜
上、最初の呼出位置の直前とする。次に、ＡＣから一括
呼出を作成し、ａｃｐに生成する（ステップ２５０
６）。尚、一括呼出の作成は、一括呼出実返数名称、一
括関数番号、一括呼出実引数集合により容易に作成でき
るので、詳細は略す。次に、ＣＳに未処理の呼出エント
リＣがあるかどうかを判定（ステップ２５０７）し、存
在する場合は、Ｃの呼出行番号を見て呼出を削除する
（ステップ２５０８）。

【００７５】ＣＳの全ての呼出を削除したら、ＡＡＲＳ
に未処理の一括呼出実引数エントリＡＡＲがあるかどう
かを判定（ステップ２５０９）し、存在する場合には、
ステップ２５１０からステップ２５１１で、実返数の変
換を行う。ＡＡＲの変換前名称をｂｃｎ、変換後名称を
ａｃｎ（ステップ２５１０）とし、ｆｉの関数本体領域
に出現するｂｃｎをａｃｎに変換する（ステップ２５１
１）。ステップ２５０９の判定のｎｏとなったとき、全
ての一括呼出実返数の変換が終わり、ＡＣに関する変換
処理が終了する。その後、ステップ２５０１に進み、次
の一括呼出エントリの一括呼出化変換処理を行う。全て
の一括呼出エントリの処理が終わった時点で、一括呼出
化変換処理が終了する。

【００７６】図６は、図１３および図１４に示された一
括呼出情報テーブル６を入力とし、図２５の処理を行な
った結果を示す（ソースプログラム形式による）中間語
の例となっている。図５の１７行と２１行の２つの関数
呼出が、図６では１６行の一括呼出へと変換されてい
る。また、１４行には、一括呼出実返数定義生成されて
いる。本実施例によれば、関数呼出の回数を低減するに
より、呼出オーバヘッドの削減を行うことが可能とな
り、オブジェクトプログラムの処理性能の向上に寄与す
る。

【００７７】図２６に本発明の他の本実施例のコンパイ
ラの処理手順を示す。図２６は、ループ展開時に一括関
数呼出化する第２の実施例と、ループ並列化時に一括関
数呼出化する第３の実施例に共通のコンパイラの処理手
順である。構文解析２０１とコード生成処理２０３は図
のそれと同様なので説明は省略する。ループ展開ないし
ループ並列化と一括関数呼出化処理２０５は中間後３を
入力とし、反復処理を直列／並列展開するループ展開／
ループ並列化を行い、一括関数呼出化変換を行った中間
語３を出力する。ループ展開の場合が第２実施例、ルー
プ並列化の場合が第３実施例となる。尚、処理の大部分
とテーブル構成等は、第１の実施例と同様であるため、
以下では、概略のみを説明する。

【００７８】図２７は、本発明の第２の実施例であるル
ープ展開時に一括関数呼出化する場合の図２６のステッ
プ２０５の処理手順を示すフローチャート図である。以
下順に説明する。先ず、関数情報テーブル生成処理２７
０１により、ソースプログラム中の関数定義の各種情報
を抽出し、関数情報テーブル４を作成する。次に、未処
理のループＬが存在するか否かを判定（ステップ２７０
２）し、存在する場合にはステップ２７０３からステッ
プ２７１０までを反復実行する。この反復処理では、先
ずＬがループ展開可能であるかどうかを判定（ステップ
２７０４）し、存在する場合にはステップ２７０５から
ステップ２７１０までを反復実行する。

【００７９】この反復処理では、先ずＬをｎ回ループ展
開を行う（ステップ２７０４）。次に、呼出情報テーブ
ル生成処理（ステップ２７０５）を行い、関数呼出に関
する情報を抽出し、呼出情報テーブル５を生成する。次
に、Ｌからループ展開によって生成されたｎ個の同一関
数の呼出を同型呼出集合ＳＣＳとする（ステップ２７０
６）。次に、同型呼出集合ＳＣＳから一括呼出化可能な
呼出を抽出する一括呼出抽出処理（ステップ２７０７）
を行い、抽出した一括呼出を一括呼出情報テーブルに登
録する（ステップ２７０８）。ステップ２７０２でｎｏ
となった時、全てのループに対して処理を終え、一括関
数生成処理（ステップ２７０９）、一括呼出化変換処理
（ステップ２７１０）を行い、処理を終了する。

【００８０】尚、以下に図２７のステップと図３のステ
ップの対応関係を示す。以下の各ステップの処理内容
は、括弧内で示した図３のステップと同様の処理であ
る。 ステップ２７０１（図３のステップ２１） ステップ２７０５（図３のステップ２２） ステップ２７０９（図３のステップ２３１） ステップ２７１０（図３のステップ２３２） ステップ２７１１（図３のステップ２４） ステップ２７１２（図３のステップ２５）

【００８１】図２８は、本発明の第２および第３実施例
の説明のためのソースプログラム例である。本実施例に
おいても、中間語３ソースプログラムの形式で記述する
ものとする。従って、図２８はソースプログラム例であ
るとともに、（一括呼出化前の）中間語３１の例ともな
っている。図２８のプログラム例では、関数ｇの１６行
から２２行に、関数ｆを呼び出すループが存在する。

【００８２】図２９は、図２７のステップ２７０４でル
ープ展開した段階の中間語３を、ソースプログラム形式
で表現したものである。図２８の１６行から２２行に関
数呼出を含むループが、図２９の１６行から２２行へと
ループ展開されている。

【００８３】図３０は、図２７ソースプログラムを入力
とし、図２６の処理を行った結果の中間語３を、ソース
プログラム形式で表現したものである。図２９の１６行
から２２行のループ展開中の関数ｆの呼出が一括関数呼
出化されている。本実施例によれば、ループ展開時に一
括関数呼出化を行うため、ループ展開数に応じた効率的
な一括関数呼出化を行うことができる。

【００８４】図３１は、本発明の第３の実施例であるル
ープ並列化時に一括関数呼出化する場合の図２６のステ
ップ２０５の処理手順を示すフローチャート図である。
本処理手順は、図２７とほとんど同じなので説明は省略
する（ステップ３１０４とステップ３１０６が若干異な
る）。

【００８５】図３２は、図３０のステップ２７０４でル
ープ並列化した段階の中間語３を、ソースプログラム形
式で表現したものである。図３２の１８行および１９行
にある「ｘ｜｜ｙ；」の記法は、ｘとｙが並列に実行さ
れることを示している。図２８の１６行から２２行に関
数呼出を含むループが、図３２の１６行から２１行へと
ループ並列化されていることが分かる。

【００８６】図３３は、図２７のソースプログラムを入
力とし、図３０の処理を行った結果の中間語３を、ソー
スプログラム形式で表現したものである。図３１の１６
行から２２行のループ並列化中の関数ｆの呼出が一括関
数呼出化されていることがわかる。本実施例によれば、
ループ並列化時に一括関数呼出化を行うため、ループの
並列度に応じた効率的な一括関数呼出化を行うことがで
きる。

【００８７】

【発明の効果】本発明によれば、コンパイラないしソー
ス変換プログラムは、同一関数の呼出を一括関数の呼出
に変換することができる。即ち、インライン展開によら
ない呼出オーバヘッドの削減手段を提供している。、こ
れにより、インライン展開が適用できない場合にも、呼
出オーバヘッドの削減を行うことが可能となり、オブジ
ェクトプログラムの処理性能の向上に寄与する。

【図面の簡単な説明】

【図１】本発明を実施するコンパイラが稼働する計算機
システムの構成図である。

【図２】本発明を実施するコンパイラの処理手順を示す
フローチャート図である。

【図３】コンパイラの一括関数呼出化処理２のフローチ
ャート図である。

【図４】本発明におけるコンパイラの一括関数呼出化処
理２の処理構成図である。

【図５】ソースプログラムの例（一括関数呼出化前の中
間語３１のソースプログラム形式による構成例）であ
る。

【図６】一括関数呼出化後の中間語３２のソースプログ
ラム形式による構成例である。

【図７】関数テーブル４１の構成例である。

【図８】仮パラメータテーブル４２の構成例である。

【図９】呼出テーブル５１の構成例である。

【図１０】実パラメータテーブル５２の構成例である。

【図１１】一括呼出テーブル６１の構成例である。

【図１２】一括実パラメータテーブル６２の構成例であ
る。

【図１３】一括関数テーブル７１の構成例である。

【図１４】一括仮パラメータテーブル７２の構成例であ
る。

【図１５】関数情報テーブル生成処理２１のフローチャ
ート図である。

【図１６】呼出情報テーブル生成処理２２のフローチャ
ート図である。

【図１７】一括呼出化情報テーブル生成処理２３のフロ
ーチャート図である。

【図１８】一括呼出化情報抽出処理２３１のフローチャ
ート図である。

【図１９】一括呼出化情報登録処理２３２のフローチャ
ート図である。

【図２０】一括呼出実返数登録処理２３３のフローチャ
ート図である。

【図２１】一括呼出実引数登録処理２３４のフローチャ
ート図である。

【図２２】一括関数仮返数登録処理２３５のフローチャ
ート図である。

【図２３】一括関数仮引数登録処理２３４のフローチャ
ート図である。

【図２４】一括関数生成処理２４のフローチャート図で
ある。

【図２５】一括呼出化変換処理２５のフローチャート図
である。

【図２６】第２および第３実施例のコンパイラの処理手
順である。

【図２７】ループ展開用一括関数呼出化処理のフローチ
ャート図である。

【図２８】第２および第３実施例の説明のためのソース
プログラムの例である。

【図２９】ループ展開後の中間語のソースプログラム形
式による構成例である。

【図３０】ループ展開用一括関数呼出化変換後の中間語
のソースプログラム形式による構成例である。

【図３１】ループ並列化用一括関数呼出化処理のフロー
チャート図である。

【図３２】ループ展開後の中間語３のソースプログラム
形式による構成例である。

【図３３】ループ並列化用一括関数呼出化変換後の中間
語のソースプログラム形式による構成例である。

Claims (14)

【特許請求の範囲】
1. 【請求項１】 関数および関数呼出の関係を解析して関
   数情報および呼出情報として生成するプログラム変換の
   際の一括関数呼出化方法であって、 同一関数の複数回の呼出を１回の呼出に変換する一括呼
   出化情報を格納する一括呼出化情報生成ステップと、 上記一括呼出化情報から、同一関数の複数回実行処理を
   一度に行う一括関数を生成する一括関数生成ステップ
   と、 上記一括呼出化情報から、同一関数の複数回の呼出を１
   回の一括関数の呼出に変換する一括呼出化変換ステップ
   を有することを特徴とする一括関数呼出化方法。
2. 【請求項２】 請求項１に記載の一括関数呼出化方法に
   おいて、 上記一括呼出化情報生成ステップが、上記関数呼出情報
   を用いて同一関数の呼出である同型関数呼出を認識して
   同型呼出情報を生成する同型呼出認識ステップと、同型
   呼出認識ステップが生成する同型呼出呼出から一括呼出
   化可能な呼出を選択する一括呼出選択ステップを有する
   ことを特徴とする一括関数呼出化方法。
3. 【請求項３】 請求項２に記載の一括関数呼出化方法に
   おいて、 上記一括呼出選択ステップが、上記複数の同型呼出が一
   個所の呼出点での呼出に置き換えることが可能か否かを
   判定する一括呼出化判定ステップと、上記一括呼出化判
   定ステップにより一括呼出化可能であると判定された関
   数群の一括呼出化の情報を格納する一括呼出化情報登録
   ステップを有することを特徴とする一括関数呼出化方
   法。
4. 【請求項４】 請求項１から３のいずれか一つに記載の
   一括関数呼出化方法において、 上記一括呼出化情報が、同一関数の複数回実行処理を一
   度に行う一括関数の生成に必要な一括関数情報と、同一
   関数の複数回の呼出を１回の一括関数の呼出に変換する
   一括呼出変換に必要な一括呼出情報を備えることを特徴
   とする一括関数呼出化方法。
5. 【請求項５】 請求項４に記載の一括関数呼出化方法に
   おいて、 上記一括呼出情報が、上記同一関数の複数回の呼出にお
   ける実引数や実返数等の生成元呼出インタフェース情報
   を備えることを特徴とする一括関数呼出化方法。
6. 【請求項６】 請求項５に記載の一括関数呼出化方法に
   おいて、 上記一括呼出情報が、一括呼出化に生成する実引数や実
   返数等の変換後呼出インタフェース情報を備え、 上記一括呼出化変換ステップが、上記生成元呼出インタ
   フェース情報から上記変換後呼出インタフェース情報に
   に合致するような一括呼出に変換することを特徴とする
   一括関数呼出化方法。
7. 【請求項７】 請求項４に記載の一括関数呼出化方法に
   おいて、 上記一括関数情報が、上記一括関数化される関数の仮引
   数や仮返数等の生成元関数インタフェース情報を備える
   ことを特徴とする一括関数呼出化方法。
8. 【請求項８】 請求項７に記載の一括関数呼出化方法に
   おいて、 上記一括関数情報が、一括関数生成時に生成する仮引数
   や仮返数等の変換後関数インタフェース情報を備え、 上記一括関数生成ステップが、上記生成元関数インタフ
   ェース情報から上記変換後関数インタフェース情報に合
   致するような一括関数に変換することを特徴とする一括
   関数呼出化方法。
9. 【請求項９】 請求項４に記載の一括関数呼出化方法に
   おいて、 上記一括呼出化情報が、一括呼出が処理する同一関数の
   呼出回数である一括化係数を備え、 上記一括呼出化情報生成ステップが一括化係数を決定
   し、上記一括関数生成ステップが生成する一括関数が実
   行する同一関数の実行回数と、上記一括呼出化変換ステ
   ップが生成する一括呼出が実行する同一関数の呼出回数
   を、共に一括化係数とすることを特徴とする一括関数呼
   出化方法。
10. 【請求項１０】 請求項９に記載の一括関数呼出化方法
    において、 上記一括呼出化情報生成ステップが決定する一括化係数
    を 一括呼出化可能な同型呼出の最大数とすることを特
    徴とする一括関数呼出化方法。
11. 【請求項１１】 請求項２に記載の一括関数呼出化方法
    において、 上記同型呼出認識ステップが、ループ展開時に生成する
    同一関数の呼出を認識してループ展開時同型呼出情報を
    生成するループ展開時同型呼出認識ステップであり、 上記一括呼選択ステップが、上記ループ展開時同型呼出
    認識ステップが生成するループ展開時同型呼出情報から
    一括呼出化可能な呼出を選択した一括呼出化情報を生成
    することを特徴とする一括関数呼出化方法。
12. 【請求項１２】 請求項９または請求項１１に記載の一
    括関数呼出化方法において、 上記一括呼出化情報生成ステップが決定する一括化係数
    をループ展開数とすることを特徴とする一括関数呼出化
    方法。
13. 【請求項１３】 請求項２に記載の一括関数呼出化方法
    において、 上記同型呼出認識ステップが、ループ並列化時に生成す
    る同一関数の呼出を認識してループ並列化時同型呼出情
    報を生成するループ並列化時同型呼出認識ステップであ
    り、 上記一括呼選択ステップが、上記ループ並列化時同型呼
    出認識ステップが生成するループ展開時同型呼出情報か
    ら一括呼出化可能な呼出を選択した一括呼出化情報を生
    成することを特徴とする一括関数呼出化方法。
14. 【請求項１４】 請求項９または請求項１３に記載の一
    括関数呼出化方法において、 上記一括呼出化情報生成ステップが決定する一括化係数
    をループ並列化の展開数とすることを特徴とする一括関
    数呼出化方法。