JP2001273150A - プログラム変換装置 - Google Patents

Abstract

(57)【要約】 【課題】 ソースプログラム中にアセンブラコードに展
開される記述形式であるアセンブラテンプレート関数の
呼出記述が含まれている場合に、呼出記述を最適なアセ
ンブラコードに変換するプログラム変換装置を提供す
る。 【解決手段】 制御部１０４がアセンブラテンプレート
関数の呼出記述を検出したとき、アセンブラテンプレー
ト選択部１０５は、呼出記述で呼び出されるアセンブラ
テンプレート関数に対応する複数の定義をアセンブラテ
ンプレート記憶部１０３から得て、呼出記述中における
引数が変数か定数かの別により各定義が使用可能か否か
を判断し、使用可能な各定義に対して定義で特定される
アセンブラコードの実行サイクル数を求め、実行サイク
ル数の最も小さい１つの定義を選択する。アセンブラ関
数呼出翻訳部１０７は選択された定義に基づいてアセン
ブラコードを生成して出力ファイル格納部１０８に出力
する。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、高級言語で記述さ
れたソースプログラムを特定のプロセッサ用のアセンブ
ラコードに変換するプログラム変換装置に関し、特に、
別途定義してあるアセンブラコードに変換されるべき関
数呼出記述を含むソースプログラムを、変換対象とする
プログラム変換装置に関する。

【０００２】

【従来の技術】一般にプログラム開発者等によるプログ
ラムの作成は、Ｃ言語、Ｃ＋＋言語等の高級言語を用い
てなされ、高級言語を用いて作成されたプログラムは、
コンパイラ等のプログラム変換装置によってアセンブラ
コードに変換され最終的にはプロセッサが実行可能な機
械語命令列に変換され利用される。

【０００３】ところで近年、画像処理等のマルチメディ
ア処理を高速に行なうために積和演算、飽和演算等のデ
ジタル信号処理用の命令（以下、「ＤＳＰ命令」とい
う。）をサポートするマイクロプロセッサが製造される
ようになり、このようなマイクロプロセッサが情報家電
機器やパーソナルコンピュータに搭載されている。しか
しながら、Ｃ言語、Ｃ＋＋言語等の高級言語はＤＳＰ命
令を想定しておらずＤＳＰ命令に対応する演算子を備え
ていない。

【０００４】従って、ＤＳＰ命令を使用する処理を実行
するプログラムを作成するためには、ＤＳＰ命令を使用
する処理の部分をアセンブラ言語で記述しなければなら
ない。従来のプログラム変換装置には、高級言語のソー
スプログラム中においてアセンブラコードにより実現さ
れる処理を記述するために、アセンブラテンプレート関
数に対する呼出記述を用いることができるようにしたも
のがある。例えばＧＡＩＯテクノロジ社のコンパイラで
ある。アセンブラテンプレート関数とは、アセンブラコ
ードを決定するために用いられる記述であり、形式的に
関数の形式をとるものである。このアセンブラテンプレ
ート関数の内容を、即ちアセンブラコードを決定するた
めの情報等を、定義したものをアセンブラテンプレート
という。つまりアセンブラテンプレートは、アセンブラ
テンプレート関数を定義するための記述、即ちアセンブ
ラテンプレート関数の内容を特定するための記述であ
る。

【０００５】このようなプログラム変換装置は、ソース
プログラム中にアセンブラテンプレート関数の呼出記述
が記述されている場合には、その呼出記述における引数
及び戻り値に即して、アセンブラテンプレート関数の内
容となるアセンブラコードを決定し、この決定したアセ
ンブラコードをそのアセンブラテンプレート関数の呼出
記述の部分の翻訳結果とする。即ち、このプログラム変
換装置により、アセンブラテンプレート関数の呼出記述
は、サブルーチンを呼び出す命令を含むアセンブラコー
ドに翻訳されるのではなく、その位置に直接置かれるア
センブラコードに翻訳される。

【０００６】図１０は、従来のアセンブラテンプレート
の内容例を示す図である。同図に示すようにアセンブラ
テンプレートの内容は、アセンブラテンプレート関数の
定義であり、各行の意味は以下の通りである。「ａｓｍ
＿ｔｅｍｐｌａｔｅ」はアセンブラテンプレートである
ことを表す。「ｆｉｒ」は、アセンブラテンプレート関
数の関数名を表す。なお、１つの関数名で特定されるア
センブラテンプレート関数の定義記述は１つのみであ
る。即ち、同一関数名で２以上のアセンブラテンプレー
ト関数の定義を行うことはできない。

【０００７】「＄ｐ１＝｛ｐ０，ｐ１，ｐ２，ｐ３｝」
は、「＄ｐ１」という仮想レジスタがアセンブラテンプ
レート関数の第１引数を表し、「｛ｐ０，ｐ１，ｐ２，
ｐ３｝」が第１引数の割り当て候補のレジスタを表す。
ここで、仮想レジスタとは、レジスタに変換される変数
をいう。プログラム変換装置は、ソースプログラムの翻
訳に際して、アセンブラテンプレート関数の呼出記述に
おける第１引数に対応するものとして、割り当て候補の
レジスタうちのいずれか１つのレジスタを決定して割り
当てることになり、結果的に第１引数の示す値はその決
定した１つのレジスタに格納されることになる。

【０００８】「＄ｐ２＝｛ｐ４，ｐ５，ｐ６，ｐ７｝」
は、「＄ｐ２」という仮想レジスタがアセンブラテンプ
レート関数の第２引数を表し、「｛ｐ４，ｐ５，ｐ６，
ｐ７｝」が第２引数の割り当て候補のレジスタを表す。
「＄ｐ３＝｛ｒ０，ｒ１，ｒ２，ｒ３｝」は、「＄ｐ
３」という仮想レジスタがアセンブラテンプレート関数
の第３引数を表し、「｛ｒ０，ｒ１，ｒ２，ｒ３｝」が
第３引数の割り当て候補のレジスタを表す。

【０００９】「＄ｔ１＝｛ａ０，ａ１｝」は、「＄ｔ
１」という仮想レジスタがアセンブラテンプレート関数
内で使用される１番目の一時資源を表し、「｛ａ０，ａ
１｝」が一時資源への割り当て候補のレジスタを表す。
なお一時資源は、一時的に使用するレジスタを意味す
る。「ｒｅｔ＝｛＄ｔ１｝」は、アセンブラテンプレー
ト関数内で使用される１番目の一時資源が関数の戻り値
とされることを表す。

【００１０】「ｋｉｌｌ＝｛＄ｐ１，＄ｐ２｝」は、第
１引数、第２引数の値が関数内で変更されることを表
す。「ｃｏｄｅ＝｛・・・｝」は、アセンブラテンプレ
ート関数の定義の本体的な記述であり、引数及び一時資
源を用いて表されたアセンブラコードである。「ｒｅｐ
ｎ ＄ｐ３」は第３引数の回数だけ次の命令を繰り返す
という命令であり、「ｍａｃ ＄ｔ１，ｍ（＄ｐ１，
１），ｍ（＄ｐ２，１）」は第１引数であるアドレス値
の指し示すメモリの内容と第２引数であるアドレス値の
指し示すメモリの内容との積と一時資源との和を一時資
源に格納した後に、第１引数であるアドレス値及び第２
引数であるアドレス値をそれぞれ増加する命令である。

【００１１】即ち、この「ｆｉｒ」という関数名のアセ
ンブラテンプレート関数は、第１引数であるアドレスか
ら順にメモリに格納されている数値列と、第２引数であ
るアドレスから順にメモリに格納されている数値列との
内積を第３引数で示される要素数分だけ計算した結果の
総和を戻り値として返却する関数である。図６は、アセ
ンブラテンプレート関数の呼出記述を含むソースプログ
ラムの例を示す図である。

