JPH03235127A - インライン展開処理方法 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔概　要〕 ソース・プログラムをオブジェクトに展開するコンパイ
ルに際してのインライン展開処理方法に関し ソース・プログラムの形でインライン展開する場合に必
要以外の個所についても、構文解析などが行われること
となり処理量が大となるおそれがあるなどを解決するこ
とを目的とし。

構文解析図による処理と、意味解析区による処理とを少
なくとも行った結果の中間データを翻訳作業ファイルに
格納しておき、当該翻訳作業ファイルの内容を利用して
、上記インライン展開を行うようにして、中間データの
形でのインライン展開を可能にするよう構成する。

〔産業上の利用分野〕

本発明は、ソース・プログラムをオブジェクトに展開す
るコンパイルに際してのインライン展開処理方法に関す
る。

実際の処理に当ってオブジェクトを実行する際にサブ・
プログラムを呼んで実行する如き処理が行われるが、こ
のような、処理速度向上の面からは、いわば必ずしも好
ましくない処理形態となることを排除すべく、オブジェ
クト展開する際に上記サブ・プログラムを取り込んで展
開しておくインライン展開が行われることがある。

〔従来の技術〕

従来の場合、上記インライン展開を行うに当っては、ソ
ース・レベルでの取り込みを行っている。

即ち１例えば、プログラム単位■、■、■、■が存在し
、かつプログラム単位■がプログラム単位■と■とを呼
んでいる如き状況を考えるとき、ソース・レベルでプロ
グラム単位■内にプログラム単位■と■とを取り込んだ
上で、第５図図示の如き処理を行う。

第５図は従来の例を示している。図中の符号１はソース
・プログラム、１−１はプログラム単位。

（ｉ）ＦＥＩは構文解析図による処理。

（ｉｉ）ＦＥ２は、意味解析区による処理。

（ｉｉ）ＦＥ３は低レベル中間言語（Ｌ　ＩＮＤＡ）へ
の変換を行う処理。

（ｉｖ）　ＭＰ　１．　ＭＰ　２は最適化を行う処理。

（ｖ）ＢＥは領域・レジスタ割り付けやコード生成を行
う処理。

を表している。

従来の場合には、ソース・プログラム１におけるプログ
ラム単位■内に、プログラム単位■と■とを取り込んだ
ものを単位■とし、以下夫々プログラム単位■、プログ
ラム単位■、プログラム単位■とし、第５図図示矢印に
示す如く、各単位■。

■、■、■について、上記処理ＦＥ１．ＦＥ２゜ＦＥ３
．ＭＰＩ、ＭＰ２．ＢＥを順に実行してゆくようにして
いる。

〔発明が解決しようとする課題〕

上記従来の場合においては１本発明の場合の如く中間デ
ータの形でインライン展開していたならば行う必要のな
かった範囲についても構文解析や意味解析を行うような
ことが生じ易い。またプログラム単位にまたがる最適化
が中間データ・レベルで実現し難い。更にまた。ソース
・レベルでインライン処理を行う際には、上記従来の場
合の例で、上記の如くプログラム単位のがプログラム単
位■と■とを呼び、更にプログラム単位■がプログラム
単位■を呼んでいた如き場合には、プログラム単位■内
にプログラム単位■を取り込むことが難しい。

本発明は、ソース・プログラムの形でインライン展開す
る場合に必要以外の個所についても２構文解析などが行
われることとなり処理量が大となるおそれがあるなどを
解決すると共に、その際の作業簿を正しく引き継いで上
記解決処理を円滑に行わせ得るようにすることを目的と
している。

〔課題を解決するための手段〕

第１図は本発明の原理構成図を示す。図中の符号ｌはソ
ース・プログラム、１−ｉはプログラム単位、２は翻訳
作業ファイル、２−１はプログラム単位の中間データを
表している。また（ｉ）ＦＥＩは構文解析区による処理
。

（ｉｉ）ＦＥ２は意味解析区による処理。

（ｉｉｉ）　ＦＥ３は低レベル中間言語（ＬＩＮＤＡ）
への変換を行う処理 （ｉｖ）　ＭＰ　１．　ＭＰ　２は最適化を行う処理。

（ｖ）ＢＥは領域・レジスタ割り付けやコード生成を行
う処理。

を表している。

なお、第１図図示の処理においては、各プログラム単位
■、■、■、■相互間において２次の如き関゛係で呼び
出しが行われるものとしている。即ち。

（ｉ）プログラム単位■が、プログラム単位■とプログ
ラム単位■とを呼び。

（１１）プログラム単位■が、プログラム単位■とプロ
グラム単位■とを呼び。

（ｉｎ）プログラム単位■が、プログラム単位■を呼ふ 如き関係にあるものとしている。

