JPS59165147A - コンパイラにおける条件文のベクトル命令化方式 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 〔発明の技術分野〕 本発明は、複数の並列演算部をそなえたベクトル処理プ
ロセッサに対して、与えられたソース畳プログラムから
目的プログラムを生成して供給するコンパイラにおいて
、ループ構造内に条件文が含まれる場合でも、ループ内
の各文に対応して、当該文をに１エレメントに対して実
行するか否かを、マスク情報として与えるようにして、
並列実行可能な形にして処理してゆく際、条件文の条件
式の真率および条件文によって制御を受ける部分の演算
種類、ベクトル・データの種類、その引用のされ方な・
どの情報を予め収集し、最も適切な方式−でベクトル命
令化するコンパイラにおける条件文のベクトル命令化方
式に関するものである。

〔技術の背景と問題点〕

例えば、第１図囚に示す如く、ベクトルＡに属するエレ
メントαｌ＋ａｌｅ・・・・・・とベクトルＢに属する
エレメントｈ、、ｂ２．・・・・・・との各エレメント
相互を加算して、エレメントＩ’ｓ　ｅ　Ｃ１＊・・・
・・・をもつベクトルＣを生成するような、ベクトル命
令を実行するベクトル処理プロセッサが存在している。

第１図（５）図示の場合、第を番目のエレメント相互の
加算を行なうか否かをマスクφニレメン）　”ｔ　＋ｍ
ｔ　＊・・・・・・にて指示するようにされておシ、第
１図■に一般化して示す如き処理が行なわれる。

上・記の如き処理を行なうベクトル処理プロセッサを有
するデータ処理システムは、一実施例として第２図図示
の如きシステム構成をもっている。

図中の符号１は主記憶装置、２はメモリ制御装置、３は
ベクトル処理プロセッサ、４はチャネル・プロセッサ、
５は大記憶装置、６はスカラ処理回路部、７はベクトル
処理回路部、８−０．８−１、・・・は夫々浮動小数点
データーレジスタ、９−０．９−１、・・・は夫々複数
個のデータ（エレメント・データ）を格納し得るベクト
ル・レジスタ、１〇−〇、１０−１、・・・は夫々複数
個のマスク・データ（マスク・エレメント・データ）を
格納し得るマスク・レジスタ、１１はベクトル長レジス
タであって各ベクトル−レジスタに格納されるエレメン
トの個数情報がセットされるもの、１２−０．１２−１
は夫々メモリのアクセス・パイプライン１３は加減算パ
イプライン、１４は乗算処理ノくイブライン、１５は除
算処理パイプライン、１６はマスク処理パイプラインを
表わしている。

上記の如きベクトル処理プロセッサが処理を実行するに
商って、当該プロセッサが実行するに適した形に、与え
られたソース・プログラムをコンパイルし目的プログラ
ムを生成することが行なわれる。当該コンパイルを行な
うコンパイラの構成はＩ＠３図を参照して後述されるが
、当該コンパイラによるコンパイル処理に当って、ルー
プ構造をもつプログラムにおいて、当該ループ内に例え
ばＩＦ文のような条件文が含まれていると、並列実行可
能部分を取出す（ベクトル化する）場合、実行上の効率
まで考えてはベクトル化していなかった。従って、条件
文の種類、性質などによっては実行効率の悪いことがあ
りた。

〔発明の目的〕

本発明は、上記の考察に基づくものであって、条件文を
含むプログラムのベクトル化に当たって、１　　条件文
のベクトル命令として最適なものを生成し、実行効率を
上げることができる条件文のベクトル命令化方式を提供
することを目的とするものである。

〔発明の構成〕

