特開 2024-142758 コンパイルシステム及びコンパイル実行方法

(19)【発行国】日本国特許庁(JP)

(12)【公報種別】公開特許公報(A)

(11)【公開番号】P2024142758

(43)【公開日】2024-10-11

(54)【発明の名称】コンパイルシステム及びコンパイル実行方法

(51)【国際特許分類】

   G06F 8/30 20180101AFI20241003BHJP

【ＦＩ】

G06F8/30

【審査請求】未請求

【請求項の数】8

【出願形態】ＯＬ

(21)【出願番号】P 2023055069

(22)【出願日】2023-03-30

(71)【出願人】

【識別番号】320012037

【氏名又は名称】ラピステクノロジー株式会社

(74)【代理人】

【識別番号】110001025

【氏名又は名称】弁理士法人レクスト国際特許事務所

(72)【発明者】

【氏名】渡部 五常

(72)【発明者】

【氏名】大西 誠

【テーマコード（参考）】

5B376

【Ｆターム（参考）】

5B376BC31

5B376BC57

5B376BC73

5B376DA16

(57)【要約】

【課題】
コンパイルの回数を減らして開発効率の向上を図ることができるコンパイルシステムを提供する。
【解決手段】
関数毎に引数を渡し、関数毎の戻り値を受け取り、かつ関数毎の戻り値をモニタ用のグローバル変数に格納するためのソースコードを生成するソースコード生成装置と、ソースコードに対して互いに異なる態様のコンパイルを施して第１及び第２の実行ファイルを生成するコンパイラと、第１の実行ファイルに記録されたプログラムを実行し、関数毎のグローバル変数の値を示す第１のログファイルを生成し、かつ第２の実行ファイルに記録されたプログラムを実行し、関数毎のグローバル変数の値を示す第２のログファイルを生成する実行装置と、第１及び第２のログファイルが示す関数毎のグローバル変数の値を比較してその比較結果を示す結果比較ファイルを生成する結果比較装置と、を含む。
【選択図】 図１

【特許請求の範囲】

【請求項1】

関数毎に引数を渡し、前記関数毎の戻り値を受け取り、かつ前記関数毎の前記戻り値をモニタ用のグローバル変数に格納するための第１のソースコードを生成するソースコード生成装置と、
前記第１のソースコードに対して互いに異なる態様のコンパイルを施して第１及び第２の実行ファイルを生成する第１のコンパイラと、
前記第１の実行ファイルに記録されたプログラムを実行し、前記関数毎の前記グローバル変数の値を示す第１のログファイルを生成し、かつ前記第２の実行ファイルに記録されたプログラムを実行し、前記関数毎の前記グローバル変数の値を示す第２のログファイルを生成する実行装置と、
前記第１及び第２のログファイルが示す前記関数毎の前記グローバル変数の値を比較してその比較結果を示す結果比較ファイルを生成する結果比較装置と、を含むことを特徴とするコンパイルシステム。

【請求項2】

前記ソースコード生成装置は、前記関数毎に前記引数を渡し、前記関数毎の前記戻り値を受け取るための第２のソースコードに、前記関数毎の前記戻り値を前記モニタ用のグローバル変数に格納するためのコードを追加して前記第１のソースコードを生成するソースコード変換装置からなることを特徴とする請求項１記載のコンパイルシステム。

【請求項3】

前記ソースコード生成装置は、前記引数に応じて前記関数毎の前記関数の処理を行って前記戻り値を生成するための第３のソースコードに基づいて、前記第１のソースコードを自動生成するユースケース自動生成装置からなることを特徴とする請求項１記載のコンパイルシステム。

【請求項4】

前記第１のソースコードは、前記関数毎に最小値及び最大値の引数を渡し、前記最小値及び前記最大値の引数に対する前記関数毎の前記戻り値を受け取るためのソースコードであることを特徴とする請求項３記載のコンパイルシステム。

【請求項5】

前記互いに異なる態様のコンパイルには最適化なしのコンパイルと、最適化ありのコンパイルとが含まれ、
前記第１のコンパイラは、前記最適化なしのコンパイルにより前記第１の実行ファイルを生成し、前記最適化ありのコンパイルにより前記第２の実行ファイルを生成することを特徴とする請求項１記載のコンパイルシステム。

