JPH0981411A - コンパイラ - Google Patents

Abstract

(57)【要約】 【課題】 コンパイラに関し，ソースプログラムの仕様
に依存することなく，データ領域の引用の検査をするオ
ブジェクトプログラムを生成することを目的とする。 【解決手段】 ソースプログラムを基に実行可能な形式
のオブジェクトプログラムを生成するコンパイラにおい
て，ソースプログラムを解析して中間コードの集合を生
成するプログラム解析部と，中間コードを結合してオブ
ジェクトプログラムを生成するオブジェクトプログラム
生成部とを備え，オブジェクトプログラム生成部は中間
コードの集合に含まれるデータ領域の引用に基づいて生
成された中間コードを検索し，該中間コードを基に該定
義の引用の正当性を検査する検査プログラムを呼び出す
中間コードを該中間コードの集合に組み込む構成をも
つ。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】データ領域の引用の正当性を
検査するコンパイラに関する。コンピュータ用高級言語
プログラムはソースプログラムをコンパイラにより実行
可能な形式のオブジェクトプログラムに翻訳する必要が
ある。このような高級言語で作成したソースプログラム
に，例えばデータ領域の定義外の領域を引用する等の誤
りが含まれていると，オブジェクトプログラムが正しく
動作しない。そのため，コンパイラによりオブジェクト
プログラムに翻訳する際にその誤りを指摘して表示する
必要がある。

【０００２】

【従来の技術】ソースプログラムはデータ領域に関する
宣言文（データ領域の定義）およびそれらを引用する実
行文により構成される。また，コンパイラによりオブジ
ェクトプログラムを生成して実行する時に，データ領域
の引用の正当性の検査（プログラムの実行においてデー
タ領域の位置を表す値が得られた時，その値がデータ領
域の定義の範囲内にあるかないかの検査）等の検査を行
うか，あるいは行わないかを指定することができる。そ
して，検査することが指定されている場合には，例えば
データ領域の引用の正当性の検査をするような時，検査
をしない場合のオブジェクトプログラムとは別にそれら
のデータ領域に関する情報およびその検査プログラムを
呼び出す中間コードを含むオブジェクトプログラムを生
成し，実行時に検査プログラムを呼び出して検査するよ
うにしていた。

【０００３】図９は従来のコンパイラを示す。図９にお
いて，１１０はソースプログラムである。

【０００４】１１１は，データ領域の定義である（宣言
文）。例えば，配列，文字列，構造体（定義Ａに要素
ｂ，ｃが含まれる等）である。１１１’はデータ領域の
引用文である（プログラムの実行文であって，データ領
域の位置を表す値が含まれるか，もしくは演算結果とし
てその値が得られるもの等）。

【０００５】１１２はコンパイラである。１１４はソー
ス解析部であって，ソースプログラムを解析するもので
ある。１１５は意味解析部であって，ソースプログラム
の意味を解析するものである。

【０００６】１１６は中間コード生成部であって，ソー
スプログラムの意味解析結果に基づいて機械語に近い言
語である中間コードを生成するものである。１１７は最
適化処理部であって，引用されていない数式等のプログ
ラムの実行に必要のない中間コードを削除する等でプロ
グラムの最適化を行うものである。

【０００７】１１８はオブジェクトプログラム生成部で
あって，中間コードの集合を基にオブジェクトプログラ
ムを生成するものである。１２０はオブジェクトプログ
ラム実行部である。

【０００８】１２１は実行結果出力部である。１２５は
検査プログラムライブラリであって，各種検査プログラ
ムを備えているライブラリである。

【０００９】図１０は従来のコンパイラのフローチャー
トである。図１０により図９の従来のコンパイラの動作
を説明する。 コンパイルにおいて検査指定がない場合。

【００１０】Ｓ１ コンパイラ１１２はソースプログラ
ム１１０を入力する。 Ｓ２ データ領域の引用の正当性等の検査をするかしな
いかを判定する。今の場合，検査の指定がないのでＳ３
に進む。検査の指定があればＳ１０に進む。

【００１１】Ｓ３ ソース解析部１１４は入力されたプ
ログラムの文字列からプログラム文を抽出する等の構文
解析をする。 Ｓ４ 意味解析部１１５はソース解析して得られたプロ
グラム文の意味を解析する。