【００１２】同図に示すソースプログラムは、Ｃ言語で
記述されたものであり、「ｆｉｒ（ｖ１，v２，ｎ）」
及び「ｆｉｒ（ｖ３，v４，１０）」が上述した「ｆｉ
ｒ」という関数名のアセンブラテンプレート関数の呼出
記述である。以下、図９を用いて、従来のプログラム変
換装置９００について説明する。図９は、従来のプログ
ラム変換装置９００の機能ブロック図である。

【００１３】なお、同図中にはプログラム変換装置の入
力ファイルの格納先であるソースファイル格納部９０１
及びアセンブラテンプレートファイル格納部９０２と、
出力ファイルの格納先である出力ファイル格納部９０７
をも示している。プログラム変換装置９００は、ソース
プログラムをアセンブラコードに変換するもので、ハー
ドウェア的にはＣＰＵ、メモリ、ハードディスク装置等
を備えるパーソナルコンピュータで構成され、機能的に
はアセンブラテンプレート記憶部９０３と、制御部９０
４と、アセンブラ関数呼出翻訳部９０５と、一般命令翻
訳部９０６とを備える。制御部９０４、アセンブラ関数
呼出翻訳部９０５及び一般命令翻訳部９０６は、メモリ
に格納された制御プログラムがＣＰＵにより実行される
ことによりその機能が実現されるものである。

【００１４】ここで、ソースファイル格納部９０１は、
アセンブラテンプレート関数の呼出記述を含むソースプ
ログラムを格納している記憶装置である。アセンブラテ
ンプレートファイル格納部９０２は、ソースプログラム
から呼び出されるアセンブラテンプレート関数の定義で
あるアセンブラテンプレートが記述されたアセンブラテ
ンプレートファイルを格納している記憶装置である。

【００１５】アセンブラテンプレート記憶部９０３は、
アセンブラテンプレートファイル格納部９０２に格納さ
れたアセンブラテンプレートファイルからアセンブラテ
ンプレートを読み出して記憶するメモリ領域である。制
御部９０４は、ソースファイル格納部９０１からソース
プログラムを読み出し、ソースプログラムの各文に逐次
着目し、着目した文が、関数の呼出記述を意味する文で
ありかつその関数の名前がアセンブラテンプレート記憶
部９０３に記憶されていた場合には、アセンブラ関数呼
出翻訳部９０５を起動し、その他の場合には、一般命令
翻訳部９０６を起動する。ここで起動とは、起動対象に
機能処理の実行を開始させることをいう。

【００１６】アセンブラ関数呼出翻訳部９０５は、制御
部９０４により起動され、関数呼出記述で呼び出される
アセンブラテンプレート関数に対応する定義をアセンブ
ラテンプレート記憶部９０３から得て、その本体的な記
述である「ｃｏｄｅ＝｛・・・｝」において使用されて
いる「＄ｐ１」、「＄ｐ２」、「＄ｐ３」、「＄ｔ１」
に対して、割り当て候補のレジスタのうちのいずれかを
割り当てて引数及び戻り値の設定のコードとレジスタの
退避及び復元のためのコードとを付加することによりア
センブラコードを生成して、生成したアセンブラコード
を出力ファイル９０７に出力する。

【００１７】一般命令翻訳部９０６は、制御部９０４に
より起動され、一般命令翻訳処理を行なう。即ち、一般
命令翻訳部９０６は、アセンブラテンプレート関数の呼
出記述を含む文以外の文を、文の内容に応じてアセンブ
ラコードに変換して出力ファイル格納部９０７に出力す
る。なお、プログラム変換装置９００は、ソースファイ
ル格納部９０１及びアセンブラテンプレートファイル格
納部９０２からソースプログラム及びアセンブラテンプ
レートを読み出した後は、これらを処理効率のよい所定
の内部形式に変換し、これらをアセンブラコードへ翻訳
する処理を実行する。

【００１８】図１１は、図６に示したソースプログラム
を従来のプログラム変換装置９００により変換した結果
として得られるアセンブラコードを示す図である。な
お、アセンブラテンプレートファイル格納部９０２に、
図１０に示したアセンブラテンプレートが格納されてい
た場合に、図１１に示すアセンブラコードが得られるこ
とになる。

【００１９】図６に示したソースプログラムにおいて、
アセンブラテンプレート関数の１回目の使用については
全ての引数を変数とし、２回目の使用については第１引
数と第２引数とを変数とし第３引数を定数「１０」とし
ている。しかし、このソースプログラムの変換結果とし
て生成されたアセンブラコードは、アセンブラテンプレ
ート関数の引数に変数を用いられたか定数を用いられた
かに関係なく、図１１に示すように１回目の使用に相当
する部分も２回目の使用に相当する部分も形式的には同
じ命令列から構成されるものとなる。

【００２０】このように、従来のプログラム変換装置
は、同一のアセンブラテンプレート関数を使用する部分
についてはいずれも形式的に同じ命令列から構成される
アセンブラコードに変換する。

【００２１】

【発明が解決しようとする課題】上述した従来のプログ
ラム変換装置は、ソースプログラムを最適なアセンブラ
コードに変換する、即ち最適なアセンブラコードを生成
するという観点からは、以下に示す問題がある。プロセ
ッサが実行可能な命令セットには、処理対象がレジスタ
の内容であるか定数値であるかによって異なる命令が用
意されている場合があり、効果的に各命令を使い分ける
ことにより最適なアセンブラコードの生成は可能にな
る。このような異なる命令が用意されている場合におい
て、例えば定数を処理対象とする命令が利用できるにも
関わらず、定数をレジスタに格納した後にレジスタを処
理対象とする命令を利用したならば、最適なアセンブラ
コードの生成を行ったとはいえない。

【００２２】従来のプログラム変換装置によれば、アセ
ンブラテンプレート関数の呼出記述は、どのような引数
を用いた記述であっても、形式的に同じ命令列から構成
されるアセンブラコードに変換されてしまい、引数が変
数であるか定数であるかに応じて最適なアセンブラコー
ドに変換されるのではない。また、機能的に同様な処理
を行なうもので関数名が異なる複数のアセンブラテンプ
レート関数を用意しておき、引数が変数であるか定数で
あるかといった状況に応じて、ソースプログラムの作成
者がどのアセンブラテンプレート関数を使用するかを選
択して関数の呼出記述を行なう方法が考えられるが、作
成者に選択の負担を課すため生産性の低下を招く上、作
成者が必ずしも最適な選択を行うとは限らないという問
題がある。

【００２３】そこで、本発明は、かかる問題点に鑑みて
なされたものであり、アセンブラテンプレート関数の呼
出記述における引数が変数であるか定数であるか等の呼
出記述の内容に応じてアセンブラテンプレート関数の呼
出記述を最適なアセンブラコードに変換するプログラム
変換装置を提供することを目的とする。更に、本発明
は、アセンブラテンプレート関数の呼出記述の内容に応
じて最適化のために命令を使い分ける他に、コードサイ
ズの面や実行サイクル数の面のうちどの面について最適
化を図るかという設定に応じて命令を使い分けることに
より、アセンブラテンプレート関数の呼出記述を最適な
アセンブラコードに変換するプログラム変換装置を提供
することをも目的とする。

【００２４】

【課題を解決するための手段】上記目的を達成するため
に、本発明に係るプログラム変換装置は、高級言語で記
述されたソースプログラムをアセンブラコードに変換す
るプログラム変換装置であって、アセンブラテンプレー
ト関数についての複数の定義を記憶するテンプレート記
憶手段と、前記ソースプログラムにおけるアセンブラテ
ンプレート関数の呼出記述を検出する呼出検出手段と、
前記呼出検出手段により前記呼出記述が検出された場合
に、当該呼出記述により呼び出されるアセンブラテンプ
レート関数についての複数の定義のうち、最適な１つを
選択する選択手段と、前記呼出検出手段により検出され
た前記呼出記述を、前記選択手段により選択されたアセ
ンブラテンプレート関数の定義に基づいてアセンブラコ
ードに変換する変換手段とを備えることを特徴とする。

