静的単一代入形式を用いた最適化(発展編)(<特集>最新コンパイラ技術とCOINSによる実践)
スポンサーリンク
概要
- 論文の詳細を見る
コンパイラでは,機械語の目的コードを生成するに際して,実行させたときにその目的コードが効率良く実行できるように,様々な変換を行う.これを「最適化」という.最適化の方法としては,従来はデータフロー解析と呼ばれる方法が使われていたが,最近は静的単一代入形式というものを用いた最適化の方法が注目を浴びている.静的単一代入形式(SSA形式)は,すべての変数の使用に対して,その値を定義(代入)している場所がテキスト上1箇所しかないように変数の名前替えをした中間表現の形式である.この性質を利用することにより,いろいろな最適化が見通し良く,容易にできるようになる.これを静的単一代入形式最適化と呼ぶ.本稿(発展編)では,静的単一代入形式最適化のあらましについて,解説する.
- 2008-01-25
著者
関連論文
- プログラムスライシングに基づく関心事グラフ構築
- 属性文法に基づくテストプログラム生成器の設計と実装
- 属性文法の系統的デバッグ法
- 双方向CTLによるJava最適化器の生成
- VoIPにおける音声品質補償方式の検討
- 質問伝播に基づく投機的部分冗長除去
- 自動的等価性差分の抽出によるSSAコンパイラ最適化器の生成するコードの正しさの検証
- リサーチ9 コンパイラにおける字句解析・構文解析過程の視覚化
- コンパイラにおける構文解析過程の視覚化
- 特集「最新コンパイラ技術とCOINSによる実践」の編集にあたって