JPH07141192A - 翻訳処理方法 - Google Patents

Abstract

(57)【要約】 【目的】 翻訳時間を短縮し、スケジューリングの効率
を高めるとともに、条件コードを複数持つアーキテクチ
ャのＣＰＵに対しても効率よく使用することができる翻
訳処理方法を提供すること。 【構成】 原始プログラムから、原始プログラムの命令
に対応付けて中間テキスト命令１を生成する（ステップ
Ｓ１）。生成される中間テキスト命令１はコンピュータ
の状態変化およびリンケージ規約を個々の中間テキスト
命令１の定義オペランド１ａとして明示できる構造を備
えており、リストあるいは動的配列などにより定義オペ
ランドに複数の値を保持することができる。ついで、生
成された上記構造を持つ中間テキストに対して最適化処
理が施され（ステップＳ２）、機械語が生成される（ス
テップＳ３）。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、原始プログラムを中間
テキストに変換して機械語を生成する翻訳処理方法に関
する。原始プログラムから機械語を生成するコンパイラ
においては、原始プログラムから中間テキスト命令列か
らなる中間テキストを生成しコンパイラ内部でプログラ
ムの構造、状態を表現しているが、本発明は、上記中間
テキストの操作に関し、特に本発明は、中間テキストの
操作にかかる時間の短縮と、最適化効果を促進させるこ
とができる翻訳処理方法に関するものである。

【０００２】近年、半導体テクノロジーの進歩により、
さまざまなアーキテクチャが提案されている。特に、Ｖ
ＬＩＷや、スーパースケーラなど命令の並列・同時実行
に関する提案が顕著である。近代的なコンパイラはこれ
らのアーキテクチャの特性を活かした新しい最適化技法
を駆使して、効率の良い命令を生成できなくてはならな
い。このためにハードウェアの持つ資源を的確に表現で
きる表現方法が要望されている。本発明は上記したコン
パイラの中間テキストにおける新しい表現手法に関する
ものであり、産業上の利用分野な広い。

【０００３】

【従来の技術】コンパイラにおいては、通常、原始プロ
グラムの構造解析を行って中間テキストを生成し、生成
された中間テキストに対して最適化処理をおこない、機
械語を生成している。上記した中間テキストにおいて、
従来においては、一つの中間テキスト命令で複数の値を
定義する方法はなかった。

【０００４】また、コンピュータの状態の変化はその各
々に対して設けられた状態記述子によって記録されてお
り、例えば、変数Ａから変数Ｂを引き算した結果が、０
もしくは負であることを示す条件コードは上記のような
状態記述子によって記録される。従来、これらの状態記
述子には、状態を設定した最後の中間テキスト命令、あ
るいは、最後に定義・参照した識別子が記録されてお
り、この記録は処理が進むにつれ、次々と更新されてい
き、常に最新の情報だけが残されていた。

【０００５】さらに、変数の生死の判定をするために
は、通常の中間テキスト命令による変数の定義・参照の
他にも、関数呼び出しによるレジスタの内容の破壊など
を考慮する必要があったが、従来においては、上記レジ
スタの規約等を中間テキストの中に明示的に表現するこ
とがきなかった。

【０００６】

【発明が解決しようとする課題】上記のように、従来技
術においては次のような問題点があった。 （１）一つの中間テキスト命令で、複数の値を定義する
方法がなかった。このため、原始プログラム上の一つの
演算を複数の中間テキスト命令に分解して表現する必要
があり、下記の問題が生じていた。 一つの動作を表現するのに、複数の中間テキスト命
令を組み合わせる必要があり、特に、複素数に対する演
算を、翻訳処理の早期の時点で実数部と虚数部に分解し
て表現する必要が生じていた。

【０００７】すなわち、複素数の演算を行うには、実数
部と虚数部のそれぞれについて演算を行い、実数部の演
算の結果生じた条件コードと虚数部の演算によって生じ
た条件コードをそれぞれ記録する必要があったが、従来
においては、上記のように一つの中間テキスト命令で、
複数の値を定義する方法がなかったため、複素数の演算
において、中間テキスト命令は実数部と虚数部に分解し
て表現する必要があった。 最適化処理の一環として、ある中間テキスト命令に
移動、複写、削除などの処理を施してよいか否かの条件
が、その中間テキスト命令だけでなく、同じ動作を共有
する他の中間テキスト命令をも検査しなければ決定でき
なかった。また、実際に処理を施すときには、それらの
中間テキスト命令にも、同じ処理を施す必要があった。