【請求項6】

前記結果比較装置は、前記第１及び第２のログファイルが示す前記グローバル変数の値が互いに等しい関数に対しては最適化が有効であると判定し、前記第１及び第２のログファイルが示す前記グローバル変数の値が互いに異なる関数に対しては最適化が無効であると判定し、前記関数毎に最適化が前記有効及び前記無効のいずれであるかを示す前記結果比較ファイルを生成することを特徴とする請求項５記載のコンパイルシステム。

【請求項7】

前記関数毎に前記引数を渡し、前記関数毎の前記戻り値を受け取って処理するための第４のソースコードと、前記引数に応じて前記関数毎の前記関数の処理を行って前記戻り値を生成するための第５のソースコードと、前記結果比較ファイルとを受け入れ、前記第４のソースコード及び前記第５のソースコードのコンパイル時に、前記結果比較ファイルが最適化の前記有効を示す関数に対して前記最適化ありのコンパイルを施し、前記結果比較ファイルが最適化の前記無効を示す関数に対して前記最適化なしのコンパイルを施す第２のコンパイラを更に含むことを特徴とする請求項６記載のコンパイルシステム。

【請求項8】

ソースコード生成装置が、関数毎に引数を渡し、前記関数毎の戻り値を受け取り、かつ前記関数毎の前記戻り値をモニタ用のグローバル変数に格納するための第１のソースコードを生成するステップと、
コンパイラが、前記第１のソースコードに対して互いに異なる態様のコンパイルを施して第１及び第２の実行ファイルを生成するステップと、
実行装置が、前記第１の実行ファイルに記録されたプログラムを実行し、前記関数毎の前記グローバル変数の値を示す第１のログファイルを生成し、かつ前記第２の実行ファイルに記録されたプログラムを実行し、前記関数毎の前記グローバル変数の値を示す第２のログファイルを生成するステップと、
結果比較装置が、前記第１及び第２のログファイルが示す前記グローバル変数の値を比較してその比較結果を示す結果比較ファイルを生成するステップと、を含むことを特徴とするコンパイルシステムのコンパイル実行方法。

【発明の詳細な説明】

【技術分野】

【0001】

本発明は、ソースプログラム（ソースコード）の最適化を行うコンパイルシステム及びコンパイル実行方法に関する。

【背景技術】

【0002】

ソースプログラムのコンパイル際にソースプログラムの最適化を行うコンパイラを用いることは既に知られている。

【0003】

一般に、ソースプログラムのパフォーマンスを向上させるためにプログラムの作成者はコンパイラを用いてソースプログラムのコンパイルを行う際にプログラムの最適化を実行させる。プログラムの最適化は例えば、プログラム内の無駄を取り除いてコードサイズの縮小や実行時間の短縮を図るものである。

【0004】

例えば、特許文献１には、並列処理を許容する言語で集積回路の機能を記述したソースコードをハードウェア依存のコードに変換するコンパイラが開示されている。そのコンパイラには集積回路内の通信の時間的順序を変えることなく該通信の再スケジューリングを行うことにより、集積回路の性能またはコストを最適化する最適化器と、その最適化器の出力に基づいて、集積回路の回路構成を表す出力コードを生成する生成器とが備えられている。

【先行技術文献】

【特許文献】

【0005】

【特許文献1】特開２０１１－１５５３５１号公報

【発明の概要】

【発明が解決しようとする課題】

【0006】

ところで、プログラムの最適化によっては意図せずプログラムの動作が変わってしまうという懸念がある。この懸念に対処するためにプログラムの作成者は、従来、所望のパフォーマンスを得るように次の（１）～（４）の操作を繰り返すという手法をとっている。
（１）最適化オプションの選択、最適化制御用のプラグマの挿入
（２）プログラムのコンパイル
（３）プログラムの実行
（４）パフォーマンスの評価
しかしながら、このような従来の手法では、最適化の種類を切り替える度に、コンパイルをやり直す必要があるので、コンパイル時間が非常に長い場合には、コンパイルを繰り返すことは開発効率の低下にもつながるという課題があった。そのためプログラムの作成者には可能な限りプログラムの最適化の際にコンパイル回数を少なくして高パフォーマンスが得られる最適化を選定することが望まれていた。