そ・のために本発明のコンパイラにおける条件文のベク
トル命令化方式は、複数の並列演算部をそなえると共に
複数個のレジスタを少なくともそなえてベクトル命令を
実行するベクトル処理プロセッサに対して、与えられた
ソース−プログラムから目的プログラムを生成して供給
するコンパイラにおいて、上記ソース・プログラムの文
解釈を行って中間テキストに展開するソース解釈部、プ
ログラム中に出現する各種データに記憶域内番地を割当
てる記憶域割付は部、プログラム中のループ構造を検出
して並列実行可能部分の認識を行いかつ上記中間テキス
ト変更を行うベクトル化部、中間テキストのレベルで上
記ベクトル処理プロセッサを有効に利用するための最適
化を施す中間テキえト最適化部、中間テキストに現われ
たデータに実際の資源を割当てるレジスタ使用決定部、
及び目的プログラム出力部をそなえてなシ、更に、上記
ベクトル化部は、ループ内の条件文の存在をチェックし
、条件文が存在する場合に、ループ内の各文に対応して
当該文を第１エレメントに対して実行するか否かをマス
ク情報として与え、当該マスク情報を基に条件付の演算
を行う複数の方式の中から最適な方式を選び、当該方式
によシベクトル・テキストを生成するように構成された
ものであって、上記複数の方式の夫々に対応して当該方
式によるベクトル拳テキストを生成する複数のテ、キス
ト生成部、同一マスクで実行される中間テキスト群に対
して演算の種類やベクトルφデータの種類、当該データ
の引用のされ方など実行時間の計算の基礎となる情報を
収集する情報収集部、上記収集された情報を使って上記
複数の方式の夫々によシベクトル・テキストを生成した
場合の実行時間を計算する実行時間計算部、及び夫々の
方式による上記実行時間を比較し、上記複数の方式から
適切な方式を選択する最適方式選択部を少なくとも有し
、上記複数のテキスト生成部は、上記最適方式選択部に
よって選択された方式に対応するテキスト生成部が選択
され当該選択された方式によるベクトル・テキストを生
成するように構成されたことを特徴とするものである。

〔発明の実施例〕

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

第３図は本発明に用いるコンパイラの１実施例構成、を
示す図、第４図はソース・プログラムを中間テキストに
移してゆく態様を説明する図、第５図はソース拳プログ
ラムをベクトル化してゆく態様を説明する図、１ｇ６図
ないし第８図はＩＦ文を含むソース・プログラムに対し
て文マスクやパス・マスクを用意して並列実行可能な形
に変形してゆく態様を説明する図、第９図は本発明に用
いる条件付の演算の３つの方式による操作の様子を説明
する図、第１０図は本発明に用いる条件付の演算の３つ
の方式に基づいてベクトル拳テキストを生成してゆく態
様を説明する図、第１１図はベクトル化部による本発明
の処理の流れを示す図、第１２図はマスクの値がループ
内で不変である場合に実行部分迂回処理を行ないベクト
ル・テキストを生成してゆく態様を説明する図、第１３
図は真率がＯとなった場合の迂回処理を行ないベクトル
・テキストを生成してゆく態様を説明する図である。

第３図において、１７は大記憶装置に格納されているソ
ース拳プログラム、１８はコンパイラ、１９はコンパイ
ルされて大記憶装置上に格納される目的プログラム、２
０はソース解釈部、２１は記憶域割付は部、２２はベク
トル化部、２３は中間テキスト最適化部、２４はレジス
タ使用決定部、２５は目的プログラム出力部を表わして
いる。

コンパイラ１８は、大記憶装置からソース拳プログラム
１７を取込んで、所望の目的プログラム１９を生成する
。このとき図示の各部は次のような処理を行う〇 即ち、ソース解釈部２ｏはソース・プログラム１７を大
記憶装置から取込み、文解釈を行って中間テキス１ｍ展
開する。例えばソース・プログラムが第４図図示左側の
如き場合に図示右側に示す如き中間テキストに展開する
。記憶域割付は部２１はプログラム内に出現する各種デ
ータに対応して記憶域内番地を割当てる。ベクトル化部
２２は、プロ・久ラム中のループ構造を検出し、並列実
行可能部分を認識し、゛第５図図示の如く中間テキスト
変更を行う０中間テキスト最適化部２３は、中間テキス
トのレベルで、第２図図示の如きベクトル処理プロセッ
サを有効に利用するための最適化を施す。レジスタ使用
決定部２４は、中間テキストに現われたデータに対して
、ベクトル処理プロセフサ上の資源（レジスタ）を割当
てる・そして目的プログラム出力部２５は機械命令語を
大記憶装置へ出力しかつ命令語レベルでの最適化を行う
。