【０００８】例えば、上記した複素数の演算のように、
一つの動作が実数部と虚数部に分解して表現されている
場合に、実数部の中間テキスト命令の条件のみでは、そ
の命令の移動、複写、削除などを施してよいか否かは判
断できず、虚数部の中間テキスト命令も検査する必要が
あり、また、実数部の中間テキスト命令に処理を施す場
合には、虚数部の中間テキスト命令についても、処理を
施す必要があった。 変数の生死を検査するときに、ある中間テキスト命
令で定義された変数と同じ定義点を持つ変数が別の中間
テキスト命令の上で定義されている可能性を考慮する必
要があった。

【０００９】例えば、上記したように実数部と虚数部に
中間テキスト命令が分解されている場合、複素数の演算
結果のうち、虚数部の演算結果を後で使用する必要がな
い場合であっても、実数部の演算結果を後で使用する場
合には複素数の演算結果を生かしておく必要があり、変
数の生死の検査においては、他の中間テキスト命令をも
考慮する必要があった。 例えば、関数の呼び出し処理を行う場合、パラメー
タをどのレジスタに設定するか等のプログラム作成上の
規約があり、変数の生死を検査するときには、上記特定
のレジスタに関する規約を考慮する必要があるが、従来
技術においては、一つの中間テキスト命令で、複数の値
を定義する方法がなかったため、上記規約を中間テキス
ト命令で明示的に表現することができなかった。

【００１０】以上のように、従来においては、原始プロ
グラム上の一つの演算を複数の中間テキスト命令に分解
して表現しなければならない場合があり、コンパイラの
構造が複雑になるとともに、翻訳時間を増大させるとい
う問題点が生じていた。 （２）スケジューリング技法のように、一度生成された
命令列の間で中間テキスト命令を移動させる最適化で
は、移動先でのコンピュータの状態を復元する必要があ
るが、従来技術において状態記述子が記憶しているのは
最後に状態を設定した中間テキスト命令や変数なので、
命令の移動先でのコンピュータの状態を復元することが
困難であり、スケジューリングの効率を低下させてい
た。

【００１１】すなわち、原始プログラムの順番をコンピ
ュータの処理とって都合の良い順番に並べかえるスケジ
ューリング技法においては、作成者の意図とは異なる順
番に命令がならびかえられるため、命令の移動先におい
て、元の順番のコンピュータの状態が復元される必要が
あったが、従来技術においては、命令の移動先でのコン
ピュータの状態を復元することが簡単にできなかった。 （３）複数の条件コードを持つアーキテクチャのＣＰＵ
において、演算の結果設定される条件コードを、制御構
造（処理の順序）とは独立して決定することができなか
った。すなわち、従来においては、条件コードを変数と
してあつかえず、条件コードの設定は、中間テキスト命
令を生成する時に決定しなければならず、後から変更す
ることができなかった。このため、スケジューリングの
可能性が限定されていた。

【００１２】本発明は上記した従来技術の問題点を考慮
してなされたものであって、一つの中間テキスト命令で
複数の値を定義できるようにすることにより、複素数の
処理の効率化、変数の生死の判断、スケジューリングの
容易化を図り翻訳時間を短縮するとともに、スケジュー
リングの効率を高めて生成される機械語の実行速度を増
加させることができ、さらに、条件コードを複数持つよ
うなアーキテクチャのＣＰＵに対しても効率よく使用す
ることができる翻訳処理方法を提供することを目的とす
る。

【００１３】

【課題を解決するための手段】図１は本発明の原理図で
あり、１は中間テキスト命令、１ａは定義オペランド、
１ｂはコンピュータの変化した状態を表現する識別子を
指すポインタ（状態変数）、１ｃは中間テキスト命令の
表す演算がコンピュータの状態を変化させたかどうかを
表す状態属性、２は状態変化を表現する識別子、３は複
数の定義オペランドを保持するためのリスト、４は複数
の定義オペランドを保持するための配列である。

【００１４】上記課題を解決するため、同図に示すよう
に、本発明の請求項１の発明は、原始プログラムを中間
テキストに変換し、変換した中間テキストに対して最適
化処理を行い機械語を生成する翻訳処理方法において、
演算の主作用として定義されるオペランド、および、副
作用として定義されるコンピュータの状態変化、リンケ
ージ規約を、中間テキストの個々の中間テキスト命令１
の定義オペランド１ａとして明示できるようにし、上記
中間テキスト命令１を用いて原始プログラムを中間テキ
ストに変換し機械語を生成するようにしたものである。