【0007】

そこで、本発明の目的は、コンパイルの回数を減らして開発効率の向上を図ることができるコンパイルシステム及びコンパイルシステムのコンパイル実行方法を提供することである。

【課題を解決するための手段】

【0008】

本発明のコンパイルシステムは、関数毎に引数を渡し、前記関数毎の戻り値を受け取り、かつ前記関数毎の前記戻り値をモニタ用のグローバル変数に格納するための第１のソースコードを生成するソースコード生成装置と、前記第１のソースコードに対して互いに異なる態様のコンパイルを施して第１及び第２の実行ファイルを生成する第１のコンパイラと、前記第１の実行ファイルに記録されたプログラムを実行し、前記関数毎の前記グローバル変数の値を示す第１のログファイルを生成し、かつ前記第２の実行ファイルに記録されたプログラムを実行し、前記関数毎の前記グローバル変数の値を示す第２のログファイルを生成する実行装置と、前記第１及び第２のログファイルが示す前記関数毎の前記グローバル変数の値を比較してその比較結果を示す結果比較ファイルを生成する結果比較装置と、を含むことを特徴としている。

【0009】

本発明のコンパイルシステムのコンパイル実行方法は、ソースコード生成装置が、関数毎に引数を渡し、前記関数毎の戻り値を受け取り、かつ前記関数毎の前記戻り値をモニタ用のグローバル変数に格納するための第１のソースコードを生成するステップと、コンパイラが、前記第１のソースコードに対して互いに異なる態様のコンパイルを施して第１及び第２の実行ファイルを生成するステップと、実行装置が、前記第１の実行ファイルに記録されたプログラムを実行し、前記関数毎の前記グローバル変数の値を示す第１のログファイルを生成し、かつ前記第２の実行ファイルに記録されたプログラムを実行し、前記関数毎の前記グローバル変数の値を示す第２のログファイルを生成するステップと、結果比較装置が、前記第１及び第２のログファイルが示す前記グローバル変数の値を比較してその比較結果を示す結果比較ファイルを生成するステップと、を含むことを特徴としている。

【発明の効果】

【0010】

本発明のコンパイルシステム及びコンパイルシステムのコンパイル実行方法によれば、ソースコードに対して互いに異なる態様のコンパイルを施して関数毎に戻り値を比較し、その結果比較から関数毎にどの態様のコンパイルが有効又は無効であるかが分かるので、プログラムの作成者が再コンパイルしながら動作を確認するという手間が省け、これにより開発効率の向上が期待できる。

【図面の簡単な説明】

【0011】

【図1】本発明の実施例１のコンパイルシステムの概念図である。

【図2】図１の概念図の続き部分の概念図である。

【図3】本発明の実施例２のコンパイルシステムの概念図である。

【図4】図２の概念図の続き部分の概念図である。

【発明を実施するための形態】

【0012】

以下、本発明の実施例を、図面を参照しつつ詳細に説明する。

【実施例0013】

図１及び図２は本発明の実施例１としてコンパイルシステムの概念図を示している。この本発明のコンパイルシステムでは、例として３つのＣ言語で記述されたソースファイル１－１、１－２、１－３をコンパイルする場合を説明する。

【0014】

図１において、ソースファイル１－１はmain関数を含むソースコードを示す第２のソースファイルである。ソースファイル１－２、１－３はソースファイル１－１のコンパイルの際に呼び出され、引数を入力値として受けて関数処理して戻り値を生成する関数を示すソースファイルである。また、ソースファイル１－２、１－３は互いに異なる関数の処理を行う。

【0015】

ソースファイル１－１はソースコード変換装置１１に供給される。ソースコード変換装置１１は、ソースファイル１－１が示すソースコードに、関数の戻り値をモニタ用のグローバル変数に格納するコードを追加したソースコード（第１のソースコード）を生成するソースコード生成装置である。モニタ用のグローバル変数に格納するコードを追加したソースコードはソースファイル１－４として出力される。

【0016】