【００２５】ここで、アセンブラテンプレート関数の定
義とは、アセンブラコードを特定する内容の情報をい
う。これにより、アセンブラテンプレート関数について
の複数の定義のうちの１つが選択されるので、このプロ
グラム変換装置を利用する場合に、１つのアセンブラテ
ンプレート関数に対して複数の定義を用意しておけば、
ソースプログラム中のアセンブラテンプレート関数の呼
出記述を、その記述内容等に応じて最適なアセンブラコ
ードに変換することや、コードサイズ又は実行サイクル
数の面から最適なアセンブラコードに変換することが可
能になる。例えば、ソースプログラム中のアセンブラテ
ンプレート関数の呼出記述における引数が変数か定数か
等に応じ、又は、変換をコードサイズ優先で行うか実行
サイクル数優先で行うか等の設定に応じて、アセンブラ
テンプレート関数の呼出記述を、コードサイズの小さい
又は実行サイクル数の少ないといった最適なアセンブラ
コードに変換することが可能になる。

【００２６】

【発明の実施の形態】以下、本発明の実地の形態に係る
プログラム変換装置について、図面を用いて説明する。 ＜構成＞図１は、本発明の実施の形態に係るプログラム
変換装置１００の機能ブロック図である。

【００２７】なお、図１にはソースファイル格納部１０
１、アセンブラテンプレートファイル格納部１０２、出
力ファイル格納部１０８も併せて記載している。ここ
で、ソースファイル格納部１０１は、アセンブラテンプ
レート関数の呼出記述を含むＣ言語のソースプログラム
を格納している記憶装置である。アセンブラテンプレー
トファイル格納部１０２は、アセンブラテンプレート関
数の定義であるアセンブラテンプレートを複数記述した
アセンブラテンプレートファイルを格納している記憶装
置である。

【００２８】また、出力ファイル格納部１０８は、プロ
グラム変換装置１００により、ソースファイル格納部１
０１に格納されたソースプログラムの変換結果として生
成されるアセンブラコードを格納するための記憶装置で
ある。プログラム変換装置１００は、ＣＰＵ、メモリ、
ハードディスク装置等を備えるパーソナルコンピュータ
で構成され、メモリに格納された制御プログラムがＣＰ
Ｕにより実行されることによりソースプログラムをアセ
ンブラコードに変換する機能を実現するいわゆるコンパ
イラであり、機能的には、アセンブラテンプレート記憶
部１０３、制御部１０４、アセンブラテンプレート選択
部１０５、一般命令翻訳部１０６、アセンブラ関数呼出
翻訳部１０７から構成される。なお、ソースプログラム
をアセンブラコードに変換するとは、ソースプログラム
に基づいて、そのソースプログラムに記述された処理内
容をプロセッサに実行させるためのアセンブラコードを
生成することをいう。

【００２９】アセンブラテンプレート記憶部１０３は、
アセンブラテンプレートファイル格納部１０２からアセ
ンブラテンプレートを読み出して記憶するメモリ領域で
あり、従来のプログラム変換装置９００におけるアセン
ブラテンプレート記憶部９０３と同等である。制御部１
０４は、ソースファイル格納部１０１からソースプログ
ラムを読み出し、ソースプログラムの各文に逐次着目
し、着目した文が、関数の呼出記述を意味する文であり
かつその関数の名前がアセンブラテンプレート記憶部１
０３に記憶されていた場合には、アセンブラ関数呼出翻
訳部１０７を起動し、その他の場合には、一般命令翻訳
部１０６を起動する。なお、制御部１０４は、従来のプ
ログラム変換装置９００における制御部９０４と同等で
ある。

【００３０】アセンブラ関数呼出翻訳部９０５は、制御
部９０４により起動され、アセンブラテンプレート選択
部１０５を起動して、関数の呼出記述で呼び出されるア
センブラテンプレート関数に対応する定義をアセンブラ
テンプレート選択部１０５から受け取り、アセンブラテ
ンプレート関数の定義の本体的な記述において使用され
ている仮想レジスタに対して、割り当て候補のレジスタ
のうちのいずれかを割り当てて引数及び戻り値の設定の
コードとレジスタの退避及び復元のためのコードとを付
加することによりアセンブラコードを生成して、生成し
たアセンブラコードを出力ファイル格納部１０８に出力
する。

【００３１】アセンブラテンプレート選択部１０５は、
アセンブラ関数呼出翻訳部１０７により起動され、関数
呼出記述で呼び出されるアセンブラテンプレート関数に
対応する複数の定義、即ち複数のアセンブラテンプレー
トを、アセンブラテンプレート記憶部１０３から獲得
し、それぞれのアセンブラテンプレートのコストを計算
し、最小のコストのアセンブラテンプレートを選択し、
アセンブラ関数呼出翻訳部１０７に渡す。なお、コスト
とは、アセンブラテンプレートの選択に用いるための指
標値をいい、コストが低いことは、アセンブラテンプレ
ート関数の翻訳結果であるアセンブラコードのコードサ
イズが小さい又はそのアセンブラコードの実行サイクル
数が短いものであることを表す。

【００３２】一般命令翻訳部１０６は、制御部１０４に
より起動され、アセンブラテンプレート関数の呼出記述
を含む文以外の文を、文の内容に応じてアセンブラコー
ドに変換して出力ファイル格納部１０８に出力する。な
お、一般命令翻訳部１０６は、従来のプログラム変換装
置９００における一般命令翻訳部９０６と同等である。

【００３３】なお、プログラム変換装置１００は、ソー
スファイル格納部１０１及びアセンブラテンプレートフ
ァイル格納部１０２からソースプログラム及びアセンブ
ラテンプレートを読み出した後は、一般のコンパイラが
ソースプログラムを内部形式に変換して翻訳処理するの
と同様に、ソースプログラム及びアセンブラテンプレー
トを処理効率のよい所定の内部形式に変換しておき、こ
れらをアセンブラコードへ翻訳する処理を実行する。 ＜データ内容＞以下、アセンブラテンプレートファイル
格納部１０２に格納されている複数のアセンブラテンプ
レートについて説明する。

【００３４】図７は、複数のアセンブラテンプレートの
内容例を示す図である。同図の例では、同一の関数名の
２つのアセンブラテンプレート関数の定義記述である２
つのアセンブラテンプレートを示している。まず、同図
中のテンプレート１、即ち１つ目のアセンブラテンプレ
ート関数の定義について説明する。

【００３５】「ｆｉｒ」は、アセンブラテンプレート関
数の関数名を表す。「＄ｐ１＝｛ｐ０，ｐ１，ｐ２，ｐ
３｝」は、「＄ｐ１」という仮想レジスタがアセンブラ
テンプレート関数の第１引数を表し、「｛ｐ０，ｐ１，
ｐ２，ｐ３｝」が第１引数の割り当て候補のレジスタを
表す。「＄ｐ２＝｛ｐ４，ｐ５，ｐ６，ｐ７｝」は、
「＄ｐ２」という仮想レジスタがアセンブラテンプレー
ト関数の第２引数を表し、「｛ｐ４，ｐ５，ｐ６，ｐ
７｝」が第２引数の割り当て候補のレジスタを表す。

【００３６】「＄ｐ３＝｛ｒ０，ｒ１，ｒ２，ｒ３｝」
は、「＄ｐ３」という仮想レジスタがアセンブラテンプ
レート関数の第３引数を表し、「｛ｒ０，ｒ１，ｒ２，
ｒ３｝」が第３引数の割り当て候補のレジスタを表す。
「＄ｔ１＝｛ａ０，ａ１｝」は、「＄ｔ１」という仮想
レジスタがアセンブラテンプレート関数内で使用される
１番目の一時資源を表し、「｛ａ０，ａ１｝」が一時資
源への割り当て候補のレジスタを表す。

