JP2000222218A - コンパイル装置および記録媒体 - Google Patents
コンパイル装置および記録媒体Info
- Publication number
- JP2000222218A JP2000222218A JP11023774A JP2377499A JP2000222218A JP 2000222218 A JP2000222218 A JP 2000222218A JP 11023774 A JP11023774 A JP 11023774A JP 2377499 A JP2377499 A JP 2377499A JP 2000222218 A JP2000222218 A JP 2000222218A
- Authority
- JP
- Japan
- Prior art keywords
- instruction
- branch
- executing
- deleted
- generating
- 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.)
- Pending
Links
Landscapes
- Devices For Executing Special Programs (AREA)
Abstract
(57)【要約】 （修正有）
【課題】 ソースプログラムの最適化を行うコンパイル
装置および記録媒体に関し、コンパイルするときの高速
化を図ると共に最適化を行い更に高速化を図る。 【解決手段】 ソースプログラム中から分岐を検出して
削除する手段と、削除する分岐を実行した時の真あるい
は偽を条件コードに設定させる命令を生成する手段と、
削除する分岐を実行して分岐する場合の処理を実行させ
る第１の命令および分岐しない場合の処理を実行させる
第２の命令を生成すると共に、条件コードの値に従い第
１の命令あるいは第２の命令のいずれかを実行させ他の
命令の実行を抑止させる第３の命令を生成し、第１の命
令、第２の命令、第３の命令を少なくとも含む１つの同
時実行可能な特定命令を生成する手段とを備える。
装置および記録媒体に関し、コンパイルするときの高速
化を図ると共に最適化を行い更に高速化を図る。 【解決手段】 ソースプログラム中から分岐を検出して
削除する手段と、削除する分岐を実行した時の真あるい
は偽を条件コードに設定させる命令を生成する手段と、
削除する分岐を実行して分岐する場合の処理を実行させ
る第１の命令および分岐しない場合の処理を実行させる
第２の命令を生成すると共に、条件コードの値に従い第
１の命令あるいは第２の命令のいずれかを実行させ他の
命令の実行を抑止させる第３の命令を生成し、第１の命
令、第２の命令、第３の命令を少なくとも含む１つの同
時実行可能な特定命令を生成する手段とを備える。
Description
【０００１】
【発明の属する技術分野】本発明は、ソースプログラム
中の分岐を削除して最適化を行うコンパイル装置および
記録媒体に関するものである。
中の分岐を削除して最適化を行うコンパイル装置および
記録媒体に関するものである。
【０００２】
【従来の技術】従来、ｉｆ文には比較して真のときにｔ
ｈｅｎ節を実行した後に次のブロックにジャンプ（分
岐）し、偽のときにｅｌｓｅ節を実行するというよう
に、例えば図６の（ａ）に示すようにプログラムが記述
され、一般的に２個の分岐を含むものとして、コンパイ
ルして実行可能なオブジェクトプログラムを生成してい
た。以下図６の構成について簡単に説明する。
ｈｅｎ節を実行した後に次のブロックにジャンプ（分
岐）し、偽のときにｅｌｓｅ節を実行するというよう
に、例えば図６の（ａ）に示すようにプログラムが記述
され、一般的に２個の分岐を含むものとして、コンパイ
ルして実行可能なオブジェクトプログラムを生成してい
た。以下図６の構成について簡単に説明する。
【０００３】図６は、従来技術の説明図を示す。図６の
（ａ）は、ｉｆ文のプログラム例を示す。ここで、左蘭
はＣ言語プログラムを表し、中央の欄はアセンブラでの
イメージを表し、右側はアセンブラでのイメージにおけ
る操作内容を表す。
（ａ）は、ｉｆ文のプログラム例を示す。ここで、左蘭
はＣ言語プログラムを表し、中央の欄はアセンブラでの
イメージを表し、右側はアセンブラでのイメージにおけ
る操作内容を表す。
【０００４】Ｃ言語のｉｆ文（ｉｆ（ｘ＝＝１））で ・真ならば、ｔｈｅｎ節ブロックの処理を実行した後
に、ジャンプ命令（ｇｏｔｏ文）で分岐（分岐）して
次のブロック（ｌａｂ ００３：）の処理に進む。
に、ジャンプ命令（ｇｏｔｏ文）で分岐（分岐）して
次のブロック（ｌａｂ ００３：）の処理に進む。
【０００５】・偽ならば、ｅｌｓｅ節ブロックに分岐
（分岐）して処理を行い、続いて次のブロック（ｌａ
ｂ ００３）の処理に進む。 以上の様子を模式的に表すと、図６の（ｂ）に示すよう
になる。
（分岐）して処理を行い、続いて次のブロック（ｌａ
ｂ ００３）の処理に進む。 以上の様子を模式的に表すと、図６の（ｂ）に示すよう
になる。
【０００６】図６の（ｂ）は、（ａ）の模式図を示す。
図６の（ｂ）において、Ｓ１１は、比較命令である。こ
の比較命令は、図６の（ａ）のアセンブラでのイメージ
中のｃｍｐ命令である。
図６の（ｂ）において、Ｓ１１は、比較命令である。こ
の比較命令は、図６の（ａ）のアセンブラでのイメージ
中のｃｍｐ命令である。
【０００７】・Ｓ１２は、Ｓ１１で真のときに、Ｓ１２
でｔｈｅｎ節ブロックを実行し、分岐してＳ１４の次の
ブロックの実行に進む。これは、上述した真ならばに相
当する。
でｔｈｅｎ節ブロックを実行し、分岐してＳ１４の次の
ブロックの実行に進む。これは、上述した真ならばに相
当する。
【０００８】・Ｓ１３は、Ｓ１１で偽のときに、分岐
してＳ１３でｅｌｓｅ節ブロックの処理を行い、Ｓ１４
の次のブロックの実行に進む。これは、上述した偽なら
ばに相当する。
してＳ１３でｅｌｓｅ節ブロックの処理を行い、Ｓ１４
の次のブロックの実行に進む。これは、上述した偽なら
ばに相当する。
【０００９】
【発明が解決しようとする課題】上述した図６の
（ａ）、（ｂ）に示すように、ｉｆ文を実行する場合に
は、分岐と分岐の２個のいずれか一方を必ず実行す
る必要があり、このままコンパイルした場合には当該２
個の分岐を実行するためのオブジェクトコードを生成す
ると多くのステップ（例えば分岐以外の通常の命令が１
τで実行するとすれば、約８τという多くのステップ）
が必要となり、高速化を図れないという問題があった。
（ａ）、（ｂ）に示すように、ｉｆ文を実行する場合に
は、分岐と分岐の２個のいずれか一方を必ず実行す
る必要があり、このままコンパイルした場合には当該２
個の分岐を実行するためのオブジェクトコードを生成す
ると多くのステップ（例えば分岐以外の通常の命令が１
τで実行するとすれば、約８τという多くのステップ）
が必要となり、高速化を図れないという問題があった。
【００１０】また、ｉｆ文では上述したように２個の分
岐があるため、当該ｉｆ文が複数のブロックに分割され
てしまい、ブロック内でしか最適化（例えばレジスタの
最適化）しか図れず、もしｉｆ文の全部のブロックをま
とめて最適化すれば、ｔｈｅｎ節ブロックとｅｌｓｅ節
ブロックのいずれか一方を実行することで、更に最適化
を進める（ｔｈｅｎ節ブロックとｅｌｓｅ節ブロックの
レジスタを共用して割当てなどの最適化を進める）こと
ができないという問題があった。
岐があるため、当該ｉｆ文が複数のブロックに分割され
てしまい、ブロック内でしか最適化（例えばレジスタの
最適化）しか図れず、もしｉｆ文の全部のブロックをま
とめて最適化すれば、ｔｈｅｎ節ブロックとｅｌｓｅ節
ブロックのいずれか一方を実行することで、更に最適化
を進める（ｔｈｅｎ節ブロックとｅｌｓｅ節ブロックの
レジスタを共用して割当てなどの最適化を進める）こと
ができないという問題があった。
【００１１】本発明は、これらの問題を解決するため、
ｉｆ文などにおける分岐を削除して複数命令を同時実行
可能な特定命令（例えばｎｌｆ命令）中の条件コード
（真あるいは偽）で指定された特定命令中の命令を実行
し他の命令をマスクして実行を抑止し、ｉｆ文などをコ
ンパイルするときの従来の分岐を削除して高速化を図る
と共にｔｈｅｎ節ブロックおよびｅｌｓｅ節ブロックな
どを１つにまとめて最適化を行い更に高速化を図ること
を目的としている。
ｉｆ文などにおける分岐を削除して複数命令を同時実行
可能な特定命令（例えばｎｌｆ命令）中の条件コード
（真あるいは偽）で指定された特定命令中の命令を実行
し他の命令をマスクして実行を抑止し、ｉｆ文などをコ
ンパイルするときの従来の分岐を削除して高速化を図る
と共にｔｈｅｎ節ブロックおよびｅｌｓｅ節ブロックな
どを１つにまとめて最適化を行い更に高速化を図ること
を目的としている。
【００１２】
【課題を解決するための手段】図１を参照して課題を解
決するための手段を説明する。図１において、原始プロ
グラム（ソースプログラム）１は、Ｃ言語などで記述さ
れたソースプログラムであって、ここでは、ｉｆ文など
の分岐を含むソースプログラムである。
決するための手段を説明する。図１において、原始プロ
グラム（ソースプログラム）１は、Ｃ言語などで記述さ
れたソースプログラムであって、ここでは、ｉｆ文など
の分岐を含むソースプログラムである。
【００１３】コンパイラ２は、ソースプログラム１を最
適化して実行可能形式のオブジェクトプログラム６を生
成するものであって、ここでは、最適化実施手段４など
から構成されるものである。
適化して実行可能形式のオブジェクトプログラム６を生
成するものであって、ここでは、最適化実施手段４など
から構成されるものである。
【００１４】最適化実施手段４は、最適化を行うもので
あって、ここでは、分岐を削除して特定命令などに置き
換えして最適化を行うものである。次に、動作を説明す
る。
あって、ここでは、分岐を削除して特定命令などに置き
換えして最適化を行うものである。次に、動作を説明す
る。
【００１５】最適化実施手段４がソースプログラム１中
から分岐を検出して削除し、削除する分岐を実行した時
の真あるいは偽を条件コードに設定させる命令を生成し
た後、削除する分岐を実行して分岐する場合の処理を実
行させる第１の命令および分岐しない場合の処理を実行
させる第２の命令を生成すると共に、条件コードの値に
従い第１の命令あるいは第２の命令のいずれかを実行さ
せ他の命令の実行を抑止させる第３の命令を生成し、第
１の命令、第２の命令、第３の命令を少なくとも含む１
つの同時実行可能な特定命令を生成し、コンパイルする
ようにしている。
から分岐を検出して削除し、削除する分岐を実行した時
の真あるいは偽を条件コードに設定させる命令を生成し
た後、削除する分岐を実行して分岐する場合の処理を実
行させる第１の命令および分岐しない場合の処理を実行
させる第２の命令を生成すると共に、条件コードの値に
従い第１の命令あるいは第２の命令のいずれかを実行さ
せ他の命令の実行を抑止させる第３の命令を生成し、第
１の命令、第２の命令、第３の命令を少なくとも含む１
つの同時実行可能な特定命令を生成し、コンパイルする
ようにしている。
【００１６】この際、ｉｆ文の比較部分を実行したとき
の真あるいは偽を条件コードに設定する命令を生成、真
の場合の処理を行う第１の命令、および偽の場合の処理
を行う第２の命令を生成するようにしている。
の真あるいは偽を条件コードに設定する命令を生成、真
の場合の処理を行う第１の命令、および偽の場合の処理
を行う第２の命令を生成するようにしている。
【００１７】また、分岐のｔｈｅｎ節ブロックおよびｅ
ｌｓｅ節ブロックを結合し全体ブロックをまとめて最適
化するようにしている。また、ソースプログラム１中の
分岐について、試実行して分岐確率が所定値以下のとき
に分岐の削除を行うようにしている。
ｌｓｅ節ブロックを結合し全体ブロックをまとめて最適
化するようにしている。また、ソースプログラム１中の
分岐について、試実行して分岐確率が所定値以下のとき
に分岐の削除を行うようにしている。
【００１８】また、ソースプログラム１中の分岐に削除
指示が設定されていたときに、分岐の削除を行うように
している。従って、ｉｆ文などにおける分岐を削除して
複数命令を同時実行可能な特定命令（例えばｎｌｆ命
令）中の条件コード（真あるいは偽）で指定された当該
特定命令中の命令を実行し他の命令をマスクして実行を
抑止することにより、ｉｆ文などをコンパイルするとき
の従来の分岐を削除して高速化を図ると共にｔｈｅｎ節
ブロックおよびｅｌｓｅ節ブロックなどを１つにまとめ
て最適化を行い更に高速化を図ることが可能となる。
指示が設定されていたときに、分岐の削除を行うように
している。従って、ｉｆ文などにおける分岐を削除して
複数命令を同時実行可能な特定命令（例えばｎｌｆ命
令）中の条件コード（真あるいは偽）で指定された当該
特定命令中の命令を実行し他の命令をマスクして実行を
抑止することにより、ｉｆ文などをコンパイルするとき
の従来の分岐を削除して高速化を図ると共にｔｈｅｎ節
ブロックおよびｅｌｓｅ節ブロックなどを１つにまとめ
て最適化を行い更に高速化を図ることが可能となる。
【００１９】
【実施例】次に、図１から図５を用いて本発明の実施の
形態および動作を順次詳細に説明する。
形態および動作を順次詳細に説明する。
【００２０】図１は、本発明のシステム構成図を示す。
図１において、原始プログラム（ソースプログラム）１
は、Ｃ言語などで記述されたソースプログラムであっ
て、例えば後述する図２の（ａ）の欄に示すように、Ｃ
言語で記述したプログラムであり、ここでは、ｉｆ文を
含むプログラムである。
図１において、原始プログラム（ソースプログラム）１
は、Ｃ言語などで記述されたソースプログラムであっ
て、例えば後述する図２の（ａ）の欄に示すように、Ｃ
言語で記述したプログラムであり、ここでは、ｉｆ文を
含むプログラムである。
【００２１】コンパイラ２は、ソースプログラム１を最
適化して実行可能形式のオブジェクトプログラム６を生
成するものであって、原始プログラム解析手段３、最適
化実施手段４、およびスケジューリング＆コード生成手
段５などから構成されるものである。
適化して実行可能形式のオブジェクトプログラム６を生
成するものであって、原始プログラム解析手段３、最適
化実施手段４、およびスケジューリング＆コード生成手
段５などから構成されるものである。
【００２２】原始プログラム解析手段３は、原始プログ
ラム１を形態素解析および構文解析などを行い、ｉｆ文
などを解析してこれに続く処理の行い易い中間言語に変
換するものである。
ラム１を形態素解析および構文解析などを行い、ｉｆ文
などを解析してこれに続く処理の行い易い中間言語に変
換するものである。
【００２３】最適化実施手段４は、最適化を行うもので
あって、ここでは、分岐命令を削除して特定命令に置き
換えて最適化を行ったり、所定ブロック単位にレジスタ
割り当てなどの最適化を行ったりなどするものである。
あって、ここでは、分岐命令を削除して特定命令に置き
換えて最適化を行ったり、所定ブロック単位にレジスタ
割り当てなどの最適化を行ったりなどするものである。
【００２４】スケジューリング＆コード生成手段５は、
最適化を行った後に、公知のスケジューリングを行い、
更に実行可能形式のコード（機械語レベルのコード）を
生成するものである。この生成されたものがオブジェク
トプログラム６となる。
最適化を行った後に、公知のスケジューリングを行い、
更に実行可能形式のコード（機械語レベルのコード）を
生成するものである。この生成されたものがオブジェク
トプログラム６となる。
【００２５】オブジェクトプログラム６は、実行可能形
式のプログラムである。図２は、本発明の具体例（図６
の（ａ）の分岐命令削除）を示す。これは、既述した図
６の（ａ）のＣ言語プログラムのアセンブラでのイメー
ジ中に記述した分岐および分岐を削除し、その代わ
りに図２の（ａ）中に記述し、図２の（ｂ）に示すよう
に動作させると、図６の（ａ）中の分岐および分岐
を削除しても同じ処理を実行することが可能となる。
式のプログラムである。図２は、本発明の具体例（図６
の（ａ）の分岐命令削除）を示す。これは、既述した図
６の（ａ）のＣ言語プログラムのアセンブラでのイメー
ジ中に記述した分岐および分岐を削除し、その代わ
りに図２の（ａ）中に記述し、図２の（ｂ）に示すよう
に動作させると、図６の（ａ）中の分岐および分岐
を削除しても同じ処理を実行することが可能となる。
【００２６】詳述すれば、図２の（ａ）のアセンブラで
のイメージ中に記述した、 ・条件コードに設定：ｃｍｐ ｘ，１，ｃｃｒ０ ・特定命令 ・第１のスロット：ａｄｄ ｇｒ０，１０，ｇｒ１８ ・第２のスロット：ａｄｄ ｇｒ０，２０，ｇｒ１８ ・第３のスロット：ｎｏｐ ・第４のスロット：ｎｌｆ ｃｃｒ０，１，ｃｃｒ０，
０，ｔｒｕｅ，１ ・命令 ：ｓｔｏｒｅ ｇｒ１８，ａ によって、図６の（ａ）の従来の分岐および分岐を
削除しても同じ処理を実行させることが可能となる。
のイメージ中に記述した、 ・条件コードに設定：ｃｍｐ ｘ，１，ｃｃｒ０ ・特定命令 ・第１のスロット：ａｄｄ ｇｒ０，１０，ｇｒ１８ ・第２のスロット：ａｄｄ ｇｒ０，２０，ｇｒ１８ ・第３のスロット：ｎｏｐ ・第４のスロット：ｎｌｆ ｃｃｒ０，１，ｃｃｒ０，
０，ｔｒｕｅ，１ ・命令 ：ｓｔｏｒｅ ｇｒ１８，ａ によって、図６の（ａ）の従来の分岐および分岐を
削除しても同じ処理を実行させることが可能となる。
【００２７】ここで、 ・条件コードの設定（ｃｍｐ ｘ，１，ｃｃｒ０）によ
って、図２の（ａ）の操作内容欄に記述したように、ｘ
と１を比較し、条件コードｃｃｒ０に真のときに１を設
定し、偽のときに０を設定する。
って、図２の（ａ）の操作内容欄に記述したように、ｘ
と１を比較し、条件コードｃｃｒ０に真のときに１を設
定し、偽のときに０を設定する。
【００２８】・特定命令（１τで第１から第４のスロッ
トの命令を同時実行できる命令）によって、図２の
（ｂ）に記載したように、・第４のスロットのの条件
コードｃｃｒ０が１の場合には、第１のスロットを実行
し、ここでは、ｇｒ０に１０を加算してｇｒ１８に格納
する。
トの命令を同時実行できる命令）によって、図２の
（ｂ）に記載したように、・第４のスロットのの条件
コードｃｃｒ０が１の場合には、第１のスロットを実行
し、ここでは、ｇｒ０に１０を加算してｇｒ１８に格納
する。
【００２９】・第４のスロットのの条件コードｃｃｒ
０が０の場合には、第２のスロットを実行し、ここで
は、ｇｒ０に２０を加算してｇｒ１８に格納する。・第
４のスロットのの条件コードｔｒｕｅが１（常に実行
する）の場合には、第３のスロットを実行し、ここで
は、ｎｏｐを実行する。
０が０の場合には、第２のスロットを実行し、ここで
は、ｇｒ０に２０を加算してｇｒ１８に格納する。・第
４のスロットのの条件コードｔｒｕｅが１（常に実行
する）の場合には、第３のスロットを実行し、ここで
は、ｎｏｐを実行する。
【００３０】・最後の命令（ｓｔｏｒｅ ｇｒ１８，
ａ）によって、ｇｒ１８の内容をａに格納し、一連の処
理を終了し、次の命令の処理に進む。以上の特定命令
（例えばｎｌｆ命令）の第４のスロットのとの条件
コードによって第１のスロットの命令あるいは第２のス
ロットの命令のいずれか一方のみが実行され、他方がマ
スクされて実行が抑止されるので、分岐が真あるいは偽
に対応して第１のスロットの命令あるいは第２のスロッ
トの命令のいずれか一方のみが自動的に実行されること
となる。これにより、従来の図６の（ａ）の分岐およ
び分岐を削除しても、上記した、条件コードの設定、
特定命令、命令を設定することで、同じ処理を分岐なし
に実行することが可能となる。
ａ）によって、ｇｒ１８の内容をａに格納し、一連の処
理を終了し、次の命令の処理に進む。以上の特定命令
（例えばｎｌｆ命令）の第４のスロットのとの条件
コードによって第１のスロットの命令あるいは第２のス
ロットの命令のいずれか一方のみが実行され、他方がマ
スクされて実行が抑止されるので、分岐が真あるいは偽
に対応して第１のスロットの命令あるいは第２のスロッ
トの命令のいずれか一方のみが自動的に実行されること
となる。これにより、従来の図６の（ａ）の分岐およ
び分岐を削除しても、上記した、条件コードの設定、
特定命令、命令を設定することで、同じ処理を分岐なし
に実行することが可能となる。
【００３１】尚、図２の（ａ）のアセンブラでのイメー
ジ欄中の特定命令の＆は１命令の継続を表し、ここで
は、４行で記述した４命令で１つの特定命令となり、例
えば１τで同時実行できる命令である。
ジ欄中の特定命令の＆は１命令の継続を表し、ここで
は、４行で記述した４命令で１つの特定命令となり、例
えば１τで同時実行できる命令である。
【００３２】図３は、本発明の説明図（図２の（ａ）の
模式図）を示す。これは、既述した図２の（ａ）のアセ
ンブラでのイメージを模式的に表したものである。図３
において、Ｓ１は、条件コード設定を行う。これは、図
２の（ａ）のアセンブラでのイメージ欄の ・ｃｍｐ ｘ、１、ｃｃｒ０（ｘと１を比較し、真ある
いは偽を ｃｃｒ０に設定する）に対応する。
模式図）を示す。これは、既述した図２の（ａ）のアセ
ンブラでのイメージを模式的に表したものである。図３
において、Ｓ１は、条件コード設定を行う。これは、図
２の（ａ）のアセンブラでのイメージ欄の ・ｃｍｐ ｘ、１、ｃｃｒ０（ｘと１を比較し、真ある
いは偽を ｃｃｒ０に設定する）に対応する。
【００３３】Ｓ２は、ｔｈｅｎ節ブロック、ｅｌｓｅ節
結合ブロックとする。これは、図２の（ａ）のｔｈｅｎ
節ブロックとｅｌｓｅ節ブロックとを結合して１つのブ
ロックとし、最適化処理を行う。例えば１つのブロック
に対して、変数にレジスタ割付を行う。この際、従来
は、ｔｈｅｎ節ブロック、ｅｌｓｅ節ブロック毎に個別
に変数にレジスタ割付を行っており、ｔｈｅｎ節ブロッ
クとｅｌｓｅ節ブロックはいずれか一方のみしか実行さ
れないので、いずれか一方のレジスタ割付したレジスタ
が無用に割り付けていたこととなる。しかし、本願発明
では、ｔｈｅｎ節ブロックとｅｌｓｅ節ブロックとを１
つのブロックにしてレジスタ割付を行うので、割り付け
るレジスタ数を削減して他にそのレジスタを割り付けよ
り高速実行可能な最適化を行うことが可能となる。
結合ブロックとする。これは、図２の（ａ）のｔｈｅｎ
節ブロックとｅｌｓｅ節ブロックとを結合して１つのブ
ロックとし、最適化処理を行う。例えば１つのブロック
に対して、変数にレジスタ割付を行う。この際、従来
は、ｔｈｅｎ節ブロック、ｅｌｓｅ節ブロック毎に個別
に変数にレジスタ割付を行っており、ｔｈｅｎ節ブロッ
クとｅｌｓｅ節ブロックはいずれか一方のみしか実行さ
れないので、いずれか一方のレジスタ割付したレジスタ
が無用に割り付けていたこととなる。しかし、本願発明
では、ｔｈｅｎ節ブロックとｅｌｓｅ節ブロックとを１
つのブロックにしてレジスタ割付を行うので、割り付け
るレジスタ数を削減して他にそのレジスタを割り付けよ
り高速実行可能な最適化を行うことが可能となる。
【００３４】Ｓ３は、次のブロックの処理を行う。以上
のように、従来は既述した図６の（ｂ）に示すように、
分岐と分岐があり分岐による速度低下があると共
に、ｔｈｅｎ節ブロックとｅｌｓｅ節ブロックとを独立
に最適化を行う必要があり、レジスタ割付では多くのレ
ジスタを割り付けざるを得なかったが、本願発明では、
図３に示すように、分岐と分岐とを削除して高速実
行を図ることが可能となり、かつｔｈｅｎ節ブロックと
ｅｌｓｅ節ブロックとを結合した１つのブロックに対し
て最適化を行い、より高速実行を図ることが可能とな
る。
のように、従来は既述した図６の（ｂ）に示すように、
分岐と分岐があり分岐による速度低下があると共
に、ｔｈｅｎ節ブロックとｅｌｓｅ節ブロックとを独立
に最適化を行う必要があり、レジスタ割付では多くのレ
ジスタを割り付けざるを得なかったが、本願発明では、
図３に示すように、分岐と分岐とを削除して高速実
行を図ることが可能となり、かつｔｈｅｎ節ブロックと
ｅｌｓｅ節ブロックとを結合した１つのブロックに対し
て最適化を行い、より高速実行を図ることが可能とな
る。
【００３５】図４は、本発明の説明図（分岐命令削除指
定）を示す。これは、Ｃ言語プログラム中の分岐を持つ
例えばｉｆ文の直前行に図示（ａ）に示すように、分岐
命令を削除する指定を行った様子を示す。この場合に
は、当該分岐命令削除指定に続く分岐を含む、ここで
は、ｉｆ文の分岐を自動的に削除し、既述した図２の
（ａ）のアセンブラでのイメージ欄に示すようにする。
定）を示す。これは、Ｃ言語プログラム中の分岐を持つ
例えばｉｆ文の直前行に図示（ａ）に示すように、分岐
命令を削除する指定を行った様子を示す。この場合に
は、当該分岐命令削除指定に続く分岐を含む、ここで
は、ｉｆ文の分岐を自動的に削除し、既述した図２の
（ａ）のアセンブラでのイメージ欄に示すようにする。
【００３６】以上のように、ソースプログラム１中で分
岐命令削除指定を記述することで、自動的にｉｆ文など
に含まれる分岐を削除し、条件コードの設定、特定命
令、命令などを挿入し、実行速度の高速化および最適化
ブロックを広くしてより最適化を進めて高速実行可能な
オブジェクトプログラム６を自動生成することが可能と
なる。
岐命令削除指定を記述することで、自動的にｉｆ文など
に含まれる分岐を削除し、条件コードの設定、特定命
令、命令などを挿入し、実行速度の高速化および最適化
ブロックを広くしてより最適化を進めて高速実行可能な
オブジェクトプログラム６を自動生成することが可能と
なる。
【００３７】図５は、本発明の入れ子のｉｆの展開例を
示す。これは、既述した図２の（ａ）のｉｆ文がｔｈｅ
ｎ節ブロックとｅｌｓｅ節ブロックとからなっていた
が、更に、ｔｈｅｎ節ブロック、ｅｌｓｅ節ブロック内
でそれぞれｉｆ文が記述され、いわゆる入れ子となった
ときの様子を示したものである。この入れ子になった場
合には、入れ子のなる前の条件コードを当該入れ子の内
部では継承する必要があるので、図示のようにすること
で、入れ子のｉｆ文についても同様に、既述した従来の
図６の（ａ），（ｂ）の分岐と分岐を削除すること
が可能となる。
示す。これは、既述した図２の（ａ）のｉｆ文がｔｈｅ
ｎ節ブロックとｅｌｓｅ節ブロックとからなっていた
が、更に、ｔｈｅｎ節ブロック、ｅｌｓｅ節ブロック内
でそれぞれｉｆ文が記述され、いわゆる入れ子となった
ときの様子を示したものである。この入れ子になった場
合には、入れ子のなる前の条件コードを当該入れ子の内
部では継承する必要があるので、図示のようにすること
で、入れ子のｉｆ文についても同様に、既述した従来の
図６の（ａ），（ｂ）の分岐と分岐を削除すること
が可能となる。
【００３８】図５において、図中のアセンブラでのイメ
ージ欄の各命令は左側に記載した ・外ｔｈｅｎ： ・外ｔｈｅｎ−内ｔｈｅｎ： ・外ｔｈｅｎ−内ｅｌｓｅ： ・外ｅｌｓｅ： ・外ｅｌｓｅ−内ｔｈｅｎ： ・外ｅｌｓｅ−内ｅｌｓｅ： という順番に入れ子となっている。
ージ欄の各命令は左側に記載した ・外ｔｈｅｎ： ・外ｔｈｅｎ−内ｔｈｅｎ： ・外ｔｈｅｎ−内ｅｌｓｅ： ・外ｅｌｓｅ： ・外ｅｌｓｅ−内ｔｈｅｎ： ・外ｅｌｓｅ−内ｅｌｓｅ： という順番に入れ子となっている。
【００３９】また、図中のからは、特定命令を表
し、既述した図２の（ｂ）に示すと同様である。例えば
の特定命令は、 ・第１のスロット：ｃｍｐ ｙ，２，ｃｃｒ２ ・第２のスロット：ｎｏｐ ・第３のスロット：ｎｏｐ ・第４のスロット：ｎｌｆ ｃｃｒ０，１，ｔｒｕｅ，
１，ｔｒｕｅ，１ であって、第４のスロットの命令をもとに（図２の
（ｂ）参照）、操作内容の欄に記載したように、ｃｃｒ
０が１の場合にｙと２を比較し、ｃｃｒ２に条件コード
を設定することを表す。以下からの特定命令につい
て同様に、操作内容の欄に記載したように処理を行うこ
とで、ｉｆ文のｔｈｅｎ節ブロック、ｅｌｓｅ節ブロッ
クにそれぞれｉｆ文があってもそれぞれの分岐を削除
し、図５の全体を１つのブロックに結合し、分岐を削除
したことで高速実行を図ることが可能となると共に、全
体を１つのブロックとして最適化を行い、より高速化を
図ることが可能となる。
し、既述した図２の（ｂ）に示すと同様である。例えば
の特定命令は、 ・第１のスロット：ｃｍｐ ｙ，２，ｃｃｒ２ ・第２のスロット：ｎｏｐ ・第３のスロット：ｎｏｐ ・第４のスロット：ｎｌｆ ｃｃｒ０，１，ｔｒｕｅ，
１，ｔｒｕｅ，１ であって、第４のスロットの命令をもとに（図２の
（ｂ）参照）、操作内容の欄に記載したように、ｃｃｒ
０が１の場合にｙと２を比較し、ｃｃｒ２に条件コード
を設定することを表す。以下からの特定命令につい
て同様に、操作内容の欄に記載したように処理を行うこ
とで、ｉｆ文のｔｈｅｎ節ブロック、ｅｌｓｅ節ブロッ
クにそれぞれｉｆ文があってもそれぞれの分岐を削除
し、図５の全体を１つのブロックに結合し、分岐を削除
したことで高速実行を図ることが可能となると共に、全
体を１つのブロックとして最適化を行い、より高速化を
図ることが可能となる。
【００４０】
【発明の効果】以上説明したように、本発明によれば、
ｉｆ文などにおける分岐を削除して複数命令を同時実行
可能な特定命令（例えばｎｌｆ命令）中の条件コード
（真あるいは偽）で指定された当該特定命令中の命令を
実行し他の命令をマスクして実行を抑止する構成を採用
しているため、ｉｆ文などをコンパイルするときの従来
の分岐を削除して高速化を図ると共にｔｈｅｎ節ブロッ
クおよびｅｌｓｅ節ブロックなどを１つにまとめて最適
化を行い更に高速化を図ることが可能となる。
ｉｆ文などにおける分岐を削除して複数命令を同時実行
可能な特定命令（例えばｎｌｆ命令）中の条件コード
（真あるいは偽）で指定された当該特定命令中の命令を
実行し他の命令をマスクして実行を抑止する構成を採用
しているため、ｉｆ文などをコンパイルするときの従来
の分岐を削除して高速化を図ると共にｔｈｅｎ節ブロッ
クおよびｅｌｓｅ節ブロックなどを１つにまとめて最適
化を行い更に高速化を図ることが可能となる。
【図１】本発明のシステム構成図である。
【図２】本発明の具体例（図６の（ａ）の分岐命令削
除）である。
除）である。
【図３】本発明の説明図（図２の（ａ）の模式図）であ
る。
る。
【図４】本発明の説明図（分岐命令削除指定）である。
【図５】本発明の入れ子のｉｆの展開例である。
【図６】従来技術の説明図である。
１：原始プログラム（ソースプログラム） ２：コンパイラ ３：原始プログラム解析手段 ４：最適化実施手段 ５：スケジューリング＆コード生成手段 ６：オブジェクトプログラム
───────────────────────────────────────────────────── フロントページの続き (72)発明者 鈴木 清文 神奈川県川崎市中原区上小田中４丁目１番 １号 富士通株式会社内 (72)発明者 高原 浩二 神奈川県川崎市中原区上小田中４丁目１番 １号 富士通株式会社内 (72)発明者 山中 豊 神奈川県川崎市中原区上小田中４丁目１番 １号 富士通株式会社内 (72)発明者 小泉 治道 静岡県静岡市南町18番１号 株式会社富士 通静岡エンジニアリング内 (72)発明者 森島 政人 静岡県静岡市南町18番１号 株式会社富士 通静岡エンジニアリング内 (72)発明者 山本 賢一 静岡県静岡市南町18番１号 株式会社富士 通静岡エンジニアリング内 (72)発明者 谷村 恭伸 静岡県静岡市南町18番１号 株式会社富士 通静岡エンジニアリング内 (72)発明者 日下部 明 静岡県静岡市南町18番１号 株式会社富士 通静岡エンジニアリング内 (72)発明者 山地 延佳 神奈川県川崎市中原区上小田中４丁目１番 １号 富士通株式会社内 Ｆターム(参考） 5B081 AA06 CC22 CC23
Claims (6)
- 【請求項１】ソースプログラム中の分岐を削除して最適
化を行うコンパイル装置において、 ソースプログラム中から分岐を検出して削除する手段
と、 上記削除する分岐を実行した時の真あるいは偽を条件コ
ードに設定させる命令を生成する手段と、 上記削除する分岐を実行して分岐する場合の処理を実行
させる第１の命令および分岐しない場合の処理を実行さ
せる第２の命令を生成すると共に、上記条件コードの値
に従い上記第１の命令あるいは上記第２の命令のいずれ
かを実行させ他の命令の実行を抑止させる第３の命令を
生成し、上記第１の命令、上記第２の命令、上記第３の
命令を少なくとも含む１つの同時実行可能な特定命令を
生成する手段とを備えたことを特徴とするコンパイル装
置。 - 【請求項２】ｉｆ文の比較部分を実行したときの真ある
いは偽を上記条件コードに設定、当該真の場合の処理を
行う上記第１の命令、および当該偽の場合の処理を行う
上記第２の命令としたことを特徴とする請求項１記載の
コンパイル装置。 - 【請求項３】上記分岐のｔｈｅｎ節ブロックおよびｅｌ
ｓｅ節ブロックを結合し全体ブロックをまとめて最適化
したことを特徴とする請求項２記載のコンパイル装置。 - 【請求項４】上記ソースプログラム中の分岐について、
試実行して分岐確率が所定値以下のときに上記分岐の削
除を行うことを特徴とする請求項１から請求項３のいず
れかに記載のコンパイル装置。 - 【請求項５】上記ソースプログラム中の分岐に削除指示
が設定されていたときに、上記分岐の削除を行うことを
特徴とする請求項１から請求項３のいずれかに記載のコ
ンパイル装置。 - 【請求項６】ソースプログラム中から分岐を検出して削
除する手段と、 上記削除する分岐を実行した時の真あるいは偽を条件コ
ードに設定させる命令を生成する手段と、 上記削除する分岐を実行して分岐する場合の処理を実行
させる第１の命令および分岐しない場合の処理を実行さ
せる第２の命令を生成すると共に、上記条件コードの値
に従い上記第１の命令あるいは上記第２の命令のいずれ
かを実行させ他の命令の実行を抑止させる第３の命令を
生成し、上記第１の命令、上記第２の命令、上記第３の
命令を少なくとも含む１つの同時実行可能な特定命令を
生成する手段として機能させるプログラムを記録したコ
ンピュータ読取可能な記録媒体、
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP11023774A JP2000222218A (ja) | 1999-02-01 | 1999-02-01 | コンパイル装置および記録媒体 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP11023774A JP2000222218A (ja) | 1999-02-01 | 1999-02-01 | コンパイル装置および記録媒体 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JP2000222218A true JP2000222218A (ja) | 2000-08-11 |
Family
ID=12119701
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP11023774A Pending JP2000222218A (ja) | 1999-02-01 | 1999-02-01 | コンパイル装置および記録媒体 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2000222218A (ja) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2006309430A (ja) * | 2005-04-27 | 2006-11-09 | Matsushita Electric Ind Co Ltd | コンパイラによる最適化方法 |
| JP2015201119A (ja) * | 2014-04-10 | 2015-11-12 | 富士通株式会社 | コンパイルプログラム、コンパイル方法およびコンパイル装置 |
Citations (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH0887417A (ja) * | 1994-09-20 | 1996-04-02 | Fujitsu Ltd | コンパイラ装置 |
| JPH09218789A (ja) * | 1996-02-08 | 1997-08-19 | Oki Electric Ind Co Ltd | 分割コンパイル方式 |
| JPH1027102A (ja) * | 1996-07-11 | 1998-01-27 | Hitachi Ltd | 演算処理装置 |
| JPH10116197A (ja) * | 1996-10-09 | 1998-05-06 | Hitachi Ltd | プログラム解析方法 |
| JPH10187463A (ja) * | 1996-11-26 | 1998-07-21 | Hewlett Packard Co <Hp> | コンパイラ |
-
1999
- 1999-02-01 JP JP11023774A patent/JP2000222218A/ja active Pending
Patent Citations (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH0887417A (ja) * | 1994-09-20 | 1996-04-02 | Fujitsu Ltd | コンパイラ装置 |
| JPH09218789A (ja) * | 1996-02-08 | 1997-08-19 | Oki Electric Ind Co Ltd | 分割コンパイル方式 |
| JPH1027102A (ja) * | 1996-07-11 | 1998-01-27 | Hitachi Ltd | 演算処理装置 |
| JPH10116197A (ja) * | 1996-10-09 | 1998-05-06 | Hitachi Ltd | プログラム解析方法 |
| JPH10187463A (ja) * | 1996-11-26 | 1998-07-21 | Hewlett Packard Co <Hp> | コンパイラ |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2006309430A (ja) * | 2005-04-27 | 2006-11-09 | Matsushita Electric Ind Co Ltd | コンパイラによる最適化方法 |
| JP2015201119A (ja) * | 2014-04-10 | 2015-11-12 | 富士通株式会社 | コンパイルプログラム、コンパイル方法およびコンパイル装置 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US5978588A (en) | Method and apparatus for profile-based code placement using a minimum cut set of the control flow graph | |
| JP2980178B2 (ja) | 並列プロセッサで処理する並列な命令ストリームを同期させる方法 | |
| JP2947356B2 (ja) | 並列処理システム及び並列プロセッサの同期方法 | |
| US5511198A (en) | Optimizing compiler for shortening execution time of object program | |
| CN100462920C (zh) | 为优化的程序生成展开信息 | |
| JPH1173325A (ja) | プログラム変換装置及び記録媒体 | |
| US5692196A (en) | System and method for conditionally compiling a software compilation unit | |
| US6367076B1 (en) | Compiling method and memory storing the program code | |
| US8543992B2 (en) | Method and apparatus for partitioning programs to balance memory latency | |
| JP2000222218A (ja) | コンパイル装置および記録媒体 | |
| JPH01118931A (ja) | プログラム変換方式 | |
| JPH04263323A (ja) | 機械語命令列並べ換え方式 | |
| JP2585793B2 (ja) | コンパイラシステム | |
| JPH01213719A (ja) | パイプライン処理用データ組替装置 | |
| JP3323147B2 (ja) | コンパイル装置、コンパイル方法およびコンパイラプログラムを記録した記録媒体 | |
| WO1997007452A1 (en) | Programmable compiler | |
| JPH06222926A (ja) | 仮想リソース生成方法 | |
| JP2001265605A (ja) | コンパイラの命令列最適化方法、コンパイラ装置、記録媒体、及びプログラム | |
| Wolfe | Partial redundancy elimination is not bidirectional | |
| JPH11232131A (ja) | データ処理装置のテスト方法 | |
| JPH04252336A (ja) | プログラム最適化処理装置 | |
| JPH05313910A (ja) | 機械語命令生成方式 | |
| Ku et al. | Behavioral Transformations | |
| JPH05100866A (ja) | コンパイル・リンク方式 | |
| JPH022425A (ja) | 多方向分岐演算の高速化方法 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20040901 |
|
| A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20041005 |
|
| A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20041206 |
|
| A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20050208 |
|
| A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20050614 |