【００１５】本発明の請求項２の発明は、請求項１の発
明において、複数の値を一つの中間テキスト命令１で定
義できるようにしたものである。本発明の請求項３の発
明は、請求項２の発明において、コンピュータの状態変
化およびリンケージ規約を中間テキスト命令１の定義オ
ペランド１ａとして明示したものである。

【００１６】本発明の請求項４の発明は、請求項３の発
明において、コンピュータの状態変化およびリンケージ
規約を識別子２として表現したものである。本発明の請
求項５の発明は、請求項２または請求項３の発明におい
て、中間テキスト命令が定義する複数の定義オペランド
の全てをリスト３でつなぐことにより、複数の値を一つ
の中間テキスト命令１で定義できるようにしたものであ
る。

【００１７】本発明の請求項６の発明は、請求項２また
は請求項３の発明において、中間テキスト命令が定義す
る複数の定義オペランドを配列３で保持することによ
り、複数の値を一つの中間テキスト命令で定義できるよ
うにしたものである。本発明の請求項７の発明は、原始
プログラムを中間テキストに変換し、変換した中間テキ
ストに対して最適化処理を行い機械語を生成する翻訳処
理方法において、個々の中間テキスト命令に、その中間
テキスト命令の表す演算がコンピュータの状態を変化さ
せたかどうかを表す状態属性１ｃと、変化した状態を表
現する識別子を指すポインタ１ｂを設けて個々の中間テ
キスト命令１によりコンピュータの状態変化を明示でき
るようにし、上記中間テキスト命令１を用いて原始プロ
グラムを中間テキストに変換し機械語を生成するように
したものである。

【００１８】本発明の請求項８の発明は、請求項７の発
明において、状態属性１ｃと、変化した状態を表現する
識別子へのポインタ１ｂとを兼用したものである。

【００１９】

【作用】図１において、原始プログラムから、原始プロ
グラムの命令に対応付けて中間テキスト命令１を生成す
る（ステップＳ１）。生成される中間テキスト命令１は
同図に示すように、コンピュータの状態変化およびリン
ケージ規約を個々の中間テキスト命令１の定義オペラン
ド１ａとして明示できる構造を備えており、リストある
いは動的配列などにより定義オペランドに複数の値を保
持することができる。

【００２０】ついで、生成された上記構造を持つ中間テ
キストに対して最適化処理を施し（ステップＳ２）、機
械語を生成する（ステップＳ３）。本発明の請求項１の
発明においては、上記のように、コンピュータの状態変
化、リンケージ規約を個々の中間テキスト命令１の定義
オペランド１ａとして明示できる中間テキスト命令１を
用いて、原始プログラムから、原始プログラムの命令に
対応付けて中間テキストを生成しているので、演算の結
果起こる状態変化を一つの中間テキスト命令だけで表現
することができる。

【００２１】これにより、ある中間テキスト命令に最適
化処理を施してよいかどうかの判断を、その中間テキス
ト命令を検査するだけで決定することができ、また、あ
る中間テキスト命令に対する処理が必然的に他の中間テ
キスト命令に対する処理の必要性を引き起こすことがな
いので、スケジューリング処理の効率化を図ることがで
きる。また、プログラムの任意の時点におけるコンピュ
ータの状態、あるいは、状態を変化させた中間テキスト
命令を簡単に知ることができるので、スケジューリン処
理を単純化することができる。

【００２２】その結果、コンパイラの構造が単純化さ
れ、翻訳時間を短縮させることができ、さらに生成され
る機械語命令の効率を高めて実行速度を向上させること
が可能となる。本発明の請求項２ないし請求項６の発明
においては、複数の値を一つの中間テキスト命令１で定
義できるようにしたので、請求項１の発明の効果に加
え、複素数の演算など、複数の変数を定義する演算を一
つの中間テキスト命令だけで表現することができ、演算
と中間テキスト命令を１対１に対応付けることができ
る。このため、ある変数と定義点を同じくする変数が必
ず同じ中間テキスト命令に記載されるようになる。