【００３７】「ｒｅｔ＝｛＄ｔ１｝」は、アセンブラテ
ンプレート関数内で使用される１番目の一時資源が関数
の戻り値とされることを表す。「ｋｉｌｌ＝｛＄ｐ１，
＄ｐ２｝」は、第１引数、第２引数の値が関数内で変更
されることを表す。「ｃｏｄｅ＝｛・・・｝」の内容と
して記述された「ｒｅｐｎ ＄ｐ３」及び「ｍａｃ ＄
ｔ１，ｍ（＄ｐ１，１），ｍ（＄ｐ２，１）」は、アセ
ンブラテンプレート関数の定義の本体的な記述であり、
「＄ｐ１」、「＄ｐ２」、「＄ｐ３」、「＄ｔ１」とい
う仮想レジスタを用いて表されたアセンブラコードであ
る。

【００３８】「ｃｏｓｔ＝２］は、コストが２であるこ
とを表す。次に、同図中のテンプレート２、即ち関数名
「ｆｉｒ」の２つ目のアセンブラテンプレート関数の定
義について、テンプレート１と異なる点についてのみ説
明する。「＄ｐ３＝｛ｉｍｍ｝」は、「＄ｐ３」という
仮想レジスタがアセンブラテンプレート関数の第３引数
を表し、「｛ｉｍｍ｝」が第３引数の割り当て候補は定
数値であることを表す。

【００３９】「ｃｏｄｅ＝｛・・・｝」の内容として記
述された「ｍａｃｒ ＄ｓｐ３，＄ｔ１，ｍ（＄ｐ１，
１），ｍ（＄ｐ２，１）」は、アセンブラテンプレート
関数の定義の本体的な記述であり、「＄ｐ１」、「＄ｐ
２」、「＄ｐ３」、「＄ｔ１」という仮想レジスタを用
いて表されたアセンブラコードである。「ｃｏｓｔ＝
１］は、コストが１であることを表す。 ＜動作＞以下、上述の構成を備えるプログラム変換装置
１００の動作について、図６に示したＣ言語で記述され
たソースプログラムの変換を例として、説明する。

【００４０】前提として、この変換対象となる図６に示
したソースプログラムがソースファイル格納部１０１に
格納されているものとし、図７に示した２つのアセンブ
ラテンプレート関数の定義、即ち２つのアセンブラテン
プレートが、アセンブラテンプレートファイル格納部１
０２に格納されているものとする。図２は、プログラム
変換装置１００の動作を示すフローチャートである。

【００４１】まず、プログラム変換装置１００は、アセ
ンブラテンプレートファイル格納部１０２に格納されて
いる全てのアセンブラテンプレートを読み出してプログ
ラム変換装置の内部形式に変換して、アセンブラテンプ
レート記憶部１０３に格納する（ステップＳ２０１）。
アセンブラテンプレートを読み出した後に、プログラム
変換装置１００は、ソースファイル格納部１０１に格納
されているソースプログラムを読み出してメモリに格納
する（ステップＳ２０２）。

【００４２】ソースプログラムがメモリに格納された後
に、制御部１０４は、ソースプログラム中の各文に逐次
着目して、その内容に応じて翻訳処理を行う（ステップ
Ｓ２０３〜Ｓ２０８）。即ち、制御部１０４は、ソース
プログラムの１文に着目し（ステップＳ２０３）、この
文が関数の呼出記述であるかを判断し（ステップＳ２０
４）、関数の呼出記述である場合には次にアセンブラテ
ンプレート記憶部１０３にその呼び出す関数名が記憶さ
れているかを判断し（ステップＳ２０５）、記憶されて
いるときには、アセンブラ関数呼出翻訳部１０７を起動
して、アセンブラ関数呼出翻訳処理を実行させる（ステ
ップＳ２０６）。なお、アセンブラ関数呼出翻訳処理に
ついては、後に詳細に説明する。

【００４３】図６に示すソースプログラム中の１つの文
である「ｒｅｓｕｌｔ１＝ｆｉｒ（ｖ１，ｖ２，ｎ）」
は関数の呼出記述であり、かつ関数名「ｆｉｒ」はアセ
ンブラテンプレート記憶部１０３に格納されているので
（図７参照）、アセンブラ関数呼出翻訳処理が行われる
ことになる。また、制御部１０４は、着目した文が（ス
テップＳ２０３）、関数の呼出記述ではない場合か（ス
テップＳ２０４）、又は呼び出される関数の名前がアセ
ンブラテンプレート記憶部１０３に記憶されていない場
合には（ステップＳ２０５）、一般命令翻訳部１０６を
起動して、文の内容に応じてアセンブラコードに変換す
る一般命令翻訳処理を実行させる（ステップＳ２０
７）。一般命令翻訳処理については、一般のコンパイラ
における翻訳処理と同様であるので、詳細な動作説明は
省略する。

【００４４】アセンブラ関数呼出翻訳処理（ステップＳ
２０６）又は一般命令翻訳処理（ステップＳ２０７）が
終了した後に、制御部１０４は、ソースプログラム中に
未だ着目していない文があるか否かを判断し（ステップ
Ｓ２０８）、未だ着目していない文があるならば次の文
に着目すべくステップＳ２０３の処理に戻る。図６に示
すソースプログラム中にはまだ次の文「ｒｅｓｕｌｔ２
＝ｆｉｒ（ｖ３，ｖ４，１０）」があるのでその文に着
目することになる（ステップＳ２０３）。この文も関数
呼び出しで（ステップＳ２０４）、関数名「ｆｉｒ」は
アセンブラテンプレート記憶部１０３に格納されている
ので（ステップＳ２０５）、アセンブラ関数呼出翻訳処
理がなされることになる（ステップＳ２０６）。

【００４５】こうして、ステップＳ２０８の判断におい
て、未だ着目していない文がない場合、即ち、全ての文
を処理し終えた場合には、プログラム変換装置１００
は、ソースプログラムの変換に関する動作を終了する。 ＜アセンブラ関数呼出翻訳処理＞以下、アセンブラ関数
呼出翻訳部１０７が行なうアセンブラ関数呼出翻訳処理
について説明する。

【００４６】図３は、アセンブラ関数呼出翻訳部１０７
が行なうアセンブラ関数呼出翻訳処理の内容を示すフロ
ーチャートである。アセンブラ関数呼出翻訳部１０７
は、メモリに格納されているソースプログラム中のアセ
ンブラテンプレート関数の呼出記述を参照するために必
要なメモリアドレス等の情報を制御部１０４から起動時
に渡される。図６に示すアセンブラテンプレート関数の
呼出記述である「ｒｅｓｕｌｔ１＝ｆｉｒ（ｖ１，v
２，ｎ）」を参照するための情報が渡されて、アセンブ
ラ関数呼出翻訳部１０７が起動される場合を例にして説
明する。

【００４７】アセンブラ関数呼出翻訳部１０７は、起動
されると、ソースプログラムに記述された変数に割り当
てないレジスタ、即ち退避及び復元なしで使用可能なレ
ジスタを求め（ステップＳ３０１）、その退避及び復元
なしで使用可能なレジスタを示す情報とアセンブラテン
プレート関数の呼出記述を示す情報とを渡して、アセン
ブラテンプレート選択部１０５を起動する。なお、変数
に割り当てないレジスタがどれであるか等は従来のコン
パイラにおいてなされている手法により求めることがで
きる。

【００４８】アセンブラテンプレート選択部１０５は起
動されると、複数のアセンブラテンプレートから最適な
アセンブラテンプレートを選択するアセンブラテンプレ
ート選択処理を行い、ここでは、「ｒｅｓｕｌｔ１＝ｆ
ｉｒ（ｖ１，ｖ２，ｎ)」について「ｆｉｒ」というアセ
ンブラテンプレート関数の定義として図７に示したテン
プレート１を選択しアセンブラ関数呼出翻訳部１０７に
通知する（ステップＳ３０２）。このアセンブラテンプ
レート選択処理については後に詳細に説明する。