ソースファイル１－４はソースファイル１－２、１－３と共にコンパイラ１２に供給される。コンパイラ１２はソースファイル１－４のソースコードをソースファイル１－２、１－３の各々の関数を利用してコンパイルして機械語に変換する。コンパイラ１２は互いに異なる態様のコンパイルを実行する。すなわち、プログラムの最適化なしで機械語に変換する処理と、最適化して機械語に変換する処理とが実行される。コンパイラ１２は最適化なしの処理により実行ファイル１－５（第１の実行ファイル）を生成し、最適化ありの処理により実行ファイル１－６（第２の実行ファイル）を生成する。よって、実行ファイル１－５には最適化なしの機械語が記録され、実行ファイル１－６には最適化ありの機械語が記録される。

【0017】

実行ファイル１－５、１－６は実行装置１３に供給される。実行装置１３は実行ファイル１－５、１－６の機械語を各々読み込んで実行する。また、実行装置１３は実行結果として、実行ファイル１－５、１－６に埋め込まれたモニタ用のグローバル変数の値を示すログファイル１－７、１－８を各々出力する。

【0018】

ログファイル１－７、１－８は結果比較装置１４に供給される。結果比較装置１４には実行ファイル１－５、１－６も供給される。結果比較装置１４はプログラムの最適化なし及びありの実行ファイル１－５、１－６及びログファイル１－７、１－８を各々比較し、比較結果ファイル１－９を出力する。比較結果ファイル１－９は呼び出される関数毎に最適化なし及びありで同一の戻り値が得られたらＯＫ（有効）を示し、同一の戻り値が得られなかったらＮＧ（無効）を示すファイルである。

【0019】

図２において、ソースファイル１－１、１－２、１－３及び比較結果ファイル１－９はコンパイラ２１に供給される。コンパイラ２１はソースファイル１－１、１－２、１－３を実行ファイル２－１に変換し、その変換においては比較結果のファイル１－９がＯＫを示す関数に対してのみ最適化を行う。ＮＧを示す関数に対する最適化は行われない。コンパイラ２１はコンパイル結果の実行ファイル２－１を出力する。

【0020】

なお、上述したソースコード変換装置１１、コンパイラ１２、実行装置１３、結果比較装置１４、及びコンパイラ２１の各々はコンピュータによって構成することができる。

【0021】

次に、main関数を持つソースファイル１－１のコンパイルの際に呼び出される関数をfunc1()、func2()として実施例１のコンパイルシステムの動作例を説明する。

【0022】

ソースファイル１－１には、
void main(){
int func1_ret = func1();
int func2_ret = func2();
}
というソースコード（ソースプログラム）が記録されているとする。

【0023】

ソースファイル１－２には、呼び出される関数が、
int func1()
と定義される。同様に、ソースファイル１－３には、呼び出される関数が、
int func2()
と定義される。なお、func1()及びfunc2()の前に置かれたintは戻り値の型が整数であることを示している。

【0024】

ソースファイル１－１はソースコード変換装置１１によってモニタ用グローバル変数が追加され、ソースファイル１－４となる。ソースコード変換装置１１はソースファイル１－１に戻り値のある関数func1(),func2()の呼び出しを見つけると、モニタ用のグローバル変数func1_mon、func2_monと、関数func1()、func2()をモニタ用のグローバル変数へ格納するコードfunc1_mon = func1_ret、func2_mon = func2_retを自動生成する。

【0025】

ソースファイル１－４には、
int func1_mon;
int func2_mon;

void main(){
int func1_ret = func1();
func1_mon = func1_ret;

int func2_ret = func2();
func2_mon = func2_ret;
}
というソースコードが記載される。これによりソースファイル１－４では関数func1()、func2()の戻り値をグローバル変数func1_mon、func2_monに格納することが指定されている。

【0026】

コンパイラ１２ではソースファイル１－４がソースファイル１－２、１－３を用いて最適化ありと最適化なしの双方の態様でコンパイルが行われる。コンパイル結果の実行ファイル１－５は最適化なしの実行ファイルであり、実行ファイル１－６は最適化ありの実行ファイルである。

【0027】