【００１２】Ｓ５ 中間コード生成部１１６は意味解析
結果に基づいて中間コードを生成する。 Ｓ６ 最適化処理部１１７はソースプログラム１１０の
中間コード群に対して，無駄がなく最適にプログラムが
実行できるように最適化処理をする。

【００１３】Ｓ７ オブジェクトプログラム生成部１１
８は中間コード群の各中間コードを結合（リンク）する
等でオブジェクトプログラムを生成する。 Ｓ８ オブジェクトプログラム実行部１２０は生成され
たオブジェクトプログラムを実行する。

【００１４】Ｓ９ 実行結果出力部１２１は実行結果を
出力する。 コンパイルにおいて検査指定がある場合。 Ｓ１ コンパイラ１１２はソースプログラム１１０を入
力する。

【００１５】Ｓ２ 検査指定があるか判断する。今の場
合，検査指定があるのでＳ１１に進む。 Ｓ１１ ソース解析部１１４は入力されたソースプログ
ラム１１０に対してソース解析をする。

【００１６】Ｓ１２ 意味解析部１１５はソース解析に
より得られたプログラム文に対して意味解析をする。 Ｓ１３ 中間コード生成部１１６は意味解析結果に基づ
いて中間コードを生成する。

【００１７】Ｓ１４ 検査指定があるので，ソース解析
結果，意味解析結果を基にデータ領域等の検査対象の情
報に関する中間コードを生成する。例えば，データ領域
の引用の正当性の検査であれば，データ領域の先頭番
地，データ領域の大きさ，データを配列する番地，デー
タの大きさ等を表す中間コードを生成する。

【００１８】Ｓ１５ 対象とする検査プログラムを呼び
出す中間コードを生成する。 Ｓ６ 最適化処理部１１７はソースプログラム１１０の
中間コード群に対して，プログラムの実行に無駄がなく
最適に実行できるように最適化処理をする。

【００１９】Ｓ７ オブジェクトプログラム生成部１１
８は中間コードを係合し，オブジェクトプログラムを生
成する。このとき，Ｓ１４，Ｓ１５で生成した検査のた
めの中間コードがＳ１３で生成した中間コード群に挿入
されるように結合する。

【００２０】Ｓ８ オブジェクトプログラム実行部１２
０は検査プログラムを呼び出す中間コードを含むオブジ
ェクトプログラムを実行する。実行において，検査プロ
グラムを呼び出す中間コードにより検査プログラムライ
ブラリ１２５から指定する検査プログラムを呼出してデ
ータ領域の引用文で引用されているデータ領域が定義さ
れた範囲内にあるか，ないか等を検査する。

【００２１】Ｓ９ 実行結果出力部１２１は実行結果を
出力する。

【００２２】

【発明が解決しようとする課題】上記のように，データ
領域の検査を指定してソースプログラムをコンパイラす
る時は，ソースプログラムのデータ領域の定義の宣言文
を基にそれぞれの検査をする検査プログラムを呼び出す
中間コードを生成し，ソースプログラムを翻訳したオブ
ジェクトプログラム中に挿入するようにしていた。そし
て，プログラム実行時に検査プログラムのルーチンを呼
び出して，検査プログラムによりデータ領域の引用の正
当性を検査していた。そのため，従来のコンパイラでは
検査がプログラム言語の仕様に依存し，言語仕様の変
更，拡張等がなされる度に，コンパイラもしくは検査プ
ログラムの側にも変更を必要とした。

【００２３】また，従来のコンパイラで検査を指定した
場合には，ソースプログラムの定義（宣言文）および実
行文に対応する本来のオブジェクトコードとは別に，デ
ータ領域の引用の正当性を検査する仕組み（中間コー
ド）がオブジェクトプログラムに生成される。そのた
め，例えば，データ領域のアドレス計算をする中間コー
ド群は本来のオブジェクトコードと検査のためのオブジ
ェクトコードの双方に含まれて双方でアドレス計算をす
る等のように処理が重複し，実行時間を低下させてい
た。

【００２４】さらに，従来のコンパイラは，コンパイラ
内において検査を行う場合と検査を行わない場合の２系
統の翻訳機構が必要であった。本発明は，言語仕様の変
更，拡張等に依存することなくデータ領域の引用の正当
性を検査することができ，かつ検査指定があった場合に
も高速に実行できるコンパイラを提供することを目的と
する。

【００２５】