【００４９】次に、アセンブラ関数呼出翻訳部１０７
は、アセンブラテンプレート選択部１０５により選択さ
れたアセンブラテンプレート関数の定義をアセンブラコ
ードに変換する際に引数と戻り値についての受渡しのコ
ードが必要か否かを判断する（ステップＳ３０３）。必
要である場合には、アセンブラ関数呼出翻訳部１０７
は、引数及び戻り値について必要な受渡しのコードを生
成する（ステップＳ３０４）。また、引数及び戻り値に
ついての受渡しのコードが必要でなければステップＳ３
０４をスキップする。

【００５０】ステップＳ３０４で、アセンブラ関数呼出
翻訳部１０７は、「ｒｅｓｕｌｔ１＝ｆｉｒ（ｖ１，ｖ
２，ｎ）」に対して、引数「ｖ１」、「ｖ２」、「ｎ」
についてはそれぞれ「ｍｏｖ＄ｐ１，ｖ１」、「ｍｏｖ
＄ｐ２，ｖ２」、「ｍｏｖ＄ｐ３，（ｎ）」という受渡
しのコードを、戻り値ｒｅｓｕｌｔ１については「ｍｏ
ｖ（ｒｅｓｕｌｔ１），＄ｔ１」という受渡しのコード
を生成する。

【００５１】なお、アセンブラ関数翻訳部１０７は、引
数についての受渡しのコードは、アセンブラテンプレー
ト関数の定義の本体的記述に対応して生成するアセンブ
ラコードの前に挿入し、戻り値についての受渡しのコー
ドは本体的記述に対して生成するアセンブラコードの後
に挿入する。必要に応じて引数及び戻り値についての受
渡しのコードを生成した後に、アセンブラ関数呼出翻訳
部１０７は、アセンブラテンプレート中の割り当て候補
のレジスタについての記述を参照して、アセンブラテン
プレート関数の定義の本体的記述における仮想レジスタ
「＄ｐ３」、「＄ｔ１」、「＄ｐ１」及び「＄ｐ２」に
割り当てる現実のレジスタを決定し、これらの仮想レジ
スタを決定した現実のレジスタに置き換えることにより
アセンブラコードを生成する（ステップＳ３０５）。な
お、置き換える現実のレジスタの決定は、従来のプログ
ラム変換装置における手法と同様の手法で実現できるの
で、ここでは、説明を省略する。

【００５２】ここでは、テンプレート１のパラメータで
ある仮想レジスタ「＄ｐ１」、「＄ｐ２」、「＄ｐ３」
及び「＄ｔ１」が、それぞれ実レジスタ「ｐ０」、「ｐ
４」、「ｒ０」及び「ａ０」に置き換えられることとし
て説明する。次に、アセンブラ関数翻訳部１０７は、置
き換える現実のレジスタが、既にアセンブラコードに変
換済みの部分において使用されている場合は、関数の呼
出記述に関して変換する場合における従来のプログラム
変換装置における手法と同様の手法により、退避及び復
元のコードが必要か否かを判断する（ステップＳ３０
６）。

【００５３】退避及び復元が必要であると判断した場合
には、アセンブラ関数翻訳部１０７は、レジスタの退避
及び復元のアセンブラコードを生成し、アセンブラテン
プレート関数の定義の本体的記述に対応して生成された
アセンブラコードの前に退避のコードを挿入し、本体的
記述に対応して生成するアセンブラコードの後に復元の
コードを挿入する（ステップＳ３０７）。また、退避及
び復元が必要でないと判断した場合には、ステップＳ３
０７をスキップする。

【００５４】ここでは、「ｐ０」、「ｐ４」、「ｒ０」
及び「ａ０」は退避及び復元の必要がなく、ステップＳ
３０７の処理は行なわれないこととして説明する。最後
に、アセンブラ関数翻訳部１０７は、アセンブラテンプ
レート関数の定義の本体的記述に対応して生成されたア
センブラコードを出力ファイル１０６に出力し（ステッ
プＳ３０８）、アセンブラ関数呼出翻訳処理を終了す
る。

【００５５】また、図６に示すアセンブラテンプレート
関数の呼出記述である「ｒｅｓｕｌｔ２＝ｆｉｒ（ｖ
３，v４，１０）」を参照するための情報が渡されて起
動された場合には、アセンブラ関数翻訳部１０７は、基
本的には上述した「ｒｅｓｕｌｔ１＝ｆｉｒ（ｖ１，ｖ
２，ｎ）」が渡された場合と同様の動作を行うが、アセ
ンブラテンプレート選択部１０５によりなされるアセン
ブラテンプレート選択処理（ステップＳ３０２）におい
て、図７に示したテンプレート２が選択されるため、結
果的に「ｒｅｓｕｌｔ１＝ｆｉｒ（ｖ１，ｖ２，ｎ)」
に対応して生成される命令列とは異なる命令列からなる
アセンブラコードを生成する。

【００５６】このようなアセンブラ関数呼出翻訳処理に
よって、図６に示したソースプログラムは図８に示すア
センブラコードに変換される。プログラム変換装置１０
０は、「ｆｉｒ」というアセンブラテンプレート関数
を、最適なアセンブラコードに変換するため、その呼出
記述における引数に応じて、定義としてテンプレート１
又はテンプレート２を選択的に採用し、図８に示すよう
に、各呼出記述を「ｒｅｐｎ」と「ｍａｃ」という命令
列を中心としたアセンブラコード又は「ｍａｃｒ」とい
う命令を中心としたアセンブラコードに変換する。

【００５７】＜アセンブラテンプレート選択処理＞以
下、アセンブラテンプレート選択部１０５が行なうアセ
ンブラテンプレート選択処理について説明する。図４
は、アセンブラテンプレート選択部１０５が行なうアセ
ンブラテンプレート選択処理の内容を示すフローチャー
トである。

【００５８】アセンブラテンプレート選択部１０５は、
アセンブラ関数翻訳部１０７に起動され、起動される際
に、退避及び復元なしで使用可能なレジスタを示す情報
とアセンブラテンプレート関数の呼出記述を示す情報と
を渡される。ここでは、図６に示すアセンブラテンプレ
ート関数の呼出記述である「ｒｅｓｕｌｔ１＝ｆｉｒ
（ｖ１，ｖ２，ｎ）」が渡される場合と、「ｒｅｓｕｌ
ｔ２＝ｆｉｒ（ｖ３，ｖ４，１０）」が渡される場合と
を例として説明する。

【００５９】アセンブラテンプレート選択部１０５は、
アセンブラテンプレート関数の呼出記述において呼出対
象とされた関数名を持つ複数のアセンブラテンプレート
関数の定義をアセンブラテンプレート記憶部１０３から
獲得する（ステップＳ４０１）。アセンブラテンプレー
ト選択部１０５は、「ｒｅｓｕｌｔ１＝ｆｉｒ（ｖ１，
ｖ２，ｎ）」や「ｒｅｓｕｌｔ２＝ｆｉｒ（ｖ３，ｖ
４，ｎ）」については図７に示した「ｆｉｒ」という関
数名のテンプレート１及びテンプレート２を獲得する。

【００６０】アセンブラテンプレート選択部１０５は、
獲得した複数のアセンブラテンプレート関数の定義のう
ち、コストが最小であるアセンブラテンプレート関数の
定義を選択するものであり、このためステップＳ４０２
からＳ４０７までの処理を行なう。アセンブラテンプレ
ート選択部１０５は、アセンブラテンプレート関数の１
つの定義に着目し（ステップＳ４０２）、アセンブラテ
ンプレート関数の呼出記述を変換するのに使用可能な定
義であるか否かを判断する（ステップＳ４０３）。

