JP3235462B2 - ｗｈｉｌｅループ構造変換装置 - Google Patents
ｗｈｉｌｅループ構造変換装置Info
- Publication number
- JP3235462B2 JP3235462B2 JP11121796A JP11121796A JP3235462B2 JP 3235462 B2 JP3235462 B2 JP 3235462B2 JP 11121796 A JP11121796 A JP 11121796A JP 11121796 A JP11121796 A JP 11121796A JP 3235462 B2 JP3235462 B2 JP 3235462B2
- Authority
- JP
- Japan
- Prior art keywords
- loop
- expression
- control variable
- update
- repetition
- 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.)
- Expired - Fee Related
Links
Landscapes
- Complex Calculations (AREA)
- Devices For Executing Special Programs (AREA)
Description
【０００１】
【発明の属する技術分野】本発明は、Ｃ言語で記述され
た繰り返し数の計算が困難なｗｈｉｌｅループを、繰り
返し数が容易に計算できるｆｏｒループに変換するｗｈ
ｉｌｅループ構造変換装置に関する。
た繰り返し数の計算が困難なｗｈｉｌｅループを、繰り
返し数が容易に計算できるｆｏｒループに変換するｗｈ
ｉｌｅループ構造変換装置に関する。
【０００２】
【従来の技術】ループ構造に対してベクトル化等の並列
化を行うことにより処理速度を高速化するということは
従来から行われている。ところで、ループを並列化する
場合には、ループの入口点に於いてループの繰り返し数
を求めておくことが必要であり、従来は次のようにして
ループの繰り返し数を求めるようにしている。
化を行うことにより処理速度を高速化するということは
従来から行われている。ところで、ループを並列化する
場合には、ループの入口点に於いてループの繰り返し数
を求めておくことが必要であり、従来は次のようにして
ループの繰り返し数を求めるようにしている。
【０００３】例えば、ループがＦＯＲＴＲＡＮ言語のＤ
Ｏループの場合は、ループの制御変数が存在し、更に、
制御変数の初期値，終値，増分値が記述されているた
め、繰り返し数＝（終値−初期値＋増分値）／増分値な
る演算を行うことにより、容易にループの繰り返し数を
求めることができる。
Ｏループの場合は、ループの制御変数が存在し、更に、
制御変数の初期値，終値，増分値が記述されているた
め、繰り返し数＝（終値−初期値＋増分値）／増分値な
る演算を行うことにより、容易にループの繰り返し数を
求めることができる。
【０００４】また、明確なループ制御変数を用いなくて
も記述可能なＣ言語のｆｏｒループの場合は、ｆｏｒル
ープに与えられた第１式（初期化式），第２式（繰り返
し条件式），第３式（増分式）の３つの式から、ループ
の制御変数と、その初期値，終値，増分値とを求め、そ
れらに基づいて上記したと同様の演算を行うことにより
ループの繰り返し数を求めている（例えば、特開平５−
３０３４９９号公報）。
も記述可能なＣ言語のｆｏｒループの場合は、ｆｏｒル
ープに与えられた第１式（初期化式），第２式（繰り返
し条件式），第３式（増分式）の３つの式から、ループ
の制御変数と、その初期値，終値，増分値とを求め、そ
れらに基づいて上記したと同様の演算を行うことにより
ループの繰り返し数を求めている（例えば、特開平５−
３０３４９９号公報）。
【０００５】
【発明が解決しようとする課題】一方、Ｃ言語で記述さ
れたｗｈｉｌｅループには、ｆｏｒループの第１式，第
３式に相当する式がなく、第２式に相当する繰り返し条
件式のみが存在している。そのため、ｗｈｉｌｅループ
に於いては、ｆｏｒループのように制御変数及びその初
期値，終値，増分値を確定することができず、ループの
繰り返し数が求められなかった。従って、ｗｈｉｌｅル
ープについては、従来、ベクトル化等の並列化を行うこ
とが困難であった。
れたｗｈｉｌｅループには、ｆｏｒループの第１式，第
３式に相当する式がなく、第２式に相当する繰り返し条
件式のみが存在している。そのため、ｗｈｉｌｅループ
に於いては、ｆｏｒループのように制御変数及びその初
期値，終値，増分値を確定することができず、ループの
繰り返し数が求められなかった。従って、ｗｈｉｌｅル
ープについては、従来、ベクトル化等の並列化を行うこ
とが困難であった。
【０００６】そこで、本発明の目的は、Ｃ言語で記述さ
れたｗｈｉｌｅループをループ繰り返し数を求めること
が可能なｆｏｒループに変換することにより、ｗｈｉｌ
ｅループに対してもベクトル化等の並列化を行えるよう
にすることにある。
れたｗｈｉｌｅループをループ繰り返し数を求めること
が可能なｆｏｒループに変換することにより、ｗｈｉｌ
ｅループに対してもベクトル化等の並列化を行えるよう
にすることにある。
【０００７】
【課題を解決するための手段】本発明は上記目的を達成
するため、ソースファイルからｗｈｉｌｅループを抽出
するループ構造解析部と、該ループ構造解析部が抽出し
たｗｈｉｌｅループを、初期化式と繰り返し条件式と増
分式と前記ｗｈｉｌｅループ中の制御変数に対する更新
式と対応する更新式とを含むｆｏｒループであって、前
記初期化式として前記ｗｈｉｌｅループの制御変数がル
ープに入る直前に保持していた値を、前記ｗｈｉｌｅル
ープの制御変数とは異なる前記ｆｏｒループの制御変数
の初期値にする式を含み、前記繰り返し条件式として前
記ｆｏｒループの制御変数が前記ｗｈｉｌｅループの繰
り返し条件式によって定まる終値に達したか否かを判定
する式を含み、前記増分式として前記ｗｈｉｌｅループ
中に制御変数に対する更新式が複数含まれている場合
は、該複数の更新式それぞれに於ける、制御変数を増加
或いは減少させる値の合計値だけ前記ｆｏｒループの制
御変数を増加或いは減少させる式を含み、前記ｗｈｉｌ
ｅループ中の制御変数に対する更新式と対応する更新式
として前記ｗｈｉｌｅループの制御変数を前記ｆｏｒル
ープの制御変数のインダクション変数とする式を含むｆ
ｏｒループに変換するループ構造変換部とを備えたもの
である。
するため、ソースファイルからｗｈｉｌｅループを抽出
するループ構造解析部と、該ループ構造解析部が抽出し
たｗｈｉｌｅループを、初期化式と繰り返し条件式と増
分式と前記ｗｈｉｌｅループ中の制御変数に対する更新
式と対応する更新式とを含むｆｏｒループであって、前
記初期化式として前記ｗｈｉｌｅループの制御変数がル
ープに入る直前に保持していた値を、前記ｗｈｉｌｅル
ープの制御変数とは異なる前記ｆｏｒループの制御変数
の初期値にする式を含み、前記繰り返し条件式として前
記ｆｏｒループの制御変数が前記ｗｈｉｌｅループの繰
り返し条件式によって定まる終値に達したか否かを判定
する式を含み、前記増分式として前記ｗｈｉｌｅループ
中に制御変数に対する更新式が複数含まれている場合
は、該複数の更新式それぞれに於ける、制御変数を増加
或いは減少させる値の合計値だけ前記ｆｏｒループの制
御変数を増加或いは減少させる式を含み、前記ｗｈｉｌ
ｅループ中の制御変数に対する更新式と対応する更新式
として前記ｗｈｉｌｅループの制御変数を前記ｆｏｒル
ープの制御変数のインダクション変数とする式を含むｆ
ｏｒループに変換するループ構造変換部とを備えたもの
である。
【０００８】上記構成に於いては、ループ構造解析部
が、ソースファイルからｗｈｉｌｅループを抽出し、ル
ープ構造変換部が、上記ｗｈｉｌｅループを、初期化式
と繰り返し条件式と増分式とｗｈｉｌｅループ中の制御
変数に対する更新式と対応する更新式とを含むｆｏｒル
ープに変換する。
が、ソースファイルからｗｈｉｌｅループを抽出し、ル
ープ構造変換部が、上記ｗｈｉｌｅループを、初期化式
と繰り返し条件式と増分式とｗｈｉｌｅループ中の制御
変数に対する更新式と対応する更新式とを含むｆｏｒル
ープに変換する。
【０００９】また、本発明は、変換後のｆｏｒループに
対してベクトル化等の並列化を行うことができない場合
であっても、元のｗｈｉｌｅループをそのままスカラで
実行するより処理を高速に行えるようにするため、前記
ループ構造変換部は、前記ｗｈｉｌｅループ中のループ
内不変式を前記ｆｏｒループの直前に組み込む構成を備
えたものである。
対してベクトル化等の並列化を行うことができない場合
であっても、元のｗｈｉｌｅループをそのままスカラで
実行するより処理を高速に行えるようにするため、前記
ループ構造変換部は、前記ｗｈｉｌｅループ中のループ
内不変式を前記ｆｏｒループの直前に組み込む構成を備
えたものである。
【００１０】上記構成に於いては、ループ構造変換部
が、ｗｈｉｌｅループ中のループ内不変式をｆｏｒルー
プの直前に組み込む。
が、ｗｈｉｌｅループ中のループ内不変式をｆｏｒルー
プの直前に組み込む。
【００１１】
【発明の実施の形態】次に本発明の実施の形態について
図１を参照して詳細に説明する。
図１を参照して詳細に説明する。
【００１２】ループ構造変換装置１内のループ構造解析
部１１は、ソースファイル２を読み込み、ｗｈｉｌｅル
ープ２１の記述を探す。ｗｈｉｌｅループ２１の記述を
探し出すと、ループ構造解析部１１は、それを変換対象
として繰り返し条件判定部１２に渡す。ｗｈｉｌｅルー
プ以外の記述は、そのまま、中間ファイル３に書き出
す。
部１１は、ソースファイル２を読み込み、ｗｈｉｌｅル
ープ２１の記述を探す。ｗｈｉｌｅループ２１の記述を
探し出すと、ループ構造解析部１１は、それを変換対象
として繰り返し条件判定部１２に渡す。ｗｈｉｌｅルー
プ以外の記述は、そのまま、中間ファイル３に書き出
す。
【００１３】繰り返し条件判定部１２は、ｗｈｉｌｅル
ープ２１の繰り返し条件式２１１が比較識別子を含むか
否かを、即ち図２に示す繰り返し条件式のパターンに合
致するかどうかを試験する。条件式の左辺及び右辺の式
は、変数，定数同士の演算から構成され、関数が含まれ
ていてはならない。もし、繰り返し条件式２１１が図２
に示すパターンに合致していなかったり、関数を含んで
いるならｗｈｉｌｅループ２１は、変換対象からはずさ
れ、元の形のままの形で中間ファイル３に書き出され
る。
ープ２１の繰り返し条件式２１１が比較識別子を含むか
否かを、即ち図２に示す繰り返し条件式のパターンに合
致するかどうかを試験する。条件式の左辺及び右辺の式
は、変数，定数同士の演算から構成され、関数が含まれ
ていてはならない。もし、繰り返し条件式２１１が図２
に示すパターンに合致していなかったり、関数を含んで
いるならｗｈｉｌｅループ２１は、変換対象からはずさ
れ、元の形のままの形で中間ファイル３に書き出され
る。
【００１４】制御変数抽出部１３は、繰り返し条件判定
部１２に於いて繰り返し条件のパターンに合致するとみ
なされた繰り返し条件式２１１の中からループの制御変
数を探し出す。制御変数は、ループの繰り返し毎に一定
値ずつ単調増加或いは単調減少しなくてはならない。逆
に、制御変数以外の変数に関しては、ループ内で常に一
定の値を保たねばならない。よって、繰り返し条件式２
１１中の、左辺及び右辺の式中に現れる変数の内、ルー
プ内で更新されるものがただ１つである時、それが制御
変数となる可能性がある。
部１２に於いて繰り返し条件のパターンに合致するとみ
なされた繰り返し条件式２１１の中からループの制御変
数を探し出す。制御変数は、ループの繰り返し毎に一定
値ずつ単調増加或いは単調減少しなくてはならない。逆
に、制御変数以外の変数に関しては、ループ内で常に一
定の値を保たねばならない。よって、繰り返し条件式２
１１中の、左辺及び右辺の式中に現れる変数の内、ルー
プ内で更新されるものがただ１つである時、それが制御
変数となる可能性がある。
【００１５】制御変数抽出部１３では、繰り返し条件式
２１１中に現れる変数のそれぞれについて、ループ内で
更新があるかどうかについて調べ、ただ１つの変数のみ
がループ内で更新されており、それ以外の変数について
は、ループ内で更新されることがない場合のみ、この変
数を制御変数として抽出する。制御変数が抽出できない
場合には、このｗｈｉｌｅループ２１を変換対象のルー
プからはずし、元の形のまま中間ファイル３に書き出
す。
２１１中に現れる変数のそれぞれについて、ループ内で
更新があるかどうかについて調べ、ただ１つの変数のみ
がループ内で更新されており、それ以外の変数について
は、ループ内で更新されることがない場合のみ、この変
数を制御変数として抽出する。制御変数が抽出できない
場合には、このｗｈｉｌｅループ２１を変換対象のルー
プからはずし、元の形のまま中間ファイル３に書き出
す。
【００１６】次に、増分式判定部１４に於いて、制御変
数抽出部１３が抽出した制御変数の更新式２１２につい
て検査を行い、更新式２１２が増分式であるかどうかを
試験する。更新式２１２が増分式であるかどうかを見極
めるために、増分式判定部１４は、更新式２１２が図３
に示すような増分式のパターンに合致しているかどうか
を試験する。増分式中に現れるループ内不変式は、変
数，定数同士の演算で構成されるが、ループ内では常に
一定の値とならねばならない。このため、ループ内不変
式の中に変数が存在する場合、この変数は、ループ内で
更新があってはならない。また、増分式は、ループの繰
り返し毎に必ず実行されなければならない。よって、増
分式は、条件文下の実行文であってはならない。増分式
判定部１４は、併せてこの条件の試験も行う。
数抽出部１３が抽出した制御変数の更新式２１２につい
て検査を行い、更新式２１２が増分式であるかどうかを
試験する。更新式２１２が増分式であるかどうかを見極
めるために、増分式判定部１４は、更新式２１２が図３
に示すような増分式のパターンに合致しているかどうか
を試験する。増分式中に現れるループ内不変式は、変
数，定数同士の演算で構成されるが、ループ内では常に
一定の値とならねばならない。このため、ループ内不変
式の中に変数が存在する場合、この変数は、ループ内で
更新があってはならない。また、増分式は、ループの繰
り返し毎に必ず実行されなければならない。よって、増
分式は、条件文下の実行文であってはならない。増分式
判定部１４は、併せてこの条件の試験も行う。
【００１７】本発明の特徴の１つとして、制御変数の更
新式がｗｈｉｌｅループ中の複数の箇所に現れても、ｆ
ｏｒループへの変換が可能であることが挙げられるが、
この場合、制御変数についての全ての更新式〔１〕〜更
新式〔ｎ〕が上記した条件を満たしていなくてはならな
い。もし、上記の条件に当てはまらない制御変数の更新
式が１つでも存在する場合は、ｗｈｉｌｅループ２１は
変換の対象からはずされ、中間ファイル３にそのまま書
き出される。
新式がｗｈｉｌｅループ中の複数の箇所に現れても、ｆ
ｏｒループへの変換が可能であることが挙げられるが、
この場合、制御変数についての全ての更新式〔１〕〜更
新式〔ｎ〕が上記した条件を満たしていなくてはならな
い。もし、上記の条件に当てはまらない制御変数の更新
式が１つでも存在する場合は、ｗｈｉｌｅループ２１は
変換の対象からはずされ、中間ファイル３にそのまま書
き出される。
【００１８】ループ構造変換部１５は、繰り返し条件判
定部１２が繰り返し条件式のパターンに合致していると
判定した繰り返し条件式２１１と、制御変数抽出部１３
が抽出した制御変数と、増分式判定部１４が増分式であ
ると判定した更新式２１２とに基づいて、ｗｈｉｌｅル
ープ２１をｆｏｒループ３１，終値の計算式３１３，増
分値の計算式３１４に変換し、それを中間ファイル３に
書き出す。
定部１２が繰り返し条件式のパターンに合致していると
判定した繰り返し条件式２１１と、制御変数抽出部１３
が抽出した制御変数と、増分式判定部１４が増分式であ
ると判定した更新式２１２とに基づいて、ｗｈｉｌｅル
ープ２１をｆｏｒループ３１，終値の計算式３１３，増
分値の計算式３１４に変換し、それを中間ファイル３に
書き出す。
【００１９】Ｃ言語によるｆｏｒループの記述は、ＦＯ
ＲＴＲＡＮ言語のＤＯループに比べて記述の自由度が高
く、ＤＯループのように制御変数の値域によってループ
が繰り返されるもの以外にも様々なループを記述でき
る。しかし、このようなループでは、ループの繰り返し
数が不明となり、ベクトル化，並列化といった最適化を
行えなくなってしまう。そこで、ｆｏｒループ３１は、
ＤＯループと同様に制御変数を用いてループを構成し、
その初期値，終値，増分値が明確になるようにする。
ＲＴＲＡＮ言語のＤＯループに比べて記述の自由度が高
く、ＤＯループのように制御変数の値域によってループ
が繰り返されるもの以外にも様々なループを記述でき
る。しかし、このようなループでは、ループの繰り返し
数が不明となり、ベクトル化，並列化といった最適化を
行えなくなってしまう。そこで、ｆｏｒループ３１は、
ＤＯループと同様に制御変数を用いてループを構成し、
その初期値，終値，増分値が明確になるようにする。
【００２０】変換後のｆｏｒループ３１に用いる制御変
数は、元のｗｈｉｌｅループとは異なるｆｏｒループの
制御変数を用いる。元のｗｈｉｌｅループに使われてい
た制御変数は、ｆｏｒループの制御変数のインダクショ
ン変数（ループの制御変数の、ループの繰り返し毎の増
加或いは減少に比例して増加減少する変数で、制御変数
の一次式で表される）となる。
数は、元のｗｈｉｌｅループとは異なるｆｏｒループの
制御変数を用いる。元のｗｈｉｌｅループに使われてい
た制御変数は、ｆｏｒループの制御変数のインダクショ
ン変数（ループの制御変数の、ループの繰り返し毎の増
加或いは減少に比例して増加減少する変数で、制御変数
の一次式で表される）となる。
【００２１】ｆｏｒループに与える第１式３１１１，第
２式３１１２，第３式３１１３は、次のようになる。
２式３１１２，第３式３１１３は、次のようになる。
【００２２】第１式３１１１は、ｆｏｒループの制御変
数に対して初期値を与える初期化式であり、ループの入
口で１回だけ実行される。
数に対して初期値を与える初期化式であり、ループの入
口で１回だけ実行される。
【００２３】第２式３１１２は、ｆｏｒループの繰り返
し条件式で、ループが繰り返される度に評価され、評価
結果が偽になると、ループは終了する。ここでは、ｆｏ
ｒループの制御変数が、終値に達したかどうかを評価す
る式を与える。
し条件式で、ループが繰り返される度に評価され、評価
結果が偽になると、ループは終了する。ここでは、ｆｏ
ｒループの制御変数が、終値に達したかどうかを評価す
る式を与える。
【００２４】第３式３１１３は、ｆｏｒループの増分式
で、ループの繰り返し毎にｆｏｒループの制御変数を一
定の値だけ増加或いは減少させる。
で、ループの繰り返し毎にｆｏｒループの制御変数を一
定の値だけ増加或いは減少させる。
【００２５】更に、それぞれの式について詳しく説明す
る。
る。
【００２６】第１式（初期化式）３１１１：
【００２７】ｆｏｒループの制御変数に対して初期値を
与える式であり、元のｗｈｉｌｅループに於いてループ
に入る直前でｗｈｉｌｅループの制御変数に保持されて
いた値を初期値とするものである。つまり、第１式３１
１１は、下記（Ａ）のようになる。
与える式であり、元のｗｈｉｌｅループに於いてループ
に入る直前でｗｈｉｌｅループの制御変数に保持されて
いた値を初期値とするものである。つまり、第１式３１
１１は、下記（Ａ）のようになる。
【００２８】 ｆｏｒループの制御変数＝ｗｈｉｌｅループの制御変数 … （Ａ）
【００２９】第２式（繰り返し条件式）３１１２：
【００３０】ｗｈｉｌｅループの繰り返し条件式２１１
中のある制御変数を条件式の左辺に移項し、それ以外の
ループ内で一定の値をとる変数，定数を右辺に移項し、
下記（Ｂ）に示すように変形する。
中のある制御変数を条件式の左辺に移項し、それ以外の
ループ内で一定の値をとる変数，定数を右辺に移項し、
下記（Ｂ）に示すように変形する。
【００３１】 ｗｈｉｌｅループ 比較条件子 ループ内不変式 … （Ｂ）
【００３２】ここで、ループ内不変式は、ループの内部
で常に一定の値をとるので、ループの繰り返し毎に計算
されるのでは効率が悪い。そこで、ループ内不変式中に
変数を含む場合には、不変式のとる値を終値とし、終値
の計算式３１３を下記（Ｃ）に示すものとおいて、この
式をｆｏｒループの前で予め計算しておく。
で常に一定の値をとるので、ループの繰り返し毎に計算
されるのでは効率が悪い。そこで、ループ内不変式中に
変数を含む場合には、不変式のとる値を終値とし、終値
の計算式３１３を下記（Ｃ）に示すものとおいて、この
式をｆｏｒループの前で予め計算しておく。
【００３３】終値＝ループ内不変式 … （Ｃ）
【００３４】これにより、繰り返し条件式は、下記
（Ｄ）のように書き改められる。
（Ｄ）のように書き改められる。
【００３５】 ｗｈｉｌｅループの制御変数 比較条件子 終値 … （Ｄ）
【００３６】更に、このｗｈｉｌｅループの制御変数を
ｆｏｒループの制御変数に置き換えたものを第２式３１
１２とする。つまり、第２式３１１２は下記（Ｅ）に示
すものとなる。
ｆｏｒループの制御変数に置き換えたものを第２式３１
１２とする。つまり、第２式３１１２は下記（Ｅ）に示
すものとなる。
【００３７】 ｆｏｒループの制御変数 比較条件子 終値 … （Ｅ）
【００３８】第３式（増分式）３１１３：
【００３９】先ず、元のｗｈｉｌｅループに於ける制御
変数の更新式２１２を、ｆｏｒループの制御変数を使っ
てｆｏｒループに於ける更新式３１２に書き改める。
今、元のｗｈｉｌｅループ中にｎ個の更新式２１２が存
在するものとし、それらは、次のようなパターンになっ
ていることが、増分式判定部１４で判明している。
変数の更新式２１２を、ｆｏｒループの制御変数を使っ
てｆｏｒループに於ける更新式３１２に書き改める。
今、元のｗｈｉｌｅループ中にｎ個の更新式２１２が存
在するものとし、それらは、次のようなパターンになっ
ていることが、増分式判定部１４で判明している。
【００４０】更新式〔１〕： ｗｈｉｌｅループの制御変数＝ｗｈｉｌｅループの制御
変数＋ループ内不変式〔１〕 更新式〔２〕： ｗｈｉｌｅループの制御変数＝ｗｈｉｌｅループの制御
変数＋ループ内不変式〔２〕 ： 更新式〔ｎ〕： ｗｈｉｌｅループの制御変数＝ｗｈｉｌｅループの制御
変数＋ループ内不変式〔ｎ〕
変数＋ループ内不変式〔１〕 更新式〔２〕： ｗｈｉｌｅループの制御変数＝ｗｈｉｌｅループの制御
変数＋ループ内不変式〔２〕 ： 更新式〔ｎ〕： ｗｈｉｌｅループの制御変数＝ｗｈｉｌｅループの制御
変数＋ループ内不変式〔ｎ〕
【００４１】これらの式は、ｆｏｒループの制御変数を
用いて次のように書き換えることができる。
用いて次のように書き換えることができる。
【００４２】更新式〔１〕： ｗｈｉｌｅループの制御変数＝ｆｏｒループの制御変数
＋ループ内不変式〔１〕 更新式〔２〕： ｗｈｉｌｅループの制御変数＝ｆｏｒループの制御変数
＋ループ内不変式〔１〕＋ループ内不変式〔２〕 ： 更新式〔ｎ〕： ｗｈｉｌｅループの制御変数＝ｆｏｒループの制御変数
＋ループ内不変式〔１〕＋ループ内不変式〔２〕＋…＋
ループ内不変式〔ｎ〕
＋ループ内不変式〔１〕 更新式〔２〕： ｗｈｉｌｅループの制御変数＝ｆｏｒループの制御変数
＋ループ内不変式〔１〕＋ループ内不変式〔２〕 ： 更新式〔ｎ〕： ｗｈｉｌｅループの制御変数＝ｆｏｒループの制御変数
＋ループ内不変式〔１〕＋ループ内不変式〔２〕＋…＋
ループ内不変式〔ｎ〕
【００４３】ここで、それぞれのループ内不変式は、制
御変数以外のループ内不変の変数や、定数同士の演算か
らなる式で、ループ内で常に一定の値をとる。そこで、
各増分式の、ループ内不変式のとる値を増分値とし、ｎ
個の増分値の計算式３１４をそれぞれ、 増分値〔１〕＝ループ内不変式〔１〕 増分値〔２〕＝増分値〔１〕＋ループ内不変式〔２〕 増分値〔３〕＝増分値〔２〕＋ループ内不変式〔３〕 ： 増分値〔ｎ〕＝増分値〔ｎ−１〕＋ループ内不変式
〔ｎ〕 とおいて、これらの式をｆｏｒループの前で予め計算し
ておく。この増分値を使って更新式を書き直すことによ
り、ｆｏｒループ内に於ける、元のｗｈｉｌｅループの
制御変数の更新式３１２が得られる。
御変数以外のループ内不変の変数や、定数同士の演算か
らなる式で、ループ内で常に一定の値をとる。そこで、
各増分式の、ループ内不変式のとる値を増分値とし、ｎ
個の増分値の計算式３１４をそれぞれ、 増分値〔１〕＝ループ内不変式〔１〕 増分値〔２〕＝増分値〔１〕＋ループ内不変式〔２〕 増分値〔３〕＝増分値〔２〕＋ループ内不変式〔３〕 ： 増分値〔ｎ〕＝増分値〔ｎ−１〕＋ループ内不変式
〔ｎ〕 とおいて、これらの式をｆｏｒループの前で予め計算し
ておく。この増分値を使って更新式を書き直すことによ
り、ｆｏｒループ内に於ける、元のｗｈｉｌｅループの
制御変数の更新式３１２が得られる。
【００４４】更新式〔１〕： ｗｈｉｌｅループの制御変数＝ｆｏｒループの制御変数
＋増分値〔１〕 更新式〔２〕： ｗｈｉｌｅループの制御変数＝ｆｏｒループの制御変数
＋増分値〔２〕 更新式〔３〕： ｗｈｉｌｅループの制御変数＝ｆｏｒループの制御変数
＋増分値〔３〕 ： 更新式〔ｎ〕： ｗｈｉｌｅループの制御変数＝ｆｏｒループの制御変数
＋増分値〔ｎ〕
＋増分値〔１〕 更新式〔２〕： ｗｈｉｌｅループの制御変数＝ｆｏｒループの制御変数
＋増分値〔２〕 更新式〔３〕： ｗｈｉｌｅループの制御変数＝ｆｏｒループの制御変数
＋増分値〔３〕 ： 更新式〔ｎ〕： ｗｈｉｌｅループの制御変数＝ｆｏｒループの制御変数
＋増分値〔ｎ〕
【００４５】以上は、元のｗｈｉｌｅループの制御変数
の更新式の変形である。次に、ｆｏｒループの制御変数
に対する増分式（第３式）３１１３であるが、これは、
増分値〔ｎ〕を用いて下記（Ｆ）のように表される
の更新式の変形である。次に、ｆｏｒループの制御変数
に対する増分式（第３式）３１１３であるが、これは、
増分値〔ｎ〕を用いて下記（Ｆ）のように表される
【００４６】 ｆｏｒループの制御変数＝ｆｏｒの制御変数＋増分値〔ｎ〕 … （Ｆ）
【００４７】以上で、ｗｈｉｌｅループ２１は、ｆｏｒ
ループ３１，終値の計算式３１３，増分値の計算式３１
４へと変換される。
ループ３１，終値の計算式３１３，増分値の計算式３１
４へと変換される。
【００４８】次に、本発明の実施例について説明する。
【００４９】図１に於いて、ループ構造解析部１１は、
読み込んだソースファイル２からｗｈｉｌｅループの記
述を探し出す。図４はループ構造解析部１１が探し出し
たｗｈｉｌｅループ４の一例を示した図である。尚、ｗ
ｈｉｌｅループ以外の記述は、そのまま中間ファイル３
に書き出される。
読み込んだソースファイル２からｗｈｉｌｅループの記
述を探し出す。図４はループ構造解析部１１が探し出し
たｗｈｉｌｅループ４の一例を示した図である。尚、ｗ
ｈｉｌｅループ以外の記述は、そのまま中間ファイル３
に書き出される。
【００５０】繰り返し条件判定部１２は、ループ構造解
析部１１が探し出した、図４に示すｗｈｉｌｅループ４
中の繰り返し条件式４１が、図２に示した繰り返し条件
式のパターンに合致するかどうかを試験する。この例の
繰り返し条件式４１は、図２のパターンに合致してい
る。
析部１１が探し出した、図４に示すｗｈｉｌｅループ４
中の繰り返し条件式４１が、図２に示した繰り返し条件
式のパターンに合致するかどうかを試験する。この例の
繰り返し条件式４１は、図２のパターンに合致してい
る。
【００５１】制御変数抽出部１３は、繰り返し条件式４
１中に現れる変数の中から、制御変数となるものを探し
出す。この例の場合、繰り返し条件式４１中に現れる変
数は、ｉ，ｊ，ｋの３つである。この内、ループの中で
更新されているものがただ１つであれば、その変数が制
御変数となる可能性がある。ここで、制御変数抽出部１
３は、変数ｉが唯一ループ内で更新されており、変数
ｊ，ｋの更新は無いことから、変数ｉを制御変数として
抽出する。
１中に現れる変数の中から、制御変数となるものを探し
出す。この例の場合、繰り返し条件式４１中に現れる変
数は、ｉ，ｊ，ｋの３つである。この内、ループの中で
更新されているものがただ１つであれば、その変数が制
御変数となる可能性がある。ここで、制御変数抽出部１
３は、変数ｉが唯一ループ内で更新されており、変数
ｊ，ｋの更新は無いことから、変数ｉを制御変数として
抽出する。
【００５２】次に増分式判定部１４に於いて、変数ｉの
更新式４２１，４２２，４２３が増分式であるかどうか
を試験する。これらの更新式は、図３に示す増分式のパ
ターンに合致してしなければならない。また、更新式中
に現れるループ内不変式は変数，定数同士の演算で構成
されるが、ループ内では常に一定の値とならねばならな
い。ループ内の３箇所に現れる更新式４２１，４２２，
４２３中には、ｉ以外にもｍ，ｎの２つの変数が存在す
るが、これら２つの変数ｍ，ｎは、ループ内部で更新さ
れることはなく、常に一定の値をとる。このため、３つ
の更新式４２１，４２２，４２３は、どれも図３の増分
式のパターンに合致しており、増分式である。
更新式４２１，４２２，４２３が増分式であるかどうか
を試験する。これらの更新式は、図３に示す増分式のパ
ターンに合致してしなければならない。また、更新式中
に現れるループ内不変式は変数，定数同士の演算で構成
されるが、ループ内では常に一定の値とならねばならな
い。ループ内の３箇所に現れる更新式４２１，４２２，
４２３中には、ｉ以外にもｍ，ｎの２つの変数が存在す
るが、これら２つの変数ｍ，ｎは、ループ内部で更新さ
れることはなく、常に一定の値をとる。このため、３つ
の更新式４２１，４２２，４２３は、どれも図３の増分
式のパターンに合致しており、増分式である。
【００５３】ループ構造変換部１５は、図４のｗｈｉｌ
ｅループ４を図５のｆｏｒループ５，終値の計算式５
３，増分値の計算式５４１，５４２，５４３に変換す
る。ｆｏｒループ５には、ｗｈｉｌｅループ４の制御変
数ｉとは異なったｆｏｒループ用の制御変数を用いる。
ここでは、そのｆｏｒループ用の制御変数をＩＮＤＸと
する。ｆｏｒループ５に与える第１式５１１，第２式５
１２，第３式５１３はそれぞれ次のように導かれる。
ｅループ４を図５のｆｏｒループ５，終値の計算式５
３，増分値の計算式５４１，５４２，５４３に変換す
る。ｆｏｒループ５には、ｗｈｉｌｅループ４の制御変
数ｉとは異なったｆｏｒループ用の制御変数を用いる。
ここでは、そのｆｏｒループ用の制御変数をＩＮＤＸと
する。ｆｏｒループ５に与える第１式５１１，第２式５
１２，第３式５１３はそれぞれ次のように導かれる。
【００５４】第１式（初期化式）５１１：
【００５５】ｆｏｒループの制御変数ＩＮＤＸを初期化
する式で、元のｗｈｉｌｅループの入口に於ける変数ｉ
の値を制御変数ＩＮＤＸに与える。従って、ｆｏｒルー
プの第１式５１１は、下記（Ｇ）に示すものとなる。
する式で、元のｗｈｉｌｅループの入口に於ける変数ｉ
の値を制御変数ＩＮＤＸに与える。従って、ｆｏｒルー
プの第１式５１１は、下記（Ｇ）に示すものとなる。
【００５６】ＩＮＤＸ＝ｉ … （Ｇ）
【００５７】第２式（繰り返し条件式）５１２：
【００５８】図４のｗｈｉｌｅループ４の繰り返し条件
式４１は、 ３＋ｋ＞ｊ＋ｉ であり、制御変数ｉを繰り返し条件式の左辺に移項し、
それ以外のループ内で一定の値をとる変数，定数を右辺
に集めると、 ｉ＜３＋ｋ−ｊ となる。ここで、この繰り返し条件式の右辺の３＋ｋ−
ｊは、ループ内で不変式であるから、ループの外に追い
出すことができる。そこで、終値をＴＥＲＭとすると、
終値の計算式５３は、 ＴＥＲＭ＝３＋ｋ−ｊ となる。この式をｆｏｒループに入る直前で計算してお
く。更に、このＴＥＲＭを使って、繰り返し条件式を、 ｉ＜ＴＥＲＭ とし、このｗｈｉｌｅループの制御変数ｉをｆｏｒルー
プの制御変数ＩＮＤＸで置き換えると、 ＩＮＤＸ＜ＴＥＲＭ が得られる。これが、ｆｏｒループ５の第２式５１２と
なる。
式４１は、 ３＋ｋ＞ｊ＋ｉ であり、制御変数ｉを繰り返し条件式の左辺に移項し、
それ以外のループ内で一定の値をとる変数，定数を右辺
に集めると、 ｉ＜３＋ｋ−ｊ となる。ここで、この繰り返し条件式の右辺の３＋ｋ−
ｊは、ループ内で不変式であるから、ループの外に追い
出すことができる。そこで、終値をＴＥＲＭとすると、
終値の計算式５３は、 ＴＥＲＭ＝３＋ｋ−ｊ となる。この式をｆｏｒループに入る直前で計算してお
く。更に、このＴＥＲＭを使って、繰り返し条件式を、 ｉ＜ＴＥＲＭ とし、このｗｈｉｌｅループの制御変数ｉをｆｏｒルー
プの制御変数ＩＮＤＸで置き換えると、 ＩＮＤＸ＜ＴＥＲＭ が得られる。これが、ｆｏｒループ５の第２式５１２と
なる。
【００５９】第３式（増分式）５１３：
【００６０】先ず、元のｗｈｉｌｅループ４の制御変数
の更新式４２１，４２２，４２３を、ｆｏｒループの制
御変数ＩＮＤＸを用いて書き直す。
の更新式４２１，４２２，４２３を、ｆｏｒループの制
御変数ＩＮＤＸを用いて書き直す。
【００６１】元のｗｈｉｌｅループ４には、実行される
順に、 更新式〔１〕… ｉ＝ｉ＋ｎ＋１ …（４２１） 更新式〔２〕… ｉ＝ｉ＋ｍ …（４２２） 更新式〔３〕… ｉ＝ｉ＋１ …（４２３） の３つの更新式４２１，４２２，４２３が存在する。こ
れらをｆｏｒループの制御変数ＩＮＤＸを使って書き直
すと、下記のようになる。
順に、 更新式〔１〕… ｉ＝ｉ＋ｎ＋１ …（４２１） 更新式〔２〕… ｉ＝ｉ＋ｍ …（４２２） 更新式〔３〕… ｉ＝ｉ＋１ …（４２３） の３つの更新式４２１，４２２，４２３が存在する。こ
れらをｆｏｒループの制御変数ＩＮＤＸを使って書き直
すと、下記のようになる。
【００６２】更新式〔１〕… ｉ＝ＩＮＤＸ＋ｎ＋１ 更新式〔２〕… ｉ＝ＩＮＤＸ＋ｎ＋１＋ｍ 更新式〔３〕… ｉ＝ＩＮＤＸ＋ｎ＋１＋ｍ＋１
【００６３】ここで、それぞれの増分式のループ内不変
式を増分値としてまとめる。増分値をＩＮＣＲ１，ＩＮ
ＣＲ２，ＩＮＣＲ３とすると、 増分値〔１〕… ＩＮＣＲ１＝ｎ＋１ …（５４１） 増分値〔２〕… ＩＮＣＲ２＝ＩＮＣＲ１＋ｍ …（５４２） 増分値〔３〕… ＩＮＣＲ３＝ＩＮＣＲ２＋１ …（５４３） となる。これらの式５４１，５４２，５４３は、ｆｏｒ
ループの直前で計算しておく。
式を増分値としてまとめる。増分値をＩＮＣＲ１，ＩＮ
ＣＲ２，ＩＮＣＲ３とすると、 増分値〔１〕… ＩＮＣＲ１＝ｎ＋１ …（５４１） 増分値〔２〕… ＩＮＣＲ２＝ＩＮＣＲ１＋ｍ …（５４２） 増分値〔３〕… ＩＮＣＲ３＝ＩＮＣＲ２＋１ …（５４３） となる。これらの式５４１，５４２，５４３は、ｆｏｒ
ループの直前で計算しておく。
【００６４】これらの増分値を使って更新式を書き直す
と、 更新式〔１〕… ｉ＝ＩＮＤＸ＋ＩＮＣＲ１ …（５２１） 更新式〔２〕… ｉ＝ＩＮＤＸ＋ＩＮＣＲ２ …（５２２） 更新式〔３〕… ｉ＝ＩＮＤＸ＋ＩＮＣＲ３ …（５２３） が得られる。これらの更新式が、ｆｏｒループ５に於け
る、元のｗｈｉｌｅループの制御変数ｉの更新式５２
１，５２２，５２３となる。
と、 更新式〔１〕… ｉ＝ＩＮＤＸ＋ＩＮＣＲ１ …（５２１） 更新式〔２〕… ｉ＝ＩＮＤＸ＋ＩＮＣＲ２ …（５２２） 更新式〔３〕… ｉ＝ＩＮＤＸ＋ＩＮＣＲ３ …（５２３） が得られる。これらの更新式が、ｆｏｒループ５に於け
る、元のｗｈｉｌｅループの制御変数ｉの更新式５２
１，５２２，５２３となる。
【００６５】次に、ｆｏｒループ５の第３式（増分式）
であるが、その増分値は、増分値ＩＮＣＲ３を用いて、 ＩＮＤＸ＝ＩＮＤＸ＋ＩＮＣＲ３ …（５１３） となる。以上で、図４のｗｈｉｌｅループ４は、図５の
ｆｏｒループ５へと変換される。
であるが、その増分値は、増分値ＩＮＣＲ３を用いて、 ＩＮＤＸ＝ＩＮＤＸ＋ＩＮＣＲ３ …（５１３） となる。以上で、図４のｗｈｉｌｅループ４は、図５の
ｆｏｒループ５へと変換される。
【００６６】この変換されたループを含む中間ファイル
３を既存のベクトル化，或いは並列化コンパイラに与え
ることによって、ループのベクトル化或いは並列化が可
能になる。
３を既存のベクトル化，或いは並列化コンパイラに与え
ることによって、ループのベクトル化或いは並列化が可
能になる。
【００６７】
【発明の効果】以上説明したように、本発明によれば、
次のような効果がある。
次のような効果がある。
【００６８】第１の効果は、繰り返し数を求めることが
困難であったｗｈｉｌｅループをベクトル化等の並列化
の対象にすることができることである。その理由は、ｆ
ｏｒループの繰り返し条件式に相当する式しか持たない
ｗｈｉｌｅループを、初期化式，繰り返し条件式，増分
式を含み、従来の技術で繰り返し数を求めることができ
るｆｏｒループに変換するループ構造変換部を備えてい
るからである。
困難であったｗｈｉｌｅループをベクトル化等の並列化
の対象にすることができることである。その理由は、ｆ
ｏｒループの繰り返し条件式に相当する式しか持たない
ｗｈｉｌｅループを、初期化式，繰り返し条件式，増分
式を含み、従来の技術で繰り返し数を求めることができ
るｆｏｒループに変換するループ構造変換部を備えてい
るからである。
【００６９】第２の効果は、ループ内の複数箇所に制御
変数を更新する更新式が組み込まれているｗｈｉｌｅル
ープであっても、ベクトル化等の並列化の対象にするこ
とができることである。その理由は、ｆｏｒループの増
分式を、ｗｈｉｌｅループ中に制御変数に対する更新式
が複数含まれている場合は、上記複数の更新式それぞれ
に於ける、制御変数を増加或いは減少させる値の合計値
だけｆｏｒループの制御変数を増加或いは減少させる式
としたからである。
変数を更新する更新式が組み込まれているｗｈｉｌｅル
ープであっても、ベクトル化等の並列化の対象にするこ
とができることである。その理由は、ｆｏｒループの増
分式を、ｗｈｉｌｅループ中に制御変数に対する更新式
が複数含まれている場合は、上記複数の更新式それぞれ
に於ける、制御変数を増加或いは減少させる値の合計値
だけｆｏｒループの制御変数を増加或いは減少させる式
としたからである。
【００７０】第３の効果は、仮に変換対象となるｗｈｉ
ｌｅループが、その実行文中にベクトル化等の並列化に
不向きな実行文を含むものであり、ｆｏｒループに変換
しても上記実行文のためにベクトル化等が不可能であ
り、スカラでしか実行できないものであったとしても、
元のｗｈｉｌｅループのままスラカで実行するより高速
に実行されることである。その理由は、元のｗｈｉｌｅ
ループに於けるループ内不変式をｆｏｒループの直前に
組み込むようにしており、ｆｏｒループ中の繰り返し条
件式や増分式が、元のｗｈｉｌｅループより簡潔なもの
になるためであり、たとえ、ｆｏｒループをスカラによ
り実行しなくてはならない場合であっても元のｗｈｉｌ
ｅループをスラカにより実行する場合よりも高速にな
る。
ｌｅループが、その実行文中にベクトル化等の並列化に
不向きな実行文を含むものであり、ｆｏｒループに変換
しても上記実行文のためにベクトル化等が不可能であ
り、スカラでしか実行できないものであったとしても、
元のｗｈｉｌｅループのままスラカで実行するより高速
に実行されることである。その理由は、元のｗｈｉｌｅ
ループに於けるループ内不変式をｆｏｒループの直前に
組み込むようにしており、ｆｏｒループ中の繰り返し条
件式や増分式が、元のｗｈｉｌｅループより簡潔なもの
になるためであり、たとえ、ｆｏｒループをスカラによ
り実行しなくてはならない場合であっても元のｗｈｉｌ
ｅループをスラカにより実行する場合よりも高速にな
る。
【図１】本発明の実施例のブロック図である。
【図２】繰り返し条件式のパターンを示す図である。
【図３】増分式のパターンを示す図である。
【図４】ｗｈｉｌｅループの一例を示す図である。
【図５】変換後のｆｏｒループの一例を示す図である。
１…ループ構造変換装置 １１…ループ構造解析部 １２…繰り返し条件判定部 １３…制御変数抽出部 １４…増分式判定部 １５…ループ構造変換部 ２…ソースファイル ２１…ｗｈｉｌｅループ ２１１…繰り返し条件式 ２１２…更新式 ３…中間ファイル ３１…ｆｏｒループ ３１１１…第１式（初期化式） ３１１２…第２式（繰り返し条件式） ３１１３…第３式（増分式） ３１２…更新式 ３１３…終値の計算式 ３１４…増分値の計算式 ４…ｗｈｉｌｅループ ４１…繰り返し条件式 ４２１，４２２，４２３…更新式 ５…ｆｏｒループ ５１１…第１式（初期化式） ５１２…第２式（繰り返し条件式） ５１３…第３式（増分式） ５２１，５２２，５２３…更新式 ５３…終値の計算式 ５４１，５４２，５４３…終値の計算式
フロントページの続き (56)参考文献 特開 平７−141328（ＪＰ，Ａ) 特開 平５−303499（ＪＰ，Ａ) 特開 平５−189244（ＪＰ，Ａ) 特開 平４−215132（ＪＰ，Ａ) Ｒ．Ａｌｌｅｎ他，”Ｃｏｍｐｉｌｉ ｎｇ Ｃ ｆｏｒ Ｖｅｃｔｏｒｉｚａ ｔｉｏｎ，Ｐａｒａｌｌｅｌｉｚａｔｉ ｏｎ，ａｎｄ Ｉｎｌｉｎｅ Ｅｘｐａ ｎｓｉｏｎ”，ＡＣＭ ＳＩＧＰＬＡＮ Ｎｏｔｉｃｅｓ，1988，Ｖｏｌ．23, Ｎｏ．７，ｐ241−249 情報処理学会第45回（平成４年後期) 全国大会講演論文集，ｐ．５−51〜５− 52 (58)調査した分野(Int.Cl.7，ＤＢ名) G06F 9/45
Claims (3)
- 【請求項１】 ソースファイルからｗｈｉｌｅループを
抽出するループ構造解析部と、 該ループ構造解析部が抽出したｗｈｉｌｅループを、初
期化式と繰り返し条件式と増分式と前記ｗｈｉｌｅルー
プ中の制御変数に対する更新式と対応する更新式とを含
むｆｏｒループであって、前記初期化式として前記ｗｈ
ｉｌｅループの制御変数がループに入る直前に保持して
いた値を、前記ｗｈｉｌｅループの制御変数とは異なる
前記ｆｏｒループの制御変数の初期値にする式を含み、
前記繰り返し条件式として前記ｆｏｒループの制御変数
が前記ｗｈｉｌｅループの繰り返し条件式によって定ま
る終値に達したか否かを判定する式を含み、前記増分式
として前記ｗｈｉｌｅループ中に制御変数に対する更新
式が複数含まれている場合は、該複数の更新式それぞれ
に於ける、制御変数を増加或いは減少させる値の合計値
だけ前記ｆｏｒループの制御変数を増加或いは減少させ
る式を含み、前記ｗｈｉｌｅループ中の制御変数に対す
る更新式と対応する更新式として前記ｗｈｉｌｅループ
の制御変数を前記ｆｏｒループの制御変数のインダクシ
ョン変数とする式を含むｆｏｒループに変換するループ
構造変換部とを備えたことを特徴とするｗｈｉｌｅルー
プ構造変換装置。 - 【請求項２】 前記ループ構造変換部は、前記ｗｈｉｌ
ｅループ中のループ内不変式を前記ｆｏｒループの直前
に組み込む構成を備えたことを特徴とする請求項１記載
のｗｈｉｌｅループ構造変換装置。 - 【請求項３】 前記ループ構造解析部が抽出したｗｈｉ
ｌｅループ中の繰り返し条件式に比較条件子が含まれて
いるか否かを判定する繰り返し条件判定部と、 該繰り返し条件判定部で比較条件子が含まれていると判
定された繰り返し条件式から前記ｗｈｉｌｅループ制御
変数を抽出する制御変数抽出部と、 該制御変数抽出部が抽出したｗｈｉｌｅループの制御変
数に対する全ての更新式が増分式のパターンに合致する
か否かを判定する増分式判定部とを備え、 前記ループ構造変換部は、前記増分式判定部で全ての更
新式が増分式のパターンに合致すると判定されたｗｈｉ
ｌｅループのみを処理対象にする構成を備えたことを特
徴とする請求項２記載のｗｈｉｌｅループ構造変換装
置。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP11121796A JP3235462B2 (ja) | 1996-04-08 | 1996-04-08 | ｗｈｉｌｅループ構造変換装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP11121796A JP3235462B2 (ja) | 1996-04-08 | 1996-04-08 | ｗｈｉｌｅループ構造変換装置 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH09282171A JPH09282171A (ja) | 1997-10-31 |
| JP3235462B2 true JP3235462B2 (ja) | 2001-12-04 |
Family
ID=14555503
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP11121796A Expired - Fee Related JP3235462B2 (ja) | 1996-04-08 | 1996-04-08 | ｗｈｉｌｅループ構造変換装置 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP3235462B2 (ja) |
Families Citing this family (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP5038760B2 (ja) * | 2007-03-28 | 2012-10-03 | 株式会社東芝 | ソースコード変換装置及びソースコード変換方法 |
-
1996
- 1996-04-08 JP JP11121796A patent/JP3235462B2/ja not_active Expired - Fee Related
Non-Patent Citations (2)
| Title |
|---|
| Ｒ．Ａｌｌｅｎ他，"Ｃｏｍｐｉｌｉｎｇ Ｃ ｆｏｒ Ｖｅｃｔｏｒｉｚａｔｉｏｎ，Ｐａｒａｌｌｅｌｉｚａｔｉｏｎ，ａｎｄ Ｉｎｌｉｎｅ Ｅｘｐａｎｓｉｏｎ"，ＡＣＭ ＳＩＧＰＬＡＮ Ｎｏｔｉｃｅｓ，１９８８，Ｖｏｌ．２３，Ｎｏ．７，ｐ２４１−２４９ |
| 情報処理学会第４５回（平成４年後期）全国大会講演論文集，ｐ．５−５１〜５−５２ |
Also Published As
| Publication number | Publication date |
|---|---|
| JPH09282171A (ja) | 1997-10-31 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| EP0533813B1 (en) | Method for representing scalar data dependencies for an optimizing compiler | |
| Wang et al. | Bmat-a binary matching tool for stale profile propagation | |
| Balazinska et al. | Advanced clone-analysis to support object-oriented system refactoring | |
| US4773007A (en) | Complier code optimization method for a source program having a first and second array definition and use statements in a loop | |
| EP0669574A2 (en) | Program transformation processing system and method | |
| US5109331A (en) | Compiling a source program by analyzing a subscript of an array included in a loop processing of a computer | |
| JPH0814817B2 (ja) | 自動ベクトル化方法 | |
| US5067068A (en) | Method for converting an iterative loop of a source program into parellelly executable object program portions | |
| US5790859A (en) | Method of, system for, and computer program product for efficient identification of private variables in program loops by an optimizing compiler | |
| JP2004288163A (ja) | 代入ステートメントのリダクション変数の検出方法、システムおよびプログラム製品 | |
| CN112948828A (zh) | 一种二进制程序恶意代码检测方法、终端设备及存储介质 | |
| US5522074A (en) | Vectorization system for vectorizing loop containing condition induction variables | |
| US6282704B1 (en) | Method for analyzing array summary for loop including loop exit statement | |
| JP3235462B2 (ja) | ｗｈｉｌｅループ構造変換装置 | |
| Arutunian et al. | A method to evaluate binary code comparison tools | |
| CN114969446B (zh) | 一种基于敏感度模型的分组混合精度配置方案搜索方法 | |
| US9274929B2 (en) | Constraint derivation in context following for use with object code insertion | |
| JP3032030B2 (ja) | ループ最適化方法及び装置 | |
| JP3028821B2 (ja) | 並列化コンパイル方法 | |
| EP0423597A2 (en) | Cross iteration common sub-expression elimination | |
| JP3311774B2 (ja) | コンパイラ装置 | |
| JP2801193B2 (ja) | インダクション変数のベクトル化処理装置 | |
| JP3311775B2 (ja) | ポインタベクトル化方式 | |
| US20020038452A1 (en) | Constant bit folding and propagation | |
| JPS6367676A (ja) | 一般ル−プベクトル化処理方式 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20080928 Year of fee payment: 7 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20080928 Year of fee payment: 7 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20090928 Year of fee payment: 8 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20090928 Year of fee payment: 8 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20100928 Year of fee payment: 9 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20110928 Year of fee payment: 10 |
|
| LAPS | Cancellation because of no payment of annual fees |