【課題を解決するための手段】ソースプログラムを翻訳
して得られる実行可能な形式のオブジェクトプログラム
は，配列の要素，文字列の要素および構造体の要素等の
集合データの中の要素を引用する場合，集合データの先
頭番地にその先頭番地からの変移を加えることによって
目的の要素の番地を求める。これらのデータの引用は中
間コードのオペランドにおいて，ベース（集合データの
先頭番地）とインデックス（集合データの先頭番地から
の変移）で表現される特殊な構成をもつ。

【００２６】中間コード群は，ソースプログラムの記述
内容がコンピュータの機械語に近い形式で変換された情
報の集合であり，この情報は最終的にオブジェクトプロ
グラムに変換される。各中間コードは，一つの機能と定
義および引用されるデータ領域情報を指す複数のオペラ
ンドで構成される。

【００２７】ここで，データ領域の引用の正当性の検査
をする場合には，中間コードの並びの中から，ベースと
インデックスを使用してデータ領域を引用している中間
コードに着目して該当するものをすべて検出する。この
中間コードは引用されるデータ領域の先頭番地，データ
領域全体の大きさおよび引用されるデータの長さを，該
当する中間コードのオペランドに指定されているデータ
領域情報から求めることができる。これらの情報は，プ
ログラムの実行上必要なものであり，データ領域情報に
は必ず存在する。

【００２８】この中間コードの検索方法は，ソースプロ
グラムの情報を直接参照しないため，言語仕様に依存す
ることなく目的の中間コードを検索できる。以上の結果
得られた情報に基づいて，検査を行う命令列または検査
手続きの呼出しの機能を持つ中間コードをそれぞれの該
当の中間コードの直前に挿入する。

【００２９】そして，検査は下記のように行い結果を出
力する。 ベース，インデックスおよび引用されるデータの長
さの加算結果が，データ領域の先頭番地とデータ領域全
体の大きさの加算結果より大きいならば，データ領域の
不等な引用であるので，その旨を利用者に通知する。

【００３０】 ベース及びインデックスの加算結果
が，データ領域の先頭番地とデータ領域全体の大きさの
加算結果より大きいならば，データ領域の不等な引用で
あるので，その旨を利用者に通知する。

【００３１】 ベース及びインデックスの加算結果
が，データ領域の先頭番地より小さいならば，データ領
域の不等な引用であるので，その旨を利用者に通知す
る。これらの検査において，ベースの値とインデックス
の値の加算結果を，本来該当データを引用するための計
算結果と共有することにより実行性能を向上させること
ができる。

【００３２】また，コンパイラは一般的に，ソース解析
部，意味解析部，中間コード生成部，中間コード最適化
部及びオブジェクトプログラム生成部で構成され，この
順番に動作する。本発明は，検査プログラムを呼び出す
中間コードをオブジェクトプログラム生成部において作
成するようにする。そのため，中間コードの形式は，デ
ータ領域の引用の正当性を検査する命令列に対して，命
令列を生成する場合と生成しない場合で共通にすること
ができる。

【００３３】そこで，本発明は，ソースプログラムを基
に実行可能な形式のオブジェクトプログラムを生成する
コンパイラにおいて，ソースプログラムを解析して中間
コードの集合を生成するプログラム解析部と，中間コー
ドを結合してオブジェクトプログラムを生成するオブジ
ェクトプログラム生成部とを備え，該オブジェクトプロ
グラム生成部は中間コードの集合に含まれるデータ領域
の引用に基づいて生成された中間コードを検索し，該中
間コードを基に該定義の引用の正当性を検査する検査プ
ログラムを呼び出す中間コードを該中間コードの集合に
組み込むようにした。

【００３４】図１は本発明の基本構成を示す。図１にお
いて，１はソースプログラムである。

【００３５】２はコンパイラである。２’はプログラム
解析部であって，ソースプログラム１の構文解析，構文
解析により求められたプログラム文の意味解析，中間コ
ード群の生成をするものである。

【００３６】３はソース解析部であって，ソースプログ
ラム１の構文解析（文字列を解析してプログラム文を求
める等の処理）をするものである。４は意味解析部であ
って，構文解析の結果求められたプログラム文の意味を
解析するものである。