処理は第１図図示矢印の順に行われてゆく。

（作　用〕 最初の段階において、ソース・プログラム１のすべての
プログラム単位■、■、■、■に対して構文解析処理（
ＦＥＩ）と意味解析処理（ＦＥ２）とが行われる。この
段階を第１の段階と呼ぶことにする。

そして、解析した結果の各中間データは、翻訳作業ファ
イル２に書き出される。この処理を格納処理と呼んでい
る。

翻訳作業ファイル２上に中間データ２−ｉが格納され終
わった後に、解析したプログラム単位の順（■、■、■
、■の順）に翻訳作業ファイルから２図示しない主記憶
内に読み込まれ、意味解析区（図示の場合には２度目で
あることがらＦＥ２’としている）が再び呼び出される
。

意味解析区Ｆ　Ｅ　２’では、そのプログラム単位から
直接的に及び間接的に呼び出されている他のプログラム
単位があるか否かを調べ、ある場合にはそれらも翻訳作
業ファイル２から主記憶内に読み込む、そして、インラ
イン展開に当っての条件を満足しているか否かを調べる
。満足している場合には、呼び出し元プログラム単位と
呼び出し先プログラム単位とを関係づける。上記の例で
言えば。

プログラム単位■はプログラム単位■と■とを呼んでい
ることから９図示の処理（ＦＥ２’）、　　（ＦＥ３）
、（ＭＰＩ）についてプログラム単位■が実行されてい
る間に１図示点線で囲う如くプログラム単位■、■の中
間データが参照される。

図示処理（ＦＥ３）は、ＬＩＮＤＡ変換区による処理と
呼んでもよく、呼び出し元のプログラム単位と呼び出し
先のプログラム単位との両者を入力し、ＬＩＮＤＡに変
換する。

図示処理（ＭＰＩ）は、インライン展開処理区と呼んで
もよく、呼び出し元と呼び出し先とのプログラム単位の
間でインライン展開の条件を満足しているか否かを調べ
る。満足していれば、呼び出し先のプログラム単位のＬ
ｒＮＤＡを呼び出し元のプログラム単位のＬＩＮＤＡの
上に取り込む。

図示処理（ＭＰ２）は、汎用最適化区と呼んでもよく、
インライン展開が行われていることを全（意識せずに最
適化を行う。

図示処理（ＢＥ）は、領域・レジスタ割り付けやコード
生成などを行う。

図示処理（ＦＥ２’）以陳の処理を第２の段階と呼んで
いる。

〔実施例〕

第２図は本発明の一実施例処理フローを示す。

図中の記号■、■、・・・は処理ステップを表しており
１図示処理ステップ■は上記構文解析区による処理（Ｆ
Ｅ１）に対応し、処理ステップ■は上記意味解析区によ
る処理（ＦＥ２）に対応し、処理ステップ■、■は上記
意味解析区による処理（ＦＥ　２’・・・この場合には
２度目であることから、ＦＥ２と区別してＦ　Ｅ　２’
としている）に対応し、処理ステップ■９は上記Ｌ■Ｎ
ＤＡ変換区による処理に対応し、処理ステンプ■は上記
インライン展開処理区（ＭＰＩ）と上記汎用最適化区（
ＭＰ２）と対応し、処理ステップ［相］と■とは上記領
域・レジスタ割り付けなどの処理（ＢＥ）に対応してい
る。

第３図はＬＩＮＤＡ変換区による処理（Ｆ２ａ）が終了
した時の解析結果の一例を示す。図中の符号３−ｉは各
プログラム単位に対応するプログラム単位溝であって夫
々対応するプログラム単位の中間データをポイントする
ものである。また４−１は処理単位溝、５−１は言票列
、６．７．８は夫々外部参照簿である。各プログラム単
位は外部参照簿を介して関連付けられる。

第３図は第１図図示のプログラム単位■に関して処理（
Ｆ２ａ）が終了した時点の解析結果の概要を表している
。上記の設定例の場合には、プログラム単位■がプログ
ラム単位■と■とを呼んでいることから１図示の如く、
外部参照’；８６を介してプログラム単位■が関連付け
られている。また外部参照ｍ７を介してプログラム単位
■が関連付けられている。またプログラム単位■はプロ
グラム単位■と関連をもっており、外部参照ｍ８が存在
している。

第４図はインライン展開処理区による処理（ＭＰｉ）の
−例を示す。図示の符号２は翻訳作業ファイル、３−１
はプログラム単位簿を表している。

図示の場合には、プログラム単位の１つであるＭＡＩＮ
（メイン・プログラム）に他のプログラム単位であるＳ
ＵＢ　（サブ・プログラム）とＦＵＮ（ファンクション
）とインライン展開を行うものとして例示している。