ベクトル処理プロセッサを稼動させるためのコンパイラ
は第３図図示の如き構成をもってお）、ループ構成内に
ＩＦ文をもたないプログラムについては第５図に概念的
に示した如く並列実行可能な形にして処理してゆくこと
が可能である。しかし第６図に示す如きソース・プログ
ラムが与えられると、当該ループ構成の中にｒ　Ｉ　Ｆ
　（Ａ（１）、ＧＴ。

Ｂ（１））Ｇｏ　ＴＯ５０ＪなどのＩＦ文が存在するこ
とから、従来このようなループ構成については一般には
並列実行可能な状態にないものとして処理されていた。

しかし、当該プログラムの場合、ＩＦ文の飛び先がルー
プ内に止まってお夛、プログラム中の個々の文について
個々の処理に当って当該文を実行するか否かを文マスク
７ＸＬにて指示する手法を採用することによって、上記
並列実行可能なものとなることが判った。

なお第６図図示のプログラムは、概路次の如き処理を指
示している。即ち、■の値が「１」から「Ｎ」になるま
で繰返して文、。ないし文、。を実行することを指示し
、その間に文、。によって成る工の値のときＡ　（Ｉ）
がＢ　（Ｉ）よりも大となるならば文、。

に飛び、また文、０によって成るＩの値のときＢ　（Ｉ
）がＹよりも大となるならば文。。に飛ぶことを指示し
ている。上記文マスクは、例えば文、。に対応してｒＡ
（Ｉ）、ＧＴ、Ｂ（Ｉ）Ｊなる条件以外のとき、当該文
、。を実行するよう指示すれば、ＩＦ文が第８図図示の
如く消滅する形となる。

第７図は、第６図図示のプログラムを構成する各文、０
ないし文、０に対して、どのような文マスク町０ないし
”ｙｏを与えるかを説明する説明図を示してい・る。

文、０の場合にはＩの値の如何に拘らず、すべてのＩに
ついて実行する必要がある。このことから文マスク町０
としてグ（空）となる。文！０の場合も町。とじてグと
なる。文、。から文ｓｏへ飛ぶルートは文、。の条件ｒ
Ａ（Ｉ）、ＧＴ、Ｂ（Ｉ）Ｊのときにとられるもので、
当該バスに対してパス・マスクＰ、。。

、。とじて Ｐ、。、、。＝　Ａ（Ｉ）、　Ｇ　Ｔ、　Ｂ　（Ｉ）が
与えられ、一方間様にパス・マスクＰ　１０９８Ｇ　　
として Ｐ　ｔｏ　ｅｓｏ　＝　　Ｐ　ｔｏ　ｍｉ。

が与えられる。この結果から文ｓｏに対応する文マスク
７７１３゜は ”ｎｏ　＝　Ｐ　ｔｏ　＊　ｓ。

となる。

文４ｏについての文マスクｍ４６は７７１３ｏ　と同じ
ものとなる。同じようにして、パス・マスクＰ４゜、６
゜やＰ２Ｏ，ｓｏが図示の如く与えられ、文マスク７Ｆ
Ｌ　Ｂｏは、パス・マスクＰ　ｔｏ　＋　ｓｏとＰ４０
１１１０との論理和をとったものとなる。そして文マス
クｍ６゜９ｍ７゜はグとなるＯ このような文マスクｒＩＬＬを与えると、第６図図示の
プログラムは、第８図図示プログラムの如く、ＩＦ文が
存在しない形となって、並列実行可能な形となる。なお
、第８図において、「＝」を附して示した所のｒ：Ｍ、
ｊ、ｒ　：　Ｍｌｌ　Ｊは対応する文についての文マス
クであると考えてよい。