【００２３】また、複数の条件コードを持つアーキテク
チャのＣＰＵで、演算に対する状態の割り当てを一般の
レジスタの割り当てと同じような手法で解決でき、制御
構造（処理の流れ）から独立して決定することができる
ので、スケジューリング処理の可能性を高めることがで
きる。その結果、請求項１の発明と同様、コンパイラの
構造が単純化され、翻訳時間を短縮させることができ、
さらに生成される機械語命令の効率を高めて実行速度を
向上させることが可能となる。

【００２４】本発明の請求項７の発明においては、個々
の中間テキスト命令に、その中間テキスト命令の表す演
算がコンピュータの状態を変化させたかどうかを表す状
態属性１ｃと、変化した状態を表現する識別子を指すポ
インタ１ｂを設けて個々の中間テキスト命令１によりコ
ンピュータの状態変化を明示できるようにしたので、請
求項１ないし請求項６の発明と同様の効果を得ることが
できる。

【００２５】本発明の請求項８の発明においては、請求
項７の発明において、状態属性１ｃと、変化した状態を
表現する識別子へのポインタ１ｂとを兼用したので、請
求項７の発明と同様な効果を得ることができるととも
に、中間テキスト命令の構造を簡単にすることができ
る。

【００２６】

【実施例】図２は本発明が適用されるコンパイラの構成
を示す図であり、同図において、２１は原始プログラム
の構造を解析する構造解析部、２２は原始プログラムよ
り中間テキストを生成する中間テキスト生成部、２３は
中間テキストを生成する際に参照される中間テキスト命
令生成表である。また、２４は生成された中間テキスト
命令の順番をコンピュータの処理とって都合の良い順番
に並べかえたり、命令を融合する等の最適化処理を行う
最適化処理部、２５は最適化された命令から機械語を生
成する機械語生成部である。

【００２７】同図において、構造解析部２１において解
析された原始プログラム中の命令文は、中間テキスト生
成部２２でそれぞれに対応する中間テキスト命令に翻訳
される。この時、中間テキスト生成部２２は中間テキス
ト命令生成表２３を参照して、該中間テキスト命令が参
照・定義する変数の個数、変化させるコンピュータの状
態、命令の実施にともなうリンケージ規約を知る。そし
て、参照する変数は参照オペランドに割り当て、定義す
る変数、変化させる状態、リンケージ規約に関する情報
は定義オペランドに割り当てる。

【００２８】最適化処理部２４は上記のようにして生成
された中間テキスト命令を検査して検査結果に基づき最
適化処理を施す。機械語生成部２５は最適化処理が施さ
れた命令より機械語を生成する。次に、上記した中間テ
キスト生成部２２において、演算の結果起こる状態変化
を中間テキスト命令を用いて表現する本発明の実施例に
ついて説明する。

【００２９】図３は本発明の第１の実施例を示す図であ
り、本実施例は複数の定義オペランドをリストをつない
で保持する実施例を示している。同図において、３１は
中間テキスト命令、３１ａは中間テキスト命令における
定義オペランド、３１ｂは参照オペランドであり、参照
オペランド３１ｂには識別子３２ａ，３２ｂの格納位置
を示すポインタが格納され、また、定義オペランド３１
ａにはリスト・セル３３の格納位置を示すポインタが格
納される。さらに、リスト・セル３３のセル３３ａには
次のリスト・セル３４の格納位置を示すポインタが格納
され、リスト・セル３３，３４のセル３３ｂ，３４ｂに
はそれぞれ、識別子３５，３６の格納位置を示すポイン
タが格納される。

【００３０】そして、例えば、参照オペランド３１ｂが
指す識別子３２ａ，３２ｂには変数が格納され、定義オ
ペランド３１ａが指す識別子３５および識別子３６には
それぞれ上記変数の演算結果および演算の結果起こる状
態変化が格納される。また、同様にリストをつないでい
けば、さらに多くの定義オペランドを保持することがで
きる。

【００３１】本実施例においては、上記のようにリスト
をつないで複数の定義オペランドを保持しているので、
定義する変数、変化させる状態、リンケージ規約などの
複数の情報を定義オペランドが保持することができる。
図４は本発明の第２の実施例を示す図であり、本実施例
は動的配列を用意し、複数の定義オペランドを配列内に
保持する実施例を示している。