ＭＡＩＨにおいてＣＡＬＬ　　ＳＵＢ”が見出されたと
き、外部参照簿を介してプログラム単位＊３ｉと関連づ
けられ、翻訳作業ファイル２上のＳＵＢやＦＵＮに対応
する中間データが取り出されてインライン展開される。

インライン展開を行うに当っての制約条件を検査するに
当っては、−例として次の如き検査を行い、該当する場
合にはインライン展開を行わない。

■　呼び出し先の副プログラムに関するエラー検査 一実行文の数が多い ＥＮＴＲＹ文がある ＥＱＵ　Ｔ　ＶＡＬＥＮＣＥ文カアル −ＡＳＳＩＧＮ文がある。

−割り当て形ＧＯＴＯ文がある 一人出力文がある 一３ＡＶＥ文がある 一スカラ整数式のあるＲＥＴＵＲＮ文がある■　呼び出
し元と呼び出し先との関係に関するエラー検査 一オプション指定が異なる 一実引数と仮引数の個数が異なる 実引数と仮引数の型が異なる 一使用者関数において１手続きの型が異なる呼び出し方
法が誤っている ■　呼び出し元に関するエラー検査 入力ソース・ファイル内に、同じ名前のプログラム単位
がある なお上記説明においては、主として第１図を参照する形
で、翻訳作業ファイル２を利用する場合の処理について
説明した。しかし、インライン展開を行うに当っては、
インライン展開の最適化を行うか否かによって制御態様
を異ならしめている。即ち、インライン展開の最適化を
行う場合には、上記第１図ないし第４図を参照して説明
した処理方法を採用するが、インライン展開の最適化を
行わない場合には、第５図を参照して従来の例として示
した処理方法が採用される。したがって１言うまでもな
く、第５図図示の処理方法をも行い得ることをもって１
本発明の範囲外となるものではない。

（発明の効果〕 以上説明した如く２本発明によれば、中間データの形で
のインライン展開が可能であり、最適化処理などの処理
を効率よく行うことが可能となる。

【図面の簡単な説明】

第１図は本発明の原理構成図、第２図は本発明の一実施
例処理フロー、第３図はＬＩＮＤＡ変換区による処理（
ＦＥ３）が終了した時の解析結果の一例、第４図はイン
ライン展開処理区による処理（ＭＰＩ）の−例、第５図
は従来例を示す。 図中、１はソース・プログラム、１−１はプログラム単
位、２は翻訳作業ファイル、２−１はプログラム単位の
中間データ、３−１はプログラム単位連、６．７．８は
夫々外部参照溝を表す。

Claims (1)

1. 【特許請求の範囲】 複数のプログラム単位（１−ｉ）からなるソース・プロ
   グラム（１）を読み込み、上記各プログラム単位（１−
   ｉ）の個々について、少なくとも、構文解析区による処
   理（ＦＥ１）と、 意味解析区による処理（ＦＥ２）と、 低レベル中間言語への変換を行う処理（ＦＥ３）と、 最適化を行う処理（ＭＰ）と、 領域・レジスタ割り付けを含む処理（ＢＥ）と、を実行
   するコンパイラにおいて、 上記プログラム単位（１−ｉ）の１つが処理を実行する
   に当って他のプログラム単位（１−ｊ）を呼んだ上で当
   該処理を実行する処理態様をもつ場合に、当該プログラ
   ム単位（１−ｉ）をオブジェクトに展開するに当って上
   記他のプログラム単位（１−ｊ）を上記オブジェクト上
   で取り込んで展開するようにしたインライン展開に際し
   て、 当該インライン展開が行われる可能性のある複数のプロ
   グラム単位（１−ｉ）の夫々について、上記最適化を行
   う処理（ＭＰ）を実行するに先立って、上記構文解析区
   による処理（ＦＥ１）と上記意味解析区による処理（Ｆ
   Ｅ２）とを実行する第１の段階と、 当該第１の段階によって生成されている所の、上記可能
   性のある複数のプログラム単位の夫々に対応する中間デ
   ータ（２−ｉ）について、当該中間データを翻訳作業フ
   ァイル（２）に格納する格納処理と、 当該格納処理によって格納された上記中間データ（２−
   ｉ）を、上記翻訳作業ファイル（２）から読み出した上
   で、当該読み出された中間データについて上記最適化を
   行う処理（ＭＰ）を実行し、次いで上記領域・レジスタ
   割り付けを含む処理（ＢＥ）を実行する第２の段階をそ
   なえ、 上記第１の段階と上記格納処理と上記第２の段階とを順
   に実行するようにした ことを特徴とするインライン展開処理方法。