このように一般には、（１）ＩＦ文を含むループ内の各
文に対応して文マスクを例えば第１番目の文に対して文
マスク７７１ｚとして与え、かつ（Ｉｆ）　当該館ｉ番
目の文がＩＦ文でない場合に第（ｉ＋ｉ）番目の文に向
うパスに対しパス・マスクＰｉ、ｉ＋１として値ｍ７を
与え、（Ｉｌ＋）当該館を番目の文がＩＦ文である場合
に当該ＩＦ文の条件なＣｉとするとき条件成立によって
飛ぶ所の飛び先の第に番目の文へのパスに対してパス・
マスクＰｉｋとして ｍｉ、Ａ　Ｎ　Ｄ　、　Ｃｉ を与え、（ｌｖ）当該第１番目の文がＩＦ文である場合
に当該ＩＦ文の条件Ｃｉの条件不成立によって飛ぶ所の
億び先の第に′番目の文へのパスに対してパス拳マスク
Ｐｉ　ｋｌとして ７ｎｉ−Ａ　Ｎ　Ｄ　−Ｃｉ を与え、（Ｖ）上記文マスクｍｉを与えるに轟って、上
記パス−マスクを調べて第１番目の文へ至るパスに対応
するパス・マスクＰｌｉについての論理和をとる、即ち 町＝　Ｕ　Ｐｉｉ　　（ｊ＼ｉ） ！ で与えるようにし、ＩＦ文を含んでいる場合でも並列実
行可能な範囲を増大せしめるようにコンパ１．イルする
。以上のようなコンパイラ処理方式は、本願と同一の出
願人によ）先行発明（特願昭５７−’３１１９８号）と
して既に提案されている。

また、ベクトル処理プロセッサには、マスク付ベクトル
演算の他に、ＩＦ文のような条件文を処理するのに適し
た命令として、ベクトル・データをある条件の下で圧縮
／拡散する命令、及びランダムな位置にあるデータをア
クセスできる命令がある。後者において、ランダムな位
置を示すのにはインダクタ・リストという添字位置だけ
を集めたデータ列を用いるため、このような命令のこと
をリスト処理命令ともいう。また、リスト処理命令で扱
われるベクトル・データのことをリスト・１ベクトルと
もいう。そして、これらの命令を用いて条件付の演算を
行う方式として３つの方式があシ、その１つがマスク付
演算方式であシ、２っめが圧縮／拡散方式であ夛、３つ
めがリストΦベクトル方式である。それぞれの方式によ
るＡｉ＋Ｂｉ　：Ｍｊｅ　ｉ　＝１　＊　２　＊・・・
・・・・・・８という条件付の演算の操作の様子を示し
たのが第９図である。

マスク付演算方式は、第９図（Ａ）Ｋ示すように、演算
マスク機能を利用し、マスク部が真の要素（斜線部）だ
けを演算するものであり、全ベクトル要素を演算対象と
するため、演算時間はベクトル要素数分だけ必要となる
という点はデメリットであるが、補助操作がないという
点がメリットである。

圧縮／拡散方式は、第９図（２）に示すように、演算対
象となりた要素をあらかじめ収集し、収集した要素（Ａ
％ＢからＡ′、Ｂ′へ）に対して演算を行い、そ七て演
算した結果をもとのベクトルに拡散するものであシ、対
象ベクトル要素を圧縮／拡散する補助操作を伴うという
点はデメリットであるが、対象ベクトル要素のみを演算
するという点がメリットである。

リスト・ベクトル方式は、第９図０に示すように、演算
対象となった要素のインダクタ・リストを作成し、この
インダクタ・リストに従って対象要素を取シ出して演算
するものであり、圧縮／拡散方式と同様に、対象ベクト
ル要素のアクセスのためにインダクタ・リストを作成す
る補助操作を伴うと−いう点仲デメリットであるが、対
象さクトル要素のみを演算するという点がメリットで゛
ある〇従って、マスク付演算方式は、他の２方式に比べ
て演算時間が長いが、補助操作もなく最も広く使え、条
件文の真率が高い場合に特に有効である。

他方、圧縮／拡散方式は、集めたベクトル要素を複数回
利用したシ、又はそれを基に縮小した要素数で多くの演
算（例えば関数演算）を行うのに有効であり、また、゛
り艮ト・ベクトル方式は、演算対象ベクトル要素数が少
ない（条件文の真率が低い）場合に有効である。

本発明は、先に説明した第３図図示の如き構成をもった
コンパイラのベクトル化部において、条件文を含むルー
プ内の各文に対して先に説明した先行発明によシマスフ
が与えられた中間テキストを取出し、マスク付演算方式
、圧縮／拡散方式、及びリスト・ベクトル方式のそれぞ
れの方式による実行時間に差を生じる要因となる情報と
して、条件式の真率及び条件文によって制御を受ける部
分の演算種類、ベクトル・データの種類、その引用のさ
れ方などの情報を予め収集する。そして、それらの情報
に基づいて３つの方式のうち最も適切な方式を選びベク
トル命令化する。