【００６１】アセンブラテンプレート選択部１０５は、
図７に示したテンプレート１に着目した場合、「ｒｅｓ
ｕｌｔ１＝ｆｉｒ（ｖ１，ｖ２，ｎ）」に対する場合で
も「ｒｅｓｕｌｔ２＝ｆｉｒ（ｖ３，ｖ４，１０）」に
対する場合でも、使用可能であると判断する。このよう
に判断するのは、引数が定数、即ち即値でないと使用で
きない旨の条件、つまり後述するｉｍｍを用いた記述
が、テンプレート１中に含まれていないからである。

【００６２】しかし、アセンブラテンプレート選択部１
０５は、図７に示したテンプレート２に着目した場合、
テンプレート２の定義内の「＄ｐ３＝｛ｉｍｍ｝」は第
３引数が即値でなければならないことを示しているの
で、第３引数が即値である呼出記述では使用可能である
が、第３引数が即値でない呼出記述では使用可能でない
と判断する。従って、「ｒｅｓｕｌｔ１＝ｆｉｒ（ｖ
１，ｖ２，ｎ）」に対する場合には、「ｆｉｒ」の第３
引数「ｎ」が即値でないので使用可能でないと判断し、
「ｒｅｓｕｌｔ２＝ｆｉｒ（ｖ３，ｖ４，１０）」に対
する場合には、「ｆｉｒ」の第３引数「１０」が即値な
ので使用可能であると判断する。

【００６３】アセンブラテンプレート選択部１０５は、
着目しているアセンブラテンプレート関数の定義が使用
可能であると判断した場合には、その定義についてのコ
ストを計算するコスト計算処理を行なう（ステップＳ４
０４）。このコスト計算処理については後に詳細に説明
する。次に、計算結果であるコストが、過去に計算した
コストの中で最小のものであるか否かを判断し（ステッ
プＳ４０５）、最小のコストであると判断した場合に
は、着目しているアセンブラテンプレート関数の定義を
選択し（ステップＳ４０６）、未だ着目していないアセ
ンブラテンプレート関数の定義があるか否かの判断を行
う（ステップＳ４０７）。

【００６４】なお、ステップＳ４０６において、着目し
ているアセンブラテンプレート関数の定義を選択すると
きに、既にアセンブラテンプレート関数の定義が選択さ
れているならば、それに替えて、着目しているアセンブ
ラテンプレート関数の定義を新たに選択する。また、ス
テップＳ４０５において最小のコストでないと判断した
場合にはステップＳ４０６をスキップして、ステップＳ
４０７の判断を行う。

【００６５】また、ステップＳ４０３において、着目し
ているアセンブラテンプレート関数の定義が使用可能で
ないと判断した場合には、ステップＳ４０４からステッ
プＳ４０６をスキップして、ステップＳ４０７の判断を
行う。ステップＳ４０７において、未だ着目していない
アセンブラテンプレート関数の定義があると判断した
ら、次のアセンブラテンプレート関数の定義に着目すべ
くステップＳ４０２の処理に戻り、全てのアセンブラテ
ンプレート関数の定義を処理し終えたならば、アセンブ
ラテンプレート選択処理を終了する。

【００６６】こうして、「ｒｅｓｕｌｔ１＝ｆｉｒ（ｖ
１，ｖ２，ｎ）」の場合は、選択候補が図７に示すテン
プレート１のみであるため、アセンブラテンプレート選
択部１０５により最終的に選択されるものはテンプレー
ト１となる。なお、使用可能な定義が１つしかない場合
においては、最小のコストのものを探すためのステップ
Ｓ４０４及びステップＳ４０５を行わない。

【００６７】また、「ｒｅｓｕｌｔ２＝ｆｉｒ（ｖ３，
ｖ４，１０）」の場合は、選択候補は図７に示すテンプ
レート１及びテンプレート２の両方であり、後述するコ
スト計算処理の結果として、図７に示すテンプレート１
のコストが６と計算され、テンプレート２のコストが４
と計算されるので、アセンブラテンプレート選択部１０
５により最終的に選択されるものはテンプレート２とな
る。

【００６８】＜コスト計算処理＞以下、コスト計算処理
について説明する。図５は、アセンブラテンプレート選
択部１０５が行うコスト計算処理の内容を示すフローチ
ャートである。コスト計算処理として、アセンブラテン
プレート選択部１０５は、例えば図７に示したテンプレ
ート１では「ｃｏｓｔ＝２」というように、アセンブラ
テンプレート関数の定義において記述されているコスト
を得てこれをコスト計算値の初期値とし（ステップＳ５
０１）、引数についての受渡しのコードが必要か否かを
判断する（ステップＳ５０２）。なお、この例では、
「ｃｏｓｔ」の数値は実行サイクル数を表すものとす
る。

【００６９】アセンブラテンプレート選択部１０５は、
引数についての受渡しのコードが必要である場合には引
数についての受渡しのコードのコストをコスト計算値に
加算することにより新たにコスト計算値を求め（ステッ
プＳ５０３）、必要でない場合にはステップＳ５０３を
スキップし、次にレジスタの退避・復元のコードが必要
か否かを判断する（ステップＳ５０４）。

【００７０】アセンブラテンプレート選択部１０５は、
レジスタの退避及び復元のコードが必要である場合には
レジスタの退避及び復元のコードのコストをコスト計算
値に加算することにより新たにコスト計算値を求め（ス
テップＳ５０５）、必要でない場合には、ステップＳ５
０５をスキップし、コスト計算処理を終了する。つま
り、「テンプレート関数の定義の本体的記述部分のコス
ト」と「引数についての受渡しコードのコスト」と「レ
ジスタの退避及び復元のコードのコスト」との和が、ア
センブラテンプレート関数の定義についての最終的なコ
スト計算値となる。

【００７１】このようなコスト計算処理により、「ｒｅ
ｓｕｌｔ２＝ｆｉｒ（ｖ３，ｖ４，１０）」に関しての
図７に示したテンプレート１のコストは、２＋４＋０＝
６と計算され、テンプレート２のコストは、１＋３＋０
＝４と計算される。引数の受け渡しのコードやレジスタ
の退避及び復元のコードのコストについては、一般のプ
ログラム変換装置と同様の処理であるところの、各種変
数等をレジスタに割り付ける処理を実行した結果を踏ま
えて、特にアセンブラテンプレート関数の呼出記述を変
換する際に新たに必要となるコードのみを計算して求め
る。また、これらのコードのコストは、レジスタを利用
する数に応じて求めることができるように算出用の情報
を予め保持していることとしてもよい。例えば、引数と
して変数が３つあれば、１つの戻り値の分と合わせて、
コストを４とする。 ＜補足＞以上、本発明に係るファイル転送システムにつ
いて、実施の形態に基づいて説明したが、本発明はこれ
らの実施の形態に限られないことは勿論である。即ち、 （１）本実施の形態では、プログラム変換装置はアセン
ブラコードを出力することとしたが、アセンブラコード
を機械語の形式に変換して出力することとしてもよい。 （２）ソースファイル格納部１０１、アセンブラテンプ
レートファイル格納部１０２及び出力ファイル格納部１
０８は、それぞれ別個のハードディスク装置等の記憶装
置であっても、同一の記憶装置であってもよい。 （３）本実施の形態では、アセンブラテンプレート中に
「ｃｏｓｔ＝」という記述形式でもって、コストを明示
する情報が含まれていることを表したが、このようにコ
ストを明示しなくても、用いうる全ての命令それぞれに
ついて、命令と、実行サイクル数、コードサイズ等のコ
ストを示す情報とを対応付けたテーブルを予めメモリ等
に記憶しておき、そのテーブルを参照することによりア
センブラテンプレートに基づき変換されるであろうアセ
ンブラコードについてのコストを算出することとしても
よい。このような方法で、アセンブラテンプレート関数
の複数の定義それぞれについて、コストを算出して比較
することによって、最もコストの小さい定義を選択し
て、その定義に従ってアセンブラテンプレート関数の呼
出記述をアセンブラコードに変換することとしてもよ
い。 （４）本実施の形態では、コストとして実行サイクル数
に着目した例に基づいてプログラム変換装置の動作につ
いて説明したが、実行サイクル数の代わりにコードサイ
ズをコストとして用いることとしてもよい。例えば「ｃ
ｏｓｔ＝」の記述がコードサイズを表すように予め記述
しておくこととしてもよい。