実行ファイル１－５、１－６は実行装置１３によって各々実行され、その実行結果としてログファイル１－７、１－８が得られる。ログファイル１－７には最適化なしの場合の関数func1()、func2()の戻り値がfunc1_mon値、func2_mon値として記載され、ログファイル１－８には最適化ありの場合の関数func1()、func2()の戻り値がfunc1_mon値_、func2_mon値として記載される。

【0028】

このようなログファイル１－７、１－８が実行ファイル１－５、１－６と共に結果比較装置１４に供給されると、結果比較装置１４では最適化なし及びありの実行ファイル１－５、１－６及びログファイル１－７、１－８が各々比較され、比較結果ファイル１－９が出力される。

【0029】

ここで、例として、ログファイル１－７では最適化なしの場合に
func1_mon = 1
func2_mon = 2
が得られ、ログファイル１－８では最適化ありの場合に
func1_mon = 1
func2_mon = 0
が得られたとする。結果比較装置１４では、関数func1()、func2()の各々について戻り値が比較される。最適化なしの場合のfunc1_mon = 1と最適化ありの場合のfunc1_mon = 1とが等しいので、関数func1()についてはＯＫの判定がされる。一方、最適化なしの場合のfunc2_mon = 2と最適化ありの場合のfunc2_mon = 0とは異なるので、関数func2()についてはＮＧの判定がされる。よって、比較結果ファイル１－９には例えば、次のように比較結果が示される。
func1() (1 vs 1): OK
func2() (2 vs 0): NG
ソースファイル１－１、１－２、１－３及び比較結果ファイル１－９はコンパイラ２１に読み込まれる。コンパイラ２１では、ソースファイル１－１に示された関数のうち比較結果ファイル１－９に示されたＯＫの関数に対しては最適化を有効としてコンパイルが行われ、比較結果ファイル１－９に示されたＮＧの関数に対しては最適化を無効としてコンパイルが行われ、コンパイル結果の実行ファイル２－１が生成される。上記した例では、関数func1()に対しては最適化してコンパイルが実行される一方、関数func2()に対しては最適化することなくコンパイルが実行されることになる。

【0030】

このように実施例１によれば、最適化によって動作結果が変わってしまう関数に対してはコンパイルにおける最適化を無効にするので、プログラムの作成者が再コンパイルしながら動作を確認するという手間が省け、これにより開発効率の向上が期待できる。

【実施例0031】

図３及び図４は本発明の実施例２としてコンパイルシステムを概念図として示している。この本発明のコンパイルシステムでは、例として２つのＣ言語で記述されたソースファイル３－１、３－２をコンパイルする際を説明する。

【0032】

図３において、ソースファイル３－１、３－２の各々はコンパイルの際に呼び出される関数の処理を行うためのソースコード（第３のソースコード）が記録されたソースファイルである。

【0033】

ソースファイル３－１、３－２はユースケース自動生成装置３１に供給される。ユースケース自動生成装置３１は、入力されたソースファイル３－１、３－２を解析し、そのソースファイル３－１、３－２の各々が示す関数の引数入力値としてmin値（最小値）とmax値（最大値）とを自動的に判定し、そのmin値とmax値とを入力値としてその関数を呼び出すmain関数を含むソースコード（第１のソースコード）を示すソースファイル３－３を自動で生成する。ソースファイル３－３のソースコードには、min値及びmax値に対する関数の戻り値をモニタ用のグローバル変数に格納するコードが含まれる。

【0034】

ソースファイル３－３はソースファイル３－１、３－２と共にコンパイラ３２に供給される。コンパイラ３２は、実施例１のコンパイラ１２と同様に、コンパイルの際にプログラムの最適化なしの実行ファイルと、最適化ありの実行ファイルとを生成する。よって、コンパイラ３２はソースファイル３－３、３－１、３－２を実行ファイル３－４、３－５へ変換する。ここで、実行ファイル３－４はプログラムの最適化なしの第１の実行ファイルであり、実行ファイル３－５はプログラムの最適化ありの第２の実行ファイルである。

【0035】

実行ファイル３－４、３－５は実行装置３３に供給される。実行装置３３は実行ファイル３－４、３－５を読み込んで実行する。また、実行装置３３は実行結果として、実行ファイル３－４、３－５に埋め込まれたモニタ用のグローバル変数の値を示すログファイル３－６、３－７を各々出力する。