本発明では、先に述べた各方式での実行時間を計算する
ために、同一マスクで実行される中間テキスト群に対し
て、条件文によって制御を受ける部分の演算の種類、ベ
クトル・データの種類、その引、用のされ方などの情報
として例えば次のような情報を収集する。

■　＋、−０木　などの演算数　・・・・旧・・・・・
　ｎｔＯ／（除算）・・・・・−・・旧・・・旧■・旧
・・・旧・・・・・　ｎｄ■　関数　　　・・・・旧・
・・１旧・・・・・・旧・・・旧・・・・・ｒＬｆ＠テ
ィスタンス４ｏｒ８のロード・旧・・・旧・・　　ルノ
■　ディスタンス４ｏｒｇ以外の四−ド・旧・・ｒＬｌ
ｄ■　インダイレクトロード　・・・・・・・・・・・
・・・・・・・−２＠テイスタンス４０ｒ８のストア　
・・・・・・・・・　ジ＠　ディスタンス４０ｒ８以外
のストア・・・・・・ｎｓｄ■　インダイレクトストア
　・・・・・・・・・・・・・・・・・・ｍｌ■　オペ
ランドに直接出現する誘導変数・ｎ１ｒｄｅｘ■　配列
をアクセスするための誘導変数・・・ｎ１ｒｄ■　υｔ
／ｍｔ　　・・・・・・・・・・・・・・・・・・・・
・・・・・・・・・・・・・・・・・・・伊ｔまた、こ
の範囲のマスクの裏車（条件式が成立つｔｒｕｅ率）を
ｔとする。マスクの裏車ｔはマスク生成において設定さ
れるものである。

次に、収集した上記の各情報を元に、各方式により命令
生成した場合のおよその実行時間を計算する。

マスク付演算方式によシ命令生成した場合のおよそ−の
実行時間ＴＭは、次式で求められるＯＴＭ　＝　ＴＶＬ
８　＋　ＴＩＸ　　　　　　・・・・・・　（１）ここ
で、ＴＭＬＢはデータのロード、ストアにかかる時Ｊｉ
ＪＬＴｇｘは演算部分の実行時間を表わす。

圧縮／拡散方式によシ命令生成した場合のおよその実行
時間ＴＣＩは、次式で求められるＯＴｃｇ　＝　ＴＣＩ
ＣＬＳ　＋　ＴＣＩＡＵＸ　＋　Ｔｘｘ＄ｊ　＋ＴＶＬ
　　−（２）ここで％　ＴＣＩＬ８はデータのロード、
ストアにかカル時間・ＴＣＥＡＵＸは補助操作のために
、即ちデータの圧縮／拡散に要する時間、ＴＶＬはベク
トル長が変化することによって余分にかかる時間％　Ｔ
ＥＸは（１）式と同じ内容の時間を表わす。

リストｅベクトル方式によシ命令生成した場合のおよそ
の実行時間ＴＬは、次式で求められる。

Ｔｔ、＝Ｔｔ、ｔ、ｓ＋ＴＬ＊ｖｘ＋ＴＥｘ＊ｔ＋Ｔｙ
Ｌ・・・・−（３）ここでｓ　ＴＬＬ８はデータのロー
ド、ストアＫかかる時間、ＴＬＡＵＸは補助操作のため
に、即ちデータのアクセスのためのインデクス・リスト
作成に要する時間、ＴＥＸとＴｖＬは（２）式と同じ内
容の時間を表わす。

上記（１）ないしく３）式によシ各方式の実行時間Ｔｙ
１ｓＴＣＫ、ＴＬが求められると、これらの実行時間を
比較し、最も実行時間が小さい方式を選択する。そして
、その選択した方式によシベクトル・テキストを生成す
るが、それぞれの方式によ〕生成されるベクトル・テキ
ストの例を示したのが第１０図である。