【００３２】同図において、３１は中間テキスト命令、
３１ａは中間テキスト命令における定義オペランド、３
１ｂは参照オペランドであり、参照オペランド３１ｂに
は識別子３２ａ，３２ｂの格納位置を示すポインタが格
納され、定義オペランド３１ａには配列４１の格納位置
を示すポインタが格納されている。また、配列４１の要
素４１ａには識別子３５の格納位置を示すポインタが格
納され、配列４１の要素４１ｂには、識別子３６の格納
位置を示すポインタが格納される。

【００３３】そして、第１の実施例と同様に、定義オペ
ランド３１ａが指す識別子３５には、例えば、参照オペ
ランド３１ｂが指す変数の演算結果が格納され、識別子
３６には演算の結果起こる状態変化が格納される。ま
た、配列の要素は定義オペランドの数に応じて動的に確
保され、定義オペランドの数が多くなれば、それに応じ
た配列が確保される。

【００３４】本実施例においては、上記のように定義オ
ペランドの値が一つ以上であるときに、その個数に合わ
せて必要な配列を動的に確保し、そこに定義オペランド
を格納するので、第１の実施例と同様、定義する変数、
変化させる状態、リンケージ規約などの複数の情報を定
義オペランドが保持することができる。図５は本発明の
第３の実施例を示す図であり、本実施例は特定の個数の
識別子を保持できる構造体を用いて定義オペランドを保
持する実施例を示している。すなわち、本実施例におい
ては、上記構造体を用意し、中間テキスト命令のポイン
タが識別子を指すのではなく、その構造体を指すように
することにより複数の定義オペランドを保持する。

【００３５】同図において、３１は中間テキスト命令、
３１ａは中間テキスト命令における定義オペランド、３
１ｂは参照オペランドであり、参照オペランド３１ｂに
は識別子３２ａ，３２ｂの格納位置を示すポインタが格
納され、また、定義オペランド３１ａには構造体５１の
格納位置を示すポインタが格納されている。また、構造
体５１の主要素５１ａには識別子３５の格納位置を示す
ポインタが格納され、副要素５１ｂには、識別子３６の
格納位置を示すポインタが格納される。

【００３６】そして、第１、第２の実施例と同様に、定
義オペランド３１ａが指す識別子３５には、例えば、参
照オペランド３１ｂが指す変数の演算結果が格納され、
識別子３６には演算の結果起こる状態変化が格納され
る。本実施例においては、上記のように複数の定義オペ
ランドを保持する構造体を用いて複数の定義オペランド
を保持しているので、第１、第２の実施例と同様、定義
する変数、変化させる状態、リンケージ規約などの複数
の情報を定義オペランドが保持することができる。

【００３７】図６は本発明の第４の実施例を示す図であ
り、本実施例は状態変化を中間テキスト命令の定義オペ
ランドに記録する実施例を示している。同図において、
３１は中間テキスト命令、３１ａは中間テキスト命令に
おける定義オペランド、３１ｂは参照オペランドであ
り、参照オペランド３１ｂには識別子３２ａ，３２ｂの
格納位置を示すポインタが格納され、定義オペランド３
１ａには状態を表す識別子６１の格納位置を示すポイン
タが格納されている。

【００３８】そして、本実施例においては、識別子６１
の型を示す属性の属性値の集合に「コンピュータの状態
を表す属性値」を加えている。すなわち、識別子６１が
表すデータの型として、変数、定数、アドレスなどの他
に、コンピュータの状態を表す型を追加し、前記した条
件コードのようなコンピュータの状態を識別子６１で表
現できるようにする。

【００３９】本実施例においては、上記のように識別子
の型にコンピュータの状態を表す型を追加しているの
で、状態変化を識別子で表現することができる。これに
より、上記「コンピュータの状態を表す属性」を持つ変
数が通常のレジスタに割り付けることができないような
アーキテクチャを持つハードウェアを、そのような制限
を持たないアーキテクチャと同様の手段で取り扱うこと
ができる。

【００４０】図７は本発明の第５の実施例を示す図であ
り、本実施例は中間テキスト命令に状態属性と状態変数
を持たせた実施例を示している。同図において、３１は
中間テキスト命令、３１ａは中間テキスト命令における
定義オペランド、３１ｂは参照オペランドであり、参照
オペランド３１ｂには識別子３２ａ，３２ｂの格納位置
を示すポインタが格納され、定義オペランド３１ａには
識別子３５の格納位置を示すポインタが格納されてい
る。