【００７２】また、実行サイクル数とコードサイズとの
値を両方計算できるようにしておき、実行サイクル数と
コードサイズのいずれをコストとして用いるかをプログ
ラムの作成者その他の者による設定に従って決定しアセ
ンブラテンプレート関数の複数の定義のうちコストを最
小とする１つの定義を選択して、その定義に従ってアセ
ンブラテンプレート関数の呼出記述をアセンブラコード
に変換することとしてもよい。 （５）本実施の形態では、テンプレート２の定義内の
「＄ｐ３＝｛ｉｍｍ｝」により第３引数が即値でなけれ
ばならない旨の引数に関する条件が記述されていること
としたが、引数に関する条件は、引数である即値の大き
さに関する条件であってもよい。例えば、「＄ｐ３＝
｛０＜＝ｉｍｍ＜２５６｝」等といった記述で、第３引
数が０以上２５６未満の値であることを条件とする等、
引数が所定範囲内の数値であること条件としてもよい。 （６）各アセンブラテンプレート関数についての複数の
定義それぞれについて、その定義が選択候補となり得る
条件をどのような形式で記憶していてもよい。例えば、
引数が１つしかないアセンブラテンプレート関数Ａにつ
いてのテンプレートＡ１とテンプレートＡ２という２つ
の定義がある場合に、引数が変数ならテンプレートＡ１
で引数が即値、即ち定数ならテンプレートＡ２を選択候
補とすることを示す選択用情報を記憶しておくこととし
てもよい。この場合は、選択用情報を参照してステップ
Ｓ４０３の判断を行うことになる。また、各定義につい
てのコストも、どのような形式で記憶していてもよい。 （７）本実施の形態では、退避及び復元のコードや引数
についての受渡しのコードをコスト計算において考慮す
ることとしたが、必ずしもこれらを考慮する必要はな
く、テンプレート関数の定義の本体的記述部分のコスト
のみをコスト計算の結果とすることとしてもよい。 （８）本実施の形態におけるプログラム変換装置の処理
手順（図２〜図５のフローチャートの手順）等を、汎用
のコンピュータ等に実行させるためのコンピュータプロ
グラムを、記録媒体に記録し又は各種通信路等を介し
て、流通させ頒布することもできる。このような記録媒
体には、ＩＣカード、光ディスク、フレキシブルディス
ク、ＲＯＭ等がある。流通、頒布されたコンピュータプ
ログラムは、コンピュータ等にインストール等されるこ
とにより利用に供され、コンピュータは、当該コンピュ
ータプログラムを実行して、本実施の形態で示したよう
なプログラム変換装置を実現する。

【００７３】

【発明の効果】以上の説明から明らかなように、本発明
に係るプログラム変換装置は、高級言語で記述されたソ
ースプログラムをアセンブラコードに変換するプログラ
ム変換装置であって、アセンブラテンプレート関数につ
いての複数の定義を記憶するテンプレート記憶手段と、
前記ソースプログラムにおけるアセンブラテンプレート
関数の呼出記述を検出する呼出検出手段と、前記呼出検
出手段により前記呼出記述が検出された場合に、当該呼
出記述により呼び出されるアセンブラテンプレート関数
についての複数の定義のうち、最適な１つを選択する選
択手段と、前記呼出検出手段により検出された前記呼出
記述を、前記選択手段により選択されたアセンブラテン
プレート関数の定義に基づいてアセンブラコードに変換
する変換手段とを備えることを特徴とする。

【００７４】これにより、アセンブラテンプレート関数
についての複数の定義のうちの１つが選択されるので、
このプログラム変換装置を利用する場合に、１つのアセ
ンブラテンプレート関数に対して複数の定義を用意して
おけば、ソースプログラム中のアセンブラテンプレート
関数の呼出記述を、その記述内容等に応じた最適なアセ
ンブラコードに変換することが可能になる。

【００７５】また、前記呼出検出手段は、前記ソースプ
ログラム中の関数の呼出記述を検出して、当該呼出記述
により呼び出される関数についての定義が前記テンプレ
ート記憶手段に記憶されているか否かを判断し、定義が
記憶されている場合に当該呼出記述をアセンブラテンプ
レート関数の呼出記述として検出することとしてもよ
い。

【００７６】これにより、ソースプログラム上において
通常の関数の呼出記述と同様の形式でもって記述された
アセンブラテンプレート関数の呼出記述を検出して、最
適なアセンブラコードに変換することができるようにな
る。また、前記テンプレート記憶手段は、前記アセンブ
ラテンプレート関数の定義毎に、関数への引数について
の条件がある場合にはその条件を示す条件情報をも記憶
しており、前記選択手段は、前記条件情報に従い、前記
呼出記述に含まれる関数への引数の記述に応じて前記選
択を行うこととしてもよい。

【００７７】これにより、アセンブラテンプレート関数
の呼出記述において、変数を引数としているか、即値、
即ち定数を引数としているか等、引数の別に対応して、
アセンブラテンプレート関数の呼出記述をより最適なア
センブラコードに変換することができるようになる。ま
た、前記条件情報は、引数が即値でなければならない旨
を示す情報であり、前記選択手段は、前記条件情報に従
い、前記呼出記述に含まれる関数への引数の記述が即値
であるか否かに応じて前記選択を行うこととしてもよ
い。

【００７８】これにより、アセンブラテンプレート関数
の呼出記述において、変数を引数としているか、定数を
引数としているかに応じて異なるアセンブラコードを生
成すること、即ちアセンブラテンプレート関数の呼出記
述をより最適なアセンブラコードに変換することができ
るようになる。また、前記条件情報は、引数が所定範囲
値内の即値でなければならない旨を示す情報であり、前
記選択手段は、前記条件情報に従い、前記呼出記述に含
まれる関数への引数の記述が所定範囲内の即値であるか
否かに応じて前記選択を行うこととしてもよい。

【００７９】これにより、アセンブラテンプレート関数
の呼出記述において、定数を引数としていても、その定
数が所定の範囲の値であるか否かによって、生成するア
センブラコードを異なるものとすることができるように
なる。例えば、０から２５５まで等の１バイトで表せる
数値範囲の定数であれば、１バイトの即値が指定できる
命令が使えるが、２５６以上の数値の定数であれば、２
バイトの数値を指定する命令を使わなければならないと
いったような場合において、０から２５５までの数値の
定数を引数としたアセンブラテンプレート関数の呼出記
述を、２バイトの数値を指定する命令を含むアセンブラ
コードに変換するような無駄を防止することができるよ
うになる。

【００８０】また、前記テンプレート記憶手段は、前記
アセンブラテンプレート関数の定義毎に、最適なものを
選択するための基準となる評価値をも記憶しており、前
記選択手段は、前記各定義についての評価値に基づい
て、前記選択を行うこととしてもよい。これにより、ア
センブラテンプレート関数についての複数の定義のうち
最適な定義を高速に選択することが可能となり、プログ
ラムの変換が迅速に行えるようになる。

【００８１】また、前記テンプレート記憶手段は、前記
定義毎に当該定義が特定するアセンブラコードについて
の実行サイクル数を示す情報を前記評価値として記憶し
ており、前記選択手段は、前記複数の定義のうち、実行
サイクル数が最小であるアセンブラコードに変換される
ことになる１つの定義を選択することとすることもでき
る。