例えば、 ＤＯＩＯＩ＝１．Ｎ ＩＦ　　　（Ｌ　（Ｉ）　）　ＴＨＥＮＡ　（Ｉ）　＝
　Ｂ　（Ｉ）　十Ｃ（Ｉ）ＥＮＤ　　ＩＦ １０　Ｃ０ＮＴＩＮＵＥ に対して、マスク付演算方式によシ生成されるベクトル
・テキストを示したのが第１０図（イ）であシ、圧縮／
拡散方式によシ生成されるベクトル・テキストを示した
のが第１０図（８）であυ、リストφベクトル方式によ
り生成されるベクトル・テキストを示したのが第１０図
（Ｏである。なお、第１０図において、０Ｎ（７７Ｌｔ
１）はマスク中の真の要素の個数。

を表わす。

次にコンパイラのベクトル化部において、情報の収集、
各方式による実行時間の計算、最適な方式の選択などを
行い、ベクトル・テキストを生成する処理の流れを第１
１図を参照しつつ説明する。

■　プログラム中のループを取シ出す。次に■の処理を
行う０ループがなければ終了とする。

■　ループ内に条件文があるか否かを調べる。

Ｙｅｓの場合には■の処理を行い。Ｎｏの場合には■の
処理に戻る。

■　ループ内の各中間テキストのマスクが同じ部分につ
いて取シ出す。

マスクが一般のマスクである場合には■の処理、マスク
の値がループ内で不変である場合には■の処理、マスク
なしの場合には■の処理を行う。ループ内の全ての中間
テキストについて処理が終っている場合には■の処理に
戻る。

■　解析対象範囲を決定し、情報収集を行う・次に■の
処理を行う。

■　各方式の実行時間の計算を行う。次に■の処理を行
う。　　゛ ■　計算した各方式の実行時間を比較し、最適な方式の
選択を行う。次に■の処理を行う。

■　裏車が小さい場合の迂回処理を行う。

即ち、裏車が０の可能性のある場合（外部から指定のあ
った場合）には、第１３図に示すように実行を迂回する
テキストを出力する。

次にマスク付演算方式が選択されている場合には■の処
理を行い、圧縮／拡散方式が選択されている場合には［
相］の処理を行い、リスト書ベクトル方式が選択されて
いる場合には◎の処理を行う。

■　上記■ないし■の処理はマスクがループ内で変化す
るときであり、ＩＦ文の条件式が例えば第１２図に示す
ように、ループ内で不変である場合には、ＩＦ文をその
まま残し、命令選択処理は行わない実行部分迂回処理を
行う。次に■の処理を行う。

■　ベクトル・テキスト変換処理を行う。

次に■の処理に戻る。

［相］”データ圧縮処理を行う。次に＠の処理を行うＯ ■　リスト・ベクトルを生成する。次に＠の処理を行う
。

■　ベクトル長再設定テキストを生成する０次に［相］
の処理を行う。

［相］　命令選択範囲内の全テキストのベクトル中テキ
スト変換処理を行う。次に■の処理を行うＯ Ｏベクトル長再設定テキストを生成する０次に圧縮／拡
散方式が選択されている場合には［相］の処理を行い、
リスト・ベクトル方式が選択されている場合には■の処
理に戻る。

［相］　データ拡散処理を行う。次圧■の処理に戻る。

〔発明の効果〕

以上の説明から明らかなようｋ、本発明によれば、条件
文をベクトル化しようとする場合、条件文の・条件式の
裏車や条件文によって制御を受ける部分の演算種類；ベ
クトル・データの種類、その引用のされ方などの情報を
予め収集し、その情報を元に３方式のうち最も適切な方
式でベクトル命令化するので、条件文を含むプログラム
のベクトル化において、きめ細かいベクトル化が可能と
なシ、実行効率を上げることができる。

【図面の簡単な説明】