【００３７】５は中間コード生成部であって，意味解析
の結果に基づいて中間コードを生成するものである。６
はオブジェクトプログラム生成部であって，プログラム
解析部２’で生成した中間コードの集合（中間コード
群）を結合して実行可能な形式のプログラムを生成する
ものである。その時，オブジェクトプログラム生成部６
は，コンパイラにおいて検査することが指定されている
場合には，プログラム解析部２’で生成された中間コー
ド群を解析して検査に必要な情報を求め，その情報につ
いての中間コードおよび検査プログラムを呼び出す中間
コードを生成してプログラム解析部２’で生成した中間
コード群に挿入する。検査が指定されている場合には，
そのようにして検査情報，検査プログラムの呼出しの中
間コードを実行文の中間コード群に結合して実行形式プ
ログラムを作成する。

【００３８】７は検査をするか，しないかの判定の処理
である。８はデータ領域の引用の正当性の検査に必要な
情報を検索して，その中間コードを生成する処理であ
る。

【００３９】９はデータ領域の引用の正当性の検査プロ
グラムを呼び出す中間コードを生成するものである。１
０はオブジェクトプログラムを生成する処理であって，
中間コード群の各中間コードを結合して実行形式プログ
ラムを作成する処理である。

【００４０】１１は実行形式のオブジェクトプログラム
である。１２は検査プログラムライブラリであって，各
種検査プログラムを備えるものである。

【００４１】図２は本発明の基本構成の説明図である。
図２において，１はソースプログラムである。

【００４２】１１’はデータ領域の定義（宣言文）であ
る。１２’はデータ領域を引用する文である。実行文で
あって，データ領域の定義文で定義された値を含む文，
もしくは演算により定義された値が得られるものであ
る。データ領域の位置を表す値を含む文，もしくは演算
によりデータ領域の位置を表す値が得られるものであ
る。

【００４３】１３，１３’は中間コード群である（中間
コードの集合）。中間コード群１３’は検査のための中
間コードを含まないものである。１４はデータ領域の引
用に基づく中間コードである。

【００４４】中間コード群１３’において，１５はデー
タ領域の引用の正当性検査に必要な情報の中間コードで
ある。１６はデータ領域の引用の正当性を検査する検査
プログラムを呼び出す中間コードである。

【００４５】１４はデータ領域の引用に基づく中間コー
ドである（中間コード群１３のデータ領域の引用に基づ
く中間コードに同じ）。図２を参照して図１の本発明の
基本構成の説明する。

【００４６】コンパイラ２はソースプログラム１を入力
する。ソース解析部３はソースプログラム１の構文解析
をする。そして，その構文解析により求められたプログ
ラム文に対して意味解析部４は意味解析をし，中間コー
ド生成部５はその中間コードを生成する。

【００４７】オブジェクトプログラム生成部６は検査の
指示の有無を判定する。データ領域の引用の正当性の検
査の指示がなければ，プログラム解析部２’の作成した
中間コード群１３に対して結合処理を行いオブジェクト
プログラムを生成する。あるいは，その検査の指示があ
れば，中間コード群１３の中間コードを分析して，デー
タ領域の引用に基づく中間コード１４の有無を検索す
る。そして，その中間コード１４が有れば，その中間コ
ード１４を基に定義の引用の正当性検査に必要な情報
（引数等）の中間コード１５を作成する。さらに，その
検査をする検査プログラムを呼び出す中間コード１６を
生成し，中間コード群１３’を得る。

【００４８】そして，それらの中間コード１５，１６が
データ領域の引用に基づく中間コード１４の前に挿入さ
れるように中間コード群１３’の各中間コードを結合
し，実行形式のオブジェクトプログラム１１を作成す
る。オブジェクトプログラム１１を実行する場合，検査
プログラムを呼び出すオブジェクトプログラムにより検
査プログラムが検査プログラムライブラリ１２から呼び
出され，データ領域の引用の正当性の検査がされる。

【００４９】本発明によれば，ソースプログラムに基づ
いて生成された中間コードの集合（中間コード群）か
ら，データ領域の引用の正当性の検査に必要な中間コー
ドを生成するので，検査のための中間コードの生成処理
がソースプログラムの仕様に依存することがない。その
ため，言語仕様の変更，拡張等があっても，コンパイ
ラ，検査プログラムライブラリを変更することなくコン
パイルすることができる。

