JPH11175351A - プログラム変換装置、高級言語プログラム内アセンブラ表現方法および記録媒体 - Google Patents

Abstract

(57)【要約】 （修正有） 【課題】 高級言語プログラム中に記述したアセンブラ
命令のオペランドに変数を指定し、効率的に資源割り付
けを行なうプログラム変換装置を提供する。 【解決手段】 アセンブラ命令処理部８により、ソース
プログラム中のアセンブラ命令記述文を読み込み、アセ
ンブラ命令記述文のオペランドに指定されている変数の
解析を行なう。資源割付部４のアセンブラ命令解析部に
おいて、アセンブラ命令記述文のオペランドに指定され
ている変数に対して優先的に資源割付処理を行なう。こ
れにより、アセンブラ命令記述文に対して効率的に資源
が割り付けられるため、アセンブラ命令の高速動作を可
能にする。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、高級言語プログラ
ムを機械語プログラムに変換するプログラム変換装置
と、高級言語プログラム内アセンブラ表現方法と、プロ
グラム変換装置が出力する機械命令列が記録された記録
媒体に関するものである。

【０００２】

【従来の技術】近年、組み込み機器におけるプログラム
開発においても、プログラムの規模が加速的に増大して
いる。それに伴って、プログラムの開発効率を高めるた
め、あるいはプログラムの再利用化を図るために、従来
行なわれていた機械語あるいはアセンブラによるプログ
ラム開発に代わり、Ｃ言語などの高級プログラミング言
語によるプログラム開発が盛んに行なわれるようになっ
た。

【０００３】高級プログラミング言語を用いれば、プロ
グラマはプログラム中の数値の保持、演算、転送等の処
理を、変数を被演算子とした演算（ステップ）で表現で
きる。この変数はプログラマによって任意に定義され、
また必要な個数だけ用いられるため、プログラマは自由
にプログラムを記述できる。また、記述されたプログラ
ム（ソースプログラムと称す）は、コンパイルされるこ
とにより、コンピュータが理解可能な機械語プログラム
となる。当該機械語プログラム中の機械語命令は、レジ
スタ、メモリ、即値等を被演算子とし、上記変数はレジ
スタあるいはメモリに割り付けられる。

【０００４】このように、高級プログラミング言語によ
るプログラム開発では、プログラマにわかりやすい表現
でプログラムを自由に記述することができる。さらにプ
ログラマは、プログラム中のどの変数が機械語プログラ
ムにおけるレジスタあるいはメモリに対応するのかを意
識することなくプログラムを記述することができ、汎用
性にすぐれている。

【０００５】高級プログラミング言語によるプログラム
開発では、以上のような利点がある一方、高級プログラ
ミング言語によって記述されたプログラムからコンピュ
ータが理解可能な機械語プログラムに変換する際に、冗
長な命令が生成されることがあり、コードサイズおよび
プログラムの実行速度に影響を及ぼす場合がある。

【０００６】組み込み機器においては、コストパフォー
マンスを上げるため、プロセッサの能力を最大限に稼働
させることが要求される。このように高速動作が要求さ
れるような所では、冗長な命令が許されない。なぜな
ら、冗長な命令が即プロセッサの性能低下につながるか
らである。

【０００７】従って、高速動作が要求される部分につい
ては、従来と同じくアセンブラによるプログラミングが
行なわれる場合がある。

【０００８】コンパイラによっては、これらのアセンブ
ラ命令をＣ言語などの高級言語プログラム中で記述し
て、そのアセンブラ命令を直接出力することが出来る。
その記述例として、Ｆｒｅｅ Ｓｏｆｔｗａｒｅ Ｆｏ
ｕｎｄａｔｉｏｎのＣ言語コンパイラＧＣＣを図１８に
示す。

【０００９】図１８（ａ）には、Ｃ言語プログラムをア
センブラプログラムに変換するコンパイラの構成図を示
す。また図１８（ｂ）には、Ｃ言語プログラムをＧＣＣ
を使ってコンパイルする際に、Ｃ言語プログラム中にア
センブラ命令を直接記述する際の記述法を示している。

【００１０】先頭の文字列ａｓｍは、以下の記述文がア
センブラ命令の直接記述であることを示しており、その
直後の’（’から末尾の；の直前の’）’までにアセン
ブラ命令に関する記述を行なう。次の”から”までの間
の文字列は、アセンブラ命令名およびオペランドを表し
ている。図１８（ｂ）の例では、最初のｓｗａｐがアセ
ンブラ命令名を表し、次の％０、％１がオペランドを表
している。％の後ろの数字は何番目に記述された変数に
対応しているかを表している。文字列の後の：で区切ら
れた領域にはＣ言語プログラム中の変数名および割り付
けたいハードウェア資源の種類を設定する。例えば、ａ
の部分はｆｒｏｍという名前の変数をレジスタ（ｒ）に
割り付けることを表している。従って、図１８（ｂ）の
記述例が表している意味は、アセンブラ命令はｓｗａｐ
命令で、その第一オペランドはレジスタに割り付けられ
た変数ｆｒｏｍ、第二オペランドはレジスタに割り付け
られた変数ｔｏを表していることになる。

【００１１】この例のように、”から”の間の文字列に
％が記述されている場合、文字列の後ろにＣ言語プログ
ラム中の変数を記述することが出来る。このような記述
をした場合、ｓｗａｐ命令に割り当てられるハードウェ
ア資源をあらかじめ指定しておく必要はなく、コンパイ
ラの処理中に変数に割り当てられたハードウェア資源を
自動的に設定する。そのため、コンパイラの最適化や変
数のハードウェア資源への割り付けに関して制約が少な
くなるため、より効率の良いコードを出力することが出
来る。

【００１２】

【発明が解決しようとする課題】しかしながら、上記従
来技術のプログラム変換装置においては、アセンブラ命
令記述文で指定されている変数に、効率良くハードウェ
ア資源が割り付けられない場合がある。そのソースプロ
グラム例を図１９に示す。図１９では、関数ｆｕｎｃ１
内に自動変数が多く宣言されており、宣言された自動変
数の数がレジスタ資源の数よりも多いとする。図１９の
プログラムにおいて、アセンブラ命令記述文では、第
一、第二オペランドとして共にレジスタを割り付けられ
ることが指定されている。更に、関数内の自動変数の数
よりもレジスタ数の方が少ないので、アセンブラ記述文
で指定されている変数に対してレジスタが割り当てられ
ない場合がある。この場合の対処法として、以下の２通
りの方法がある。

【００１３】まず一つめの方法は、全てのレジスタに自
動変数を割り付けられるだけ割り付け、アセンブラ命令
記述文でレジスタが必要となった場合に、いずれかのレ
ジスタの内容をメモリに退避し、アセンブラ命令記述文
でレジスタを使用した後に、再びメモリに退避した内容
をレジスタに復元させる方法である。この方法で資源割
り付けした結果を図２０（１）に示す。この例ではレジ
スタの数は４本としている。矢印Ｐがこの方法によって
生成された退避、復元の転送命令である。

【００１４】しかしこの方法では、アセンブラ命令記述
文が出現するたびに、レジスタの内容を退避、復元する
転送命令が生成される可能性がある。特にアセンブラ命
令記述文が直接記述されているような部分は、プログラ
ムの高速動作が要求されている場合が多いので、これら
の転送命令の生成によって性能の低下を招いてしまうと
いう欠点がある。

【００１５】二つめの方法は、レジスタの一部を作業用
レジスタとして確保しておき、アセンブラ命令記述文で
レジスタが必要になったときに、このレジスタに変数の
内容を転送し、アセンブラ命令記述文で利用する方法で
ある。この方法で資源割り付けした結果を図２０（２）
に示す。この例ではレジスタの数は４本としており、作
業用レジスタとしてＲ２、Ｒ３を確保しているものとす
る。矢印Ｑがこの方法によって生成された転送命令であ
り、メモリに割り付けられた変数の内容を作業用レジス
タに転送している。

【００１６】しかしこの方法では、レジスタの一部を作
業用レジスタとして利用しており、この作業用レジスタ
に変数を割り付けることが出来ないため、変数の値を保
持しておくために利用できるレジスタ数が少なくなり、
多くの変数がメモリに割り付けられることになる。その
結果、変数の演算を行なうたびにメモリからレジスタへ
の転送命令が多く出現し、プログラムの性能低下を招い
てしまうという欠点がある。

【００１７】

【課題を解決するための手段】この課題を解決するため
に、本発明の請求項１記載のプログラム変換装置は、高
級言語プログラムをアセンブラプログラムに変換するプ
ログラム変換装置において、前記プログラム変換装置は
前記高級言語プログラムの文法を解析する構文解析部
と、前記高級言語プログラムを前記プログラム変換装置
内部のデータ形式の中間コードを生成する中間コード生
成部と、前記中間コードに対して最適化処理を行なう最
適化部と、前記高級言語プログラム内の変数をレジスタ
やメモリ等のハードウェア資源に割当を行なう資源割付
部と、前記中間コードからアセンブラプログラムを生成
するコード生成部と、高級言語プログラム内でのアセン
ブラ命令記述の解析を行ない、中間コードを生成するア
センブラ命令処理部とを備え、前記資源割付部は、前記
アセンブラ命令処理部によって生成された中間コードに
対して、前記中間コードの内容を解析し、前記中間コー
ドに対して優先的に資源割り付けを行なうアセンブラ命
令解析部を備えたものである。

【００１８】また、本発明の請求項２記載のプログラム
変換装置は、請求項１記載のアセンブラ命令処理部に対
して、該アセンブラ命令処理部の入力アセンブラ命令記
述からアセンブラ命令名を取得するオペコード指定部
と、前記入力アセンブラ命令記述からオペランドを取得
するオペランド指定部を備え、前記オペランド指定部
は、前記入力アセンブラ命令記述のオペランドに対応す
る前記高級言語プログラム中の変数を取得するオペラン
ド変数指定部を備え、前記アセンブラ命令解析部は、前
記オペランド変数指定部で取得した変数に割り当てられ
た資源要素を前記アセンブラ命令のオペランドとするよ
うにしたものである。

【００１９】また、本発明の請求項３記載のプログラム
変換装置は、請求項２記載のアセンブラ命令解析部に対
して、前記オペランド変数指定部で指定された変数に対
して、資源要素の割付順序の優先度を高くするオペラン
ド変数割付優先手段を備え、前記割付手段は前記オペラ
ンド変数割付優先手段によって設定された優先度に基づ
いて、順に資源要素の割付処理を行なうようにしたもの
である。

