構造化プログラムに対する静的単一代入形式の生成アルゴリズム

• Item type: Trans(1)
• 公開日: 2007-03-15
• タイトル: 構造化プログラムに対する静的単一代入形式の生成アルゴリズム
• タイトル / 言語: en
• タイトル: A Practical Algorithm of Computing Static Single Assignment Form for Structured Programs
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 発表概要
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 広島市立大学
• 著者所属: 広島市立大学
• 著者所属(英): en
• 著者所属(英): Hiroshima City University
• 著者所属(英): en
• 著者所属(英): Hiroshima City University
• 著者名: 窪田, 昌史; 北村, 俊明
• 著者名(英): Atsushi, Kubota; Toshiaki, Kitamura
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 静的単一代入形式（SSA形式）は，最適化などに適したコンパイラの中間表現形式である．SSA形式を生成するアルゴリズムとしては，Cytronらによって提案された支配木，支配辺境などを用いる手法がよく知られているが，複数パスを必要とする．一方，構造化プログラムに対してはBrandisらによって1パスで構文解析と同時にSSA形式を求めるアルゴリズムが提案されているが，Brandisらは多重ループの扱いなどを明確に示していない．本発表では，多重ループの扱いなどを考慮した，構造化プログラムに対するSSA形式を求めるアルゴリズムについて述べる．また，このアルゴリズムを実装し，いくつかのFortranで記述されたベンチマークプログラムに適用した結果についても示す．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Static single assignment form (SSA form) is an intermediate representation in compilers suitable for several optimizations. The algorithm of computing SSA form proposed by Cytron, et al. is well known where dominator trees, dominance frontiers and other data structures are computed in multiple passes. On the other hand, Brandis, et al.proposed the single-pass algorithm of generating SSA form for structured programs. However, they do not show the detailed algorithm for nested loops. In this presentation, we show a simple algorithm of generating SSA forms for structred programs with nested loops. We implemented the algorithm and applied to several benchmark programs in Fortran.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 48, 号 SIG4(PRO32), p. 74-74, 発行日 2007-03-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会