【００５０】また，本発明では，オブジェクトプログラ
ムにおいて，ソースプログラムの定義（宣言文）および
実行文に対応する命令列とデータ領域の正当性を検査す
る命令列の一部を共通に利用しているので，コンパイル
から実行結果が得られるまでの時間が短縮される。例え
ば，データ領域の引用にはプログラム実行時にその領域
の番地の計算をするが，本発明ではその計算結果をデー
タ領域の引用の正当性検査にも利用する。そのため，本
発明によればデータ領域の引用の正当性検査をする場合
にも，プログラムの実行時間を高速に行うことができ
る。

【００５１】また，本発明では，定義の引用の正当性検
査に必要な中間コードの生成をコンパイラの終了部分で
あるオブジェクトプログラム生成部において生成するの
で，それ以前のプログラム解析部におけるコンパイラの
内部インタフェースが，検査をする場合としない場合と
で共通であるので，本発明によれば検査のために必要な
機能を実現するためのコンパイラの負担が少ない。

【００５２】

【発明の実施の形態】図３は本発明の実施例構成であ
る。図３において，１はソースプログラムである。

【００５３】２はコンパイラである。２１はプログラム
解析部であって，部名として，ソース解析部，意味解析
部，中間コード生成部を含み，ソースプログラムの記述
を中間コードに変換するものである。

【００５４】２２，２２’，２２”は中間コード群であ
る。中間コード群２２’は最適化処理を実施済みのもの
である。中間コード群２２”は検査プログラムを引用す
る中間コードを挿入済みのものである。

【００５５】２３は最適化部であって，部名として中間
コード最適化部を持ち，不要な記述（使用されていない
演算式等）を削除する等でプログラムの性能を改善する
ものである。

【００５６】２５はオブジェクトプログラム生成部であ
って，部名としてコード生成部を持つものである。オブ
ジェクトプログラム生成部２５は，中間コード群から集
合データ（配列，文字列，構造体）の要素引用部分を抽
出する処理，データ領域の引用の正当性検査プログラム
を呼び出す中間コードを挿入する処理，中間コード群か
らオブジェクトプログラムを生成する処理等を行うもの
である。

【００５７】２６はオブジェクトプログラムである。図
４は定義されたデータ領域の例であって，「ＩＮＴＥＧ
ＥＲ Ａ（１０），ＩＳＵＢ」で定義されるデータ領域
である。

【００５８】３０は定義されたデータ領域である。Ａ
（１），Ａ（２），・・・，Ａ（１０）は配列要素であ
る。ａｄ２は定義されたデータ領域の先頭番地である。
配列要素の一個のデータ領域の幅は４であり，データ領
域の全体の幅は４０である。ａｄ２＋ｔ２は先頭番地か
らの変移であって，配列要素Ａ（３）の引用番地である
（図４の場合ｔ２＝８である）。

【００５９】コンパイラの起動時に検査（翻訳オプショ
ンＤＥＢＵＧ（ＲＡＧＥ））を指定すると次の動作をす
る。コンパイラ内のオブジェクトプログラム生成部２５
は，この翻訳オプションの有効の指定があると，次の動
作をする。

【００６０】（１） 各中間コードを先頭から順次検索
して，中間コードの各オペランドにおいて，ベース＋イ
ンデックスの形式でデータ領域を引用している中間コー
ド（集合体の中間コード）を探す。

【００６１】（２） その中間コードの直前に，次の情
報を引数とするライブラリ呼出しの機能を持つ中間コー
ドを挿入する。 (a) データ領域の引用番地（ベース（先頭番地）＋イ
ンデックス） (b) 引用されるデータ領域の先頭番地（ベース） (c) データ領域全体の大きさ (d) 引用されるデータの長さ (e) データ名 これらの情報は，現在処理中の中間コードのオペランド
で指定されているデータ領域情報から獲得する。図４の
例の場合， (a) データ領域の引用番地はａｄ２＋ｔ
２である。 (b) 引用されるデータ領域の先頭番地はａ
ｄ２である。 (c) データ領域全体の大きさは４０であ
る。 (d) 引用されるデータの長さは４である。（e)
データ名はＡである。

【００６２】（３） 上記の動作を中間コードが終了す
るまで繰り返す。 これらの過程を経て生成されたオブジェクトプログラム
は実行時にデータ領域の引用の正当性を検査するライブ
ラリを呼び出す。呼び出されたライブラリは引数で与え
られた情報に基づいて次の検査を行う。

【００６３】 ベース，インデックスおよび引用され
るデータの長さの加算結果が，データ領域の先頭番地と
データ領域全体の大きさの加算結果より大きいならば，
データ領域の不等な引用であるので，その旨を利用者に
通知する。

