コンパイラ・インフラストラクチャ COINS におけるSSA形式最適化の実現
詳細
コンパイラ・インフラストラクチャCOINS の中間表現をSSA 形式に変換し，最適化を行うシステムを実現した．本システムでは，SSA 形式への変換手法を3 種類，SSA 形式から通常形式への変換手法を2 種類，およびSSA 形式上での条件分岐付定数伝播や共通部分式除去などの基本的な最適化手法を実装した．システムの機能としてはまだ基本的なものしか実装されていないが，インフラストラクチャとして，新たな手法の追加が容易で，さまざまな手法を比較することが可能である．
