JPS62169272A - Unrolling processing system for vector arithmetic string loop - Google Patents
Unrolling processing system for vector arithmetic string loopInfo
- Publication number
- JPS62169272A JPS62169272A JP61011577A JP1157786A JPS62169272A JP S62169272 A JPS62169272 A JP S62169272A JP 61011577 A JP61011577 A JP 61011577A JP 1157786 A JP1157786 A JP 1157786A JP S62169272 A JPS62169272 A JP S62169272A
- Authority
- JP
- Japan
- Prior art keywords
- unrolling
- loop
- vector
- operation sequence
- vector operation
- 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.)
- Granted
Links
- 239000013598 vector Substances 0.000 title claims abstract description 57
- 238000004458 analytical method Methods 0.000 claims abstract description 9
- 238000003672 processing method Methods 0.000 claims description 3
- 238000000034 method Methods 0.000 abstract description 18
- 230000001419 dependent effect Effects 0.000 abstract 3
- 238000005457 optimization Methods 0.000 description 15
- 238000010586 diagram Methods 0.000 description 6
- 230000000694 effects Effects 0.000 description 3
- 230000014509 gene expression Effects 0.000 description 3
- 238000003491 array Methods 0.000 description 1
- 238000011161 development Methods 0.000 description 1
- 230000018109 developmental process Effects 0.000 description 1
- 230000006870 function Effects 0.000 description 1
- 230000001771 impaired effect Effects 0.000 description 1
- 230000004044 response Effects 0.000 description 1
- 239000002023 wood Substances 0.000 description 1
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F15/00—Digital computers in general; Data processing equipment in general
- G06F15/76—Architectures of general purpose stored program computers
- G06F15/80—Architectures of general purpose stored program computers comprising an array of processing units with common control, e.g. single instruction multiple data processors
- G06F15/8053—Vector processors
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Theoretical Computer Science (AREA)
- Computing Systems (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Devices For Executing Special Programs (AREA)
- Complex Calculations (AREA)
Abstract
Description
【発明の詳細な説明】
〔概要〕
自動ベクトル化対象プログラムのコンパイルにあたって
、ベクトル化後のベクトル演算列に関する外側ループ中
のデータ依存関係を把握し、その結果に従って、外側ル
ープの回転数を1/Nとし。[Detailed Description of the Invention] [Summary] When compiling a program to be automatically vectorized, data dependencies in the outer loop regarding the vector operation sequence after vectorization are grasped, and the rotation speed of the outer loop is reduced by 1/1 according to the result. N.
ベクトル演算列をN倍に展開することにより、コンパイ
ルされたプログラムの実行性能を向上させる。By expanding a vector operation sequence N times, the execution performance of a compiled program is improved.
本発明は、ヘクトル計算機を持つデータ処理装置によっ
て実行されるプログラムをコンパイルする処理方式に係
り、特にループ中のベクトル演算列をアンローリングす
るベクトル演算列ループアンローリング処理方式に関す
るものである。The present invention relates to a processing method for compiling a program executed by a data processing device having a hector computer, and more particularly to a vector operation string loop unrolling processing method for unrolling a vector operation string in a loop.
例えばFORTRAN言語TR上り作成されたプログラ
ムを、ベクトル計算機を用いて実行させるために、DO
ループの配列等について、自動的にベクトル演算列を生
成するコンパイラが用いられている。このコンパイラが
生成するオブジェクトについて、ベクトル化率を上げる
ことは、ベクトル計算機による実行性能を向上させるた
めに重要な課題とされている。しかしながら、ハードウ
ェア資源であるベクトル計算機を最大限有効に使うには
、ベクトル化後のベクトル演算列を最適にスケジューリ
ングすることも必要である。For example, in order to execute a program created using the FORTRAN language TR using a vector computer, DO
Compilers are used that automatically generate vector operation sequences for loop arrays and the like. Increasing the vectorization rate of objects generated by this compiler is considered an important issue in order to improve the execution performance of a vector computer. However, in order to make the most effective use of a vector computer, which is a hardware resource, it is also necessary to optimally schedule the vector operation sequence after vectorization.
この最適スケジューリングとは、ベクトル計算機におけ
るロード・ストアパイプライン、加算パイプライン、乗
算パイプライン等を流れるデータの密度を濃<シ、実行
の待ち時間が少なくなるように、ベクトル演算列を並べ
ることである。This optimal scheduling is the process of arranging vector operation sequences in such a way that the density of data flowing through the load/store pipeline, addition pipeline, multiplication pipeline, etc. in a vector computer is increased, and the waiting time for execution is reduced. be.
この最適スケジューリングのため、従来、ソースレベル
のスカライメージで、ユーザの手作業により、プログラ
ムをチューニングすることが行われていた。In order to achieve this optimal scheduling, programs have conventionally been manually tuned by users using source-level scalar images.
〔発明が解決しようとする問題点〕
しかし、ユーザが手作業により、ソースプログラムをチ
ューニングした場合2次のような問題が発生する。[Problems to be Solved by the Invention] However, when a user manually tunes a source program, the following problems occur.
■ スカライメージでベクトル版にチューニングしたソ
ースプログラムは、ベクトル処理機能を持たない汎用計
算機上では、実行性能が低下する可能性がある。■ A source program tuned to a vector version using a scalar image may have lower execution performance on a general-purpose computer that does not have vector processing capabilities.
■ チューニングするために多大な労力および時間を要
する。■ It requires a lot of effort and time to tune.
■ ソースプログラムの記述性が損なわれる。■ The descriptive nature of the source program is impaired.
■ ユーザのチューニングにより性能が低下し。■ Performance deteriorates due to user tuning.
逆効果となることがある。It may have the opposite effect.
本発明は上記問題点を解決するため、ベクトル演算列を
ループアンローリングすることにより。The present invention solves the above problems by loop unrolling a vector operation sequence.
ソースプログラムから自動的に最適化されたオブジェク
トを生成する1方式を提供することを目的としている。The objective is to provide a method for automatically generating optimized objects from source programs.
第1図は本発明の基本構成例ブロック図を示す。 FIG. 1 shows a block diagram of an example of the basic configuration of the present invention.
第1図において、10は高級言語により記述されたソー
スプログラム、11はCPUおよびメモリ等からなる処
理装置、12はソースプログラム10を機械語のオブジ
ェクトに翻訳するコンパイラ、13はプログラム入力部
、14はベクトル化処理部、15はデータ依存関係解析
部、16はアンローリング実施条件判定部、17はアン
ローリング処理部、18はオブジェクト生成部、19は
ソースプログラム10に対応する機械語コード列からな
るオブジェクトプログラムを表す。In FIG. 1, 10 is a source program written in a high-level language, 11 is a processing unit consisting of a CPU, memory, etc., 12 is a compiler that translates the source program 10 into a machine language object, 13 is a program input unit, and 14 is a 15 is a data dependency analysis unit; 16 is an unrolling execution condition determination unit; 17 is an unrolling processing unit; 18 is an object generation unit; 19 is an object consisting of a machine code string corresponding to the source program 10 Represents a program.
プログラム入力部13は、ソースプログラム10から処
理すべきソースステートメントを入力する。この入力プ
ログラムを解析することにより。The program input unit 13 inputs source statements to be processed from the source program 10 . By parsing this input program.
中間テキストが生成される。コンパイラ12は。Intermediate text is generated. Compiler 12.
自動ベクトル化機能を備えており、ベクトル化処理部1
4によって、中間テキストを解読し、ベクトル化可能な
ものを検出して、ベクトル演算列を生成する。Equipped with automatic vectorization function, vectorization processing section 1
4, the intermediate text is decoded, those that can be vectorized are detected, and a vector operation sequence is generated.
データ依存関係解析部15は、多重ループにおける内側
のループが、ベクトル化処理部14によって、ベクトル
化されている場合に、そのベクトル化されたベクトル演
算列の外側ループにおけるデータ依存関係を解析するも
のである。The data dependence analysis unit 15 analyzes the data dependence relationship in the outer loop of the vectorized vector operation sequence when the inner loop in the multiple loop is vectorized by the vectorization processing unit 14. It is.
アンローリング実施条件判定部16は、データ依存関係
解析部15による解析結果により、予め各データ依存関
係に対応してアンローリングの可否情報が登録されたテ
ーブルを検索することにより、アンローリングの可否を
判定する。ループのアンローリングとは、外側ループの
回転数を1/N (Nは2以上の整数)とし、ベクトル
演算列をN倍に展開する処理である。The unrolling execution condition determining unit 16 determines whether or not unrolling is possible by searching a table in which unrolling permission information is registered in advance for each data dependency relationship based on the analysis result by the data dependency relationship analysis unit 15. judge. Loop unrolling is a process in which the number of rotations of the outer loop is set to 1/N (N is an integer of 2 or more) and a vector operation sequence is expanded N times.
アンローリング処理部17は、アンローリング実施条件
判定部16により、アンローリング可と判定された場合
に、ベクトル演算列を分解して。The unrolling processing unit 17 decomposes the vector operation sequence when the unrolling execution condition determining unit 16 determines that unrolling is possible.
ループアンローリングを行う。外側ループの回転数は、
1/Nに削減されるが、端数が出る場合には、その残り
のベクトル演算列による処理命令列を、ループの外側に
(」加する。Perform loop unrolling. The rotation speed of the outer loop is
It is reduced to 1/N, but if a fraction is obtained, the processing instruction sequence based on the remaining vector operation sequence is added to the outside of the loop.
ベクトル化され、アンローリングされた中間テキストは
、必要に応じてさらに他の手段により最適化される。オ
ブジェクト生成部18は、最終的にオブジェクトプログ
ラム19を生成する。The vectorized and unrolled intermediate text is further optimized by other means as necessary. The object generation unit 18 finally generates an object program 19.
以下、FORTRANプログラムのループアンローリン
グを例にして1本発明の詳細な説明する。Hereinafter, the present invention will be described in detail using loop unrolling of a FORTRAN program as an example.
例えば。for example.
Do 10 J=1,100
DO10I=1.10000
A(1,J)=B(r、J)+C(1,J)*D(1,
J)10 C0NTINUE
という二重ループのプログラムは、ベクトル化処理部1
4により、内側ループについて9次のようにベクトル化
が行われる。Do 10 J=1,100 DO10I=1.10000 A(1,J)=B(r,J)+C(1,J)*D(1,
J) The double-loop program called 10 C0NTINUE is the vectorization processing unit 1.
4, the inner loop is vectorized to the ninth order.
Do 10 J=1.100
八(*、J)=8(*、J)+C(車、J)*[)(本
、J)10 C0NTINUE
こ゛こで、配列中の「*」は、1から10000までの
値をとるベクトル・パラメータであって、ベクトル長は
10000である。Do 10 J = 1.100 8 (*, J) = 8 (*, J) + C (car, J) * [) (book, J) 10 C0NTINUE Here, "*" in the array is from 1 to A vector parameter that takes values up to 10,000, and the vector length is 10,000.
アンローリング処理部17は、これについて。The unrolling processing unit 17 is about this.
次のようにループアンローリングを行う。Perform loop unrolling as follows.
DO10J・1,100.2
^(*、J)・B(車、 J) +C(傘、J)寧D(
傘、J)八(率、J+1)・B(本、J+1)+C(*
、J+1)*D(本、J÷1)to C0NTINU
E
即ち、ループ制御変数の増分値を2倍にすることにより
、外側ループのループ回転数を1/2とし、内部のベク
トル演算列を分解して2倍にする。DO10J・1,100.2 ^(*, J)・B(Car, J) +C(Umbrella, J) Ning D(
Umbrella, J) 8 (rate, J+1), B (book, J+1) + C (*
, J+1)*D(book, J÷1) to C0NTINU
E That is, by doubling the increment value of the loop control variable, the loop rotation speed of the outer loop is halved, and the internal vector operation sequence is decomposed and doubled.
3重展開以上についても同様である。展開されたベクト
ル演算列は1個別にベクトル計算機におけるパイプライ
ンによって処理されるので、パイプラインの、処理密度
を高密度化することが可能になり、パイプライン・スケ
ジューリングが最適化される。The same applies to triple expansion or more. Since the expanded vector operation sequence is individually processed by the pipeline in the vector computer, it becomes possible to increase the processing density of the pipeline, and the pipeline scheduling is optimized.
また1次のような場合には、ベクトル演算における共通
式の最適化によるベクトルテキスト最適化が可能になる
。例えば、ベクトル化後のベクトル演算列が。Furthermore, in a first-order case, vector text optimization is possible by optimizing a common expression in vector operations. For example, the vector operation sequence after vectorization.
Do 10 J=1,100
八(*、J+1)・B (* 、 J)+^(*、J)
10 C0NTINUE
であるとする。ここで、配列中の「*」は、前例と同様
に、1から10000までの値をとるベクトル・パラメ
ータである。Do 10 J=1,100 8 (*, J+1)・B (*, J)+^(*, J)
10 C0NTINUE. Here, "*" in the array is a vector parameter that takes values from 1 to 10,000, as in the previous example.
アンローリング処理部17は、これについて。The unrolling processing unit 17 is about this.
次のようにループアンローリングを行う。Perform loop unrolling as follows.
Do 10 J=1.100.2
A(*、J+1)=B(*、J)十へ(*、J)
・・・・・・■八(*、J+2)=B(車、J
)十へ(*、J+1) ・・・・・・■10
C0NTINUE
このベクトル演算列■における右辺第2項は。Do 10 J=1.100.2 A(*, J+1)=B(*, J) to ten(*, J)
・・・・・・■8(*, J+2)=B(car, J
) to ten (*, J+1) ・・・・・・■10
C0NTINUE The second term on the right side of this vector operation sequence ■ is.
ベクトル演算列■の左辺と同じ値をとる。ベクトル計算
機により、ベクトル演算列■を実行すると。Takes the same value as the left side of the vector operation sequence ■. When the vector operation sequence ■ is executed using a vector calculator.
ベクトルレジスタに/l(*、J+1)が得られるので
2次のベクトル演算列■の実行において、 A(*、J
+1)をロードする必要がない。これにより、高速実行
が可能になり、ベクトルテキストの最適化が可能になる
。Since /l(*, J+1) is obtained in the vector register, in executing the second-order vector operation sequence ■, A(*, J
+1) There is no need to load. This enables fast execution and optimization of vector text.
第2図は本発明の一実施例処理説明図、第3図はアンロ
ーリング可否テーブルの例、第4図はデータ依存関係値
とアンローリング展開数との関連を説明する図を示す。FIG. 2 is a diagram illustrating a process of an embodiment of the present invention, FIG. 3 is an example of an unrolling availability table, and FIG. 4 is a diagram illustrating the relationship between data dependency values and the number of unrolling expansions.
本発明によるループアンローリング処理は1例えば第2
図に示すように行われる。なお、この処理は、処理対象
ループ内にベクトル化された演算列が存在するときに呼
び出される。以下の説明における処理番号■〜[相]は
、第2図に示す番号■〜[相]に対応する。The loop unrolling process according to the present invention includes one
It is done as shown in the figure. Note that this process is called when a vectorized operation sequence exists in the loop to be processed. Processing numbers ■ to [phase] in the following description correspond to numbers ■ to [phase] shown in FIG.
■ データ依存関係値をもとに、第3図に示すようなア
ンローリング可否テーブルを検索する。■ Search the unrolling possibility table as shown in FIG. 3 based on the data dependency relationship value.
なお、データ依存関係値およびアンローリング可否テー
ブルについては、後に詳述する。Note that the data dependency value and the unrolling possibility table will be described in detail later.
■ アンローリング可否テーブルを検索した結果により
、アンローリングの可/不可を判定し。■ Determine whether unrolling is possible or not based on the result of searching the unrolling possibility table.
アンローリングが不可である場合には、アンローリング
による最適化処理を行わずに1次の最適化処理へ進む。If unrolling is not possible, the process proceeds to the first optimization process without performing the optimization process by unrolling.
■ 他のアンローリング実施条件についても判定する。■ Other unrolling implementation conditions are also determined.
この条件として1例えばループの回転数が2以上(陽に
判明している場合)であること。This condition is 1, for example, the number of rotations of the loop is 2 or more (if it is explicitly known).
ループの出口が1つであること、ループ内でベクトル長
の変化がないことなどがある。また。There is one exit of the loop, there is no change in vector length within the loop, etc. Also.
アンローリングにより、実行効率がよくなるかどうかの
条件についても判定する。これらの各条件が満足されな
い場合1次の最適化処理へ進む。The conditions for determining whether unrolling improves execution efficiency are also determined. If each of these conditions is not satisfied, the process proceeds to the first optimization process.
■ ループアンローリングのために、外側ループの回転
数を1/Nにする。なお、説明を節単にするために、以
下、N=2の場合について説明する。■ For loop unrolling, set the rotation speed of the outer loop to 1/N. Note that, in order to simplify the explanation, the case where N=2 will be explained below.
■ ベクトル演算列を2倍にする。即ち2元のベクトル
演算列に対して、配列の添字式の値を歩進したベクトル
演算列を生成して付加する。■ Double the vector operation sequence. That is, a vector operation sequence is generated and added by incrementing the value of the subscript expression of the array to a two-dimensional vector operation sequence.
■ ループ回転数が定数であるかどうかを判定する。定
数でない場合には、処理■へ制御を移す。■ Determine whether the loop rotation speed is constant. If it is not a constant, control is transferred to process (2).
■ 元のループ回転数が偶数であるか奇数であるかを判
定する。偶数である場合1次の最適化処理へ進み、奇数
である場合には、処理■を実行する。■ Determine whether the original loop rotation number is even or odd. If the number is even, proceed to the first-order optimization process; if the number is odd, process (2) is executed.
■ 元のループにおいて最後に実行されるベクトル演算
列の部分を、新しいループの外に付加して1次の最適化
処理へ進む。(2) Add the part of the vector operation sequence that is executed last in the original loop to the outside of the new loop and proceed to the first optimization process.
■ ループ回転数が変数である場合、ダイナミックに回
転数を判定するテキストを生成して、付加する。■ If the loop rotation speed is a variable, generate and append text that dynamically determines the rotation speed.
[相] 回転数の判定に対応して、1/2にした回転数
の端数となる分のベクトル演算列をループの外に付加す
る。その後1次の最適化処理へ進む。[Phase] In response to the determination of the rotation speed, a vector operation sequence corresponding to the fraction of the rotation speed reduced to 1/2 is added to the outside of the loop. After that, the process proceeds to the first optimization process.
ベクトル演算列をループアンローリングする場合、アン
ローリングによって、配列の定義/参照に関するベクト
ル計算機による実行順番が意図しないものとなって、正
しい結果が得られなくなる可能性がある。そのため9本
発明では、予め2次のようなデータ依存関係値を求めて
おき、これによって、アンローリングの可否を決定する
。When unrolling a vector operation sequence in a loop, the unrolling may cause the vector computer to execute the definition/reference of the array in an unintended order, making it impossible to obtain correct results. Therefore, in the present invention, a quadratic data dependency relationship value is obtained in advance, and based on this, it is determined whether or not unrolling is possible.
データ依存関係値は、ループ内における前後する配列添
字式の相対的な値関係を示すものと考えてよい。例えば
、前に現れる配列が、 A (I)であって、後に現れ
る配列が、A (1+2)であるとき、データ依存関係
値は、制御変数■が共通しているので、■=0として9
次のように求められる。The data dependency value can be considered to indicate the relative value relationship between the preceding and following array subscript expressions within the loop. For example, when the array that appears before is A (I) and the array that appears after is A (1+2), the data dependency value is 9 with ■ = 0 because the control variable ■ is common.
It is calculated as follows.
(0)−(0+2)=−2
データ依存関係値の種類は2例えば、以下の通りである
。(0)-(0+2)=-2 The types of data dependency values are 2, for example, as follows.
(星号) (意味) φ :重なりなしくデータ依存関係なし)。(Star code) (Meaning) φ: No overlap, no data dependencies).
+ :順方向のデータ依存関係あり。+: There is a forward data dependency.
−二進方向のデータ依存関係あり。- There is a binary data dependency.
* :制御変数が出現していない。*: Control variable does not appear.
? :データ依存関係が不明である。? : Data dependency is unknown.
+OR−:順方向のデータ依存関係あり。+OR-: There is a forward data dependency.
(スカラとベクトル) 0 :同じ位置をアクセスしている。(scalars and vectors) 0: Accessing the same location.
十の値:順方向にいくつ、ずれているかを表す。Value of 10: Indicates the number of shifts in the forward direction.
−の値:逆方向にいくつ、ずれているかを表す。- value: Indicates the amount of deviation in the opposite direction.
アンローリングの可否は1以上のようなデータ依存関係
値によって、決められる。そのため2例えば第3図に示
すようなアンローリング可否テーブルが用いられる。Whether or not unrolling is possible is determined by a data dependency value such as 1 or more. Therefore, for example, an unrolling possibility table as shown in FIG. 3 is used.
第3図図示アンローリング可否テーブルにおいて、○は
アンローリング可能、×はアンローリング不可能、△は
値によって可否が決定されるものを表している。縦の列
は1次元目のデータ依存関係値、横の列は2次元目のデ
ータ依存関係値を表している。In the unrolling possibility table shown in FIG. 3, ◯ indicates that unrolling is possible, × indicates that unrolling is impossible, and △ indicates whether unrolling is possible or not. The vertical columns represent first-dimensional data dependency relationship values, and the horizontal columns represent second-dimensional data dependency relationship values.
Do 10 J=1.N
Do 101=l、M
A (L J) =・・・・
10 C0NTINtlE
このような場合、■が1次元目であり、Jが2次元目で
ある。Do 10 J=1. N Do 101=l, M A (L J) =... 10 C0NTINtlE In such a case, ■ is the first dimension and J is the second dimension.
第3図において、×印に該当する場合には、アンローリ
ングすることによって、従来なかったデータ依存関係が
生じることになるので、アンローリング不可能とされる
。Δ印に該当する場合には。In FIG. 3, in cases corresponding to the x marks, unrolling is considered impossible because unrolling will result in a data dependency relationship that did not exist before. If it falls under the Δ mark.
第4図に示すデータ依存関係値と、アンローリング展開
数とによって可否が決められる。例えば。Whether or not it is possible is determined by the data dependency relationship values shown in FIG. 4 and the number of unrolling expansions. for example.
データ依存関係値が±2である場合、2重展開(即ら、
N=2)のときにはアンローリング可能であるが、3重
展開以上(Na3)ではアンローリングが不可能とされ
る。If the data dependency value is ±2, double expansion (i.e.
When N=2), unrolling is possible, but when triple expansion or more (Na3) occurs, unrolling is impossible.
次に、FORTRANプログラムの例により。Next, by example of a FORTRAN program.
ループアンローリングの具体例を示す。A specific example of loop unrolling is shown below.
(al ループの回転数が陽に判明している場合であ
って1回転数が偶数である場合
[ループアンローリング前]
DO10J・1.4
八(*、J)=B(*、J)+C(*、J)10 C0
NTINtlE
[ループアンローリング後]
′DO10J=1.4.2
八(*、J)・B(*、、1)+C(木、J)A(本、
J+1)・B(*、J+1)+C(*、J+1)10
C0NTINUE
(b) 回転数が奇数である場合
[ループアンローリング前]
Do 10 J・1.5
八(ネ、 J) 、、、B (本、J)+C(*、J)
10 C0NTINUE
[ループアンローリング後]
DO10J=1+3+2
A(*、J)=8(車、J)+C(*、J)A (*、
J+1)・B(*、J+1)+C(本、J+1)10
C0NTINUE
A (1,5)・B(*、5)十C(傘、5)最後にJ
=5のベクトル演算列が付加されている。(al If the number of rotations of the loop is explicitly known and the number of rotations is an even number [before loop unrolling] DO10J・1.4 8 (*, J) = B (*, J) + C (*, J)10 C0
NTINtlE [After loop unrolling] 'DO10J=1.4.2 8 (*, J)・B (*,, 1) + C (wood, J) A (book,
J+1)・B(*, J+1)+C(*, J+1)10
C0NTINUE (b) When the number of rotations is odd [before loop unrolling] Do 10 J・1.5 8 (ne, J) ,,,B (hon, J) + C (*, J)
10 C0NTINUE [After loop unrolling] DO10J = 1 + 3 + 2 A (*, J) = 8 (car, J) + C (*, J) A (*,
J+1)・B(*, J+1)+C(book, J+1)10
C0NTINUE A (1,5)・B(*,5)10C (umbrella, 5)Finally J
=5 vector operation sequences are added.
(C1回転数が不明な場合
[ループアンローリング前]
DO10J・1.N
A (*、 J)・B(*、J)+C(*、J)10
C0NTINUE
[ループアンローリング後]
IP(N、EQ、1) GOTO20
Do 10 J=1.N4..2
A(本、J)=B(*、J)+C(ネ、J)A(*、J
+1)=B(本、J÷1)+C(ネ、J+1)10 C
ONTINUE
IF(MOD(N、2)、EQ、0) GOTO302
0C0NTrNUE
A(*、N)=B(*、N)+C(本、N)30 C0
NTINUE
上記実施例では、ループアンローリングの展開数を2と
したが1例えばループの回転数が陽に3の場合には、3
重展開にするというように、多重展開も可能である。い
わゆる最適化制御杆によって、ユーザがアンローリング
の展開数を外側から指定できるようにしてもよい。この
場合、ユーザは2例えば次のような最適化制御杆をソー
スプログラムに記述する。(If C1 rotation speed is unknown [before loop unrolling] DO10J・1.N A (*, J)・B(*, J)+C(*, J)10
C0NTINUE [After loop unrolling] IP (N, EQ, 1) GOTO20 Do 10 J=1. N4. .. 2 A (book, J) = B (*, J) + C (ne, J) A (*, J
+1) = B (Book, J ÷ 1) + C (Ne, J + 1) 10 C
ONTINUE IF (MOD (N, 2), EQ, 0) GOTO302
0C0NTrNUE A (*, N) = B (*, N) + C (book, N) 30 C0
NTINUE In the above embodiment, the number of loop unrolling operations is set to 2, but if the number of rotations of the loop is explicitly 3, then
Multiple expansion is also possible, such as multiple expansion. A so-called optimization control rod may be used to allow the user to specify the number of unrolling developments from the outside. In this case, the user writes two optimization control levers, such as the following, in the source program.
r*vOcL Loop、UNROL (4)Jここ
で、*VOCLは、この行が最適化制御杆であることを
示している。LOOPは、最適化がループに対して有効
であることを示す。UNROL(4)は、4重展開にす
べきことを指示している。4重展開の場合2例えば次の
ようになる。r*vOcL Loop, UNROL (4)JHere, *VOCL indicates that this line is an optimization control rod. LOOP indicates that the optimization is valid for loops. UNROL (4) instructs that quadruple deployment should be performed. In the case of quadruple expansion 2 For example, it is as follows.
[ループアンローリング前]
*VOCL LOOP、UNROL(4)Do 10
J=1.N
A(*、J)・13(*、’J)+C(*、J)10
C0NTINUE
[ループアンローリング後コ
IP(N、LT、4) GOTO20
Do 10 J=1.N−1,4
A(車、 J) 、B (本、 J) +C(本、J)
八(*、J+1)・B (*+ J+1) 十G (本
+ J+1)八(*、J+2)・B(*、J+2)+C
(*、J+2)A(*、J+3)・B(*、J+3)+
C(*、J+3)10 C0NTINUE
20 M=MOD(N、4)
IP(M、EQ、0) GOTO50
IP(M、IEo、1) GOTO40IP(M、EQ
、2) GOTO30八(*、N−2)=8(*、N
−2)+C(*、N−2)3〇 八(*、N−1)=[
3(*、N−1)トc(*、N−1)4〇 八(*、N
)=8(*、N)+C(本、N)50 (:0NTI
NUE
この例では、ユーザが指定した最適化制御行により、ア
ンローリングを4重展開で実施するとともに、制御変数
がNであって、コンパイル時には。[Before loop unrolling] *VOCL LOOP, UNROL (4) Do 10
J=1. N A(*, J)・13(*,'J)+C(*,J)10
C0NTINUE [Co-IP after loop unrolling (N, LT, 4) GOTO20 Do 10 J=1. N-1,4 A (car, J), B (book, J) +C (book, J)
Eight (*, J+1)・B (*+ J+1) Ten G (Book+ J+1) Eight (*, J+2)・B (*, J+2)+C
(*, J+2) A(*, J+3)・B(*, J+3)+
C(*,J+3)10 C0NTINUE 20 M=MOD(N,4) IP(M,EQ,0) GOTO50 IP(M,IEo,1) GOTO40IP(M,EQ
, 2) GOTO308(*,N-2)=8(*,N
-2)+C(*,N-2)30 8(*,N-1)=[
3 (*, N-1) to c (*, N-1) 40 8 (*, N
)=8(*,N)+C(book,N)50(:0NTI
NUE In this example, the optimization control line specified by the user performs unrolling in quadruple expansion, and the control variable is N when compiling.
ループ回転数が不明であるため2回転数判定テキストを
生成して、ループの後に付加している。Since the loop rotation speed is unknown, two rotation speed determination texts are generated and added after the loop.
以上説明したように9本発明によれば、データ依存関係
を把握することにより、自動的にベクトル演算列のルー
プアンローリングがなされることになり、これにより、
パイプライン・スケジューリングの最適化が可能になる
。また、ベクトルテキストの最適化も可能になる。従っ
て、実行性能が向上し、ユーザのチューニング時間を短
縮することができる。また、ソースプログラムについて
。As explained above, according to the present invention, loop unrolling of vector operation sequences is automatically performed by understanding data dependencies, and thereby,
Optimization of pipeline scheduling becomes possible. It also allows optimization of vector text. Therefore, execution performance is improved and the user's tuning time can be shortened. Also, regarding the source program.
F ORT RA Nプログラム等の記述性を保持する
ことができ、ソースレベルでの汎用計算機との互換性を
維持することができる。The descriptive nature of FORTRAN programs and the like can be maintained, and compatibility with general-purpose computers can be maintained at the source level.
第1図は本発明の基本構成例ブロック図、第2図は本発
明の一実施例処理説明図、第3図はアンローリング可否
テーブルの例、第4図はデータ依存関係値とアンローリ
ング展開数との関連を説明する図を示す。
図中、10はソースプログラム、11は処理装置、12
はコンパイラ、13はプログラム入力部。
14はベクトル化処理部、15はデータ依存関係解析部
、16はアンローリング実施条件判定部。
17はアンローリング処理部、18はオブジェクト生成
部、19はオブジェクトプログラムを表す。Fig. 1 is a block diagram of a basic configuration example of the present invention, Fig. 2 is a processing explanatory diagram of an embodiment of the present invention, Fig. 3 is an example of an unrolling possibility table, and Fig. 4 is a data dependency value and unrolling expansion. A diagram illustrating the relationship with numbers is shown. In the figure, 10 is a source program, 11 is a processing device, 12
13 is a compiler, and 13 is a program input section. 14 is a vectorization processing unit, 15 is a data dependency analysis unit, and 16 is an unrolling execution condition determination unit. Reference numeral 17 represents an unrolling processing section, 18 an object generation section, and 19 an object program.
Claims (1)
タ処理システムにおいて、 コンパイル対象プログラム中の多重ループにおける内側
のループがベクトル化されている場合に、ベクトル化さ
れたベクトル演算列の外側ループにおけるアンローリン
グに関連するデータ依存関係を解析するデータ依存関係
解析部(15)と、少なくとも上記データ依存関係解析
部(15)による解析結果に従って、アンローリングの
可否を判定するアンローリング実施条件判定部(16)
と、該アンローリング実施条件判定部(16)により、
アンローリング可と判定された場合に、上記外側ループ
の回転数を1/N(Nは2以上の整数)とし、ベクトル
演算列をN倍に展開するアンローリング処理部(17)
とを備えたことを特徴とするベクトル演算列ループアン
ローリング処理方式。[Claims] In a data processing system having a compilation processing function that performs automatic vectorization, when an inner loop in a multiple loop in a program to be compiled is vectorized, an outer loop of a vectorized vector operation sequence A data dependency relationship analysis unit (15) that analyzes data dependency relationships related to unrolling in a loop, and an unrolling implementation condition determination that determines whether or not unrolling is possible, based on the analysis results by at least the data dependency relationship analysis unit (15). Part (16)
And, by the unrolling execution condition determination unit (16),
When it is determined that unrolling is possible, the unrolling processing unit (17) sets the rotation speed of the outer loop to 1/N (N is an integer of 2 or more) and expands the vector operation sequence N times.
A vector operation sequence loop unrolling processing method comprising:
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP61011577A JPS62169272A (en) | 1986-01-22 | 1986-01-22 | Unrolling processing system for vector arithmetic string loop |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP61011577A JPS62169272A (en) | 1986-01-22 | 1986-01-22 | Unrolling processing system for vector arithmetic string loop |
Publications (2)
Publication Number | Publication Date |
---|---|
JPS62169272A true JPS62169272A (en) | 1987-07-25 |
JPH054712B2 JPH054712B2 (en) | 1993-01-20 |
Family
ID=11781767
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP61011577A Granted JPS62169272A (en) | 1986-01-22 | 1986-01-22 | Unrolling processing system for vector arithmetic string loop |
Country Status (1)
Country | Link |
---|---|
JP (1) | JPS62169272A (en) |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH03150636A (en) * | 1989-11-08 | 1991-06-27 | Matsushita Electric Ind Co Ltd | Compiling method |
JPH04155529A (en) * | 1990-10-19 | 1992-05-28 | Fujitsu Ltd | Compile processing system |
JP2009070070A (en) * | 2007-09-12 | 2009-04-02 | Nec Corp | Compiler and compile method |
-
1986
- 1986-01-22 JP JP61011577A patent/JPS62169272A/en active Granted
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH03150636A (en) * | 1989-11-08 | 1991-06-27 | Matsushita Electric Ind Co Ltd | Compiling method |
JPH04155529A (en) * | 1990-10-19 | 1992-05-28 | Fujitsu Ltd | Compile processing system |
JP2009070070A (en) * | 2007-09-12 | 2009-04-02 | Nec Corp | Compiler and compile method |
Also Published As
Publication number | Publication date |
---|---|
JPH054712B2 (en) | 1993-01-20 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP4077252B2 (en) | Compiler program and compile processing method | |
US5930510A (en) | Method and apparatus for an improved code optimizer for pipelined computers | |
US5835776A (en) | Method and apparatus for instruction scheduling in an optimizing compiler for minimizing overhead instructions | |
US5867711A (en) | Method and apparatus for time-reversed instruction scheduling with modulo constraints in an optimizing compiler | |
JP2921190B2 (en) | Parallel execution method | |
US5809308A (en) | Method and apparatus for efficient determination of an RMII vector for modulo scheduled loops in an optimizing compiler | |
JPH0814817B2 (en) | Automatic vectorization method | |
JP2004234126A (en) | Compiler and compiling method | |
JPH10228382A (en) | Compiling system | |
JPH11194948A (en) | Compiler optimization algorithm | |
US6064820A (en) | Apparatus and method to incrementally update single static assignment (SSA) form | |
JP4719415B2 (en) | Information processing system and code generation method | |
JPS62169272A (en) | Unrolling processing system for vector arithmetic string loop | |
US7073169B2 (en) | Compiler device with branch instruction inserting unit | |
JP3196625B2 (en) | Parallel compilation method | |
Hong et al. | Rapid prototyping of DSP algorithms on VLIW TMS320C6701 DSP | |
JP2009265708A (en) | Compiler and code generation method thereof | |
JPH09282173A (en) | Static analysis method for program | |
JP3551352B2 (en) | Loop splitting method | |
JP2003256214A (en) | Loop conversion method using array extension | |
JPH11149380A (en) | Compiler, program optimizing method and recording medium recording its processing program | |
JPH09282177A (en) | Program conversion method and compiler | |
JPH11161500A (en) | Method for generating object program for reforming execution time dependent analysis | |
JP3311775B2 (en) | Pointer vectorization method | |
De Sutter et al. | On the use of subword parallelism in medical image processing |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
LAPS | Cancellation because of no payment of annual fees |