【００６４】 ベース及びインデックスの加算結果
が，データ領域の先頭番地とデータ領域全体の大きさの
加算結果より大きいならば，データ領域の不等な引用で
あるので，その旨を利用者に通知する。

【００６５】 ベース及びインデックスの加算結果
が，データ領域の先頭番地より小さいならば，データ領
域の不等な引用であるので，その旨を利用者に通知す
る。次に，図３の構成の動作を詳述する。

【００６６】図５は本発明の中間コードの実施例である
（検査プログラムを呼び出す中間コードを挿入する以前
のもの）。図５において，１はソースプログラムであ
る。

【００６７】２２は中間コード群である。ソースプログ
ラム１は，１０個の要素を持つ配列Ａを定義するもので
ある。「ＩＮＴＥＧＥＲ Ａ（１０），ＩＳＵＢ」の意
味は，データが整数型であり，配列名がＡであり，要素
数が１０であることを表す。ＩＳＵＢは整数のパラメー
タである。

【００６８】ＩＳＵＢ＝３でＩＳＵＢに３を代入する
（この行はデータ領域の正当性検査対象外である）。Ａ
（ＩＳＵＢ）＝３はＡ（ＩＳＵＢ＝３）＝３であること
を表す。この行はデータ領域の引用の正当性検査対象と
なるものである。Ａ（ＩＳＵＢ）の引用番地はＡの先頭
番地（ベース）＋（ＩＳＵＢ−１）×４である。

【００６９】中間コード群２２はソースプログラム１を
コンパイルした中間コードである。「ＭＯＶＥ ＩＳＵ
Ｂ，ＣＣ３」は，第２オペランドのＣＣ３（定数であっ
て値３）を第１オペランドのＩＳＵＢに代入する演算を
表す。

【００７０】「ＳＵＢ ｔ１，ＩＳＵＢ，ＣＣ１」は，
ＩＳＵＢからＣＣ１（定数であって値１）を引いて，レ
ジスタｔ１に保持する演算を表す。「ＭＵＬＴ ｔ２，
ｔ１，ＣＣ４」は，ｔ１にＣＣ４（定数であって値４）
を掛けて，結果をレジスタｔ２に保持することを演算す
るものである。

【００７１】「ＳＴ ｂｘｏｐ，ＣＣ３」はＣＣ３（＝
３）をｂｘｏｐにストアすることを表すものである。ｂ
ｘｏｐはａｄ２（Ａの先頭番地）にレジスタｔ２に保持
されている値を加算したものであって，Ａ（ＩＳＵＢ）
のアドレスである。即ち，ＣＣ３＝３をＡ（３）のアド
レスに代入することを表し，Ａ（３）＝３とすることを
指示するものである。

【００７２】データ領域情報において，ＩＳＵＢは先頭
番地がａｄ１であって，データの大きさが４（単位はバ
イトである。以下同じ）の利用者定義変数である。

【００７３】Ａは先頭番地がａｄ２であって，データの
大きさが４０の利用者定義変数である。ＣＣ１は先頭番
地がａｄ３であって，データの大きさが４の定数であ
る。

【００７４】ＣＣ３は先頭番地がａｄ４であって，デー
タの大きさが４の定数である。ＣＣ４は先頭番地がａｄ
５であって，データの大きさが４の定数である。ｔ１は
先頭番地なしであって，データの大きさが４の一時名で
ある。

【００７５】ｔ２は先頭番地なしであって，データの大
きさが４の一時名である。ｂｘｏｐはベース（Ａ）（Ａ
の先頭番地）＋インデックス（ｔ２）である集合データ
（配列，文字列，構造体）の要素を引用するものである
（Ａ（ＩＳＵＢ）のアドレスを引用するものである）。

【００７６】図６は本発明の中間コードの実施例であっ
て，検査プログラムを呼び出す中間コードを挿入した状
態である。２２’は中間コード群であって，検査プログ
ラムを呼び出す中間コードを挿入した後の状態である。

【００７７】「ＣＡＬＬ ０，ｌｉｂ，ａｒｇ」はデー
タ領域の正当性検査プログラムを呼び出す中間コードで
ある。ａｒｇはデータ領域の定義に基づく中間コードｂ
ｘｏｐをもとに生成される。