【００２０】また、本発明の請求項４記載のプログラム
変換装置は、請求項２または３記載のアセンブラ命令解
析部に対して、前記オペランド変数指定部で指定された
変数を一時変数に置き換える一時変数置換手段を備え、
前記割付手段は、前記一時変数置換手段によって置き換
えられた一時変数を前記入力アセンブラ命令記述のオペ
ランドであると解釈し、一時変数への資源要素の割付処
理を行なうようにしたものである。

【００２１】また、本発明の請求項５記載のプログラム
変換装置は、請求項２から４のいずれか記載のオペラン
ド指定部に対して、前記入力アセンブラ命令のオペラン
ドに割り付けられるべき資源要素を取得するオペランド
資源指定部を備え、前記アセンブラ命令解析部は、前記
オペランド資源属性指定部で取得した資源要素を前記ア
センブラ命令のオペランドとして割り付けるようにした
ものである。

【００２２】また、本発明の請求項６記載のプログラム
変換装置は、請求項２から４のいずれか記載のオペラン
ド指定部に対して、前記入力アセンブラ命令のオペラン
ドに割り付けられるべき資源要素の種類を取得するオペ
ランド資源属性指定部を備え、前記アセンブラ命令解析
部は、前記オペランド資源属性指定部で取得した種類の
資源要素を前記アセンブラ命令のオペランドとして割り
付けるようにしたものである。

【００２３】また、本発明の請求項７記載のプログラム
変換装置は、請求項６記載のオペランド資源属性指定部
に対して、レジスタ資源を指定するレジスタ資源指定部
とメモリ資源を指定するメモリ資源指定部を備えるよう
にしたものである。

【００２４】また、本発明の請求項８記載のプログラム
変換装置は、請求項７記載のレジスタ資源指定部に対し
て、アドレスレジスタ資源を指定するアドレスレジスタ
資源指定部と、データレジスタ資源を指定するデータレ
ジスタ資源指定部を備えるようにしたものである。

【００２５】また、本発明の請求項９記載のプログラム
変換装置は、高級言語プログラムをアセンブラプログラ
ムに変換するプログラム変換装置において、前記プログ
ラム変換装置は前記高級言語プログラムの文法を解析す
る構文解析部と、前記高級言語プログラムを前記プログ
ラム変換装置内部のデータ形式の中間コードを生成する
中間コード生成部と、前記中間コードに対して最適化処
理を行なう最適化部と、資源要素に割付済みの割付対象
の生存区間と、次に割り付ける資源要素との関係を解析
して、次に割り付ける割付対象にどの資源要素が適切か
を示す得失値を、各資源要素について計算する得失値計
算手段と、前記得失値計算手段により計算された得失値
を前記資源要素について正規化する得失値正規化手段
と、前記得失値正規化手段によって正規化された得失値
の大きさに応じて、割付対象にいずれかの資源要素を割
り付ける割付手段とを含み、前記高級言語プログラム内
の変数をレジスタやメモリ等のハードウェア資源に割当
を行なう資源割付部と、前記中間コードからアセンブラ
プログラムを生成するコード生成部とを備えるようにし
たものである。

【００２６】また、本発明の請求項１０記載のプログラ
ム変換装置は、請求項１記載のプログラム変換装置に対
して、高級言語プログラム内でのアセンブラ命令記述の
解析を行ない、中間コードを生成するアセンブラ命令処
理部を備え、前記資源割付部は、前記アセンブラ命令処
理部によって生成された中間コードに対して、前記中間
コードの内容を解析し、前記中間コードに対して優先的
に資源割り付けを行なうアセンブラ命令解析部を備える
ようにしたものである。

【００２７】また、本発明の請求項１１記載の高級言語
プログラム内アセンブラ表現方法は、アセンブラ命令の
オペコードを表すオペコード表記部分と、前記アセンブ
ラ命令のオペランドを表す少なくとも１つのオペランド
表記部分とからなるフォーマット表記部分と、高級言語
プログラム中の変数を表し、前記オペランド表記部分と
同数の変数表記部分とからなり、前記オペランド表記部
分で表されるオペランドと前記変数表記部分で表される
変数との対応関係がそれぞれの記載の順序で決定される
ようにしたものである。

【００２８】また、本発明の請求項１２記載のプログラ
ム変換装置は、請求項１記載のプログラム変換装置に対
して、前記アセンブラ命令処理部は、アセンブラ命令の
オペコードを表すオペコード表記部分と、前記アセンブ
ラ命令のオペランドを表す少なくとも１つのオペランド
表記部分とからなるフォーマット表記部分と、高級言語
プログラム中の変数を表し、前記オペランド表記部分と
同数の変数表記部分とからなり、前記オペランド表記部
分で表されるオペランドと前記変数表記部分で表される
変数との対応関係がそれぞれの記載の順序で決定される
高級言語プログラム内アセンブラ表現方法によって記述
されたアセンブラ命令記述を解析するようにしたもので
ある。

【００２９】また、本発明の請求項１３記載の記録媒体
は、高級言語プログラムをアセンブラプログラムに変換
するプログラム変換装置が出力し、複数のレジスタを含
む資源要素を有するプロセッサによって実行される機械
命令列が記録された記録媒体であって、前記高級言語プ
ログラム中に記載されたアセンブラ命令記述に対応する
第１の機械命令と、前記第１の機械命令に前置して配置
され、前記第１の機械命令が指定するオペランドに割り
当てられた資源要素の全てに値を設定する１つまたは複
数の機械命令とを含み、前記第１の機械命令の直前にお
いて、前記レジスタの全てが前記第１の機械命令に前置
して配置される機械命令列中の機械命令が指定するオペ
ランドに割り当てられているようにしたものである。

【００３０】

【発明の実施の形態】以下、本発明のプログラム変換方
式およびプログラム変換装置の一実施形態について図面
を参照しながら説明する。

【００３１】図１は本発明におけるプログラム変換装置
の構成図を表している。図１において、このプログラム
変換装置は、構文解析部１、中間コード生成部２、最適
化部３、資源割付部４、コード生成部５、アセンブラ命
令処理部８から構成される。

【００３２】構文解析部１は、高級言語で記述されたプ
ログラム記憶部６に格納されているソースプログラムを
入力として受けとり、高級言語プログラムが正しい文法
で記述されているかどうかを判定する。

【００３３】中間コード生成部２は、構文解析部１で正
しいと判定されたソースプログラムに対して、プログラ
ム変換装置の内部のデータ形式でソースプログラムに対
応する中間コードを生成する。プログラム変換装置内で
中間コード生成部２以降の処理は、中間コード生成部２
において生成された中間コードに対して行なう。

【００３４】最適化部３は、中間コード生成部２におい
て生成された中間コードに対して、プログラムの処理の
流れや、変数への値の設定・参照位置の解析などを行な
い、プログラム変換装置の出力であるアセンブラプログ
ラムのコードサイズの縮小や、実行時間の短縮を図るた
めにさまざまな最適化処理を行なう。

【００３５】資源割付部４は、ソースプログラム中にお
ける変数への値の設定・参照位置の解析を行ない、変数
への値の設定位置からその変数が最後に参照される位置
までの区間、即ち変数の値が有効となる生存区間を、全
ての変数について解析する。その生存区間の解析結果に
基づいて、各々の変数にレジスタやメモリなどのハード
ウェア資源を割り当てる。

【００３６】コード生成部５は、資源割付部４までの処
理を行なった中間コードに対して、その中間コードに対
応するアセンブラコードを生成し、生成コード記憶部７
に格納する。

【００３７】プログラム記憶部６は、高級言語で記述さ
れたソースプログラムを格納し、プログラム変換装置に
対して、ソースプログラムを入力する。

【００３８】生成コード記憶部７は、プログラム変換装
置によって生成されたアセンブラプログラムを格納す
る。

【００３９】アセンブラ命令処理部８は、構文解析部１
において、入力がアセンブラ命令であると判定された時
に実行され、アセンブラ命令の命令、オペランド、およ
び各々のオペランドで使用する変数名、後の資源割付部
４で利用する情報であるオペランド資源属性の設定を行
なう。

【００４０】なお、構文解析部１、中間コード生成部
２、最適化部３、コード生成部５については、本発明の
主眼ではないので、詳細な説明は省略する。

【００４１】次に、アセンブラ命令処理部８の構成を図
２（ａ）に示す。アセンブラ命令処理部８はオペコード
指定部１１、オペランド資源属性指定部１２、オペラン
ド変数指定部１３から構成され、更にオペランド資源属
性指定部１２はレジスタ資源指定部１４およびメモリ資
源指定部１５から構成されている。また、レジスタ資源
指定部１４は、アドレスレジスタ資源指定部１６および
データレジスタ資源指定部１７から構成されている。

【００４２】オペコード指定部１１は、アセンブラ命令
処理部８の入力であるアセンブラ記述からアセンブラ命
令名を取得し、中間コードの情報として設定する。

【００４３】オペランド資源属性指定部１２は、入力ア
センブラ記述文からアセンブラ命令のオペランド領域を
解析し、対応するオペランドにどのハードウェア資源を
割り当てることが指定されているかを解析して、そのハ
ードウェア資源の属性を中間コードの情報として設定す
る。

【００４４】オペランド変数指定部１３は、オペコード
指定部１１で取得されたアセンブラ命令で使用されるオ
ペランドに対応する変数名を取得し、中間コードの情報
として設定する。

【００４５】また、オペランド資源属性指定部１２の構
成を図２（ｂ）に示す。オペランド資源属性指定部１２
は、レジスタ資源指定部１４およびメモリ資源指定部１
５から構成されている。

【００４６】レジスタ資源指定部１４は、オペランド資
源属性指定部１２でレジスタ資源が指定された時に実行
され、指定されたオペランドがプログラム変換装置の資
源割付部４でレジスタに割り付けられることを表す情報
を中間コードに設定する。レジスタ資源指定部１４は指
定されたレジスタ属性がアドレスレジスタである時には
アドレスレジスタ資源指定部１６を、指定されたレジス
タ属性がデータレジスタである時にはデータレジスタ資
源指定部１７をそれぞれ起動する。

【００４７】メモリ資源指定部１５は、オペランド資源
属性指定部１２でメモリ資源が指定された時に実行さ
れ、指定されたオペランドがプログラム変換装置の資源
割付部４でメモリに割り付けられることを表す情報を中
間コードに設定する。

【００４８】更に、レジスタ資源指定部１４の構成を図
２（ｃ）に示す。レジスタ資源指定部１４は、アドレス
レジスタ資源指定部１６およびデータレジスタ資源指定
部１７から構成されている。