【0036】

ログファイル３－６、３－７は結果比較装置３４に供給される。結果比較装置３４には実行ファイル３－４、３－５も供給される。結果比較装置３４は、実施例１の結果比較装置１４と同様に、プログラムの最適化なし及びありの実行ファイル３－４、３－５及びログファイル３－６、３－７を各々比較し、比較結果ファイル３－８を出力する。比較結果ファイル３－８は、実施例１の比較結果ファイル１－９と同様に、呼び出される関数毎に最適化なし及びありで同一の戻り値が得られたらＯＫを示し、同一の戻り値が得られなかったらＮＧを示すファイルである。

【0037】

図４において、ソースファイル４－１はmain関数を示すソースファイルであり、ソースファイル４－１にはソースファイル３－１、３－２に示された関数をコンパイルの際に呼び出すソースコードが記録されている。ソースファイル４－１のソースコードをコンパイルする際にはソースファイル４－１、ソースファイル３－１、３－２、及び比較結果ファイル３－８がコンパイラ４１に供給される。コンパイラ４１はソースファイル４－１、３－１、３－２を実行ファイル４－１に変換し、その変換においては比較結果のファイル３－８がＯＫを示す関数に対してのみ最適化を行う。ＮＧを示す関数に対する最適化は行われない。コンパイラ４１はコンパイル結果の実行ファイル４－２を出力する。

【0038】

なお、上述したユースケース自動生成装置３１、コンパイ３２、実行装置３３、結果比較装置２４、及びコンパイラ４１の各々はコンピュータによって構成することができる。

【0039】

次に、ソースファイル３－１には関数がint func1(int in1)と定義され、ソースファイル３－２には関数がint func2(long in2)と定義されているとして実施例２のコンパイルシステムの動作例を説明する。

【0040】

ここで、ソースファイル３－１のint func1(int in1)の括弧内はint（整数）型の引数in1を表し、ソースファイル３－２のint func2(long in2)の括弧内はlong（長整数）型の引数in2を表している。

【0041】

ソースファイル３－１、３－２はユースケース自動生成装置３１に供給され、ユースケース自動生成装置３１によってソースファイル３－１、３－２に記載された関数を呼び出すmain関数を示すソースファイル３－３が自動作成される。表１に示すように、呼び出しの入力値は関数func1(int in1)に対してはmin値がin1_min、max値がin1_maxであり、関数func2(long in2)に対してはmin値がin2_min、max値がin2_maxである。

【0042】

【表1】

【0043】

これらのmin値及びmax値は例えば、関数func1(int in1)、func2(long in2)が引数の値として代入可能な最小値及び最大値であり、予め定められているとする。

【0044】

よって、ソースファイル３－３には、
int func1_mon_min;
int func1_mon_max;
int func2_mon_min;
int func2_mon_max;

void main(){

func1_mon_min = func1(in1_min);
func1_mon_max = func1(in1_max);

func2_mon_min = func2(in2_min);
func2_mon_max = func2(in2_max);

}
というソースプログラムが記載される。このソースファイル３－３では関数func1(int in1)、func2(long in2)の戻り値をグローバル変数func1_mon_min、func1_mon_max、func2_mon_min、func2_mon_maxに格納することが指定されている。

【0045】

コンパイラ３２ではソースファイル３－３がソースファイル３－１、３－２を用いて最適化ありと最適化なしの双方でコンパイルが行われる。コンパイル結果の実行ファイル３－４は最適化なしの実行ファイルであり、実行ファイル３－５は最適化ありの実行ファイルである。

【0046】

実行ファイル３－４、３－５は実行装置３３によって各々実行され、その実行結果としてログファイル３－６、３－７が得られる。ログファイル３－６には最適化なしの場合の戻り値がfunc1_mon_min値、func1_mon_max値、func2_mon_min値、func2_mon_max値として記載され、ログファイル３－７には最適化ありの場合の戻り値が同様にfunc1_mon_min値、func1_mon_max値、func2_mon_min値、func2_mon_max値として記載される。

【0047】