【００７８】ｌｉｂは先頭番地がａｄ６でデータの大き
さが４である。ａｄ６はデータ領域の正当性検査のプロ
グラムの先頭番地である。ａｒｇは先頭番地がａｄ７で
あって，データの大きさが２０のものである。ａｒｇの
内容は，実引数の並び（ｂｘｏｐ，ａｄ２，４０，４，
Ａ）である。

【００７９】ここでｂｘｏｐは前述した集合体の要素を
引用するものであり，アドレス（大きさ４）である。ａ
ｄ２は配列Ａの先頭番地（大きさ４）であり，４０は配
列Ａの領域の幅（４バイトが１０個）を表すものである
（大きさは４）。４は１要素の大きさであり Ａはエラ
ーメッセージを表示する時に配列Ａにエラーがあること
を表示するためのものである。

【００８０】中間コード群２２”の「ＣＡＬＬ ０，ｌ
ｉｂ，ａｒｇ」により（０は第１オペランドにデータが
ないことを表す），ａｒｇの実引数の並び（ｂｘｏｐ，
ａｄ２，４０，４，Ａ）を引数としてａｄ６の検査プロ
グラム（ｌｉｂｌａｒｙ）が呼び出される。そして，検
査プログラムはａｒｇ（ｂｘｏｐ，ａｄ２，４０，４，
Ａ）に従って，「ＳＴ ｂｘｏｐ，ＣＣ３」の演算結果
が定義されたデータ領域の範囲に収まっているかいない
かを判定する。

【００８１】図７，図８は本発明のコンパイラのフロー
チャートである。図７，図８により図３の本発明の実施
例構成の動作を説明する（必要に応じて図５，図６を参
照する）。

【００８２】Ｓ１ コンパイラ２はソースプログラム１
を入力する。 Ｓ２ ソース解析部は，ソースプログラム１の構文解析
をする。 Ｓ３ 意味解析部は構文解析により求められたプログラ
ム文の意味解析をする。

【００８３】Ｓ４ 中間コード生成部は意味解析の結果
により中間コードを生成する。そしてプログラム全部の
中間コードにより構成される中間コード群２２を得る。 Ｓ５ 最適化部２３により，中間コード群２２の最適化
を行う（図３の中間コード群２２’を得る）。

【００８４】Ｓ６，Ｓ７ オブジェクトプログラム生成
部２５は中間コードを１個入力する。中間コードがあれ
ばＳ８に進み，なければＳ１２に進む。 Ｓ８はデータ領域の引用の正当性検査の指定があるかな
いかを判定し，その検査の指定があればＳ９に進み，そ
の検査の指定がなければＳ６以降の処理を繰り返す。

【００８５】Ｓ９ 中間コードは集合データを引用して
いるかあるいは引用していなかを判定する（例えば，ｂ
ｘｏｐの記述の有無で判定する）。引用していればＳ１
０に進み，引用していなければＳ６以降の処理を繰り返
す。

【００８６】Ｓ１０ データ引用の正当性の検査のため
の実引数の並びを作成する。図６の中間コードの実施例
の場合，検査プログラムの実引数の並び（ｂｘｏｐ，ａ
ｄ２，４０，４，Ａ）を作成する。

【００８７】Ｓ１１ 集合データの引用の中間コード
（ｂｘｏｐ等）の直前にデータ引用の正当性検査プログ
ラムを呼び出す中間コードを挿入する。例えば，図６の
中間コードの実施例の場合「ＣＡＬＬ ０，ｌｉｂ，ａ
ｒｇ」を作成する。その後，Ｓ６以降の処理を繰り返
す。

【００８８】Ｓ７ 以上の処理を各中間コードについて
行い，中間コードを全て検索したら，求めた中間コード
群に対して結合処理（リンク）を行い，Ｓ１２以降の処
理で実行形式のオブジェクトプログラムを生成する。

【００８９】Ｓ１２，Ｓ１３ データ引用の正当性検査
プログラムの呼出しがあるか判定し，なければＳ１５に
進み，あれば，Ｓ１４でデータ引用の正当性の検査プロ
グラムを参照するためのオブジェクトを生成する（検査
のために挿入した中間コードを実行形式プログラムに結
合するオブジェクトプログラムを生成する）。

