JPH05120323A - Ｉｆ文下ベクトル演算最適化方式 - Google Patents
Ｉｆ文下ベクトル演算最適化方式Info
- Publication number
- JPH05120323A JPH05120323A JP3308376A JP30837691A JPH05120323A JP H05120323 A JPH05120323 A JP H05120323A JP 3308376 A JP3308376 A JP 3308376A JP 30837691 A JP30837691 A JP 30837691A JP H05120323 A JPH05120323 A JP H05120323A
- Authority
- JP
- Japan
- Prior art keywords
- vector
- text
- intermediate text
- condition
- statement
- 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
- Advance Control (AREA)
- Complex Calculations (AREA)
- Devices For Executing Special Programs (AREA)
Abstract
(57)【要約】
【目的】 ＤＯループ内のＩＦ文下においてＴＨＥＮ節
およびＥＬＳＥ節で行われていた同一の演算を、マスク
なしの１回の演算で置き換える。 【構成】 構文解析部２１は原始プログラム１の構文解
析を行って第１中間テキスト２４を生成する。構造解析
手段２１１は第１中間テキスト２４から原始プログラム
１のループの制御の流れを解析し、ＩＦ文下条件解析手
段２２２はループ中のＩＦ文の条件を解析し、データ依
存関係判定手段２２３はループ中に並列実行に矛盾する
データ依存関係があるか否かを判定し、ベクトルテキス
ト生成手段２２４は並列実行可能と判定された部分のベ
クトル処理用の第２中間テキスト２５を生成し、ベクト
ル演算最適化処理手段２２５はマスク付きベクトルテキ
ストの共通式削除処理を行う。コード生成部２３は第２
中間テキスト２５から目的プログラム３を生成して出力
する。
およびＥＬＳＥ節で行われていた同一の演算を、マスク
なしの１回の演算で置き換える。 【構成】 構文解析部２１は原始プログラム１の構文解
析を行って第１中間テキスト２４を生成する。構造解析
手段２１１は第１中間テキスト２４から原始プログラム
１のループの制御の流れを解析し、ＩＦ文下条件解析手
段２２２はループ中のＩＦ文の条件を解析し、データ依
存関係判定手段２２３はループ中に並列実行に矛盾する
データ依存関係があるか否かを判定し、ベクトルテキス
ト生成手段２２４は並列実行可能と判定された部分のベ
クトル処理用の第２中間テキスト２５を生成し、ベクト
ル演算最適化処理手段２２５はマスク付きベクトルテキ
ストの共通式削除処理を行う。コード生成部２３は第２
中間テキスト２５から目的プログラム３を生成して出力
する。
Description
【０００１】
【産業上の利用分野】本発明は記憶域上に規則的に並ん
でいるデータに対して一度に演算を行うベクトル命令を
もち、ベクトル命令にマスクのオンまたはオフにより対
応する要素の処理を行うか否かを制御する機能をもつベ
クトル処理プロセッサに対するコンパイラにおけるプロ
グラムの並列実行可能部分の最適化方式に関し、特にＩ
Ｆ文下ベクトル演算最適化方式に関する。
でいるデータに対して一度に演算を行うベクトル命令を
もち、ベクトル命令にマスクのオンまたはオフにより対
応する要素の処理を行うか否かを制御する機能をもつベ
クトル処理プロセッサに対するコンパイラにおけるプロ
グラムの並列実行可能部分の最適化方式に関し、特にＩ
Ｆ文下ベクトル演算最適化方式に関する。
【０００２】
【従来の技術】記憶域上に規則的に並んでいるデータに
対して一度に演算を行うベクトル命令をもつベクトル処
理プロセッサにおいては、一般的に目的プログラムのう
ちのベクトル命令によって実行される部分の割合を大き
くすればするほどプログラムの実行時間を短縮すること
ができる。したがって、このようなベクトル処理プロセ
ッサに対するコンパイラでは、与えられた原始プログラ
ムを可能な限り並列実行可能な形で目的プログラムに変
換することが望まれる。
対して一度に演算を行うベクトル命令をもつベクトル処
理プロセッサにおいては、一般的に目的プログラムのう
ちのベクトル命令によって実行される部分の割合を大き
くすればするほどプログラムの実行時間を短縮すること
ができる。したがって、このようなベクトル処理プロセ
ッサに対するコンパイラでは、与えられた原始プログラ
ムを可能な限り並列実行可能な形で目的プログラムに変
換することが望まれる。
【０００３】ところで、ベクトル命令をもつベクトル処
理プロセッサに対する従来のコンパイラは、高級言語で
記述された原始プログラムを読み込み構文解析を行って
第１中間テキストを生成する構文解析部と、第１中間テ
キストから原始プログラム中のループ構造を検出して並
列処理可能部分の認識を行いベクトル処理用の第２中間
テキストを生成するベクトル化処理部と、第２中間テキ
ストから目的プログラムを生成して出力するコード生成
部とから、その主要部が構成されていた。
理プロセッサに対する従来のコンパイラは、高級言語で
記述された原始プログラムを読み込み構文解析を行って
第１中間テキストを生成する構文解析部と、第１中間テ
キストから原始プログラム中のループ構造を検出して並
列処理可能部分の認識を行いベクトル処理用の第２中間
テキストを生成するベクトル化処理部と、第２中間テキ
ストから目的プログラムを生成して出力するコード生成
部とから、その主要部が構成されていた。
【０００４】このような従来のコンパイラは、例えば図
２に示すような原始プログラムが与えられた場合に、構
文解析部がこの原始プログラムを読み込んで図３の流れ
図に示すような第１中間テキスト（ステップ３１〜３
４）を生成し、ベクトル化処理部が第１中間テキストを
変更した図４の流れ図に示すような第２中間テキスト
（ステップ４１および４２）を生成し、コード生成部が
第２中間テキストを読み込み並列実行可能部分をベクト
ル化した目的プログラムを生成していた。
２に示すような原始プログラムが与えられた場合に、構
文解析部がこの原始プログラムを読み込んで図３の流れ
図に示すような第１中間テキスト（ステップ３１〜３
４）を生成し、ベクトル化処理部が第１中間テキストを
変更した図４の流れ図に示すような第２中間テキスト
（ステップ４１および４２）を生成し、コード生成部が
第２中間テキストを読み込み並列実行可能部分をベクト
ル化した目的プログラムを生成していた。
【０００５】ところが、従来のコンパイラでは、図５に
示すような原始プログラムが与えられた場合には、ＤＯ
ループ内のＩＦ文下にＴＨＥＮ節とＥＬＳＥ節とが存在
するので、その演算は図６に示すように別々のＩＦ文下
の演算としてベクトル化を行っていた。このため、ＴＨ
ＥＮ節およびＥＬＳＥ節の両方にある演算は常に２回演
算が行われ、ベクトル化による実行時間の短縮が十分で
はなかった。
示すような原始プログラムが与えられた場合には、ＤＯ
ループ内のＩＦ文下にＴＨＥＮ節とＥＬＳＥ節とが存在
するので、その演算は図６に示すように別々のＩＦ文下
の演算としてベクトル化を行っていた。このため、ＴＨ
ＥＮ節およびＥＬＳＥ節の両方にある演算は常に２回演
算が行われ、ベクトル化による実行時間の短縮が十分で
はなかった。
【０００６】
【発明が解決しようとする課題】上述した従来のコンパ
イラでは、ＤＯループ内のＩＦ文下にＴＨＥＮ節とＥＬ
ＳＥ節とが存在する場合、その演算は別々のＩＦ文下の
演算としてベクトル化を行っていたので、ＴＨＥＮ節お
よびＥＬＳＥ節の両方にある演算は常に２回演算が行わ
れ、ベクトル処理プロセッサにおいてはプログラムの実
行時間を十分に短縮することができないという欠点があ
る。
イラでは、ＤＯループ内のＩＦ文下にＴＨＥＮ節とＥＬ
ＳＥ節とが存在する場合、その演算は別々のＩＦ文下の
演算としてベクトル化を行っていたので、ＴＨＥＮ節お
よびＥＬＳＥ節の両方にある演算は常に２回演算が行わ
れ、ベクトル処理プロセッサにおいてはプログラムの実
行時間を十分に短縮することができないという欠点があ
る。
【０００７】本発明の目的は、上述の点に鑑み、ＤＯル
ープ内のＩＦ文下においてＴＨＥＮ節およびＥＬＳＥ節
の両方に現れる同一の演算は条件に関係なしに演算され
るとしてマスクなしで一度演算しその結果をマスク付き
（条件を満足する部分のみ）で引用することにより、ベ
クトル処理プロセッサにおけるプログラムの実行時間を
短縮できるようにしたＩＦ文下ベクトル演算最適化方式
を提供することにある。
ープ内のＩＦ文下においてＴＨＥＮ節およびＥＬＳＥ節
の両方に現れる同一の演算は条件に関係なしに演算され
るとしてマスクなしで一度演算しその結果をマスク付き
（条件を満足する部分のみ）で引用することにより、ベ
クトル処理プロセッサにおけるプログラムの実行時間を
短縮できるようにしたＩＦ文下ベクトル演算最適化方式
を提供することにある。
【０００８】
【課題を解決するための手段】本発明のＩＦ文下ベクト
ル演算最適化方式は、記憶域上に規則的に並んでいるデ
ータに対して一度に演算を行うベクトル命令をもち、そ
の命令にマスクのオンまたはオフにより対応する要素の
処理を行うか否かを制御する機能をもつベクトル処理プ
ロセッサに対して、与えられた原始プログラムから目的
プログラムを生成し出力するコンパイラにおいて、前記
原始プログラムを読み込み構文解析を行って第１中間テ
キストを生成する構文解析部と、この構文解析部により
生成された前記第１中間テキストから前記原始プログラ
ムのループ中の制御の流れを解析する構造解析手段と、
ループ中のＩＦ文の条件を解析するＩＦ文下条件解析手
段と、ループ中に並列実行に矛盾するデータ依存関係が
あるか否かを判定するデータ依存関係判定手段と、前記
ＩＦ文下条件解析手段および前記データ依存関係判定手
段により並列実行可能と判定された部分のベクトル処理
用の第２中間テキストを生成するベクトルテキスト生成
手段と、前記ＩＦ文下条件解析手段による解析結果に基
づいてマスク付きベクトルテキストの共通式削除処理を
行うベクトル演算最適化処理手段とを備え、前記ベクト
ル演算最適化処理手段によりＩＦ文のＴＨＥＮ節とＥＬ
ＳＥ節とが別々の条件としてマスク付きでベクトル演算
を２回行っていた部分を条件なしとしてベクトル演算を
１回行うように前記第２中間テキストを変形することで
並列実行可能部分を最適化するベクトル化処理部と、こ
のベクトル化処理部により生成された前記第２中間テキ
ストから目的プログラムを生成して出力するコード生成
部とを有する。
ル演算最適化方式は、記憶域上に規則的に並んでいるデ
ータに対して一度に演算を行うベクトル命令をもち、そ
の命令にマスクのオンまたはオフにより対応する要素の
処理を行うか否かを制御する機能をもつベクトル処理プ
ロセッサに対して、与えられた原始プログラムから目的
プログラムを生成し出力するコンパイラにおいて、前記
原始プログラムを読み込み構文解析を行って第１中間テ
キストを生成する構文解析部と、この構文解析部により
生成された前記第１中間テキストから前記原始プログラ
ムのループ中の制御の流れを解析する構造解析手段と、
ループ中のＩＦ文の条件を解析するＩＦ文下条件解析手
段と、ループ中に並列実行に矛盾するデータ依存関係が
あるか否かを判定するデータ依存関係判定手段と、前記
ＩＦ文下条件解析手段および前記データ依存関係判定手
段により並列実行可能と判定された部分のベクトル処理
用の第２中間テキストを生成するベクトルテキスト生成
手段と、前記ＩＦ文下条件解析手段による解析結果に基
づいてマスク付きベクトルテキストの共通式削除処理を
行うベクトル演算最適化処理手段とを備え、前記ベクト
ル演算最適化処理手段によりＩＦ文のＴＨＥＮ節とＥＬ
ＳＥ節とが別々の条件としてマスク付きでベクトル演算
を２回行っていた部分を条件なしとしてベクトル演算を
１回行うように前記第２中間テキストを変形することで
並列実行可能部分を最適化するベクトル化処理部と、こ
のベクトル化処理部により生成された前記第２中間テキ
ストから目的プログラムを生成して出力するコード生成
部とを有する。
【０００９】
【作用】本発明のＩＦ文下ベクトル演算最適化方式で
は、構文解析部が原始プログラムを読み込み構文解析を
行って第１中間テキストを生成し、ベクトル化処理部が
構文解析部により生成された第１中間テキストから原始
プログラムのループ中の制御の流れを解析する構造解析
手段と、ループ中のＩＦ文の条件を解析するＩＦ文下条
件解析手段と、ループ中に並列実行に矛盾するデータ依
存関係があるか否かを判定するデータ依存関係判定手段
と、ＩＦ文下条件解析手段およびデータ依存関係判定手
段により並列実行可能と判定された部分のベクトル処理
用の第２中間テキストを生成するベクトルテキスト生成
手段と、ＩＦ文下条件解析手段による解析結果に基づい
てマスク付きベクトルテキストの共通式削除処理を行う
ベクトル演算最適化処理手段とを備え、ベクトル演算最
適化処理手段によりＩＦ文のＴＨＥＮ節とＥＬＳＥ節と
が別々の条件としてマスク付きでベクトル演算を２回行
っていた部分を条件なしとしてベクトル演算を１回行う
ように第２中間テキストを変形することで並列実行可能
部分を最適化し、コード生成部がベクトル化処理部によ
り生成された第２中間テキストから目的プログラムを生
成して出力する。
は、構文解析部が原始プログラムを読み込み構文解析を
行って第１中間テキストを生成し、ベクトル化処理部が
構文解析部により生成された第１中間テキストから原始
プログラムのループ中の制御の流れを解析する構造解析
手段と、ループ中のＩＦ文の条件を解析するＩＦ文下条
件解析手段と、ループ中に並列実行に矛盾するデータ依
存関係があるか否かを判定するデータ依存関係判定手段
と、ＩＦ文下条件解析手段およびデータ依存関係判定手
段により並列実行可能と判定された部分のベクトル処理
用の第２中間テキストを生成するベクトルテキスト生成
手段と、ＩＦ文下条件解析手段による解析結果に基づい
てマスク付きベクトルテキストの共通式削除処理を行う
ベクトル演算最適化処理手段とを備え、ベクトル演算最
適化処理手段によりＩＦ文のＴＨＥＮ節とＥＬＳＥ節と
が別々の条件としてマスク付きでベクトル演算を２回行
っていた部分を条件なしとしてベクトル演算を１回行う
ように第２中間テキストを変形することで並列実行可能
部分を最適化し、コード生成部がベクトル化処理部によ
り生成された第２中間テキストから目的プログラムを生
成して出力する。
【００１０】
【実施例】次に、本発明について図面を参照して詳細に
説明する。
説明する。
【００１１】図１は、本発明の一実施例に係るＩＦ文下
ベクトル演算最適化方式が適用されたコンパイラ２の構
成を示す機能ブロック図である。このコンパイラ２は、
記憶域上に規則的に並んでいるデータに対して一度に演
算を行うベクトル命令を持つベクトル処理プロセッサに
対して、与えられた高級言語で記述された原始プログラ
ム１から目的プログラム３を生成して出力するコンパイ
ラであり、原始プログラム１を読み込んで構文解析を行
い第１中間テキスト２４を生成する構文解析部２１と、
第１中間テキスト２４から原始プログラム１中のループ
構造を検出して並列実行可能部分の認識を行いベクトル
処理用の第２中間テキスト２５を生成するベクトル化処
理部２２と、第２中間テキスト２５から目的プログラム
３を生成して出力するコード生成部２３とから、その主
要部が構成されている。
ベクトル演算最適化方式が適用されたコンパイラ２の構
成を示す機能ブロック図である。このコンパイラ２は、
記憶域上に規則的に並んでいるデータに対して一度に演
算を行うベクトル命令を持つベクトル処理プロセッサに
対して、与えられた高級言語で記述された原始プログラ
ム１から目的プログラム３を生成して出力するコンパイ
ラであり、原始プログラム１を読み込んで構文解析を行
い第１中間テキスト２４を生成する構文解析部２１と、
第１中間テキスト２４から原始プログラム１中のループ
構造を検出して並列実行可能部分の認識を行いベクトル
処理用の第２中間テキスト２５を生成するベクトル化処
理部２２と、第２中間テキスト２５から目的プログラム
３を生成して出力するコード生成部２３とから、その主
要部が構成されている。
【００１２】ベクトル化処理部２２は、第１中間テキス
ト２４を読み込んで原始プログラム１のループ中の制御
の流れを解析する構造解析手段２２１と、ループ中のＩ
Ｆ文の条件を解析するＩＦ文下条件解析手段２２２と、
ループ中に並列実行に矛盾するデータ依存関係があるか
否かを判定するデータ依存関係判定手段２２３と、ＩＦ
文下条件解析手段２２２およびデータ依存関係判定手段
２２３により並列実行可能と判定された部分のベクトル
処理用の第２中間テキスト２５を生成するベクトルテキ
スト生成手段２２４と、ＩＦ文下条件解析手段２２２に
よる解析結果に基づいてマスク付きベクトルテキストの
共通式削除処理を行うベクトル演算最適化処理手段２２
５とを含んで構成されている。
ト２４を読み込んで原始プログラム１のループ中の制御
の流れを解析する構造解析手段２２１と、ループ中のＩ
Ｆ文の条件を解析するＩＦ文下条件解析手段２２２と、
ループ中に並列実行に矛盾するデータ依存関係があるか
否かを判定するデータ依存関係判定手段２２３と、ＩＦ
文下条件解析手段２２２およびデータ依存関係判定手段
２２３により並列実行可能と判定された部分のベクトル
処理用の第２中間テキスト２５を生成するベクトルテキ
スト生成手段２２４と、ＩＦ文下条件解析手段２２２に
よる解析結果に基づいてマスク付きベクトルテキストの
共通式削除処理を行うベクトル演算最適化処理手段２２
５とを含んで構成されている。
【００１３】図９（ａ）を参照すると、ＩＦ文下条件解
析手段２２２で作成されデータ依存関係判定手段２２３
およびベクトルテキスト生成手段２２４で参照される条
件テーブル９１０は、次の条件テーブルへのポインタ９
１１と、ＩＦ文下ＴＨＥＮ節のマスク情報テーブルへの
ポインタ９１２と、ＩＦ文下ＥＬＳＥ節のマスク情報テ
ーブルへのポインタ９１３と、条件式のトライァド９１
４とから構成されている。
析手段２２２で作成されデータ依存関係判定手段２２３
およびベクトルテキスト生成手段２２４で参照される条
件テーブル９１０は、次の条件テーブルへのポインタ９
１１と、ＩＦ文下ＴＨＥＮ節のマスク情報テーブルへの
ポインタ９１２と、ＩＦ文下ＥＬＳＥ節のマスク情報テ
ーブルへのポインタ９１３と、条件式のトライァド９１
４とから構成されている。
【００１４】また、図９（ｂ）を参照すると、マスク情
報テーブル９２０は、次のマスク情報テーブルへのポイ
ンタ９２１と、条件テーブルへのポインタ９２２と、マ
スクテーブルへのポインタ９２３とから構成されてい
る。
報テーブル９２０は、次のマスク情報テーブルへのポイ
ンタ９２１と、条件テーブルへのポインタ９２２と、マ
スクテーブルへのポインタ９２３とから構成されてい
る。
【００１５】次に、このように構成された本実施例のＩ
Ｆ文下ベクトル演算最適化方式の動作について説明す
る。なお、ここでは、図５に示すような配列要素の引用
を行っている原始プログラム１が与えられた場合に、通
常は図１１に示されるような第２中間テキストを作成す
ることでベクトル化処理部２２を終了するが、原始プロ
グラム１のＩＦ文下のＴＨＥＮ節およびＥＬＳＥ節の両
方で演算される式の部分を共通式として処理でき、図７
に示すようなループ群として処理することが可能とな
り、その結果、マスクなしのベクトル演算１回で処理を
行うことができ、図１２の流れ図に示すような第２中間
テキスト２５（ステップ１２０１〜１２０８）が生成さ
れる例を参考にしながら説明する。
Ｆ文下ベクトル演算最適化方式の動作について説明す
る。なお、ここでは、図５に示すような配列要素の引用
を行っている原始プログラム１が与えられた場合に、通
常は図１１に示されるような第２中間テキストを作成す
ることでベクトル化処理部２２を終了するが、原始プロ
グラム１のＩＦ文下のＴＨＥＮ節およびＥＬＳＥ節の両
方で演算される式の部分を共通式として処理でき、図７
に示すようなループ群として処理することが可能とな
り、その結果、マスクなしのベクトル演算１回で処理を
行うことができ、図１２の流れ図に示すような第２中間
テキスト２５（ステップ１２０１〜１２０８）が生成さ
れる例を参考にしながら説明する。
【００１６】原始プログラム１が与えられてコンパイラ
２が起動されると、まず構文解析部２１が、原始プログ
ラム１を読み込んで図８の流れ図に示すような第１中間
テキスト２４（ステップ８１〜８６）を生成する。
２が起動されると、まず構文解析部２１が、原始プログ
ラム１を読み込んで図８の流れ図に示すような第１中間
テキスト２４（ステップ８１〜８６）を生成する。
【００１７】次に、ベクトル化処理部２２が第１中間テ
キスト２４を入力すると、
キスト２４を入力すると、
【００１８】（１） まず、構造解析手段２２１が起動
され、以下の処理〜を行う。
され、以下の処理〜を行う。
【００１９】 構造解析手段２２１は、まず第１中間
テキスト２４を分岐を単位としたブロックに分割する。
テキスト２４を分岐を単位としたブロックに分割する。
【００２０】 次に、構造解析手段２２１は、対象と
なるループ部分を文単位のブロックに分割する。
なるループ部分を文単位のブロックに分割する。
【００２１】 続いて、構造解析手段２２１は、第１
中間テキスト２４からプログラム全体の制御の流れを解
析して各ブロックの関係を求める。
中間テキスト２４からプログラム全体の制御の流れを解
析して各ブロックの関係を求める。
【００２２】 最後に、構造解析手段２２１は、各々
のブロックで定義参照されている配列および変数に対し
て、その生死情報を収集する。
のブロックで定義参照されている配列および変数に対し
て、その生死情報を収集する。
【００２３】（２） 次に、ＩＦ文下条件解析手段２２
２が起動され、以下の処理−を行う。
２が起動され、以下の処理−を行う。
【００２４】 ＩＦ文下条件解析手段２２２は、まず
ループ中のＩＦ文を検索し、条件テーブル９１０を作成
する。
ループ中のＩＦ文を検索し、条件テーブル９１０を作成
する。
【００２５】 次に、ＩＦ文下条件解析手段２２２
は、ＴＨＥＮ節のみが存在する場合にはＴＨＥＮ節のマ
スク情報テーブル９２０を作成し、ＴＨＥＮ節およびＥ
ＬＳＥ節が存在する場合にはＴＨＥＮ節のマスク情報テ
ーブル９２０およびＥＬＳＥ節のマスク情報テーブル９
２０を作成する。また、それぞれのマスク情報テーブル
９２０と条件テーブル９１０との間のチェーンを張る。
は、ＴＨＥＮ節のみが存在する場合にはＴＨＥＮ節のマ
スク情報テーブル９２０を作成し、ＴＨＥＮ節およびＥ
ＬＳＥ節が存在する場合にはＴＨＥＮ節のマスク情報テ
ーブル９２０およびＥＬＳＥ節のマスク情報テーブル９
２０を作成する。また、それぞれのマスク情報テーブル
９２０と条件テーブル９１０との間のチェーンを張る。
【００２６】（３） 次に、データ依存関係判定手段２
２３が起動され、ループ中に並列実行に矛盾するデータ
依存関係があるか否かを判定する。
２３が起動され、ループ中に並列実行に矛盾するデータ
依存関係があるか否かを判定する。
【００２７】（４） 続いて、ベクトルテキスト生成手
段２２４が起動され、以下の処理〜を行う。
段２２４が起動され、以下の処理〜を行う。
【００２８】 ベクトルテキスト生成手段２２４は、
まず並列実行可能部分をベクトル処理するために必要と
なるベクトル長設定用の第２中間テキスト２５を生成す
る。図１１に示す第２中間テキスト２５の場合には、ル
ープの繰返し数をベクトル長として設定するステップ１
１０１が生成される。
まず並列実行可能部分をベクトル処理するために必要と
なるベクトル長設定用の第２中間テキスト２５を生成す
る。図１１に示す第２中間テキスト２５の場合には、ル
ープの繰返し数をベクトル長として設定するステップ１
１０１が生成される。
【００２９】 次に、ベクトルテキスト生成手段２２
４は、並列実行可能部分に対してベクトル処理用の第２
中間テキスト２５を生成する。図１１の第２中間テキス
ト２５の場合には、ステップ１１０２〜１１０７が生成
される。
４は、並列実行可能部分に対してベクトル処理用の第２
中間テキスト２５を生成する。図１１の第２中間テキス
ト２５の場合には、ステップ１１０２〜１１０７が生成
される。
【００３０】 最後に、ベクトルテキスト生成手段２
２４は、並列実行可能部分をベクトル処理するために必
要となる後処理用の第２中間テキスト２５を生成する。
図１１の第２中間テキスト２５の場合には、ステップ１
１０８が生成される。
２４は、並列実行可能部分をベクトル処理するために必
要となる後処理用の第２中間テキスト２５を生成する。
図１１の第２中間テキスト２５の場合には、ステップ１
１０８が生成される。
【００３１】（５） 続いて、ベクトル演算最適化処理
手段２２５が起動され、以下の処理〜を行う。
手段２２５が起動され、以下の処理〜を行う。
【００３２】 まず、ベクトル演算最適化処理手段２
２５は、通常の演算テキストの共通式削除処理と同様
に、第２中間テキスト２５から共通式を捜す。このと
き、マスク部分が異なっているものを取り出す。図１１
の第２中間テキスト２５の場合には、ステップ１１０３
および１１０６が取り出される。
２５は、通常の演算テキストの共通式削除処理と同様
に、第２中間テキスト２５から共通式を捜す。このと
き、マスク部分が異なっているものを取り出す。図１１
の第２中間テキスト２５の場合には、ステップ１１０３
および１１０６が取り出される。
【００３３】 次に、ベクトル演算最適化処理手段２
２５は、マスク情報テーブル９２０より条件テーブル９
１０を取り出し、対応するマスク情報テーブル９２０
（先のマスク情報テーブル９２０がＴＨＥＮ節のもので
あればＥＬＳＥ節のマスク情報テーブル９２０、ＥＬＳ
Ｅ節のものあればＴＨＥＮ節のマスク情報テーブル９２
０）からマスクテーブルへのポインタ９２３を取り出
し、これをたどってマスク情報を取り出す。図１１の第
２中間テキスト２５の場合には、ステップ１１０６より
マスク情報Ｍ２が取り出され、対応するマスク情報テー
ブル９２０から図１０に示すようにマスク情報Ｍ１が取
り出される。
２５は、マスク情報テーブル９２０より条件テーブル９
１０を取り出し、対応するマスク情報テーブル９２０
（先のマスク情報テーブル９２０がＴＨＥＮ節のもので
あればＥＬＳＥ節のマスク情報テーブル９２０、ＥＬＳ
Ｅ節のものあればＴＨＥＮ節のマスク情報テーブル９２
０）からマスクテーブルへのポインタ９２３を取り出
し、これをたどってマスク情報を取り出す。図１１の第
２中間テキスト２５の場合には、ステップ１１０６より
マスク情報Ｍ２が取り出され、対応するマスク情報テー
ブル９２０から図１０に示すようにマスク情報Ｍ１が取
り出される。
【００３４】 続いて、ベクトル演算最適化処理手段
２２５は、共通式の相手方のマスク情報テーブル９２０
がで取り出したものと同一であれば、共通式処理可能
として、相手方のテキストをマスクなしの演算に変更す
る。また、検索したテキストは削除する。図１１の第２
中間テキスト２５の場合、ステップ１１０３および１１
０６は条件を満足するため、変換が行われる。この結
果、図１２に示すような第２中間テキスト２５が生成さ
れる。
２２５は、共通式の相手方のマスク情報テーブル９２０
がで取り出したものと同一であれば、共通式処理可能
として、相手方のテキストをマスクなしの演算に変更す
る。また、検索したテキストは削除する。図１１の第２
中間テキスト２５の場合、ステップ１１０３および１１
０６は条件を満足するため、変換が行われる。この結
果、図１２に示すような第２中間テキスト２５が生成さ
れる。
【００３５】ベクトル化処理部２２のベクトル演算最適
化処理手段２２５における処理が終了すると、コード生
成部２３が起動され、第２中間テキスト２５に基づいて
目的プログラム３が生成される。
化処理手段２２５における処理が終了すると、コード生
成部２３が起動され、第２中間テキスト２５に基づいて
目的プログラム３が生成される。
【００３６】この結果、ベクトル処理プロセッサは、従
来マスク付きの状態でベクトル演算を２回行っていたも
のが、マスクなしでベクトル演算を１回行えばよくな
り、プログラムの実行時間が短縮される。
来マスク付きの状態でベクトル演算を２回行っていたも
のが、マスクなしでベクトル演算を１回行えばよくな
り、プログラムの実行時間が短縮される。
【００３７】
【発明の効果】以上説明したように本発明は、コンパイ
ラのベクトル化処理部に構造解析手段，ＩＦ文下条件解
析手段，データ依存関係判定手段，ベクトルテキスト生
成手段およびベクトル演算最適化処理手段を設け、ＩＦ
文の条件下で２回（ＩＦ文のＴＨＥＮ節およびＥＬＳＥ
節）行われていたベクトル演算を１回のベクトル演算に
まとめることにより、ベクトル処理プロセッサにおける
プログラムの実行時間を短縮できるという効果がある。
ラのベクトル化処理部に構造解析手段，ＩＦ文下条件解
析手段，データ依存関係判定手段，ベクトルテキスト生
成手段およびベクトル演算最適化処理手段を設け、ＩＦ
文の条件下で２回（ＩＦ文のＴＨＥＮ節およびＥＬＳＥ
節）行われていたベクトル演算を１回のベクトル演算に
まとめることにより、ベクトル処理プロセッサにおける
プログラムの実行時間を短縮できるという効果がある。
【図１】本発明の一実施例に係るＩＦ文下ベクトル演算
最適化方式が適用されたコンパイラの機能ブロック図で
ある。
最適化方式が適用されたコンパイラの機能ブロック図で
ある。
【図２】図１中の原始プログラムの一例を示す図であ
る。
る。
【図３】図２に例示した原始プログラムから生成される
第１中間テキストの一例を示す流れ図である。
第１中間テキストの一例を示す流れ図である。
【図４】図３に例示した第１中間テキストから生成され
る第２中間テキストの一例を示す流れ図である。
る第２中間テキストの一例を示す流れ図である。
【図５】本実施例のＩＦ文下ベクトル演算最適化方式が
適用される原始プログラムの具体例を示す図である。
適用される原始プログラムの具体例を示す図である。
【図６】図５に例示した原始プログラムを並列実行可能
として処理する場合に従来のコンパイラが第２中間テキ
ストの作成時に行う変形を原始プログラムの形式で例示
した図である。
として処理する場合に従来のコンパイラが第２中間テキ
ストの作成時に行う変形を原始プログラムの形式で例示
した図である。
【図７】図５に例示した原始プログラムを並列実行可能
として処理する場合に本実施例のＩＦ文ベクトル演算最
適化方式が適用されたコンパイラが第２中間テキストの
作成時に行う変形を原始プログラムの形式で例示した図
である。
として処理する場合に本実施例のＩＦ文ベクトル演算最
適化方式が適用されたコンパイラが第２中間テキストの
作成時に行う変形を原始プログラムの形式で例示した図
である。
【図８】図５に例示した原始プログラムから生成される
第１中間テキストの一例を示す流れ図である。
第１中間テキストの一例を示す流れ図である。
【図９】本実施例のＩＦ文下ベクトル演算最適化方式に
おいて用いられる条件テーブルおよびマスク情報テーブ
ルの構成を示す図である。
おいて用いられる条件テーブルおよびマスク情報テーブ
ルの構成を示す図である。
【図１０】本実施例のＩＦ文下ベクトル演算最適化方式
で図５に例示した原始プログラムを処理したときの条件
テーブルおよびマスク情報テーブルの内容を例示する図
である。
で図５に例示した原始プログラムを処理したときの条件
テーブルおよびマスク情報テーブルの内容を例示する図
である。
【図１１】図８に例示した第１中間テキストから生成さ
れる第２中間テキストを示す流れ図である。
れる第２中間テキストを示す流れ図である。
【図１２】図１１に例示した第２中間テキストから本実
施例のＩＦ文下ベクトル演算最適化方式により変形を行
った第２中間テキストを示す流れ図である。
施例のＩＦ文下ベクトル演算最適化方式により変形を行
った第２中間テキストを示す流れ図である。
１ 原始プログラム ２ コンパイラ ３ 目的プログラム ２１ 構文解析部 ２２ ベクトル化処理部 ２３ コード生成部 ２４ 第１中間テキスト ２５ 第２中間テキスト ２２１ 構造解析手段 ２２２ ＩＦ文下条件解析手段 ２２３ データ依存関係判定手段 ２２４ ベクトルテキスト生成手段 ２２５ ベクトル演算最適化処理手段 ９１０ 条件テーブル ９１１ 次の条件テーブルへのポインタ ９１２ ＩＦ文下ＴＨＥＮ節のマスク情報テーブルへの
ポインタ ９１３ ＩＦ文下ＥＬＳＥ節のマスク情報テーブルへの
ポインタ ９１４ 条件式のトライァド ９２０ マスク情報テーブル ９２１ 次のマスク情報テーブルへのポインタ ９２２ 条件テーブルへのポインタ ９２３ マスクテーブルへのポインタ
ポインタ ９１３ ＩＦ文下ＥＬＳＥ節のマスク情報テーブルへの
ポインタ ９１４ 条件式のトライァド ９２０ マスク情報テーブル ９２１ 次のマスク情報テーブルへのポインタ ９２２ 条件テーブルへのポインタ ９２３ マスクテーブルへのポインタ
Claims (1)
- 【請求項１】 記憶域上に規則的に並んでいるデータに
対して一度に演算を行うベクトル命令をもち、ベクトル
命令にマスクのオンまたはオフにより対応する要素の処
理を行うか否かを制御する機能をもつベクトル処理プロ
セッサに対して、与えられた原始プログラムから目的プ
ログラムを生成し出力するコンパイラにおいて、 前記原始プログラムを読み込み構文解析を行って第１中
間テキストを生成する構文解析部と、 この構文解析部により生成された前記第１中間テキスト
から前記原始プログラムのループ中の制御の流れを解析
する構造解析手段と、ループ中のＩＦ文の条件を解析す
るＩＦ文下条件解析手段と、ループ中に並列実行に矛盾
するデータ依存関係があるか否かを判定するデータ依存
関係判定手段と、前記ＩＦ文下条件解析手段および前記
データ依存関係判定手段により並列実行可能と判定され
た部分のベクトル処理用の第２中間テキストを生成する
ベクトルテキスト生成手段と、前記ＩＦ文下条件解析手
段による解析結果に基づいてマスク付きベクトルテキス
トの共通式削除処理を行うベクトル演算最適化処理手段
とを備え、前記ベクトル演算最適化処理手段によりＩＦ
文のＴＨＥＮ節とＥＬＳＥ節とが別々の条件としてマス
ク付きでベクトル演算を２回行っていた部分を条件なし
としてベクトル演算を１回行うように前記第２中間テキ
ストを変形することで並列実行可能部分を最適化するベ
クトル化処理部と、 このベクトル化処理部により生成された前記第２中間テ
キストから目的プログラムを生成して出力するコード生
成部とを有することを特徴とするＩＦ文下ベクトル演算
最適化方式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3308376A JPH05120323A (ja) | 1991-10-28 | 1991-10-28 | Ｉｆ文下ベクトル演算最適化方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3308376A JPH05120323A (ja) | 1991-10-28 | 1991-10-28 | Ｉｆ文下ベクトル演算最適化方式 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH05120323A true JPH05120323A (ja) | 1993-05-18 |
Family
ID=17980326
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP3308376A Pending JPH05120323A (ja) | 1991-10-28 | 1991-10-28 | Ｉｆ文下ベクトル演算最適化方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH05120323A (ja) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH11120166A (ja) * | 1997-10-20 | 1999-04-30 | Fujitsu Ltd | ベクトル化装置および記録媒体 |
| JP2018049461A (ja) * | 2016-09-21 | 2018-03-29 | 日本電気株式会社 | コンパイル装置、コンパイル方法、および、コンパイルプログラム |
-
1991
- 1991-10-28 JP JP3308376A patent/JPH05120323A/ja active Pending
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH11120166A (ja) * | 1997-10-20 | 1999-04-30 | Fujitsu Ltd | ベクトル化装置および記録媒体 |
| JP2018049461A (ja) * | 2016-09-21 | 2018-03-29 | 日本電気株式会社 | コンパイル装置、コンパイル方法、および、コンパイルプログラム |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US4860203A (en) | Apparatus and method for extracting documentation text from a source code program | |
| JP4448881B2 (ja) | コンピュータプログラムを発生する方法及びシステム | |
| JPH06103463B2 (ja) | コード生成方法 | |
| JP2002259134A (ja) | ポストリンク・コードの最適化方法及び装置 | |
| JPH0721033A (ja) | 言語処理装置及びその方法 | |
| CN117851101A (zh) | 一种基于大语言模型的仓库级别代码缺陷自动修复的方法 | |
| JP2007511834A (ja) | リバーシブルなデザイン・ツリーの変換のための方法とシステム | |
| GB2420638A (en) | Method of substituting code fragments in Internal Representation | |
| JPH0756745A (ja) | 言語処理プログラムのコンパイラ処理方式 | |
| JPH06251054A (ja) | Ｉｆ文下ベクトル演算最適化方法 | |
| JPH05134882A (ja) | 言語翻訳処理装置および方法 | |
| JPH11242598A (ja) | コンパイル方法およびコンパイル装置ならびにオブジェクトプログラム実行方法およびオブジェクトプログラム実行装置ならびにプログラム記憶媒体 | |
| JPH11195011A (ja) | 言語翻訳処理装置、言語翻訳処理方法、言語翻訳処理プログラムを記録した記録媒体 | |
| JP3417960B2 (ja) | 文章校正支援方法および装置 | |
| JP2827724B2 (ja) | プログラムデバッグ処理方法 | |
| JP2008015665A (ja) | プログラム解析方法及びプログラム解析装置 | |
| JPS59231649A (ja) | コンパイルリスト出力処理方式 | |
| JPH02253443A (ja) | プログラム生成方法 | |
| JPH0425969A (ja) | Ｉｆ文下定義配列ベクトル化コンパイル方式 | |
| JP3226172B2 (ja) | インライン展開システム | |
| JP2674489B2 (ja) | ベクトル化処理装置 | |
| CN121560331A (zh) | 基于多级中间表示的参数化编译优化方法及系统 | |
| JPH0950429A (ja) | コンパイラにおけるポインタベクトル化システム | |
| JPH03220669A (ja) | 多重ループベクトル化コンパイル方式 | |
| JPS63187365A (ja) | Ｉｆ文下定義変数ベクトル化コンパイル方式 |