変数の値域解析およびその結果を用いたデータ依存関係解析

使用结果进行变量范围分析和数据依赖性分析

• 批准号: 05780241
• 负责人: 國枝 義敏
• 金额: $ 0.58万
• 依托单位: Kyoto University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1993
• 资助国家: 日本
• 起止时间: 1993 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-05780241/
• 关键词: 変数値域解析; 最適化; コンパイラ; ベクトル化; 並列化; 依存関係解析; フロー解析; ガード式

本研究の目的は、配列添字式やループ上下限式中に、未知のループ不変変数(記号定数)が出現した場合、1)記号定数に関する値域情報を、対象プログラム全域(複数の定数伝播、配列宣言の寸法、if文の条件節,forループの上下限等)から抽出し、添字解析に利用できるようにすること。2)上記の値域情報を利用する新しい添字解析法を確立すること。の2点である。研究代表者の所属する京都大学工学部情報工学科津田研究室では、既に自動ベクトル化コンパイラV-Pascalを開発し、その一部として依存関係解析部も独自のアルゴリズムを実現している。本研究では、まず、このコンパイラのデータフロー解析部を、変数の値域情報を抽出できるよう改良した。そのアルゴリズムとしては、通常のデータフロー解析と同様に制御の流れに沿って、値域情報を伝搬させることを繰り返すことにより、派生的に判明する値域情報も網羅的に確定させるものである。このとき、条件分岐の影響を厳密に反映するように、条件分岐の条件節から得られるガード式を、値域情報に付加している。一方、現在のデータ依存関係解析部は、既に複数の等式/不等式を扱えるデータ構造を有していることから、1)関連する記号定数の等式あるいは不等式の形の値域情報を同時に入力してくる。そして、2)静的解析が不能の場合には、依存が存在するための記号定数に関する条件式を生成すべく現在引続き開発中である。本研究で実現された値域情報抽出が、実際に依存関係解析に有効である例などを示した研究成果を情報処理学会全国大会でまず報告する(裏面、11研究発表欄記載のとおり)。 以上

In this study, the purpose of this study, the addition of words, the upper and lower limits of the upper and lower limits, the number of unknown words (fixed number of notes), the number of errors, 1) the number of records, the number of words, the global domain (plural broadcast, declaration of allocation, if conditions, upper and lower limits of for words, etc.) "extraction", word analysis "use" 2) make sure that you can use the new word analysis method to make sure that the information is correct. Two o'clock in the morning. The research representative belongs to the Tsuda Research Office of the Department of Information reporting, Department of Engineering, Kyoto University, the automation department, the V-Pascal program, and the analysis department of the research department, which is responsible for the development of information technology. The purpose of this study is to determine the accuracy of the analysis department, the number of domain information, the extraction of information, and the improvement of the information. This is not true. In general, it is necessary to analyze how to control the flow in the same way. In this way, the domain information is moved, the data is returned, and the derived domain information network is identified. Conditional bifurcation, conditional bifurcation, conditional bifurcation, On the one hand, it is necessary to analyze equations

项目成果

酒井 淳嗣 他: "精密な依存解析のための変数値域の静的予測" 第48回情報処理学会全国大会論文集. (発表予定). (1994)

Junji Sakai 等人：“用于精确依赖性分析的变量范围的静态预测”第 48 届日本信息处理学会全国会议论文集（预定报告）（1994 年）。