第１図はベクトル命令に対応した処理を概念的に説明す
る図、第２図はベクトル処理プロセッサを有する処理シ
ステムの１例を示す図、第３図は本発明に用いるコンパ
イラの１実施例構成を示す図、第４図はソース・プログ
ラムを中間テキストに移してゆく態様を説明する図、第
５図はソース・プログラムをベクトル化してゆく態様を
説明する図、第６図ないし第８図はＩＦ文を含むソース
命プログラムに対して文マスクやパス・マスクを用意し
て並列実行可能な形にしてゆく態様を説明する図、第９
図は本発明に用いる条件付の演算の３つの方式による操
作の様子を説明する図、第１０図は本発明に用いる条件
付の演算の３つの方式に基づいてベクトル・テキストを
生成してゆく態様を説明する図、第１１図はベクトル化
部による本発明の処理の流れを示す図、第１２図はマス
クの値がループ内で不変である場合に実行部分迂回処理
を行ないベクトル・テキストを生成してゆく態様を説明
する図、第１３図は裏車が０となった場合の迂回処理Ｐ
行ないベクトル・テキストを生成してゆく態様を説明す
る図である。 ｌ・・・主記憶装置、２・・・メモリ制御装置、３・・
・ベクトル処理１日セッサ、４・・・チャネル・プロセ
ッサ、５・・・大記憶装置、６・・・スカラ処理回路部
、７・・・ベクトル処理回路部、８−ｏないし８−　ｎ
・・・浮動小数点データ・レジスタ、９−０ないシ９−
　ｎ・・・ベクトル・レジスタ、１０−０ないＬ　１０
−ｎ・・・マスク・レジスタ、１１・・・ベクトル長レ
ジスタ、１２−〇と１２−１・・・メモリ・アクセス・
パイプライン、１３・・・加減算パイプライン、１４・
・・乗算処理パイフパライン、１５・・・除算処理パイ
プライン、１６・・・マスク処理パイプライン、１７・
・・ソース争プログラム・、１８・・・コンパイラ、１
９・・・目的プログラム、２０・・・ソース解釈部、２
１・・・記憶域割付は部、２２・・・ベクトル化部、２
３・・・中間テキスト最適化部、２４・・・レジスタ使
用決定部、２５川目的プログラム出力部。 特許゛出願人　富士通株式会社 代理人弁理士　京　谷　四　部 才１図 ｆｆ２図 ヤ　３　図 才５図 ）′ｘ８図 ズ　Ｉ？　図 （Ａ）

Claims (1)

【特許請求の範囲】
1. 複数の並列演算部をそなえると共に複数個のレジスタを
   少なくともそなえてベクトル命令を実行するベクトル処
   理プロセッサに対して、与えられたソース・プログラム
   から目的プログラムを生成して供給するコンパイラにお
   いて、上記ソース・プログラムの文解釈を行りて中間テ
   キストに展開するソース解釈部、プログラム中に出現す
   る各種データに記憶域内番地を割当てる記憶域割付は部
   、プログラム中のループ構造を検出して並列実行可能部
   分の認識を行いかつ上記中間テキスト変更を・行うベク
   トル化部、中間テキストのレベルで上記ベクトル処理プ
   ロセッサを有効に利用するための最適化を施す中間テキ
   スト最適化部、中間テキストに現われたデータに実際の
   資源を割当てる・レジスタ使用決定部、及び目的プログ
   ラム出力部をそなえてなり、更に、上記ベクトル化部は
   、ループ内の条件文の存在をチェックし、条件文が存在
   する場合に１ループ内の各文に対応して当該文を第エエ
   レメントに対して実行するか否かをマスク情報として与
   え、当該マスク情報を基に条件付の演算を行う複数の方
   式の中から最適な方式を選び、当該方式によりベクトル
   ・テキストを生成するように構成されたものであって、
   上記複数の方式の夫々に対応して尚核力式によるベクト
   ル・テキストを生成する複数のテキスト生成部、同一マ
   スクで実行される中間テキスト群に対して演算の種類や
   ベクトル嘩データの種類、当該データの引用のされ方な
   ど実行時間の計算の基礎となる情報を収集する情報収集
   部、上記収集された情報を使りて上記複数の方式の夫々
   によシベクトル・テキストを生成した場合の実行時間を
   計算する実行時間計算部、及び夫々の方式による上記実
   行時間を比較し、上記複数の方式から適切な方式を選択
   する最適方式選択部を少なくとも有し、上記複数のテキ
   スト生成部は、上記最適方式選択部によって選択された
   方式に対応するテキスト生成部が選択され当該選択され
   た方式によるベクトル書テキストを生成するように構成
   されたことを特徴とするコンパイラにおける条件文のベ
   クトル命令化方式。