このようなログファイル３－６、３－７が実行ファイル３－４、３－５と共に結果比較装置３４に供給されると、結果比較装置３４では最適化なし及びありの実行ファイル３－４、３－５及びログファイル３－６、３－７が各々比較され、比較結果ファイル３－８が出力される。

【0048】

ここで、例として、ログファイル３－６では最適化なしの場合に
func1_mon_min = 1
func1_mon_max = 20
func2_mon_min = 0
func2_mon_max = 40
が得られ、ログファイル３－７では最適化ありの場合に
func1_mon_min = 1
func1_mon_max = 20
func2_mon_min = 1
func2_mon_max = 30
が得られたとする。結果比較装置３４では、関数func1(int in1)、func2(long in2)の各々について戻り値が比較される。func1_mon_min = 1、func1_mon_max = 20の部分については最適化なしの場合1と最適化ありの場合とが互いに等しいので、関数func1(int in1)についてはＯＫの判定がされる。一方、func2_mon_min、func2_mon_maxについして最適化なしの場合と最適化ありの場合とが互いに異なるので、関数func2(long in2)についてはＮＧの判定がされる。よって、比較結果ファイル３－８には例えば、次のように比較結果が示される。
func1:min (1 vs 1): OK
func1:max (20vs20): OK
func2:min (0 vs 1): NG
func2:max (40vs30): NG
このように比較結果ファイル３－８が得られると、次に、ソースファイル４－１のソースコードをコンパイルすることになる。

【0049】

例えば、ソースファイル４－１には、
void main(){
int func1_ret = func1(in1_user);
int func2_ret = func2(in2_user);
}
というソースコード（ソースプログラム）が記録される。

【0050】

ソースファイル４－１、３－１、３－２及び比較結果ファイル３－９はコンパイラ４１に読み込まれる。コンパイラ４１では、ソースファイル４－１に示された関数のうち比較結果ファイル１－９に示されたＯＫの関数に対しては最適化を有効としてコンパイルが行われ、比較結果ファイル１－９に示されたＮＧの関数に対しては最適化を無効としてコンパイルが行われ、コンパイル結果の実行ファイル４－２が生成される。上記した例では、関数func1(int in1)に対しては最適化してコンパイルが行われる一方、関数func2(long in2)に対しては最適化することなくコンパイルが行われることになる。

【0051】

このように実施例２によれば、各関数の引数の値を自動で生成し、関数毎に最適化によって動作結果が変わってしまうか否かを判定することができ、動作結果が変わってしまう関数に対してはコンパイルにおける最適化を無効にするので、プログラムの作成者が何度も再コンパイルしながら動作を確認するという手間が省け、これにより開発効率の向上が期待できる。

【0052】

なお、上記した実施例１及び２では、互いに異なる態様のコンパイルの例としてコンパイルにおける最適化なしと最適化ありを説明しているが、最適化の種類を変えても良い。

【0053】

また、上記した実施例１及び２では、例として最適化なしと最適化ありとを１対１の関係で比較をしているが、最適化なしに対してコードサイズ最適化及び速度最適化のような複数の種類の最適化との比較のように１対複数の関係で同時に比較しても良い。

【0054】

上記した実施例１及び２では、結果比較装置でログファイルの戻り値を比較しているが、実行ファイルを比較の対象として扱っても良い。例えば、第１及び第２の実行ファイルの実行速度やサイズを比較しても良い。

【0055】

上記した実施例１及び２では、ソースコードにモニタ用のグローバル変数を追加し、プログラム実行後のモニタ用のグローバル変数の値を比較対象に用いるが、関数の入力値に対する期待動作が分かるのであれば、モニタ用のグローバル変数を追加せず、その期待動作を比較対象に用いることもできる。例えば、関数内でグローバル変数に値を格納するような動作がある場合にはそのグローバル変数の値を比較対象にしても良い。

【0056】

また、実施例１では、ソースコード変換装置１１がコンパイラ１２の前段で処理をしているが、ソースコード変換装置１１の機能をコンパイラ１２に組み込んでも良い。

【0057】

同様に、実施例２では、ユースケース自動生成装置３１がコンパイラ３２の前段で処理をしているが、ユースケース自動生成装置３１の機能をコンパイラ３２に組み込んでも良い。