【００４９】アドレスレジスタ資源指定部１６は、レジ
スタ資源指定部１４でアドレスレジスタ資源が指定され
た時に実行され、指定されたオペランドがプログラム変
換装置の資源割付部４でアドレスレジスタに割り付けら
れることを表す情報を中間コードに設定する。

【００５０】データレジスタ資源指定部１７は、レジス
タ資源指定部１４でデータレジスタ資源が指定された時
に実行され、指定されたオペランドがプログラム変換装
置の資源割付部４でデータレジスタに割り付けられるこ
とを表す情報を中間コードに設定する。

【００５１】以下に、アセンブラ命令処理部８の処理に
ついて、図６を参照しながら説明する。以下記号の順に
説明していく。

【００５２】ステップａ１では、アセンブラ命令処理部
８への入力がアセンブラ命令であるかどうかを判定す
る。Ｙｅｓと判定された場合、ステップａ２へと処理を
移行し、Ｎｏと判定された場合はアセンブラ命令処理部
８の処理を終了する。

【００５３】ステップａ２では、入力されたアセンブラ
命令からアセンブラ記述に関する文字列を取得する。

【００５４】ステップａ３では、ステップａ２で取得さ
れた文字列からアセンブラ命令の名前を取得し、中間コ
ードのオペコード情報に取得した命令名を設定する。

【００５５】ステップａ４からステップａ７では、ステ
ップａ２で取得した文字列に、オペランド資源属性を表
す区切り文字である％が含まれている間、ステップａ５
からステップａ６までの処理を繰り返す。

【００５６】ステップａ５では、オペランド資源属性を
表す区切り文字である％に続く文字列について、後述の
オペランド資源属性設定処理を行なう。

【００５７】ステップａ６では、ステップａ５で設定さ
れたオペランド情報を中間コードに追加する。

【００５８】ステップａ７では、ステップａ４の処理に
戻り、ループ１の処理を繰り返す。文字列に％が含まれ
なくなった時、ループ１の処理を終了し、次のステップ
ａ８に処理を移行する。

【００５９】ステップａ８では、ループ１の処理で追加
されたオペランド情報のうち、先頭のオペランド情報を
中間コードから取得する。

【００６０】ステップａ９からステップａ１３では、中
間コードにオペランド情報が存在する間、ステップａ１
０からステップａ１２までの処理を繰り返す。

【００６１】ステップａ１０では、アセンブラ命令処理
部の入力アセンブラ記述から、変数名を読み込む。

【００６２】ステップａ１１では、オペランド情報のオ
ペランド変数情報にステップａ１０で読み込んだ変数を
設定する。

【００６３】ステップａ１２では、中間コードから次の
オペランド情報を取得する。ステップａ１３では、ステ
ップａ９の処理に戻り、ループ２の処理を繰り返す。中
間コードにオペランド情報が存在しなくなった時、ルー
プ２の処理を終了し、アセンブラ命令処理部８の処理を
終了する。

【００６４】次に、オペランド資源属性設定処理につい
て、図７を参照しながら説明する。以下記号の順に説明
していく。

【００６５】まず、ステップｂ１で、オペランド資源属
性を表す区切り文字である％に続く文字列が”Ｍ”かど
うかの判定を行なう。Ｙｅｓと判定された場合、ステッ
プｂ２へと処理を移行し、Ｎｏと判定された場合、ステ
ップｂ３へと処理を移行する。

【００６６】ステップｂ２では、オペランド情報のオペ
ランド資源属性をメモリにし、オペランド資源属性設定
処理を終了する。

【００６７】ステップｂ３では、区切り文字％に続く文
字列が”ＡＲ”かどうかの判定を行なう。Ｙｅｓと判定
された場合、ステップｂ４へと処理を移行し、Ｎｏと判
定された場合、ステップｂ５へと処理を移行する。

【００６８】ステップｂ４では、オペランド情報のオペ
ランド資源属性をアドレスレジスタにし、オペランド資
源属性設定処理を終了する。

【００６９】ステップｂ５では、区切り文字％に続く文
字列が”ＤＲ”かどうかの判定を行なう。Ｙｅｓと判定
された場合、ステップｂ６へと処理を移行し、Ｎｏと判
定された場合、オペランド資源属性設定処理を終了す
る。

【００７０】ステップｂ６では、オペランド情報のオペ
ランド資源属性をデータレジスタにし、オペランド資源
属性設定処理を終了する。

【００７１】図８にアセンブラ命令の記述例と、これら
を中間コードで表現した時のオペコード情報、オペラン
ド情報の例を示す。

【００７２】図８（ａ）はアセンブラ命令の記述例を、
（ｂ）は（ａ）をアセンブラ命令処理部８において処理
後に中間コードが保持している情報を表したものであ
る。

【００７３】以下に、図８（ａ）の（１）のアセンブラ
命令記述の意味を説明する。まず最初の文字列”ａｓ
ｍ”は、この文がアセンブラ命令記述であることを表し
ている。直後の”（”から文末の”；”の直前の”）”
までがアセンブラ命令記述の内容である。

【００７４】”（）”内の””で囲まれた部分はアセン
ブラ命令の出力フォーマットである。この例では、この
出力フォーマットは、Ｃ言語における標準ライブラリ関
数のｐｒｉｎｔｆ関数のフォーマットと類似した形式で
記述しており、Ｃ言語プログラマにとって理解しやすい
形式になっている。

【００７５】出力フォーマット中の先頭の文字列”ｍｏ
ｖ”はアセンブラ命令のオペコードを表している。この
例では、このアセンブラ命令は転送命令であることを示
している。

【００７６】次の％Ｍはアセンブラ命令”ｍｏｖ”の第
一オペランドを表している。ここで、”％”はオペラン
ドとして固定のハードウェア資源を持つものではなく、
後述する変数に割り当てられたハードウェア資源を設定
することを意味している。この命令は第一オペランドと
してメモリ資源を割り当てられることを示している。

【００７７】その次のコンマはオペランドの区切り文字
であり、コンマの後に続く％ＡＲはアセンブラ命令”ｍ
ｏｖ”の第二オペランドである。この命令は第二オペラ
ンドとして、アドレスレジスタを割り当てられることを
示している。

【００７８】更に””に続くコンマは出力フォーマット
と変数名の区切り文字である。このコンマ以降に続く変
数名は、出力フォーマットオペランドに％が指定されて
いる時、その変数名に割り当てられたハードウェア資源
を、出力フォーマット中に％で指定されたオペランドと
して設定するために用いられる。

【００７９】また、ここで記述されている変数は、出力
フォーマット中で％で指定されているオペランドと左側
から順に対応している。即ち（１）の例では、最初の”
％Ｍ”で指定されたオペランドには、最初の変数ｘが、
次の”％ＡＲ”で指定されたオペランドには、次の変数
ｙがそれぞれ対応していることになる。

【００８０】同様に（２）の例では、アセンブラ命令”
ｍｏｖ”の第一オペランドに変数ａに割り当てられたデ
ータレジスタを、第二オペランドに変数ｂに割り当てら
れたデータレジスタを持つことを示している。

【００８１】次に、図８（ａ）のアセンブラ命令記述例
が中間コードとして表された場合に、中間コードが保持
する情報を同図（ｂ）に示す。図８（ａ）の（１）が
（ｂ）の（１）に対応している。

【００８２】まず、左端に”ＯＰＡＳＭ”は中間コード
の種類を表しており、この中間コードが、アセンブラ命
令を表す中間コードであることを表している。

【００８３】次に上の段に、オペコード情報が示されて
おり、そのアセンブラ命令のオペコードを表している。
この場合、アセンブラ命令のオペコードは”ｍｏｖ”で
あることがわかる。

【００８４】その下の段に、オペランド情報が示されて
おり、そのアセンブラ命令の第一オペランドのオペラン
ド変数情報およびオペランド資源属性情報を表してい
る。この場合、オペランド変数情報は変数ｘ、オペラン
ド資源属性情報はメモリであることがわかる。

【００８５】更にその下の段にもオペランド情報が示さ
れており、アセンブラ命令の第二オペランドのオペラン
ド変数情報およびオペランド資源属性情報を表してい
る。この場合、オペランド変数情報は変数ｙ、オペラン
ド資源属性情報はアドレスレジスタであることがわか
る。

【００８６】同様に、（２）の例では、アセンブラ命令
のオペコードが”ｍｏｖ”、第一オペランドのオペラン
ド情報は、オペランド変数情報が変数ａ、オペランド資
源属性情報がデータレジスタであり、第二オペランドの
オペランド情報は、オペランド変数情報が変数ｂ、オペ
ランド資源属性情報がデータレジスタであることがわか
る。

【００８７】ここで、図８（ａ）の（１）のアセンブラ
命令記述に対してアセンブラ命令処理部８およびオペラ
ンド資源属性設定処理を適用した場合の処理例を以下に
示す。

【００８８】まず図６のステップａ１において、入力が
アセンブラ記述文かどうかを判定する。入力の先頭の文
字列が”ａｓｍ”となっているので、この入力はアセン
ブラ記述文であることがわかり、Ｙｅｓと判定されてス
テップａ２へと処理を移行する。

【００８９】次に、ステップａ２において、出力フォー
マットの取得を行なう。ここで、”で囲まれた文字列”
ｍｏｖ ％Ｍ，％ＡＲ”が得られる。

【００９０】更に、ステップａ３において、出力フォー
マットからアセンブラ命令のオペコード”ｍｏｖ”を取
得し、中間コードのオペコード情報に設定する。

【００９１】次に、ステップａ４からステップａ７まで
のループ１を、出力フォーマット内に”％”が含まれる
間繰り返す。出力フォーマット内には”％”が含まれる
ので、ステップａ５以降のループ処理を行なう。

【００９２】ステップａ５では、オペランド資源属性設
定処理を行ない、図７のステップｂ１へと処理を移行す
る。

【００９３】ステップｂ１では、”％”に続く文字列
が”Ｍ”かどうかを判定する。この場合、文字列”Ｍ”
が続くので、Ｙｅｓと判定され、ステップｂ２へと処理
を移行する。

【００９４】ステップｂ２では、オペランド情報のオペ
ランド資源属性をメモリにして、オペランド資源属性設
定処理を終了する。

【００９５】次に、ステップａ６へと処理を移行し、ス
テップａ５で設定したオペランド情報を中間コードに追
加する。

【００９６】ステップａ７では、ステップａ４へと戻
る。ステップａ４では、出力フォーマット中に”％”が
まだ含まれているので、更にステップａ５以降の処理を
繰り返す。

【００９７】ステップａ５では、オペランド資源属性設
定処理を行ない、図７のステップｂ１へと処理を移行す
る。