【００４１】また、３１ｃは状態変数であり、状態変数
３１ｃには状態を表す識別子７１が格納された位置を示
すポインタが格納され、識別子７１には条件コードのよ
うなコンピュータの状態を記録することができる。３１
ｄは中間テキスト命令が状態を変化させたかどうかを表
す状態属性であり、識別子７１にコンピュータの状態の
変化が記録されているか否かが上記状態属性を参照する
ことにより判別することができる。

【００４２】本実施例においては、上記のように、中間
テキスト命令に、定義オペランドとは別にその中間テキ
スト命令が状態を変化させたか否かを示す状態属性を持
たせ、また、識別子の型にコンピュータの状態を表す型
を追加しているので、中間テキスト命令にコンピュータ
の状態の変化を記録することができる。図８は本発明の
第６の実施例を示す図であり、本実施例は中間テキスト
命令に状態属性兼用状態変数を持たせた実施例を示して
いる。

【００４３】同図において、３１は中間テキスト命令、
３１ａは中間テキスト命令における定義オペランド、３
１ｂは参照オペランドであり、参照オペランド３１ｂに
は識別子３２ａ，３２ｂの格納位置を示すポインタが格
納され、定義オペランド３１ａには識別子３５の格納位
置を示すポインタが格納されている。また、３１ｃは状
態属性の表示を兼用した状態変数であり、状態変数３１
ｃには、コンピュータの状態の変化が無い場合にはポイ
ンタ値として使われることのない例えば０などの所定の
値が記録され、コンピュータの状態変化がある場合には
識別子８１の格納位置を示すポインタが格納される。

【００４４】本実施例においては、上記のように、中間
テキスト命令に、定義オペランドとは別に、その中間テ
キスト命令が状態を変化させたか否かの属性表示を兼ね
た、状態を表現する識別子を指すポインタを設けたの
で、第５の実施例と同様、中間テキスト命令にコンピュ
ータの状態の変化を記録することができる。図９は本発
明の第７の実施例を示す図であり、本実施例は中間テキ
スト命令に複数の定義オペランドを持たせた実施例を示
している。

【００４５】同図において、３１は中間テキスト命令、
３１ａ−１ないし３１ａ−ｎは中間テキスト命令におけ
る定義オペランド、３１ｂは参照オペランドであり、参
照オペランド３１ｂには識別子３２ａ，３２ｂの格納位
置を示すポインタが格納され、定義オペランド３１ａ−
１ないし３１ａ−ｎには状態を表す識別子３５−１ない
し３５−ｎの格納位置を示すポインタが格納されてい
る。

【００４６】また、３１ｅは定義オペランドの個数表示
部、３１ｆは参照オペランドの個数表示部である。本実
施例においては、上記のように、中間テキスト命令が持
つ定義オペランドの個数に対する制限をなくし、一つの
中間テキスト命令が幾つの定義・参照オペランドを持つ
かを中間テキスト命令の中に表示しているので、定義す
る変数、変化させる状態、リンケージ規約などの複数の
情報を定義オペランドが保持することができる。

【００４７】図１０は本発明の中間テキスト生成部にお
ける処理を示すフローチャートであり、同図は条件コー
ドを表す識別子を生成し定義オペランドとして中間命令
に与える処理を示しており、同図により中間テキスト生
成部における処理を説明する。ステップＳ１において、
構造解析部２１で構造解析された原始プログラム中の命
令文について、中間テキスト命令生成表２３を検索して
生成すべき中間命令を得る。ステップＳ２において、上
記のようにして得た命令が参照するオペランドを検索す
る。

【００４８】ステップＳ３において、命令が条件コード
を変化させるか否かを判別し、条件コードを変化させる
場合には、ステップＳ４に行き、条件コードを表す識別
子を作り、定義オペランドとして命令に与える。すなわ
ち、第１ないし第７の実施例に示した手法により、中間
テキスト命令の定義オペランドに条件コードを表す識別
子を作る。

【００４９】また、命令が条件コードを変化させない場
合には、ステップＳ５に行き、テンポラリ変数を表す識
別子を作り、定義オペランドとして命令に与える。図１
１は本発明の中間テキスト生成部において生成された中
間テキスト命令に対する最適化処理の一例を示す図であ
り、同図は、減算命令と比較命令を融合させる最適化処
理を示している。