【００９０】Ｓ１５ 全ての中間コードを機械語に変換
する。 Ｓ１６ 実行形式プログラム（オブジェクトプログラ
ム）を実行する。 オブジェクトプログラムの実行において， ベース，インデックスおよび引用されるデータの長
さの加算結果が，データ領域の先頭番地とデータ領域全
体の大きさの加算結果より大きいならば，データ領域の
不等な引用であるので，その旨を利用者に通知する。

【００９１】 ベース及びインデックスの加算結果
が，データ領域の先頭番地とデータ領域全体の大きさの
加算結果より大きいならば，データ領域の不等な引用で
あるので，その旨を利用者に通知する。

【００９２】 ベース及びインデックスの加算結果
が，データ領域の先頭番地より小さいならば，データ領
域の不等な引用であるので，その旨を利用者に通知す
る。

【００９３】

【発明の効果】本発明によれば，ソースプログラムに基
づいて生成された中間コードの集合から，ソースプログ
ラムの仕様に依存することなく，データ領域の引用の正
当性の検査のための中間コードを生成できる。そのた
め，言語仕様の変更，拡張等があっても，コンパイラ，
検査プログラムライブラリを変更する必要がなく，プロ
グラム開発の能率が大幅に向上する。

【００９４】また，本発明では，オブジェクトプログラ
ムにおいて，ソースプログラムの定義（宣言文）および
実行文に対する命令列とデータ領域の引用の正当性の検
査をする命令列の一部を共通に利用しているので，デー
タ領域の引用の正当性の検査をするコンパイルの実行時
間が短縮される。

【００９５】また，本発明では，データ領域の引用の正
当性検査に必要な中間コードをコンパイラの終了部分で
あるオブジェクトプログラム生成部において行うので，
それ以前のプログラム解析部におけるコンパイラの内部
インタフェースは検査をする場合としない場合とで共通
化できる。そのため，本発明によれば検査のために必要
な機能を実現するためのコンパイラの負担が少ない。

【図面の簡単な説明】

【図１】本発明の基本構成を示す図である。

【図２】本発明の基本構成の説明図である。

【図３】本発明の実施例構成を示す図である。

【図４】定義されたデータ領域の例を示す図である。

【図５】本発明の中間コードの実施例を示す図である。

【図６】本発明の中間コードの実施例を示す図である。

【図７】本発明のコンパイラのフローチャートを示す図
である。

【図８】本発明のコンパイラのフローチャートを示す図
である。

【図９】従来のコンパイラを示す図である。

【図１０】従来のコンパイラのフローチャートを示す図
である。

【符号の説明】

１：ソースプログラム ２：コンパイラ ２’：プログラム解析部 ３：ソース解析部 ４：意味解析部 ５：中間コード生成部 ６：オブジェクトプログラム生成部 ７：データ領域の引用の正当性検査の指定の有無を判定
する処理 ８：データ領域の引用の正当性の検査に必要な情報を検
索して，その中間コードを生成する処理 ９：データ領域の引用の正当性の検査プログラムを呼び
出す中間コードを生成する処理 １０：オブジェクトプログラムを生成する処理 １１：オブジェクトプログラム １２：検査プログラムライブラリ

Claims (4)

【特許請求の範囲】
1. 【請求項１】 ソースプログラムを基に実行可能な形式
   のオブジェクトプログラムを生成するコンパイラにおい
   て，ソースプログラムを解析して中間コードの集合を生
   成するプログラム解析部と，中間コードを結合してオブ
   ジェクトプログラムを生成するオブジェクトプログラム
   生成部とを備え，該オブジェクトプログラム生成部は中
   間コードの集合に含まれるデータ領域の引用に基づいて
   生成された中間コードを検索し，該中間コードを基に該
   定義の引用の正当性を検査する検査プログラムを呼び出
   す中間コードを該中間コードの集合に組み込むことを特
   徴とするコンパイラ。
2. 【請求項２】 データ領域の定義が配列もしくは文字列
   もしくは構造体の定義であることを特徴とする請求項１
   に記載のコンパイラ。
3. 【請求項３】 データ領域の定義情報を引数として検査
   プログラムを呼び出す中間コードを検査対象の中間コー
   ドの直前に組み込むことを特徴とする請求項１に記載の
   コンパイラ。
4. 【請求項４】 該定義の引用の正当性の検査は，引用さ
   れたデータ領域の位置を表す値が定義された範囲内にあ
   るかないかを検査するものであることを特徴とする請求
   項１もしくは２に記載のコンパイラ。