【００９８】ステップｂ１では、”％”に続く文字列
が”Ｍ”かどうかを判定する。この場合、文字列”Ａ
Ｒ”が続くので、Ｎｏと判定され、ステップｂ３へと処
理を移行する。

【００９９】ステップｂ３では、”％”に続く文字列
が”ＡＲ”かどうかを判定する。この場合、文字列”Ａ
Ｒ”が続くのでＹｅｓと判定され、ステップｂ４へと処
理を移行する。

【０１００】ステップｂ４では、オペランド情報のオペ
ランド資源属性をアドレスレジスタにして、オペランド
資源属性設定処理を終了する。

【０１０１】次に、ステップａ６へと処理を移行し、ス
テップａ５で設定したオペランド情報を中間コードに追
加する。

【０１０２】ステップａ７では、ステップａ４へと戻
る。ステップａ４では、出力フォーマット中に”％”は
もう含まれていないので、ループ１の処理を終了し、ス
テップａ８の処理へと移行する。ここまでの処理によっ
て設定された情報を図８（ｃ）に示す。

【０１０３】ステップａ８では、中間コードから先頭の
オペランド情報を取得する。この場合、図８（ｃ）の矢
印Ａのオペランド情報が選択される。

【０１０４】次に、資源割付部４の説明を以下に示す。
資源割付部４は、基本的には特開平８−５９４４６号の
資源割付装置と同様の処理を行い、アセンブラ命令記述
文に記述されている変数に対して効率的に資源割り付け
が行なわれるよう、より改良を行なっている。更に後述
の得失計算ルーチンにおいて、各資源毎の得失値の重み
付けが均等になるよう、得失値の正規化を行なうことに
よって、より改良を行なっている。以下では、特開平８
−５９４４６号の資源割付装置との相違点を中心に説明
していく。

【０１０５】資源割付部４の構成を図３に示す。資源割
付部４は割付対象保持部２１、割付対象生成部２２、生
存区間重複割付対象検出部２３、資源継承割付対象検出
部２４、割付優先度計算部２５、アセンブラ命令解析部
２６、割付資源要素決定部２７および資源割付制御部２
８から構成されている。

【０１０６】割付対象保持部２１は、割付対象生成部２
２で生成された割付対象と、割付対象の情報とからなる
割付情報テーブルを保持し、また割付状況テーブルを保
持する。

【０１０７】割付対象生成部２２は、データフロー解析
の結果や制御フロー解析の結果を元に割付対象を生成す
る。またこのとき生存区間や使用中間命令、生存区間の
開始点、終了点も検出される。更に、割付処理の前に割
り付けることが必要な割付対象はここで資源要素を割り
付ける。生成された割付対象は割付対象保持部２１に格
納される。

【０１０８】生存区間重複割付対象検出部２３は、割付
対象同士の生存区間の重なりを調べる。つまり任意の割
付対象ｘと生存区間が重なる割付対象の集合である割付
対象集合Ｏｖ（ｘ）を求める。Ｏｖ（ｘ）の内容は割付
対象保持部２１に格納される。

【０１０９】資源継承割付対象検出部２４は、割付対象
保持部２１に保持されている割付対象に関して資源継承
関係にある全ての割付対象を検出する。即ち任意の割付
対象ｘと資源継承関係にある割付対象の集合である割付
対象集合Ｒｓ（ｘ）を求める。Ｒｓ（ｘ）の内容は割付
対象保持部２１に保持される。

【０１１０】割付優先度計算部２５は、割付対象保持部
２１に保持されている割付対象ｘについての割付優先度
を計算する。割付優先度とは資源要素への割付をどの割
付対象から行なうかを示す優先度である。ここでは、以
下の計算式を使用して求める。

【０１１１】割付優先度＝（ｘの使用中間命令が存在す
るループレベルの総和）／ｘの生存区間の長さアセンブ
ラ命令解析部２６は、アセンブラ命令の中間コードに保
持されている変数について効率的に資源割付を行なうた
めに、図１１（２）に示すようにアセンブラ命令記述文
に記述された変数を一時変数に置き換える。これは、ア
センブラ命令記述文に記述された変数は、オペランド資
源属性指定部１２によって、割り付けられるべきハード
ウェア資源の種類が指定されているため、割付処理での
束縛が大きい。そのため、この変数を図１１の矢印Ｅお
よび矢印Ｆに示すように一時変数に置き換えることによ
って束縛が大きい変数の生存区間を短くすることがで
き、割付処理での自由度が向上し、効率の良い資源割付
が行なわれるからである。この時生成した一時変数に対
して効率的に優先的に資源割付を行なうことによってア
センブラ命令記述文で記述されている変数に効率的に資
源割付が行なわれる。これを実現するため、割付優先度
計算部２５で求められた割付優先度の最大値よりも大き
い値の優先度を、この一時変数に設定する。

【０１１２】割付資源要素決定部２７は、割付情報テー
ブルの内容に基づいて割付対象に資源要素を割り付け
る。

【０１１３】資源割付制御部２８は、割付処理全体を制
御する。割付対象保持部２１、割付対象生成部２２、生
存区間重複割付対象検出部２３、資源継承割付対象検出
部２４、資源割付制御部２８については、特開平８−５
９４４６号と同様であるので、詳細な説明については特
開平８−５９４４６号を参照のこと。

【０１１４】割付資源要素決定部２７の構成を図４に示
す。割付資源要素決定部２７は割付候補資源要素保持部
３１、割付可能資源要素検出部３２、使用コスト計算部
３３、使用コスト保持部３４、推定利得計算部３５、利
得保持部３６、資源要素決定制御部３７、資源別コスト
計算部３８、資源別コスト保持部３９および評価資源保
持部４０から構成されている。

【０１１５】割付候補資源要素保持部３１は、割付対象
ｘについての割付加納資源要素を保持する。

【０１１６】割付可能資源要素検出部３２は、割付可能
資源要素を検出する。割付可能資源要素検出部３２によ
って求められた割付可能資源要素の集合は割付候補資源
要素保持部３１に格納される。

【０１１７】使用コスト計算部３３は、使用コストを算
出することで割付候補資源要素保持部３１に保持されて
いる各資源要素を割付対象ｘに割り付けた場合に割付対
象ｘの使用中間命令に対応する機械語命令がどれくらい
のメモリサイズまたは実行時間数を費やすかを見積も
り、各資源要素の選考を行なう。また使用コスト計算部
３３は見積もり結果として算出したコスト値を各資源要
素毎に使用コスト保持部３４に保持させる。

【０１１８】使用コスト保持部３４は、算出された使用
コスト計算部３３の計算結果を保持する。

【０１１９】推定利得計算部３５は、使用コスト計算部
３３がメモリサイズまたは実行時間を見積もるのに対
し、得失値を算出することで割付対象ｘに各資源要素を
割り付けると、どれだけ転送命令が削除できるかを見積
もり、各資源要素の選考を行なう。

【０１２０】利得保持部３６は、推定利得計算部３５に
よって算出された得失値の累計である利得値を保持す
る。

【０１２１】資源要素決定制御部３７は、割付資源決定
の処理全体を制御する。資源別コスト計算部３８は、推
定利得計算部３５によって算出された利得値が複数の資
源について最大であった場合、後順コスト値の計算を行
なう。

【０１２２】資源別コスト保持部３９は、資源別コスト
計算部３８の計算結果である後順コスト値を資源毎に保
持する。

【０１２３】評価資源保持部４０は、資源別コスト計算
部３８の計算によって有効であることが判明した資源を
保持する。

【０１２４】割付候補資源要素保持部３１、割付可能資
源要素検出部３２、使用コスト計算部３３、使用コスト
保持部３４、利得保持部３６、資源要素決定制御部３
７、資源別コスト計算部３８、資源別コスト保持部３９
および評価資源保持部４０については、特開平８−５９
４４６号と同様であるので、詳細な説明については特開
平８−５９４４６号を参照のこと。

【０１２５】推定利得計算部３５の構成を図５に示す。
推定利得計算部３５は推定利得制御部４１、追跡対象保
持部４２、処理済割付対象保持部４３、既損失割付対象
保持部４４、重複割付対象保持部４５および得失保持部
４６から構成されている。

【０１２６】推定利得制御部４１は、割付対象ｘについ
ての利得値を計算するよう、処理制御を行なう。

【０１２７】追跡対象保持部４２は、得失計算ルーチン
の処理対象として生成された複数個の追跡対象を保持す
る。

【０１２８】処理済割付対象保持部４３は、得失計算ル
ーチンの処理を完了することになる追跡対象を保持す
る。特に処理済割付対象保持部４３の役割は資源継承関
係が直接または間接的に循環している場合、得失計算ル
ーチンの処理を無限に繰り返すことを防ぐためである。

【０１２９】既損失割付対象保持部４４は、得失計算ル
ーチンの過程で同じ割付対象に対して得失値を減ずる処
理を２回以上行なわないようにするため、損失要因とし
て一度選択された割付対象を保持する。このように既損
失割付対象保持部４４が設けられているのは損失要因の
極端な見積もりを避けるためである。

【０１３０】重複割付対象保持部４５は、割付対象ｘと
生存区間が重なりかつ、未だ資源要素を割り付けていな
い割付対象を保持する。

【０１３１】得失保持部４６は、得失計算ルーチンの実
行によって算出された得失値を各資源要素毎に保持す
る。

【０１３２】次に、アセンブラ命令解析部２６の処理に
ついて、図９を参照しながら説明する。以下記号の順に
説明していく。

【０１３３】ます、ステップｃ１で全ての中間コードに
ついて、ステップｃ２からステップｃ１１までの処理を
繰り返す。

【０１３４】ステップｃ２において、現在の中間コード
がアセンブラ命令の中間コードであるかどうかを判定す
る。アセンブラ命令の中間コードである場合、Ｙｅｓと
判定され、ステップｃ３へと処理を移行する。Ｎｏと判
定された場合、ステップｃ１２へと処理を移行し、ルー
プ１の処理を繰り返す。

【０１３５】次にステップｃ３で、現在の中間コードの
全てのオペランド情報について、ステップｃ４からステ
ップｃ１０までの処理を繰り返す。

【０１３６】ステップｃ４では、オペランド情報にオペ
ランド変数情報が設定されているかどうかを判定する。
オペランド情報にオペランド変数情報が設定されている
場合、Ｙｅｓと判定され、ステップｃ５へと処理を移行
する。Ｎｏと判定された場合、ステップｃ１１へと処理
を移行し、ループ２の処理を繰り返す。

【０１３７】ステップｃ５では、一時変数を新たに生成
し、オペランド情報のオペランド変数情報に設定されて
いる変数を生成した一時変数に代入する中間コードを生
成する。