【００８２】これにより、アセンブラテンプレート関数
の呼出記述を実行速度の速いアセンブラコードに変換す
ることができるようになる。また、前記テンプレート記
憶手段は、前記定義毎に当該定義が特定するアセンブラ
コードについてのコードサイズを示す情報を前記評価値
として記憶しており、前記選択手段は、前記複数の定義
のうち、コードサイズが最小であるアセンブラコードに
変換されることになる１つの定義を選択することとして
もよい。

【００８３】これにより、アセンブラテンプレート関数
の呼出記述をサイズの小さなアセンブラコードに変換す
ることができるようになる。また、前記選択手段は、前
記呼出記述を仮に前記定義それぞれにより特定されるア
センブラコードに変換するとした場合に、引数をレジス
タに設定するためのコード並びにレジスタ退避及び復元
のためのコードのうち必要となるコードがあればそのコ
ードをも含めて得られる変換結果のコードについての実
行サイクル数又はコードサイズに基づいて判断すること
により、前記選択を行うこととしてもよい。

【００８４】これにより、コスト計算を厳密に行うこと
が可能となり、コストの最小となる最適な定義を選択す
ることができ、この結果として、アセンブラテンプレー
ト関数の呼出記述を最適なアセンブラコードに変換する
ことができるようになる。

【図面の簡単な説明】

【図１】本発明の実施の形態に係るプログラム変換装置
１００の機能ブロック図である。

【図２】プログラム変換装置１００の動作を示すフロー
チャートである。

【図３】アセンブラ関数呼出翻訳部１０７が行なうアセ
ンブラ関数呼出翻訳処理の内容を示すフローチャートで
ある。

【図４】アセンブラテンプレート選択部１０５が行なう
アセンブラテンプレート選択処理の内容を示すフローチ
ャートである。

【図５】アセンブラテンプレート選択部１０５が行うコ
スト計算処理の内容を示すフローチャートである。

【図６】アセンブラテンプレート関数を呼び出す旨の記
述を含むソースプログラムの例を示す図である。

【図７】アセンブラテンプレートの内容例を示す図であ
る。

【図８】本発明に係るプログラム変換装置１００により
図６に示すソースプログラムを変換した結果のアセンブ
ラコードを示す図である。

【図９】従来のプログラム変換装置９００の機能ブロッ
ク図である。

【図１０】従来のアセンブラテンプレートの内容例を示
す図である。

【図１１】従来のプログラム変換装置９００により図６
に示すソースプログラムを変換した結果のアセンブラコ
ードを示す図である。

【符号の説明】

１００ プログラム変換装置 １０１ ソースファイル格納部 １０２ アセンブラテンプレートファイル格納部 １０３ アセンブラテンプレート記憶部 １０４ 制御部 １０５ アセンブラテンプレート選択部 １０６ 一般命令翻訳部 １０７ アセンブラ関数呼出翻訳部 １０８ 出力ファイル格納部

───────────────────────────────────────────────────── フロントページの続き (72)発明者 橋口 渉 大阪府門真市大字門真1006番地 松下電器 産業株式会社内 Ｆターム(参考） 5B081 CC21

Claims (10)

【特許請求の範囲】
1. 【請求項１】 高級言語で記述されたソースプログラム
   をアセンブラコードに変換するプログラム変換装置であ
   って、 アセンブラテンプレート関数についての複数の定義を記
   憶するテンプレート記憶手段と、 前記ソースプログラムにおけるアセンブラテンプレート
   関数の呼出記述を検出する呼出検出手段と、 前記呼出検出手段により前記呼出記述が検出された場合
   に、当該呼出記述により呼び出されるアセンブラテンプ
   レート関数についての複数の定義のうち、最適な１つを
   選択する選択手段と、 前記呼出検出手段により検出された前記呼出記述を、前
   記選択手段により選択されたアセンブラテンプレート関
   数の定義に基づいてアセンブラコードに変換する変換手
   段とを備えることを特徴とするプログラム変換装置。
2. 【請求項２】 前記呼出検出手段は、前記ソースプログ
   ラム中の関数の呼出記述を検出して、当該呼出記述によ
   り呼び出される関数についての定義が前記テンプレート
   記憶手段に記憶されているか否かを判断し、定義が記憶
   されている場合に当該呼出記述をアセンブラテンプレー
   ト関数の呼出記述として検出することを特徴とする請求
   項１記載のプログラム変換装置。
3. 【請求項３】 前記テンプレート記憶手段は、前記アセ
   ンブラテンプレート関数の定義毎に、関数への引数につ
   いての条件がある場合にはその条件を示す条件情報をも
   記憶しており、 前記選択手段は、前記条件情報に従い、前記呼出記述に
   含まれる関数への引数の記述に応じて前記選択を行うこ
   とを特徴とする請求項１又は２記載のプログラム変換装
   置。
4. 【請求項４】 前記条件情報は、引数が即値でなければ
   ならない旨を示す情報であり、 前記選択手段は、前記条件情報に従い、前記呼出記述に
   含まれる関数への引数の記述が即値であるか否かに応じ
   て前記選択を行うことを特徴とする請求項３記載のプロ
   グラム変換装置。
5. 【請求項５】 前記条件情報は、引数が所定範囲値内の
   即値でなければならない旨を示す情報であり、 前記選択手段は、前記条件情報に従い、前記呼出記述に
   含まれる関数への引数の記述が所定範囲内の即値である
   か否かに応じて前記選択を行うことを特徴とする請求項
   ４記載のプログラム変換装置。
6. 【請求項６】 前記テンプレート記憶手段は、前記アセ
   ンブラテンプレート関数の定義毎に、最適なものを選択
   するための基準となる評価値をも記憶しており、 前記選択手段は、前記各定義についての評価値に基づい
   て、前記選択を行うことを特徴とする請求項１又は２記
   載のプログラム変換装置。
7. 【請求項７】 前記テンプレート記憶手段は、前記定義
   毎に当該定義が特定するアセンブラコードについての実
   行サイクル数を示す情報を前記評価値として記憶してお
   り、 前記選択手段は、前記複数の定義のうち、実行サイクル
   数が最小であるアセンブラコードに変換されることにな
   る１つの定義を選択することを特徴とする請求項６記載
   のプログラム変換装置。
8. 【請求項８】 前記テンプレート記憶手段は、前記定義
   毎に当該定義が特定するアセンブラコードについてのコ
   ードサイズを示す情報を前記評価値として記憶してお
   り、 前記選択手段は、前記複数の定義のうち、コードサイズ
   が最小であるアセンブラコードに変換されることになる
   １つの定義を選択することを特徴とする請求項６記載の
   プログラム変換装置。
9. 【請求項９】 前記選択手段は、前記呼出記述を仮に前
   記定義それぞれにより特定されるアセンブラコードに変
   換するとした場合に、引数をレジスタに設定するための
   コード並びにレジスタ退避及び復元のためのコードのう
   ち必要となるコードがあればそのコードをも含めて得ら
   れる変換結果のコードについての実行サイクル数又はコ
   ードサイズに基づいて判断することにより、前記選択を
   行うことを特徴とする請求項１又は２記載のプログラム
   変換装置。
10. 【請求項１０】 アセンブラテンプレート関数について
    の複数の定義を記憶するメモリを備えるコンピュータ
    に、高級言語で記述されたソースプログラムをアセンブ
    ラコードに変換するプログラム変換処理を実行させるた
    めの制御プログラムを記録した記録媒体であって、 前記プログラム変換処理は、 前記ソースプログラムにおけるアセンブラテンプレート
    関数の呼出記述を検出する呼出検出ステップと、 前記呼出検出ステップにより前記呼出記述が検出された
    場合に、前記メモリに記憶されており当該呼出記述によ
    り呼び出されるアセンブラテンプレート関数についての
    複数の定義のうち、最適な１つを選択する選択ステップ
    と、 前記呼出検出ステップにより検出された前記呼出記述
    を、前記選択ステップにより選択されたアセンブラテン
    プレート関数の定義に基づいてアセンブラコードに変換
    する変換ステップとを含むことを特徴とする記録媒体。