【００５０】同図のステップＲ１において、中間テキス
ト命令が減算命令か否かを判別し、演算命令でない場合
には、終了する。また減算命令の場合には、ステップＲ
２に行き、当該オペランドと同じ参照オペランドを持つ
比較命令を探索する。ステップＲ３において、そのよう
な比較命令があったか否かを判別し、無い場合には終了
する。また、そのような比較命令がある場合には、ステ
ップＲ４に行き、特定の個数の識別子を保持できる構造
体を作り、減算命令の定義オペランドを第１要素、比較
命令の定義オペランドを第２要素とする。ついで、ステ
ップＲ５において、減算比較命令を新たに生成する。新
たに生成された命令の参照オペランドは元の減算・比較
命令と同じであり、定義オペランドは特定の個数の識別
子を保持できる構造体である。そして、新たに生成され
た減算比較命令の定義オペランドには、減算命令による
減算結果と、比較命令における比較結果が記録される。

【００５１】図１２は、図１１と同様、本発明の中間テ
キスト生成部において生成された中間テキスト命令に対
する最適化処理の他の例を示す図であり、同図は加減・
論理演算命令と比較命令を融合させる最適化処理を示し
ている。同図のステップＴ１において、中間テキスト命
令が加減・論理演算命令か否かを判別し、加減・論理演
算命令でない場合には終了する。また加減・論理演算命
令の場合には、ステップＴ２に行き、演算命令の定義オ
ペランドと０を比較する命令を検索する。

【００５２】ステップＴ３において、そのような比較命
令があったか否かを判別し、無い場合には終了する。ま
た、そのような比較命令がある場合には、ステップＴ４
に行き、特定の個数の識別子を保持できる構造体を作
り、演算命令の定義オペランドを第１要素、比較命令の
定義オペランドを第２要素とする。ついで、ステップＴ
５において、減算比較命令を新たに生成する。新たに生
成された命令の参照オペランドは元の演算命令と同じで
あり、定義オペランドは特定の個数の識別子を保持でき
る構造体である。

【００５３】本発明においては、前記した実施例に示し
たように中間テキスト命令の定義オペランドに複数の値
を定義することができるので、図１１、図１２に示すよ
うに減算命令あるいは加減・論理演算命令と比較命令を
融合する最適化処理を行うことができ、最適化効果を促
進させることができる。なお、上記フローチャートにお
いては、特定の個数の識別子を保持できる構造体を用い
る実施例を示したが、第１ないし第７の実施例のうち中
間テキスト命令に複数の値を定義できる他の方法を用い
ることもできる。

【００５４】図１３は複素数を演算する中間テキスト命
令を示す図であり、同図（ａ）は従来の中間テキスト命
令を示し、（ｂ）は本発明における中間テキスト命令を
示しており、３１ａないし３１ｃ，３１ａ−１ないし３
１ａ−３は識別子である。従来においては、中間テキス
ト命令で複数の値を定義することができなかったので、
同図（ａ）に示すように、複素数に対する演算を実数
部、虚数部に分解して表現する必要があった。また、条
件コードを各中間テキスト命令に割り当てることができ
なかったので、前記したように、中間テキスト命令を移
動、複写あるいは削除してよいかを一つの中間テキスト
命令の検査だけで決定することができず、さらに、変数
の生死の検査は一つの中間テキスト命令の検査だけでな
く、同じ定義点を持つ中間命令をも考慮する必要があっ
た。

【００５５】一方、本発明においては、中間テキスト命
令で複数の値を定義することができるので、同図（ｂ）
に示すように、複素数演算の定義オペランドの識別子３
１ａ−１，３１ａ−２，３１ａ−３に、それぞれ実数
部、虚数部、および条件コードを割り当てることがで
き、複素数に対する演算を１命令で表現することができ
る。

【００５６】

【発明の効果】以上説明したように、本発明は、中間テ
キスト命令の構造を、コンピュータの状態変化およびリ
ンケージ規約を個々の中間テキスト命令の定義オペラン
ド１ａとして明示できるようにし、また、定義オペラン
ドに複数の値を保持することができるようにしたので次
の効果を得ることができる。 複素数の演算など、複数の変数を定義する演算を一
つの中間テキスト命令だけで表現することができるの
で、翻訳時間を短縮することができる。 原始プログラムにおける変数の定義点を中間テキス
ト命令が保持することができるので、テンポラリ変数の
生死の判断が容易となり、翻訳時間を短縮することがで
きる。 コンピュータの状態、リンケージ規約を中間テキス
トの中で明示的に表現することができるので、スケジュ
ーリングを容易にすることができ、翻訳時間を短縮する
ことができる。また、スケジューリング効率を向上させ
ることができるので、生成される機械語の実行速度を増
加させることができる。 条件コードを複数持つアーキテクチャのＣＰＵに対
して、条件コードを一般のレジスタと同様の手段で効率
よく使用することができ、スケジューリング処理の可能
性を高めることができる。