【０１３８】ステップｃ６では、ステップｃ５で生成し
た中間コードを、現在の中間コードであるアセンブラ命
令の中間コードの直前に挿入する。

【０１３９】ステップｃ７では、オペランド情報のオペ
ランド変数情報に設定されている変数に一時変数を代入
する中間コードを生成する。

【０１４０】ステップｃ８では、ステップｃ７で生成し
た中間コードを、現在の中間コードであるアセンブラ命
令の中間コードの直後に挿入する。

【０１４１】ステップｃ９では、オペランド情報のオペ
ランド変数情報に生成した一時変数を再設定する。

【０１４２】更にステップｃ１０において、一時変数に
対して優先的に資源割付が行なわれるように、一時変数
の割付優先度を（割付優先度の最大値＋１）に設定す
る。

【０１４３】ステップｃ１１では、ステップｃ３の処理
に戻り、ループ２の処理を繰り返す。

【０１４４】ステップｃ１２では、ステップｃ１の処理
に戻り、ループ１の処理を繰り返す。

【０１４５】全ての中間コードについてループ１の処理
を終了すると、アセンブラ命令解析部２６の処理を終了
する。

【０１４６】ここで、図１１（１）の中間コード列に対
してアセンブラ命令解析部２６の処理を適用した場合の
処理例を以下に示す。簡単のため、図１１（１）の中間
コード列にはアセンブラ命令の中間コードが矢印Ｂの一
つだけ含まれているとする。

【０１４７】まずステップｃ１およびステップｃ２にお
いて、アセンブラ命令の中間コードが現れるまで、中間
コードを進めていく処理を行なう。矢印Ｂの中間コード
が現れた時、ステップｃ２でＹｅｓと判定され、ステッ
プｃ３へと処理を移行する。

【０１４８】ステップｃ３において、矢印Ｂの中間コー
ド内に含まれる全てのオペランド情報についてステップ
ｃ４以降の処理を繰り返す。まず矢印Ｃのオペランド情
報について処理を行なう。

【０１４９】ステップｃ４において、オペランド情報に
オペランド変数情報が設定されているかどうかを判定す
る。矢印Ｃのオペランド情報にはオペランド変数情報に
変数ａが設定されているので、Ｙｅｓと判定され、ステ
ップｃ５へと処理を移行する。

【０１５０】ステップｃ５において、一時変数ｔ１を新
たに生成し、一時変数ｔ１にオペランド変数情報の変数
ａを代入する中間コードを生成する。

【０１５１】ステップｃ６において、生成した中間コー
ドを矢印Ｂの中間コードの直前に挿入する。その結果、
矢印Ｅのような中間コードが中間コード列に挿入され
る。

【０１５２】ステップｃ７において、オペランド変数情
報の変数ａに一時変数ｔ１を代入する中間コードを生成
する。

【０１５３】ステップｃ８において、生成した中間コー
ドを矢印Ｂの中間コードの直後に挿入する。その結果、
矢印Ｋのような中間コードが中間コード列に挿入され
る。

【０１５４】次に、ステップｃ９において、オペランド
変数情報に一時変数ｔ１を設定する。その結果、矢印Ｇ
のようにオペランド変数情報が再設定される。

【０１５５】更に、ステップｃ１０において、矢印Ｌに
示すように一時変数ｔ１に、割付優先度の最大値＋１で
ある３を設定する。

【０１５６】ステップｃ１１において、ステップｃ３へ
と戻りループ２を繰り返し、次のオペランド情報（矢印
Ｄ）についてステップｃ４以降の処理を行なう。

【０１５７】ステップｃ４において、オペランド情報に
オペランド変数情報が設定されているかどうかを判定す
る。矢印Ｄのオペランド情報にはオペランド変数情報に
変数ｂが設定されているので、Ｙｅｓと判定され、ステ
ップｃ５へと処理を移行する。

【０１５８】ステップｃ５において、一時変数ｔ２を新
たに生成し、一時変数ｔ２にオペランド変数情報の変数
ｂを代入する中間コードを生成する。

【０１５９】ステップｃ６において、生成した中間コー
ドを矢印Ｂの中間コードの直前に挿入する。その結果、
矢印Ｆのような中間コードが中間コード列に挿入され
る。

【０１６０】ステップｃ７において、オペランド変数情
報の変数ｂに一時変数ｔ２を代入する中間コードを生成
する。

【０１６１】ステップｃ８において、生成した中間コー
ドを矢印Ｂの中間コードの直後に挿入する。その結果、
矢印Ｊのような中間コードが中間コード列に挿入され
る。

【０１６２】次に、ステップｃ９において、オペランド
変数情報に一時変数ｔ２を設定する。その結果、矢印Ｈ
のようにオペランド変数情報が再設定される。

【０１６３】更に、ステップｃ１０において、矢印Ｍに
示すように一時変数ｔ２に、割付優先度の最大値＋１で
ある４を設定する。

【０１６４】ステップｃ１１において、ステップｃ３へ
と戻るが、矢印Ｂの中間コードに設定されているオペラ
ンド情報は全て処理済みなのでループ２の処理を抜け、
ステップｃ１２へと移行し、ループ１の処理を繰り返
す。

【０１６５】以上のように全ての中間コードについてル
ープ１の処理を繰り返した結果、図１１（２）に示すよ
うな中間コード列、および割付優先度が得られる。

【０１６６】次に、推定利得計算部３５の処理につい
て、図１０を参照しながら説明する。以下記号の順に説
明していく。なお、本発明の推定利得計算部３５は、特
開平８−５９４４６号の推定利得計算部３５とステップ
ｄ５およびステップｄ１８において異なっており、その
他のステップのより詳細な説明については特開平８−５
９４４６号を参照のこと。

【０１６７】図１０のステップｄ１では、推定利得制御
部４１は利得保持部３６および得失保持部４６の各資源
要素に対応する内容をゼロにする。

【０１６８】ステップｄ２では、追跡対象保持部４２、
処理済割付対象保持部４３、既損失割付対象保持部４４
を空にする。

【０１６９】ステップｄ３では、割付対象xに対して追
跡対象A(x)を生成し、A(x)の各項目を 追跡対象A(x)の割付対象 ＝ A(x).ASO ＝ x 追跡対象A(x)の生存区間長の和 ＝ A(x).LNS ＝ １ 追跡対象A(x)の資源要素集合 ＝ A(x).RES ＝ 割付候補資源要素保持部３１に保持されている資源要素
の集合に設定し、生成した追跡対象A(x)を追跡対象保持
部４２に格納する。

【０１７０】ステップｄ４では、得失計算ルーチンを呼
び出し、得失計算を行ない、各資源要素毎の計算結果を
得失保持部４６に算出する。得失計算ルーチンに関する
詳細な説明は特開平８−５９４４６号を参照のこと。

【０１７１】ステップｄ５では、ステップｄ４の得失計
算ルーチンの計算結果に対して、全ての資源要素の得失
値の最小値が負の値であった場合、その資源要素の得失
値がゼロになるよう、全ての資源要素の得失値にその値
を加算し、その後各資源要素の得失値を、全ての資源要
素の得失値の最大値で除算することによって得失値の正
規化を行なう。

【０１７２】ステップｄ６では、各資源要素毎に得失保
持部４６に格納されている値を利得保持部３６に格納す
る。

【０１７３】ステップｄ７では、割付候補資源要素保持
部３１に格納されている資源要素であり且つ利得保持部
３６に格納されている値が最大の資源要素の集合ＲＳを
求める。

【０１７４】ステップｄ８では、集合ＲＳの要素数が複
数個であるかどうかを判定する。Ｙｅｓと判定された場
合、ステップｄ９へと処理を移行する。Ｎｏと判定され
た場合、推定利得計算部３５の処理を終了する。

【０１７５】ステップｄ９では、割付対象ｘと生存区間
が重なり且つ未割り付けの割付対象が存在するかどうか
を判定する。Ｙｅｓと判定された場合、ステップｄ１０
へと処理を移行する。Ｎｏと判定された場合、推定利得
計算部３５の処理を終了する。

【０１７６】ステップｄ１０では、割付候補資源要素保
持部３１を一旦空にし、新たに集合ＲＳの資源要素を全
て格納する。

【０１７７】ステップｄ１１では、利得保持部３６の各
資源要素に対応する内容をゼロにし、追跡対象保持部４
２を空にする。

【０１７８】ステップｄ１２では、割付対象ｘと生存区
間が重なり且つ未割り付けの割付対象のみを重複割付対
象保持部４５に格納する。

【０１７９】ステップｄ１３では、重複割付対象保持部
４５が空になるまでステップｄ１４からステップｄ１９
までの処理を繰り返す。空になったら推定利得計算部３
５の処理を終了する。

【０１８０】ステップｄ１４では、重複割付対象保持部
４５から割付対象ｙを一つ取り出し、重複割付対象保持
部４５から削除する。

【０１８１】ステップｄ１５では、得失保持部４６の各
資源要素に対応する内容をゼロにし、処理済割付対象保
持部４３、既損失割付対象保持部４４を空にする。

【０１８２】ステップｄ１６では、割付対象ｙに対して
追跡対象B(y)を生成し、B(y)の各項目を 追跡対象B(y)の割付対象 ＝ B(y).ASO ＝ y 追跡対象B(y)の生存区間長の和 ＝ B(y).LNS ＝ １ 追跡対象B(y)の資源要素集合 ＝ B(y).RES ＝ 割付候補資源要素保持部３１に保持されている資源要素
の集合に設定し、生成した追跡対象B(y)を追跡対象保持
部４２に格納する。

【０１８３】ステップｄ１７では、得失計算ルーチンを
呼び出し、得失計算を行ない、各資源要素毎の計算結果
を得失保持部４６に算出する。得失計算ルーチンに関す
る詳細な説明は特開平８−５９４４６号を参照のこと。

【０１８４】ステップｄ１８では、ステップｄ１７の得
失計算ルーチンの計算結果に対して、全ての資源要素の
得失値の最小値が負の値であった場合、その資源要素の
得失値がゼロになるよう、全ての資源要素の得失値にそ
の値を加算し、その後各資源要素の得失値を、全ての資
源要素の得失値の最大値で除算することによって得失値
の正規化を行なう。

【０１８５】この正規化処理の意味は、全ての重複割付
対象間の得失値の重み付けを均等化することである。例
えば図１２に示すように、割付対象ｘに対する利得を計
算し、最適な資源要素を割り当てようとしたとき、割付
対象ｘと生存区間が重なる重複割付対象ｙおよび重複割
付対象ｚがあったとする。

