JP3049814B2 - マイクロコンピュータの言語処理装置 - Google Patents
マイクロコンピュータの言語処理装置Info
- Publication number
- JP3049814B2 JP3049814B2 JP3104878A JP10487891A JP3049814B2 JP 3049814 B2 JP3049814 B2 JP 3049814B2 JP 3104878 A JP3104878 A JP 3104878A JP 10487891 A JP10487891 A JP 10487891A JP 3049814 B2 JP3049814 B2 JP 3049814B2
- Authority
- JP
- Japan
- Prior art keywords
- variable area
- variable
- proc
- access memory
- routine
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Lifetime
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
Description
【０００１】
【産業上の利用分野】本発明は、マイクロコンピュータ
に利用され、特に、マイクロコンピュータ内部に、命令
によって高速にデータの読み出し、書き込み可能な特定
のメモリ領域としての、高速アクセスメモリを持つ、マ
イクロコンピュータ用の言語処理プログラムの実行方式
に関する。
に利用され、特に、マイクロコンピュータ内部に、命令
によって高速にデータの読み出し、書き込み可能な特定
のメモリ領域としての、高速アクセスメモリを持つ、マ
イクロコンピュータ用の言語処理プログラムの実行方式
に関する。
【０００２】
【従来の技術】言語処理プログラムが、入力したソース
を翻訳し、その結果として生成したファイルをオブジェ
クトモジュール（以下、オブジェクトという。）とい
う。
を翻訳し、その結果として生成したファイルをオブジェ
クトモジュール（以下、オブジェクトという。）とい
う。
【０００３】マイクロコンピュータを選ぶ場合、低コス
ト化を考え、安いチップを使用するために、性能が悪く
なる。そのため、プログラムを開発する場合、言語処理
結果であるオブジェクトの実行が速いこと、およびオブ
ジェクトのサイズが小さいことを期待する。
ト化を考え、安いチップを使用するために、性能が悪く
なる。そのため、プログラムを開発する場合、言語処理
結果であるオブジェクトの実行が速いこと、およびオブ
ジェクトのサイズが小さいことを期待する。
【０００４】一般にマイクロコンピュータの言語処理に
おいては、短い命令コードによりアクセスできるメモリ
領域を持つことが普通であり、これを高速アクセスメモ
リと呼ぶ。短い命令コードによりアクセスできるため、
命令バイト数を小さくすることができるだけでなく、命
令フェッチおよび命令デコードが高速にできるために命
令実行時間も短くなる利点がある。
おいては、短い命令コードによりアクセスできるメモリ
領域を持つことが普通であり、これを高速アクセスメモ
リと呼ぶ。短い命令コードによりアクセスできるため、
命令バイト数を小さくすることができるだけでなく、命
令フェッチおよび命令デコードが高速にできるために命
令実行時間も短くなる利点がある。
【０００５】従来の言語処理プログラムの実行方式で
は、マイクロコンピュータが高速アクセスメモリを持っ
ていた場合でも、高速アクセスメモリは通常のメモリよ
りメモリサイズが小さく、メモリの割り付けについては
考慮されていなかったため、すべての変数を通常のメモ
リに割り当てていた。
は、マイクロコンピュータが高速アクセスメモリを持っ
ていた場合でも、高速アクセスメモリは通常のメモリよ
りメモリサイズが小さく、メモリの割り付けについては
考慮されていなかったため、すべての変数を通常のメモ
リに割り当てていた。
【０００６】
【発明が解決しようとする課題】前述したように、従来
のマイクロコンピュータにおける言語処理プログラムの
実行方式では、変数を高速アクセスメモリにではなく、
通常のメモリに割り当てていた。
のマイクロコンピュータにおける言語処理プログラムの
実行方式では、変数を高速アクセスメモリにではなく、
通常のメモリに割り当てていた。
【０００７】一般に通常のメモリのデータの読み出し、
書き込みスピードは高速アクセスメモリのデータの読み
出し、書き込みスピードよりかなり遅くなるため、従来
の言語処理プログラムの実行方式では、高速な変数の操
作を含むオブジェクトを生成できない欠点があった。さ
らに、一般に通常のメモリのデータの読み出し、書き込
みのオブジェクトコードは、高速アクセスメモリのデー
タの読み出し、書き込みのオブジェクトコードよりバイ
ト数が大きいため、限られた高速アクセスメモリに格納
できるコンパクトなオブジェクトを生成できない欠点が
あった。
書き込みスピードは高速アクセスメモリのデータの読み
出し、書き込みスピードよりかなり遅くなるため、従来
の言語処理プログラムの実行方式では、高速な変数の操
作を含むオブジェクトを生成できない欠点があった。さ
らに、一般に通常のメモリのデータの読み出し、書き込
みのオブジェクトコードは、高速アクセスメモリのデー
タの読み出し、書き込みのオブジェクトコードよりバイ
ト数が大きいため、限られた高速アクセスメモリに格納
できるコンパクトなオブジェクトを生成できない欠点が
あった。
【０００８】本発明の目的は、前記の欠点を除去するこ
とにより、高速な変数の操作を含み、かつコンパクトな
オブジェクトを生成できる言語処理プログラムの実行方
式を有するマイクロコンピュータの言語処理装置を提供
することにある。
とにより、高速な変数の操作を含み、かつコンパクトな
オブジェクトを生成できる言語処理プログラムの実行方
式を有するマイクロコンピュータの言語処理装置を提供
することにある。
【０００９】
【課題を解決するための手段】本発明は、高速にデータ
の読み出し書き込み可能な高速アクセスメモリと、ソー
スプログラム情報を入力して解析しオブジェクト情報を
出力する言語処理プログラム実行手段とを備えたマイク
ロコンピュータの言語処理装置において、前記言語処理
プログラム実行手段は、前記ソースプログラムの各サブ
ルーチンが使用する変数領域を計算する変数領域解析手
段と、各サブルーチンの呼び出しの相関関係のフローグ
ラフを作成するフローグラフ生成手段と、前記変数領域
のサイズおよび前記フローグラフからプログラム全体が
使用する最大変数領域を計算する最大変数領域検出手段
と、この計算された最大変数領域が前記高速アクセスメ
モリの領域よりも小さい場合、前記高速アクセスメモリ
に変数を割り付けたオブジェクト情報を出力する出力手
段とを含むことを特徴とする。
の読み出し書き込み可能な高速アクセスメモリと、ソー
スプログラム情報を入力して解析しオブジェクト情報を
出力する言語処理プログラム実行手段とを備えたマイク
ロコンピュータの言語処理装置において、前記言語処理
プログラム実行手段は、前記ソースプログラムの各サブ
ルーチンが使用する変数領域を計算する変数領域解析手
段と、各サブルーチンの呼び出しの相関関係のフローグ
ラフを作成するフローグラフ生成手段と、前記変数領域
のサイズおよび前記フローグラフからプログラム全体が
使用する最大変数領域を計算する最大変数領域検出手段
と、この計算された最大変数領域が前記高速アクセスメ
モリの領域よりも小さい場合、前記高速アクセスメモリ
に変数を割り付けたオブジェクト情報を出力する出力手
段とを含むことを特徴とする。
【００１０】
【作用】入力されるソースプログラムについて、変数領
域解析手段により、そのサブルーチンの使用する変数領
域を計算し、フロー生成手段により各サブルーチンの呼
び出しの相関関係のフローグラフを作成し、最大変数領
域検出手段により前記変数領域のサイズとフローグラフ
からプログラム全体が使用する最大変数領域を計算す
る。そして、出力手段によりこの計算された最大変数領
域が高速アクセスメモリの領域よりも小さいときは、高
速アクセスメモリに変数を割り付けたオブジェクト情報
を出力する。
域解析手段により、そのサブルーチンの使用する変数領
域を計算し、フロー生成手段により各サブルーチンの呼
び出しの相関関係のフローグラフを作成し、最大変数領
域検出手段により前記変数領域のサイズとフローグラフ
からプログラム全体が使用する最大変数領域を計算す
る。そして、出力手段によりこの計算された最大変数領
域が高速アクセスメモリの領域よりも小さいときは、高
速アクセスメモリに変数を割り付けたオブジェクト情報
を出力する。
【００１１】従って、高速な変数の操作を含み、かつコ
ンパクトなオブジェクトを生成することが可能となる。
ンパクトなオブジェクトを生成することが可能となる。
【００１２】
【実施例】以下、本発明の実施例について図面を参照し
て説明する。
て説明する。
【００１３】図１は本発明の一実施例を示すブロック構
成図である。本実施例は、高速にデータの読み出し書き
込み可能な高速アクセスメモリ１１０と、ソースプログ
ラム情報を入力ファイル１０１から入力部１０３により
入力して解析しオブジェクト情報を出力ファイル１０６
に出力する言語処理プログラム実行手段１０２とを備え
たマイクロコンピュータの言語処理装置において、本発
明の特徴とするところの、言語処理プログラム実行手段
１０２は、前記ソースプログラムの各サブルーチンが使
用する変数領域を計算する変数領域解析手段としての変
数領域解析部１０７と、各サブルーチンの呼び出しの相
関関係のフローグラフを作成するフローグラフ生成手段
としてのフローグラフ生成部１０８と、前記変数領域の
サイズおよび前記フローグラフからプログラム全体が使
用する最大変数領域を計算する最大変数領域検出手段と
しての最大変数領域検出部１０９と、この計算された最
大変数領域が高速アクセスメモリ１１０の領域よりも小
さい場合、高速アクセスメモリ１１０に変数を割り付け
たオブジェクト情報を出力する出力手段としての出力部
１０５とを含んでいる。そして、変数領域解析部１０
７、フローグラフ生成部１０８および最大変数領域検出
部１０９は構文解析部１０４に含まれる。
成図である。本実施例は、高速にデータの読み出し書き
込み可能な高速アクセスメモリ１１０と、ソースプログ
ラム情報を入力ファイル１０１から入力部１０３により
入力して解析しオブジェクト情報を出力ファイル１０６
に出力する言語処理プログラム実行手段１０２とを備え
たマイクロコンピュータの言語処理装置において、本発
明の特徴とするところの、言語処理プログラム実行手段
１０２は、前記ソースプログラムの各サブルーチンが使
用する変数領域を計算する変数領域解析手段としての変
数領域解析部１０７と、各サブルーチンの呼び出しの相
関関係のフローグラフを作成するフローグラフ生成手段
としてのフローグラフ生成部１０８と、前記変数領域の
サイズおよび前記フローグラフからプログラム全体が使
用する最大変数領域を計算する最大変数領域検出手段と
しての最大変数領域検出部１０９と、この計算された最
大変数領域が高速アクセスメモリ１１０の領域よりも小
さい場合、高速アクセスメモリ１１０に変数を割り付け
たオブジェクト情報を出力する出力手段としての出力部
１０５とを含んでいる。そして、変数領域解析部１０
７、フローグラフ生成部１０８および最大変数領域検出
部１０９は構文解析部１０４に含まれる。
【００１４】次に、本実施例の動作について説明する。
なお、各サブルーチン中の関数呼び出しには、再帰的呼
び出しはないものとし、取り扱う変数はサブルーチン内
の変数のみとする。
なお、各サブルーチン中の関数呼び出しには、再帰的呼
び出しはないものとし、取り扱う変数はサブルーチン内
の変数のみとする。
【００１５】変数領域解析部１０７の処理は、既存の言
語処理プログラムの構文解析部が行っている処理を流用
することにより実現可能である。また、フローグラフ生
成部１０８の処理についても、既存の言語処理プログラ
ムの構文解析部が出力する情報により実現可能である。
語処理プログラムの構文解析部が行っている処理を流用
することにより実現可能である。また、フローグラフ生
成部１０８の処理についても、既存の言語処理プログラ
ムの構文解析部が出力する情報により実現可能である。
【００１６】図２は、変数領域解析部１０７およびフロ
ーグラフ生成部１０８から生成された各サブルーチンの
変数領域のサイズおよび関数呼び出しのフローグラフで
ある。名前ｍａｉｎ、Ｐｒｏｃ １等はサブルーチン
名、数字２、６等は各サブルーチンの変数領域のサイズ
である。変数領域のサイズの単位はバイトである。
ーグラフ生成部１０８から生成された各サブルーチンの
変数領域のサイズおよび関数呼び出しのフローグラフで
ある。名前ｍａｉｎ、Ｐｒｏｃ １等はサブルーチン
名、数字２、６等は各サブルーチンの変数領域のサイズ
である。変数領域のサイズの単位はバイトである。
【００１７】図３は、図１の最大変数領域検出部１０９
における処理のフローチャートである。
における処理のフローチャートである。
【００１８】本実施例では、最大変数領域検出部１０９
における処理ルーチン名をｇｅｔｓｔａｃｋとし、図２
に示す内容のフローグラフを最大変数領域検出部１０９
の入力情報とする。さらに、関数を呼ぶ側を親、関数を
呼ばれる側を子供、および関数呼び出しがない関数をリ
ーフ関数という。図２で例えば、Ｐｒｏｃ１はｍａｉｎ
の子供であり、Ｐｒｏｃ ３の親である。Ｐｒｏｃ ５
はリーフ関数である。
における処理ルーチン名をｇｅｔｓｔａｃｋとし、図２
に示す内容のフローグラフを最大変数領域検出部１０９
の入力情報とする。さらに、関数を呼ぶ側を親、関数を
呼ばれる側を子供、および関数呼び出しがない関数をリ
ーフ関数という。図２で例えば、Ｐｒｏｃ１はｍａｉｎ
の子供であり、Ｐｒｏｃ ３の親である。Ｐｒｏｃ ５
はリーフ関数である。
【００１９】最大変数領域検出ルーチンｇｅｔ ｓｔａ
ｃｋは、ルーチンｍａｉｎからスタートし、リーフ関数
に至るまで再帰的に処理を行う。ルーチンがリーフ関数
である場合、ｇｅｔ ｓｔａｃｋはリーフ関数が使用す
る変数領域のサイズを返す。ルーチンがリーフ関数でな
い場合、ルーチンの子供に渡って各サブルーチンに関し
て変数領域を計算させ、その結果の最大値をルーチンの
変数領域のサイズとして返す。
ｃｋは、ルーチンｍａｉｎからスタートし、リーフ関数
に至るまで再帰的に処理を行う。ルーチンがリーフ関数
である場合、ｇｅｔ ｓｔａｃｋはリーフ関数が使用す
る変数領域のサイズを返す。ルーチンがリーフ関数でな
い場合、ルーチンの子供に渡って各サブルーチンに関し
て変数領域を計算させ、その結果の最大値をルーチンの
変数領域のサイズとして返す。
【００２０】変数領域解析部１０７およびフローグラフ
生成部１０８から生成されたフローグラフは、最大変数
領域検出部１０９において、図３に示す手順で処理され
る。
生成部１０８から生成されたフローグラフは、最大変数
領域検出部１０９において、図３に示す手順で処理され
る。
【００２１】リーフ関数判定処理ステップ３０１は、現
在処理中のルーチンがリーフ関数であるか否かを判定す
る。もし、現在処理中のルーチンがリーフ関数であれ
ば、変数領域返却処理ステップ３０９に移る。そうでな
ければ、初期化処理ステップ３０２に移る。初期化処理
ステップ３０２は、子供が使用する変数領域のサイズで
最大のものを格納するメモリ領域（以下、ｍａｘとい
う。）および子供の数をカウントするメモリ領域（以
下、ｃｏｕｎｔという。）を０に初期化する。
在処理中のルーチンがリーフ関数であるか否かを判定す
る。もし、現在処理中のルーチンがリーフ関数であれ
ば、変数領域返却処理ステップ３０９に移る。そうでな
ければ、初期化処理ステップ３０２に移る。初期化処理
ステップ３０２は、子供が使用する変数領域のサイズで
最大のものを格納するメモリ領域（以下、ｍａｘとい
う。）および子供の数をカウントするメモリ領域（以
下、ｃｏｕｎｔという。）を０に初期化する。
【００２２】子供数判定処理ステップ３０３は、ｃｏｕ
ｎｔが子供の数より小さいか否かを判定する。もし、ｃ
ｏｕｎｔが子供の数より小さければ、変数領域検出処理
ステップ３０４に移る。そうでなければ、子供に対する
すべての処理が終了したと判定され、変数領域返却処理
ステップ３０８に移る。変数領域検出処理ステップ３０
４は、子供が使用する変数領域のサイズで最大のものを
検出するために、ｇｅｔ ｓｔａｃｋの再帰的呼び出し
を行う。
ｎｔが子供の数より小さいか否かを判定する。もし、ｃ
ｏｕｎｔが子供の数より小さければ、変数領域検出処理
ステップ３０４に移る。そうでなければ、子供に対する
すべての処理が終了したと判定され、変数領域返却処理
ステップ３０８に移る。変数領域検出処理ステップ３０
４は、子供が使用する変数領域のサイズで最大のものを
検出するために、ｇｅｔ ｓｔａｃｋの再帰的呼び出し
を行う。
【００２３】変数領域判定処理ステップ３０５は、変数
領域検出処理ステップ３０４で検出された変数領域のサ
イズがｍａｘより大きいか否かを判定する。もし、前記
サイズがｍａｘより大きければ、変数領域設定処理ステ
ップ３０６に移る。そうでなければ、子供数カウント処
理ステップ３０７に移る。
領域検出処理ステップ３０４で検出された変数領域のサ
イズがｍａｘより大きいか否かを判定する。もし、前記
サイズがｍａｘより大きければ、変数領域設定処理ステ
ップ３０６に移る。そうでなければ、子供数カウント処
理ステップ３０７に移る。
【００２４】変数領域設定処理ステップ３０６は、変数
領域検出処理ステップ３０４で検出された変数領域のサ
イズをｍａｘに設定する。子供数カウント処理ステップ
３０７は、ｃｏｕｎｔの内容に１を加える。変数領域返
却処理ステップ３０８は、ｍａｘの内容に現在処理中の
ルーチンの変数領域のサイズを加えたものを返す。変数
領域返却処理ステップ３０９は、現在処理中のルーチン
の変数領域のサイズを返す。
領域検出処理ステップ３０４で検出された変数領域のサ
イズをｍａｘに設定する。子供数カウント処理ステップ
３０７は、ｃｏｕｎｔの内容に１を加える。変数領域返
却処理ステップ３０８は、ｍａｘの内容に現在処理中の
ルーチンの変数領域のサイズを加えたものを返す。変数
領域返却処理ステップ３０９は、現在処理中のルーチン
の変数領域のサイズを返す。
【００２５】以下、図２に示した内容のフローグラフが
最大変数領域検出部１０９に入力されて、ルーチンｍａ
ｉｎの変数領域の最大値である２０を返す処理を説明す
る。
最大変数領域検出部１０９に入力されて、ルーチンｍａ
ｉｎの変数領域の最大値である２０を返す処理を説明す
る。
【００２６】まず、第一レベルとして、ルーチンｍａｉ
ｎが使用する変数領域の最大値を計算するために、ｍａ
ｉｎの子供であるＰｒｏｃ １、Ｐｒｏｃ ２、Ｐｒｏ
ｃ４、Ｐｒｏｃ ５、Ｆｕｎｃ １およびＦｕｎｃ ２
の六つに対して変数領域を計算させ、各変数領域のサイ
ズの中の最大値にルーチンｍａｉｎの変数領域のサイズ
を加えたものをルーチンｍａｉｎの使用変数領域の最大
値とする。
ｎが使用する変数領域の最大値を計算するために、ｍａ
ｉｎの子供であるＰｒｏｃ １、Ｐｒｏｃ ２、Ｐｒｏ
ｃ４、Ｐｒｏｃ ５、Ｆｕｎｃ １およびＦｕｎｃ ２
の六つに対して変数領域を計算させ、各変数領域のサイ
ズの中の最大値にルーチンｍａｉｎの変数領域のサイズ
を加えたものをルーチンｍａｉｎの使用変数領域の最大
値とする。
【００２７】第二レベルとして、ルーチンＰｒｏｃ
２、Ｐｒｏｃ ５およびＦｕｎｃ ２がリーフ関数であ
るため、それぞれ変数領域のサイズとして１６、８およ
び２を返す。次に、ルーチンＰｒｏｃ １が使用する変
数領域の最大値を計算するために、Ｐｒｏｃ １の子供
であるＰｒｏｃ ３、Ｐｒｏｃ ４およびＰｒｏｃ ５
の三つに対して変数領域を計算させ、各変数領域のサイ
ズの中の最大値にルーチンＰｒｏｃ １の変数領域のサ
イズを加えたものをルーチンＰｒｏｃ１の使用変数領域
の最大値とする。ルーチンＰｒｏｃ ４およびＦｕｎｃ
１に対してもルーチンＰｒｏｃ １と同様な処理を行
う。
２、Ｐｒｏｃ ５およびＦｕｎｃ ２がリーフ関数であ
るため、それぞれ変数領域のサイズとして１６、８およ
び２を返す。次に、ルーチンＰｒｏｃ １が使用する変
数領域の最大値を計算するために、Ｐｒｏｃ １の子供
であるＰｒｏｃ ３、Ｐｒｏｃ ４およびＰｒｏｃ ５
の三つに対して変数領域を計算させ、各変数領域のサイ
ズの中の最大値にルーチンＰｒｏｃ １の変数領域のサ
イズを加えたものをルーチンＰｒｏｃ１の使用変数領域
の最大値とする。ルーチンＰｒｏｃ ４およびＦｕｎｃ
１に対してもルーチンＰｒｏｃ １と同様な処理を行
う。
【００２８】第三レベルとして、ルーチンＰｒｏｃ
５、Ｆｕｎｃ ２およびＦｕｎｃ ３がリーフ関数であ
るため、それぞれ変数領域のサイズとして、８、２およ
び０を返す。次に、ルーチンＰｒｏｃ ３が使用する変
数領域の最大値を計算するために、Ｐｒｏｃ ３の子供
であるＰｒｏｃ ５に対して変数領域を計算させ、前記
変数領域のサイズにルーチンＰｒｏｃ ３の変数領域の
サイズを加えたものをルーチンＰｒｏｃ ３の使用変数
領域の最大値とする。ルーチンＰｒｏｃ ４に対しても
ルーチンＰｒｏｃ ３と同様な処理を行う。
５、Ｆｕｎｃ ２およびＦｕｎｃ ３がリーフ関数であ
るため、それぞれ変数領域のサイズとして、８、２およ
び０を返す。次に、ルーチンＰｒｏｃ ３が使用する変
数領域の最大値を計算するために、Ｐｒｏｃ ３の子供
であるＰｒｏｃ ５に対して変数領域を計算させ、前記
変数領域のサイズにルーチンＰｒｏｃ ３の変数領域の
サイズを加えたものをルーチンＰｒｏｃ ３の使用変数
領域の最大値とする。ルーチンＰｒｏｃ ４に対しても
ルーチンＰｒｏｃ ３と同様な処理を行う。
【００２９】第四レベルとして、ルーチンＰｒｏｃ ５
およびＦｕｎｃ ３がリーフ関数であるため、それぞれ
変数領域のサイズとして８および０を返す。
およびＦｕｎｃ ３がリーフ関数であるため、それぞれ
変数領域のサイズとして８および０を返す。
【００３０】次に、第三レベルに戻ると、ルーチンＰｒ
ｏｃ ３が使用する変数領域の最大値は、８にルーチン
Ｐｒｏｃ ３の変数領域のサイズ４を加えた１２であ
る。ルーチンＰｒｏｃ ４に対してもルーチンＰｒｏｃ
３と同様に求めると１０となる。従って、ルーチンＰ
ｒｏｃ ３、Ｐｒｏｃ ４、Ｐｒｏｃ ５、Ｆｕｎｃ２
およびＦｕｎｃ ３が使用する変数領域の最大値は、そ
れぞれ１２、１０、８、２および０である。
ｏｃ ３が使用する変数領域の最大値は、８にルーチン
Ｐｒｏｃ ３の変数領域のサイズ４を加えた１２であ
る。ルーチンＰｒｏｃ ４に対してもルーチンＰｒｏｃ
３と同様に求めると１０となる。従って、ルーチンＰ
ｒｏｃ ３、Ｐｒｏｃ ４、Ｐｒｏｃ ５、Ｆｕｎｃ２
およびＦｕｎｃ ３が使用する変数領域の最大値は、そ
れぞれ１２、１０、８、２および０である。
【００３１】第二レベルに戻ると、ルーチンＰｒｏｃ
１が使用する変数領域の最大値は、１２、１０および８
の中の最大値１２にルーチンＰｒｏｃ １の変数領域の
サイズ６を加えた１８である。ルーチンＰｒｏｃ ４お
よびＦｕｎｃ １に対してもルーチンＰｒｏｃ １と同
様に求めると１０および１０となる。従って、ルーチン
Ｐｒｏｃ １、Ｐｒｏｃ ２、Ｐｒｏｃ ４、Ｐｒｏｃ
５、Ｆｕｎｃ １およびＦｕｎｃ ２が使用する変数
領域の最大値は、それぞれ１８、１６、１０、８、１０
および２である。
１が使用する変数領域の最大値は、１２、１０および８
の中の最大値１２にルーチンＰｒｏｃ １の変数領域の
サイズ６を加えた１８である。ルーチンＰｒｏｃ ４お
よびＦｕｎｃ １に対してもルーチンＰｒｏｃ １と同
様に求めると１０および１０となる。従って、ルーチン
Ｐｒｏｃ １、Ｐｒｏｃ ２、Ｐｒｏｃ ４、Ｐｒｏｃ
５、Ｆｕｎｃ １およびＦｕｎｃ ２が使用する変数
領域の最大値は、それぞれ１８、１６、１０、８、１０
および２である。
【００３２】第一レベルに戻ると、ルーチンｍａｉｎが
使用する変数領域の最大値は、１８、１６、１０、８、
１０および２の中の最大値１８にルーチンｍａｉｎの変
数領域のサイズ２を加えた２０となる。
使用する変数領域の最大値は、１８、１６、１０、８、
１０および２の中の最大値１８にルーチンｍａｉｎの変
数領域のサイズ２を加えた２０となる。
【００３３】一般に、マイクロコンピュータが持つ高速
アクセスメモリ１１０のメモリサイズは１２８バイトか
ら２５６バイト程度であり、本実施例では、プログラム
全体の変数領域の最大サイズが２０バイトであり、高速
アクセスメモリ１１０のメモリサイズより小さいので、
高速アクセスメモリ１１０に変数を割り付けることがで
きる。
アクセスメモリ１１０のメモリサイズは１２８バイトか
ら２５６バイト程度であり、本実施例では、プログラム
全体の変数領域の最大サイズが２０バイトであり、高速
アクセスメモリ１１０のメモリサイズより小さいので、
高速アクセスメモリ１１０に変数を割り付けることがで
きる。
【００３４】図４は入力ファイル１０１の内容であるソ
ースプログラム４００の説明図である。左側の数字とそ
れに続くコロンは、ソースプログラム中の行番号を表し
ている。
ースプログラム４００の説明図である。左側の数字とそ
れに続くコロンは、ソースプログラム中の行番号を表し
ている。
【００３５】図５は図４のソースプログラムの変数を通
常のメモリに割り当てた場合のソースプログラムの５行
目のオブジェクトコード５００を示す説明図および図６
は図４のソースプログラムの変数を高速アクセスメモリ
１１０に割り当てた場合のソースプログラムの５行目の
オブジェクトコード６００を示す説明図である。
常のメモリに割り当てた場合のソースプログラムの５行
目のオブジェクトコード５００を示す説明図および図６
は図４のソースプログラムの変数を高速アクセスメモリ
１１０に割り当てた場合のソースプログラムの５行目の
オブジェクトコード６００を示す説明図である。
【００３６】図５および図６の各命令は、表１の命令セ
ットに従う。
ットに従う。
【００３７】
【表１】 ここで、表１の命令セットは、「ニーモニック 第一オ
ペランド、第二オペランド」の形式を持つ。また、ｎｏ
ｖｗ命令は第二オペランドの内容を第一オペランドに格
納する。ａｄｄｗ命令は第一オぺランドに第二オペラン
ドの内容を加える。
ペランド、第二オペランド」の形式を持つ。また、ｎｏ
ｖｗ命令は第二オペランドの内容を第一オペランドに格
納する。ａｄｄｗ命令は第一オぺランドに第二オペラン
ドの内容を加える。
【００３８】また、図４のソースプログラム中のｔｏｔ
ａｌ、ｄａｔａ１およびｄａｔａ２は、図６では高速ア
クセスメモリ領域のＨＲＯ１、ＨＲＯ２およびＨＲＯ３
に相当する。
ａｌ、ｄａｔａ１およびｄａｔａ２は、図６では高速ア
クセスメモリ領域のＨＲＯ１、ＨＲＯ２およびＨＲＯ３
に相当する。
【００３９】表１より、図５に示したオブジェクトコー
ド５００の各行の命令の、バイト数は、合計で１３バイ
トとなり、クロック数は合計で５０クロックとなる。こ
れに対し、図６に示したオブジェクトコード６００の各
行の命令のバイト数合計で６バイトとなり、クロック数
は合計で２５クロックとなる。
ド５００の各行の命令の、バイト数は、合計で１３バイ
トとなり、クロック数は合計で５０クロックとなる。こ
れに対し、図６に示したオブジェクトコード６００の各
行の命令のバイト数合計で６バイトとなり、クロック数
は合計で２５クロックとなる。
【００４０】以上の説明により、プログラム全体の変数
領域の最大サイズが高速アクセスメモリのメモリサイズ
より小さい場合には、高速アクセスメモリに変数を割り
付けることができ、高速な変数の操作を含むオブジェク
トを生成し、さらに、コンパクトなオブジェクトを生成
できる。
領域の最大サイズが高速アクセスメモリのメモリサイズ
より小さい場合には、高速アクセスメモリに変数を割り
付けることができ、高速な変数の操作を含むオブジェク
トを生成し、さらに、コンパクトなオブジェクトを生成
できる。
【００４１】
【発明の効果】以上説明したように、本発明は、従来の
言語処理プログラムの実行方式を有するマイクロコンピ
ュータでは実現できなかった高速アクセスメモリへの変
数の割り付けを行うことによって、高速な変数の操作を
含むオブジェクトを生成できるとともに、コンパクトな
オブジェクトを生成できる効果がある。また、実施例で
はサブルーチン内の変数のみを扱っていたが、サブルー
チン外の変数についても同様に扱えば、一つのファイル
内のすべての変数を高速アクセスメモリに割り付けるこ
とも可能であり、一層の優れた効果を得ることができ
る。
言語処理プログラムの実行方式を有するマイクロコンピ
ュータでは実現できなかった高速アクセスメモリへの変
数の割り付けを行うことによって、高速な変数の操作を
含むオブジェクトを生成できるとともに、コンパクトな
オブジェクトを生成できる効果がある。また、実施例で
はサブルーチン内の変数のみを扱っていたが、サブルー
チン外の変数についても同様に扱えば、一つのファイル
内のすべての変数を高速アクセスメモリに割り付けるこ
とも可能であり、一層の優れた効果を得ることができ
る。
【図１】 本発明の一実施例を示すブロック構成図。
【図２】 そのフローグラフの一例を示す説明図。
【図３】 その最大変数領域検出部における処理手順を
示すフローチャート。
示すフローチャート。
【図４】 ソースプログラムの一例を示す説明図。
【図５】 変数を通常のメモリに割り当てた場合のオブ
ジェクトコードの一例を示す説明図。
ジェクトコードの一例を示す説明図。
【図６】 変数を高速アクセスメモリに割り当てた場合
のオブジェクトコードの一例を示す説明図。
のオブジェクトコードの一例を示す説明図。
１０１ 入力ファイル １０２ 言語処理プログラム実行手段 １０３ 入力部 １０４ 構文解析部 １０５ 出力部 １０６ 出力ファイル １０７ 変数領域解析部 １０８ フローグラフ生成部 １０９ 最大変数領域検出部 １１０ 高速アクセスメモリ ３０１〜３０９ 処理ステップ ４００ ソースプログラム ５００、６００ オブジェクトコード
Claims (1)
- 【請求項１】 高速にデータの読み出し書き込み可能な
高速アクセスメモリと、 ソースプログラム情報を入力して解析しオブジェクト情
報を出力する言語処理プログラム実行手段とを備えたマ
イクロコンピュータの言語処理装置において、 前記言語処理プログラム実行手段は、前記ソースプログ
ラムの各サブルーチンが使用する変数領域を計算する変
数領域解析手段と、 各サブルーチンの呼び出しの相関関係のフローグラフを
作成するフローグラフ生成手段と、 前記変数領域のサイズおよび前記フローグラフからプロ
グラム全体が使用する最大変数領域を計算する最大変数
領域検出手段と、 この計算された最大変数領域が前記高速アクセスメモリ
の領域よりも小さい場合、前記高速アクセスメモリに変
数を割り付けたオブジェクト情報を出力する出力手段と
を含むことを特徴とするマイクロコンピュータの言語処
理装置。
Priority Applications (4)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3104878A JP3049814B2 (ja) | 1991-04-09 | 1991-04-09 | マイクロコンピュータの言語処理装置 |
| US07/864,605 US5283901A (en) | 1991-04-09 | 1992-04-07 | Microcomputer with high speed access memory and language processing program execution system |
| EP92106083A EP0508412B1 (en) | 1991-04-09 | 1992-04-08 | Microcomputer with rapid-access memory and compiler optimised for use therewith |
| DE69228084T DE69228084T2 (de) | 1991-04-09 | 1992-04-08 | Mikrorechner mit Hochgeschwindigkeitsspeicher und optimisierter Compiler dafür |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3104878A JP3049814B2 (ja) | 1991-04-09 | 1991-04-09 | マイクロコンピュータの言語処理装置 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH04311227A JPH04311227A (ja) | 1992-11-04 |
| JP3049814B2 true JP3049814B2 (ja) | 2000-06-05 |
Family
ID=14392460
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP3104878A Expired - Lifetime JP3049814B2 (ja) | 1991-04-09 | 1991-04-09 | マイクロコンピュータの言語処理装置 |
Country Status (4)
| Country | Link |
|---|---|
| US (1) | US5283901A (ja) |
| EP (1) | EP0508412B1 (ja) |
| JP (1) | JP3049814B2 (ja) |
| DE (1) | DE69228084T2 (ja) |
Families Citing this family (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5517629A (en) * | 1992-08-26 | 1996-05-14 | Boland; R. Nick K. | Methods for analyzing computer program performance |
| WO1994025917A1 (en) * | 1993-04-26 | 1994-11-10 | Comdisco Systems, Inc. | Method for scheduling synchronous data flow graphs |
| JP3233245B2 (ja) * | 1993-07-01 | 2001-11-26 | 日本電気株式会社 | 言語処理方法 |
| JPH0934725A (ja) * | 1995-07-15 | 1997-02-07 | Nec Corp | 言語処理装置及び言語処理方法 |
| JP3060907B2 (ja) * | 1995-07-28 | 2000-07-10 | 日本電気株式会社 | 言語処理プログラムの処理方式 |
| US7275242B2 (en) * | 2002-10-04 | 2007-09-25 | Hewlett-Packard Development Company, L.P. | System and method for optimizing a program |
| US20200050783A1 (en) * | 2017-03-02 | 2020-02-13 | Mitsubishi Electric Corporation | Information processing device and computer readable medium |
Family Cites Families (6)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5043870A (en) * | 1982-02-24 | 1991-08-27 | At&T Bell Laboratories | Computer with automatic mapping of memory contents into machine registers during program execution |
| US4897780A (en) * | 1984-10-09 | 1990-01-30 | Wang Laboratories, Inc. | Document manager system for allocating storage locations and generating corresponding control blocks for active documents in response to requests from active tasks |
| US4782444A (en) * | 1985-12-17 | 1988-11-01 | International Business Machine Corporation | Compilation using two-colored pebbling register allocation method such that spill code amount is invariant with basic block's textual ordering |
| JP2749039B2 (ja) * | 1987-11-06 | 1998-05-13 | 株式会社日立製作所 | オブジェクト生成方法 |
| US5161216A (en) * | 1989-03-08 | 1992-11-03 | Wisconsin Alumni Research Foundation | Interprocedural slicing of computer programs using dependence graphs |
| EP0458512A3 (en) * | 1990-05-24 | 1993-03-24 | American Telephone And Telegraph Company | Visible cache processing |
-
1991
- 1991-04-09 JP JP3104878A patent/JP3049814B2/ja not_active Expired - Lifetime
-
1992
- 1992-04-07 US US07/864,605 patent/US5283901A/en not_active Expired - Fee Related
- 1992-04-08 DE DE69228084T patent/DE69228084T2/de not_active Expired - Fee Related
- 1992-04-08 EP EP92106083A patent/EP0508412B1/en not_active Expired - Lifetime
Also Published As
| Publication number | Publication date |
|---|---|
| DE69228084T2 (de) | 1999-08-19 |
| DE69228084D1 (de) | 1999-02-18 |
| JPH04311227A (ja) | 1992-11-04 |
| EP0508412A2 (en) | 1992-10-14 |
| EP0508412B1 (en) | 1999-01-07 |
| EP0508412A3 (en) | 1993-06-16 |
| US5283901A (en) | 1994-02-01 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Krall | Efficient JavaVM just-in-time compilation | |
| US6353925B1 (en) | System and method for lexing and parsing program annotations | |
| US7596783B2 (en) | Methods and apparatus to implement annotation based thunking | |
| US5586328A (en) | Module dependency based incremental compiler and method | |
| JP5325925B2 (ja) | Ｎベースタイプの演算式の最適化 | |
| US6363522B1 (en) | Method and apparatus for handling exceptions as normal control flow | |
| US8732678B2 (en) | Methods and apparatus for dynamic best fit compilation of mixed mode instructions | |
| US20040019770A1 (en) | Optimization apparatus, compiler program, optimization method and recording medium | |
| EP1063585A2 (en) | Operation code encoding | |
| Hummel et al. | Annotating the Java bytecodes in support of optimization | |
| Gries et al. | Some ideas on data types in high-level languages | |
| US7086044B2 (en) | Method, article of manufacture and apparatus for performing automatic intermodule call linkage optimization | |
| CN109460237A (zh) | 代码的编译方法及装置 | |
| JP3049814B2 (ja) | マイクロコンピュータの言語処理装置 | |
| JP3437932B2 (ja) | 配列レンジ・チェックのためのコード生成方法及び装置、並びにバージョニング方法及び装置 | |
| EP0708940B1 (en) | Multiple entry point method dispatch | |
| WO2001050242A2 (en) | Program profiling | |
| JP2000353097A (ja) | 低密回の干渉グラフを生成する方法および装置 | |
| US6973645B2 (en) | Compiler, operation processing system and operation processing method | |
| CN113900657A (zh) | 读取数据规则的方法和电子设备、存储介质 | |
| Bose | Instruction set design for support of high-level languages | |
| JP2932812B2 (ja) | 言語処理プログラム実行装置 | |
| Gray | Declarative specifications for automatically constructed compilers | |
| JP3018783B2 (ja) | コンパイル方式 | |
| JPH07129408A (ja) | 言語処理プログラムの実行方式 |