COINSコンパイラの最適化器の時相論理による生成・検証と最適化器の高度化拡張
【研究分野】ソフトウエア
【研究キーワード】
コンパイラ / コード最適化 / 時相論理 / 静的単一代入形式 / 網羅型データフロー 解析 / 要求駆動型データフロー解析 / キャッシュ効率化 / 大域値番号付け / 最適化 / COINS / スカラー置換 / 部分冗長性除去 / 部分無用コード除去 / キャッシュ最適化 / 時相論理理 / CTL
【研究成果の概要】
COINSコンパイラの低水準中間表現に対し,双方向時相論理であるCTL-FVを用いて最適化のパターンと変換を記述し,そこからモデル検査により,C言語の最適化器を生成した.一方,通常形式上の部分冗長除去(PRE)を静的単一代入形式上で行うように変換する汎用的な手法を開発した.また,PREおよびPREに似た部分無用コード除去法の効率化と効果の向上を行い,PREの応用として,同じ配列を参照するロード命令のキャッシュヒット率を向上させる手法を実現した.
【研究代表者】
【研究分担者】 |
| 滝本 宗宏 | 東京理科大学 | 理工学部 | 准教授 | (Kakenデータベース) |
|
【研究種目】基盤研究(B)
【研究期間】2010 - 2012
【配分額】18,070千円 (直接経費: 13,900千円、間接経費: 4,170千円)