【０１８６】得失値を正規化しない場合、推定利得計算
処理によって得られる得失値は図１２（ａ）のようにな
り、利得値計算の結果、レジスタＲ１が最大の利得値と
なり、割付対象ｘにはＲ１が選択される。これは、重複
割付対象ｙの得失保持部の値が示すように、重複割付対
象ｙにレジスタＲ０を割り付けた場合の得失値が大きい
ため、この影響が利得計算に及んだためであり、割付対
象ｘにレジスタＲ１を割り付け、重複割付対象ｙにレジ
スタＲ０を割り付けることになる。しかし、割付対象間
の影響を均等にした方が、割付対象により適切な資源要
素を割り付けることが出来る。

【０１８７】そこで、得失値を正規化した場合、同図
（ｂ）に示すように、それぞれの得失値は正規化され
る。この時、得失値が負の値である時、負の値を持つ資
源要素の得失値がゼロになるように、各々の得失値に負
の値の絶対値を加算する。利得値を計算した結果、割付
対象ｘにはレジスタＲ０あるいはレジスタＲ１が選択さ
れ、最終的にコスト計算によっていずれかのレジスタが
割り付けられる。

【０１８８】これによって、全ての重複割付対象間の得
失値の重み付けが均等化され、割付対象ｘと生存区間が
重なっている全ての重複割付対象が、割付対象ｘに及ぼ
す影響をより正確に推定することが出来る。

【０１８９】ステップｄ１９では、各資源要素毎に得失
保持部４６に格納されている値に割付対象ｙの割付優先
度を乗じた値を利得保持部３６から減じてステップｄ２
０へと処理を移行する。

【０１９０】ステップｄ２０では、ステップｄ１３の処
理に戻り、ループ１の処理を繰り返す。

【０１９１】本発明のプログラム変換装置に対して、図
１３に示すソースプログラムを適用する場合を考える。
この例で考えるプロセッサは、レジスタを４本保持して
おり、その内訳はデータレジスタＤ０、Ｄ１の２本、ア
ドレスレジスタＡ０、Ａ１の２本とする。

【０１９２】まず、アセンブラ命令処理部８において、
ソースプログラム中に記述されたアセンブラ命令記述文
をアセンブラ命令の中間コードへと変換する。このソー
スプログラムにはアセンブラ記述文が１つ含まれてお
り、このアセンブラ記述文を中間コードに変換したもの
を図１４（１）の中間コード列に示す。図１４（１）の
中間コード列ではアセンブラ記述文の中間コードは”Ｏ
ＰＡＳＭ”で表され、それに続く文字列”ｓｗａｐ”が
アセンブラ命令名を表すオペコード情報であり、その後
の変数ｃおよび変数ｄがアセンブラ命令のオペランド情
報を表している。また、この時の各変数の生存区間を同
図（２）に示す。

【０１９３】割付優先度計算部２５によって図１３のソ
ースプログラムの中間コードに対して、各変数に対応す
る割付優先度を計算する。その結果を図１４（３）に示
す。

【０１９４】次にアセンブラ命令解析部において、アセ
ンブラ命令の中間コードにおいて、新たに一時変数を導
入し、オペランド情報に設定されている変数を一時変数
に置き換える中間コードを中間コード列に挿入し、更に
置き換えた一時変数をオペランド情報に再設定する処理
を行なう。また同時に新たに生成した一時変数の割付優
先度を、それまでに設定されていた割付優先度の最大値
＋１として設定する。図１４（１）の中間コード列に対
して一時変数を導入し、オペランド情報に設定されてい
る変数を一時変数に置き換える中間コードを挿入した中
間コード列を図１５（１）に示す。また、この時の各変
数の生存区間を同図（２）に、一時変数を付け加えた割
付優先度を同図（３）に示す。

【０１９５】次に割付優先度の最も高い割付対象、即ち
ｔ２に対して、割付資源要素決定部２７によって各資源
要素に対する利得計算を行ない、割付対象ｔ２に割り付
ける資源要素を決定する。図１５（２）に示すように、
割付対象ｔ２は、ｔ１、ｉ、ｇ、ｆ、ｅ、ｔ１１および
ｔ１０と生存区間が重複している。この時、割付対象ｔ
２に対して特開平８−５９４４６号の得失計算処理を行
ない、正規化した結果、それぞれの重複割付対象の得失
値は図１６（１）に示すようになる。各々の得失値に割
付優先度を乗じて、割付対象ｔ２の利得値を計算する
と、図１６（２）の様になる。この図が示すように、割
付対象ｔ２にはデータレジスタＤ０あるいはＤ１を割り
付けるのが良いことがわかる。そこで、資源別コスト計
算部３８により、割付対象ｔ２の資源要素としてレジス
タＤ０を割り付ける。更に、特開平８−５９４４６号の
資源割付処理に示すように、割付対象ｔ２とｄに同じ資
源要素を割り付けることが出来るので、割付対象ｄもレ
ジスタＤ０となり、中間コードｔ２＝ｄ、およびｄ＝ｔ
２に伴う転送命令は生成されなくなる。

【０１９６】次に割付優先度の最も高い割付対象、即ち
ｔ１に対して、同様に割付資源要素決定部２７によって
各資源要素に対応する利得計算を行ない、割付対象ｔ１
に割り付ける資源要素を決定する。この時、レジスタＤ
０は既に割り付け済みであるので、割り付け可能な資源
要素から削除する。図１５（２）に示すように割付対象
ｔ１は、ｉ、ｇ、ｆ、ｅ、ｔ１１およびｔ１０と生存区
間が重複している。この時、割付対象ｔ１に対して特開
平８−５９４４６号の得失計算処理を行ない、正規化し
た結果、それぞれの重複割付対象の得失値は図１６
（３）に示すようになる。各々の得失値に割付優先度を
乗じて、割付対象ｔ１の利得値を計算すると、図１６
（４）の様になる。この図が示すように、割付対象ｔ１
にはデータレジスタＤ１を割り付けるのが良いことがわ
かる。従って、アセンブラ命令のオペランドにはそれぞ
れレジスタＤ１およびレジスタＤ０が割り付けられるこ
とになる。更に、特開平８−５９４４６号の資源割付処
理に示すように、割付対象ｔ１とｃに同じ資源要素を割
り付けることが出来るので、割付対象ｃもレジスタＤ１
となり、中間コードｔ１＝ｃ、およびｃ＝ｔ１に伴う転
送命令は生成されなくなる。

【０１９７】同様に上記処理を繰り返し、最終的に割付
対象ｃおよびｔ１にはレジスタＤ１、割付対象ｄおよび
ｔ２にはレジスタＤ０、割付対象ｉにはレジスタＡ０、
割付対象ｇにはレジスタＡ１、その他の割付対象にはメ
モリが割り付けられることになり、図１３のソースプロ
グラムをアセンブラコードに変換した結果、図１７のよ
うなコードが出力される。

【０１９８】この出力コードを図２０の出力コードと比
較すると、図２０（１）の場合、ループ内の命令ステッ
プ数はそれぞれ７であり同じである。しかし、アセンブ
ラ記述文が複数個指定されると、従来の方式ではそれぞ
れのアセンブラ記述文でメモリへの退避、復元の転送命
令が発生することになり、ステップ数は増加することに
なる。図２０（２）の場合、ループ内のステップ数は従
来の方式では９、本発明の方式では７であり、ステップ
数が減少していることがわかる。

【０１９９】なお、上記実施形態において、アセンブラ
命令記述でオペランド資源属性を表すための区切り文字
を％としているが、％である必要はなく、区切り文字と
して利用できる文字であれば、その文字で代用してもよ
い。

【０２００】また、オペランド資源属性設定処理で、オ
ペランド資源属性を表す区切り文字％の後に続く文字
が”Ｍ”、”ＡＲ”、”ＤＲ”の時に、対応するオペラ
ンド資源属性はそれぞれメモリ、アドレスレジスタ、デ
ータレジスタとしているが、メモリ、アドレスレジス
タ、データレジスタを表す文字列はそれぞれ”Ｍ”、”
ＡＲ”、”ＤＲ”である必要はなく、各々の属性を特定
できる文字列であれば、その文字列で代用してもよい。

【０２０１】また、オペランド資源属性設定処理で、オ
ペランド資源属性を表す区切り文字％の後に続く文字列
として”Ｒ”を指定することによってアドレスレジス
タ、データレジスタを総称したレジスタを表現するとし
てもよい。更にアドレスレジスタ、データレジスタを総
称したレジスタを表現する文字列は”Ｒ”である必要は
なく、レジスタを特定できる文字列であればその文字列
で代用してもよい。

【０２０２】また、オペランド資源属性を”％Ｄ０”な
どと指定して、データレジスタＤ０を指定するようにし
てもよい。同様にして、直接レジスタやメモリの番地を
指定してもよい。この場合、対応する変数には指定した
レジスタあるいはメモリが優先的に割り付けられる。

【０２０３】また、アセンブラ命令解析部２６において
生成した一時変数に対して優先的に資源割付が行なわれ
るように、一時変数の割付優先度を（割付優先度の最大
値＋１）としたが、一時変数の割付優先度が既存の変数
の割付優先度よりも大きくなれば良いので、割付優先度
の最大値に加える値は１である必要はなく、適当な正の
値で代用してもよい。

【０２０４】また、本発明のプログラム変換装置によっ
て生成された出力コードを、フロッピーディスクや半導
体メモリなどの記録媒体に記録してもよい。

【０２０５】

【発明の効果】以上のように本発明の請求項１記載のプ
ログラム変換装置は、高級言語プログラムをアセンブラ
プログラムに変換するプログラム変換装置において、前
記プログラム変換装置は前記高級言語プログラムの文法
を解析する構文解析部と、前記高級言語プログラムを前
記プログラム変換装置内部のデータ形式の中間コードを
生成する中間コード生成部と、前記中間コードに対して
最適化処理を行なう最適化部と、前記高級言語プログラ
ム内の変数をレジスタやメモリ等のハードウェア資源に
割当を行なう資源割付部と、前記中間コードからアセン
ブラプログラムを生成するコード生成部と、高級言語プ
ログラム内でのアセンブラ命令記述の解析を行ない、中
間コードを生成するアセンブラ命令処理部とを備え、前
記資源割付部は、前記アセンブラ命令処理部によって生
成された中間コードに対して、前記中間コードの内容を
解析し、前記中間コードに対して優先的に資源割り付け
を行なうアセンブラ命令解析部を備えたものである。こ
の構成によれば、高級言語プログラム中に記述されたア
センブラ記述に対して優先的に資源割付処理を行なうこ
とができ、不必要な転送命令の出現を抑えることができ
る。