【図面の簡単な説明】

【図１】本発明の原理図である。

【図２】本発明が適用されるコンパイラの構成を示す図
である。

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

【図４】本発明の第２の実施例を示す図である。

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

【図６】本発明の第４の実施例を示す図である。

【図７】本発明の第５の実施例を示す図である。

【図８】本発明の第６の実施例を示す図である。

【図９】本発明の第７の実施例を示す図である。

【図１０】本発明における中間テキスト生成処理のフロ
ーチャートである。

【図１１】減算命令と比較命令を融合させる最適化処理
のフローチャートである。

【図１２】加減・論理演算と比較命令を融合させる最適
化処理のフローチャートである。

【図１３】複素数を演算する中間テキスト命令を示す図
である。

【符号の説明】

１，３１ 中間テキスト
命令 １ａ，３１ａ 定義オペラン
ド １ｂ，３１ｃ 状態変数 １ｃ，３１ｄ 状態属性 ２，３２ａ，３２ｂ，３５，３６，６１，７１，８１
識別子 ２１ 構造解析部 ２２ 中間テキスト
生成部 ２３ 中間テキスト
命令生成表 ２４ 最適化処理部 ２５ 機械語生成部 ３ リスト ３１ｂ 参照オペラン
ド ３１ｅ 定義オペラン
ド個数表示部 ３１ｆ 参照オペラン
ド個数表示部 ３３，３４ リスト・セル ４，４１ 配列 ５１ 構造体

───────────────────────────────────────────────────── フロントページの続き (72)発明者 林 正和 神奈川県川崎市中原区上小田中1015番地 富士通株式会社内

Claims (8)

【特許請求の範囲】
1. 【請求項１】 原始プログラムを中間テキストに変換
   し、変換した中間テキストに対して最適化処理を行い機
   械語を生成する翻訳処理方法において、 演算の主作用として定義されるオペランド、および、副
   作用として定義されるコンピュータの状態変化、リンケ
   ージ規約を、中間テキストの個々の中間テキスト命令
   (1) の定義オペランドとして明示できるようにし、 上記中間テキスト命令(1) を用いて原始プログラムを中
   間テキストに変換することを特徴とする翻訳処理方法。
2. 【請求項２】 複数の値を一つの中間テキスト命令(1)
   で定義できるようにしたことを特徴とする請求項１の翻
   訳処理方法。
3. 【請求項３】 コンピュータの状態変化およびリンケー
   ジ規約を中間テキスト命令(1) の定義オペランドとして
   明示したことを特徴とする請求項２の翻訳処理方法。
4. 【請求項４】 コンピュータの状態変化およびリンケー
   ジ規約を識別子(2)として表現したことを特徴とする請
   求項３の翻訳処理方式。
5. 【請求項５】 中間テキスト命令(1) が定義する複数の
   定義オペランドの全てをリスト(3) でつなぐことによ
   り、複数の値を一つの中間テキスト命令(1) で定義でき
   るようにしたことを特徴とする請求項２または請求項３
   の翻訳処理方法。
6. 【請求項６】 中間テキスト命令(1) が定義する複数の
   定義オペランドを配列(4) で保持することにより、複数
   の値を一つの中間テキスト命令(1) で定義できるように
   したことを特徴とする請求項２または請求項３の翻訳処
   理方法。
7. 【請求項７】 原始プログラムを中間テキストに変換
   し、変換した中間テキストに対して最適化処理を行い機
   械語を生成する翻訳処理方法において、 個々の中間テキスト命令(1) に、その中間テキスト命令
   (1) の表す演算がコンピュータの状態を変化させたかど
   うかを表す状態属性(1c)と、変化した状態を表現する識
   別子を指すポインタ(1b)を設けて個々の中間テキスト命
   令(1) によりコンピュータの状態変化を明示できるよう
   にし、 上記中間テキスト命令(1) を用いて原始プログラムを中
   間テキストに変換することを特徴とする翻訳処理方法。
8. 【請求項８】状態属性(1c)と、変化した状態を表現する
   識別子へのポインタ(1b)とを兼用したことを特徴とする
   請求項７の翻訳処理方法。