【０２０６】また、本発明の請求項２記載のプログラム
変換装置は、請求項１記載のアセンブラ命令処理部に対
して、該アセンブラ命令処理部の入力アセンブラ命令記
述からアセンブラ命令名を取得するオペコード指定部
と、前記入力アセンブラ命令記述からオペランドを取得
するオペランド指定部を備え、前記オペランド指定部
は、前記入力アセンブラ命令記述のオペランドに対応す
る前記高級言語プログラム中の変数を取得するオペラン
ド変数指定部を備え、前記アセンブラ命令解析部は、前
記オペランド変数指定部で取得した変数に割り当てられ
た資源要素を前記アセンブラ命令のオペランドとしたも
のである。この構成によれば、プログラマはハードウェ
ア資源を意識することなくプログラムを作成することが
でき、更に資源割付部はアセンブラ命令記述に対して、
特定のハードウェア資源を割り当てることを強要されな
いため、より効率の良い資源割付処理を行なうことが出
来る。

【０２０７】また、本発明の請求項３記載のプログラム
変換装置は、請求項２記載のアセンブラ命令解析部に対
して、前記オペランド変数指定部で指定された変数に対
して、資源要素の割付順序の優先度を高くするオペラン
ド変数割付優先手段を備え、前記割付手段は前記オペラ
ンド変数割付優先手段によって設定された優先度に基づ
いて、順に資源要素の割付処理を行なうようにしたもの
である。この構成によれば、アセンブラ命令記述のオペ
ランドとして指定された変数に対して、優先的に資源割
付処理が行なわれ、アセンブラ命令のオペランドに効率
の良い資源割付処理を行なうことが出来る。

【０２０８】また、本発明の請求項４記載のプログラム
変換装置は、請求項２または３記載のアセンブラ命令解
析部に対して、前記オペランド変数指定部で指定された
変数を一時変数に置き換える一時変数置換手段を備え、
前記割付手段は、前記一時変数置換手段によって置き換
えられた一時変数を前記入力アセンブラ命令記述のオペ
ランドであると解釈し、一時変数への資源要素の割付処
理を行なうようにしたものである。この構成によれば、
アセンブラ命令記述で指定された変数の生存区間を短く
することができ、資源割付処理の自由度が上がり、効率
の良い資源割付処理を行なうことが出来る。

【０２０９】また、本発明の請求項５記載のプログラム
変換装置は、請求項２から４のいずれか記載のオペラン
ド指定部に対して、前記入力アセンブラ命令のオペラン
ドに割り付けられるべき資源要素を取得するオペランド
資源指定部を備え、前記アセンブラ命令解析部は、前記
オペランド資源属性指定部で取得した資源要素を前記ア
センブラ命令のオペランドとして割り付けるようにした
ものである。この構成によれば、資源割付部に対して、
アセンブラ命令のオペランドとして割り付けて欲しい資
源要素を指定することができ、プログラマのより詳細な
要求を満たすことが出来る。

【０２１０】また、本発明の請求項６記載のプログラム
変換装置は、請求項２から４のいずれか記載のオペラン
ド指定部に対して、前記入力アセンブラ命令のオペラン
ドに割り付けられるべき資源要素の種類を取得するオペ
ランド資源属性指定部を備え、前記アセンブラ命令解析
部は、前記オペランド資源属性指定部で取得した種類の
資源要素を前記アセンブラ命令のオペランドとして割り
付けるようにしたものである。この構成によれば、資源
割付部に対して、アセンブラ命令のオペランドとして割
り付けて欲しい資源要素の種類を指定することができ、
プログラマのより詳細な要求を満たすことが出来る。

【０２１１】また、本発明の請求項７記載のプログラム
変換装置は、請求項６記載のオペランド資源属性指定部
に対して、レジスタ資源を指定するレジスタ資源指定部
とメモリ資源を指定するメモリ資源指定部を備えるよう
にしたものである。この構成によれば、資源割付部に対
して、アセンブラ命令のオペランドとしてレジスタ資源
あるいはメモリ資源を指定することができ、プログラマ
のより詳細な要求を満たすことが出来る。

【０２１２】また、本発明の請求項８記載のプログラム
変換装置は、請求項７記載のレジスタ資源指定部に対し
て、アドレスレジスタ資源を指定するアドレスレジスタ
資源指定部と、データレジスタ資源を指定するデータレ
ジスタ資源指定部を備えるようにしたものである。この
構成によれば、資源割付部に対して、アセンブラ命令の
オペランドとしてアドレスレジスタ資源あるいはデータ
レジスタ資源を指定することができ、プログラマのより
詳細な要求を満たすことが出来る。

【０２１３】また、本発明の請求項９記載のプログラム
変換装置は、高級言語プログラムをアセンブラプログラ
ムに変換するプログラム変換装置において、前記プログ
ラム変換装置は前記高級言語プログラムの文法を解析す
る構文解析部と、前記高級言語プログラムを前記プログ
ラム変換装置内部のデータ形式の中間コードを生成する
中間コード生成部と、前記中間コードに対して最適化処
理を行なう最適化部と、資源要素に割付済みの割付対象
の生存区間と、次に割り付ける資源要素との関係を解析
して、次に割り付ける割付対象にどの資源要素が適切か
を示す得失値を、各資源要素について計算する得失値計
算手段と、前記得失値計算手段により計算された得失値
を前記資源要素について正規化する得失値正規化手段
と、前記得失値正規化手段によって正規化された得失値
の大きさに応じて、割付対象にいずれかの資源要素を割
り付ける割付手段とを含み、前記高級言語プログラム内
の変数をレジスタやメモリ等のハードウェア資源に割当
を行なう資源割付部と、前記中間コードからアセンブラ
プログラムを生成するコード生成部とを備えるようにし
たものである。この構成によれば、各割付対象に対応す
る得失値の最大値、最小値が等しくなるため、割付対象
間の影響度合を均等に取り扱うことが出来、より正確に
資源割付処理を行なうことが出来る。

【０２１４】また、本発明の請求項１０記載のプログラ
ム変換装置は、請求項１記載のプログラム変換装置に対
して、高級言語プログラム内でのアセンブラ命令記述の
解析を行ない、中間コードを生成するアセンブラ命令処
理部を備え、前記資源割付部は、前記アセンブラ命令処
理部によって生成された中間コードに対して、前記中間
コードの内容を解析し、前記中間コードに対して優先的
に資源割り付けを行なうアセンブラ命令解析部を備える
ようにしたものである。この構成によれば、アセンブラ
命令処理部およびアセンブラ命令解析部を備えるプログ
ラム変換装置に対して、各割付対象に対応する得失値の
最大値、最小値が等しくなるため、割付対象間の影響度
合を均等に取り扱うことが出来、より正確に資源割付処
理を行なうことが出来る。

【０２１５】また、本発明の請求項１１記載の高級言語
プログラム内アセンブラ表現方法は、アセンブラ命令の
オペコードを表すオペコード表記部分と、前記アセンブ
ラ命令のオペランドを表す少なくとも１つのオペランド
表記部分とからなるフォーマット表記部分と、高級言語
プログラム中の変数を表し、前記オペランド表記部分と
同数の変数表記部分とからなり、前記オペランド表記部
分で表されるオペランドと前記変数表記部分で表される
変数との対応関係がそれぞれの記載の順序で決定される
ようにしたものである。この構成によれば、オペランド
表現方法に記述された順番に変数表現方法に変数を指定
することによって自動的にオペランドと変数を対応させ
ることができるので、プログラミングの労力を節約する
ことが出来る。

【０２１６】また、本発明の請求項１２記載のプログラ
ム変換装置は、請求項１記載のプログラム変換装置に対
して、前記アセンブラ命令処理部は、アセンブラ命令の
オペコードを表すオペコード表記部分と、前記アセンブ
ラ命令のオペランドを表す少なくとも１つのオペランド
表記部分とからなるフォーマット表記部分と、高級言語
プログラム中の変数を表し、前記オペランド表記部分と
同数の変数表記部分とからなり、前記オペランド表記部
分で表されるオペランドと前記変数表記部分で表される
変数との対応関係がそれぞれの記載の順序で決定される
高級言語プログラム内アセンブラ表現方法によって記述
されたアセンブラ命令記述を解析するようにしたもので
ある。この構成によれば、アセンブラ命令処理部および
アセンブラ命令解析部を備えるプログラム変換装置に対
して、オペランド表現方法に記述された順番に変数表現
方法に変数を指定することによって自動的にオペランド
と変数を対応させることができるので、プログラミング
の労力を節約することが出来る。

【０２１７】また、本発明の請求項１３記載の記録媒体
は、高級言語プログラムをアセンブラプログラムに変換
するプログラム変換装置が出力し、複数のレジスタを含
む資源要素を有するプロセッサによって実行される機械
命令列が記録された記録媒体であって、前記高級言語プ
ログラム中に記載されたアセンブラ命令記述に対応する
第１の機械命令と、前記第１の機械命令に前置して配置
され、前記第１の機械命令が指定するオペランドに割り
当てられた資源要素の全てに値を設定する１つまたは複
数の機械命令とを含み、前記第１の機械命令の直前にお
いて、前記レジスタの全てが前記第１の機械命令に前置
して配置される機械命令列中の機械命令が指定するオペ
ランドに割り当てられているようにしたものである。こ
の構成によれば、高級言語プログラム中に記述されたア
センブラ命令記述に対して優先的に資源割付処理が行な
われ、不必要な転送命令の出現が抑えられている。

【図面の簡単な説明】

【図１】本発明の実施形態におけるプログラム変換装置
の構成図

【図２】（ａ）本発明の実施形態におけるアセンブラ命
令処理部の構成図 （ｂ）同実施形態におけるオペランド資源属性指定部の
構成図 （ｃ）同実施形態におけるレジスタ資源指定部の構成図

【図３】本発明の実施形態における資源割付部の構成図

【図４】本発明の実施形態における割付資源要素決定部
の構成図

【図５】本発明の実施形態における推定利得計算部の構
成図

【図６】アセンブラ命令処理部８の処理を表すフローチ
ャート

【図７】オペランド資源属性設定処理を示すフローチャ
ート

【図８】（ａ）本発明の実施形態におけるアセンブラ命
令の記述例を示す図 （ｂ）同実施形態におけるアセンブラ命令の中間コード
表現を示す図 （ｃ）同実施形態におけるアセンブラ命令処理部８の処
理過程の途中経過を表す図

【図９】アセンブラ命令解析部２６の処理を表すフロー
チャート

【図１０】推定利得計算部３５の処理を表すフローチャ
ート

【図１１】（１）アセンブラ命令解析処理開始時の中間
コード、変数の生存区間および割付優先度を表す図 （２）アセンブラ命令解析処理終了時の中間コード、変
数の生存区間および割付優先度を表す図

【図１２】（ａ）従来の利得計算による割付資源要素の
選択の様子を表す図 （ｂ）本発明の利得計算による割付資源要素の選択の様
子を表す図

【図１３】本発明の実施形態における入力ソースプログ
ラム例を示す図

【図１４】（１）アセンブラ命令解析処理前の中間コー
ド列を示す図 （２）アセンブラ命令解析処理前の各割付対象の生存区
間を示す図 （３）アセンブラ命令解析処理前の各割付対象の割付優
先度を示す図

【図１５】（１）アセンブラ命令解析処理後の中間コー
ド列を示す図 （２）アセンブラ命令解析処理後の各割付対象の生存区
間を示す図 （３）アセンブラ命令解析処理後の各割付対象の割付優
先度を示す図

【図１６】（１）割付対象ｔ１に関する得失保持部の内
容を示す図 （２）割付対象ｔ１に関する利得保持部の内容を示す図 （３）割付対象ｔ２に関する得失保持部の内容を示す図 （４）割付対象ｔ２に関する利得保持部の内容を示す図

【図１７】本発明の実施形態における出力アセンブラプ
ログラムを示す図

【図１８】（ａ）従来のプログラム変換装置の構成図 （ｂ）従来のアセンブラ記述文の記述法を示す図

【図１９】従来のプログラム変換装置における入力ソー
スプログラム例を示す図

【図２０】（１）レジスタが不足した場合にレジスタの
内容をメモリに退避するような従来の資源割付方式例を
示す図 （２）特定レジスタを作業用レジスタとして確保してお
くような従来の資源割付方式例を示す図

【符号の説明】

１ 構文解析部 ２ 中間コード生成部 ３ 最適化部 ４ 資源割付部 ５ コード生成部 ６ プログラム記憶部 ７ 生成コード記憶部 ８ アセンブラ命令処理部 １１ オペコード指定部 １２ オペランド資源属性指定部 １３ オペランド変数指定部 １４ レジスタ資源指定部 １５ メモリ資源指定部 １６ アドレスレジスタ資源指定部 １７ データレジスタ資源指定部 ２１ 割付対象保持部 ２２ 割付対象生成部 ２３ 生存区間重複割付対象検出部 ２４ 資源継承割付対象検出部 ２５ 割付優先度計算部 ２６ アセンブラ命令解析部 ２７ 割付資源要素決定部 ２８ 資源割付制御部 ３１ 割付候補資源要素保持部 ３２ 割付可能資源要素検出部 ３３ 使用コスト計算部 ３４ 使用コスト保持部 ３５ 推定利得計算部 ３６ 利得保持部 ３７ 資源要素決定制御部 ３８ 資源別コスト計算部 ３９ 資源別コスト保持部 ４０ 評価資源保持部 ４１ 推定利得制御部 ４２ 追跡対象保持部 ４３ 処理済割付対象保持部 ４４ 既損失割付対象保持部 ４５ 重複割付対象保持部 ４６ 得失保持部

Claims (13)

【特許請求の範囲】
1. 【請求項１】 高級言語プログラムをアセンブラプログ
   ラムに変換するプログラム変換装置において、 前記プログラム変換装置は前記高級言語プログラムの文
   法を解析する構文解析部と、 前記高級言語プログラムを前記プログラム変換装置内部
   のデータ形式の中間コードを生成する中間コード生成部
   と、 前記中間コードに対して最適化処理を行なう最適化部
   と、 前記高級言語プログラム内の変数をレジスタやメモリ等
   のハードウェア資源に割当を行なう資源割付部と、 前記中間コードからアセンブラプログラムを生成するコ
   ード生成部と、 高級言語プログラム内でのアセンブラ命令記述の解析を
   行ない、中間コードを生成するアセンブラ命令処理部と
   を備え、 前記資源割付部は、前記アセンブラ命令処理部によって
   生成された中間コードに対して、前記中間コードの内容
   を解析し、前記中間コードに対して優先的に資源割り付
   けを行なうアセンブラ命令解析部を備えることを特徴と
   するプログラム変換装置。
2. 【請求項２】 前記アセンブラ命令処理部は、該アセン
   ブラ命令処理部の入力アセンブラ命令記述からアセンブ
   ラ命令名を取得するオペコード指定部と、 前記入力アセンブラ命令記述からオペランドを取得する
   オペランド指定部を備え、 前記オペランド指定部は、前記入力アセンブラ命令記述
   のオペランドに対応する前記高級言語プログラム中の変
   数を取得するオペランド変数指定部を備え、 前記アセンブラ命令解析部は、前記オペランド変数指定
   部で取得した変数に割り当てられた資源要素を前記アセ
   ンブラ命令のオペランドとすることを特徴とする請求項
   １記載のプログラム変換装置。
3. 【請求項３】 前記アセンブラ命令解析部は、 前記オペランド変数指定部で指定された変数に対して、
   資源要素の割付順序の優先度を高くするオペランド変数
   割付優先手段を備え、 前記割付手段は前記オペランド変数割付優先手段によっ
   て設定された優先度に基づいて、順に資源要素の割付処
   理を行なうことを特徴とする請求項２記載のプログラム
   変換装置。
4. 【請求項４】 前記アセンブラ命令解析部は、 前記オペランド変数指定部で指定された変数を一時変数
   に置き換える一時変数置換手段を備え、 前記割付手段は、前記一時変数置換手段によって置き換
   えられた一時変数を前記入力アセンブラ命令記述のオペ
   ランドであると解釈し、一時変数への資源要素の割付処
   理を行なうことを特徴とする請求項２または３記載のプ
   ログラム変換装置。
5. 【請求項５】 前記オペランド指定部は、 前記入力アセンブラ命令のオペランドに割り付けられる
   べき資源要素を取得するオペランド資源指定部を備え、 前記アセンブラ命令解析部は、前記オペランド資源属性
   指定部で取得した資源要素を前記アセンブラ命令のオペ
   ランドとして割り付けることを特徴とする請求項２から
   ４のいずれか記載のプログラム変換装置。
6. 【請求項６】 前記オペランド指定部は、 前記入力アセンブラ命令のオペランドに割り付けられる
   べき資源要素の種類を取得するオペランド資源属性指定
   部を備え、 前記アセンブラ命令解析部は、前記オペランド資源属性
   指定部で取得した種類の資源要素を前記アセンブラ命令
   のオペランドとして割り付けることを特徴とする請求項
   ２から４のいずれか記載のプログラム変換装置。
7. 【請求項７】 前記オペランド資源属性指定部は、 レジスタ資源を指定するレジスタ資源指定部とメモリ資
   源を指定するメモリ資源指定部を備えることを特徴とす
   る請求項６記載のプログラム変換装置。
8. 【請求項８】 前記レジスタ資源指定部は、アドレスレ
   ジスタ資源を指定するアドレスレジスタ資源指定部と、 データレジスタ資源を指定するデータレジスタ資源指定
   部を備えることを特徴とする請求項７記載のプログラム
   変換装置。
9. 【請求項９】 高級言語プログラムをアセンブラプログ
   ラムに変換するプログラム変換装置において、 前記プログラム変換装置は前記高級言語プログラムの文
   法を解析する構文解析部と、 前記高級言語プログラムを前記プログラム変換装置内部
   のデータ形式の中間コードを生成する中間コード生成部
   と、 前記中間コードに対して最適化処理を行なう最適化部
   と、 資源要素に割付済みの割付対象の生存区間と、次に割り
   付ける資源要素との関係を解析して、次に割り付ける割
   付対象にどの資源要素が適切かを示す得失値を、各資源
   要素について計算する得失値計算手段と、前記得失値計
   算手段により計算された得失値を前記資源要素について
   正規化する得失値正規化手段と、前記得失値正規化手段
   によって正規化された得失値の大きさに応じて、割付対
   象にいずれかの資源要素を割り付ける割付手段とを含
   み、前記高級言語プログラム内の変数をレジスタやメモ
   リ等のハードウェア資源に割当を行なう資源割付部と、 前記中間コードからアセンブラプログラムを生成するコ
   ード生成部とを備えることを特徴とするプログラム変換
   装置。
10. 【請求項１０】 前記プログラム変換装置は、高級言語
    プログラム内でのアセンブラ命令記述の解析を行ない、
    中間コードを生成するアセンブラ命令処理部を備え、 前記資源割付部は、前記アセンブラ命令処理部によって
    生成された中間コードに対して、前記中間コードの内容
    を解析し、前記中間コードに対して優先的に資源割り付
    けを行なうアセンブラ命令解析部を備えることを特徴と
    する請求項９記載のプログラム変換装置。
11. 【請求項１１】 アセンブラ命令のオペコードを表すオ
    ペコード表記部分と、 前記アセンブラ命令のオペランドを表す少なくとも１つ
    のオペランド表記部分とからなるフォーマット表記部分
    と、 高級言語プログラム中の変数を表し、前記オペランド表
    記部分と同数の変数表記部分とからなり、前記オペラン
    ド表記部分で表されるオペランドと前記変数表記部分で
    表される変数との対応関係がそれぞれの記載の順序で決
    定されることを特徴とする高級言語プログラム内アセン
    ブラ表現方法。
12. 【請求項１２】 前記アセンブラ命令処理部は、 アセンブラ命令のオペコードを表すオペコード表記部分
    と、前記アセンブラ命令のオペランドを表す少なくとも
    １つのオペランド表記部分とからなるフォーマット表記
    部分と、 高級言語プログラム中の変数を表し、前記オペランド表
    記部分と同数の変数表記部分とからなり、前記オペラン
    ド表記部分で表されるオペランドと前記変数表記部分で
    表される変数との対応関係がそれぞれの記載の順序で決
    定される高級言語プログラム内アセンブラ表現方法によ
    って記述されたアセンブラ命令記述を解析することを特
    徴とする請求項１記載のプログラム変換装置。
13. 【請求項１３】 高級言語プログラムをアセンブラプロ
    グラムに変換するプログラム変換装置が出力し、複数の
    レジスタを含む資源要素を有するプロセッサによって実
    行される機械命令列が記録された記録媒体であって、 前記高級言語プログラム中に記載されたアセンブラ命令
    記述に対応する第１の機械命令と、 前記第１の機械命令に前置して配置され、前記第１の機
    械命令が指定するオペランドに割り当てられた資源要素
    の全てに値を設定する１つまたは複数の機械命令とを含
    み、前記第１の機械命令の直前において、前記レジスタ
    の全てが前記第１の機械命令に前置して配置される機械
    命令列中の機械命令が指定するオペランドに割り当てら
    れていることを特徴とする記録媒体。