COINSを用いるためのコンパイラの自動生成の一方式

概要

論文の詳細を見る
コンパイラバックエンドの実装は,最適化や様々なCPUへの対応などを考慮に入れると多大な労力がかかる.並列化コンパイラ向け共通インフラストラクテャCOINSは,容易にコンパイラを実装するための機能を提供している.COINSは手続き型言語を念頭において設計されており,手続き型言語の基本的な構造を採り入れた高レベルの中間表現HIRやよりマシンよりの低水準中間言語LIR,およびそれらを利用するためのAPIが用意されている.一方で,オブジェクト指向言語や関数型言語に採り入れられている機能,たとえば,クロージャ,クラスと継承など,モダンな言語が持つ機能のフロントエンドを作成し,COINSの提供する機能により,バックエンドを実装するのは容易ではない.我々は,COINSを用いてより容易にモダンな言語機能を実現するために,COINSの中間表現LIRをもとに,よりバックエンドの実装に適した機能を追加した新たな中間表現MIRを考案し,そのライブラリ・処理系を関発した.中間表現MIRは,マクロによる命令系の拡張が可能であり,この命令定義では対象言語に現れるオブジェクト構造の表現を支援するための機能を利用できるようにした.また,対象言語の構造を保ったまま,自然な形でスコープの管理を行うための検索スコープの指定記法を考案し,そのための記号表を実装した.以上の機能は,我々がこれまでに研究・関発した,入力記述を用途に合わせて拡張可能とする構文解析器生成系を用いてコンパイラを実装することを念頭として開発を行った.本論文では,これらのアイデアとその機能による効果について述べる.
2007-06-15

COINSを用いるためのコンパイラの自動生成の一方式

スポンサーリンク

概要

著者

関連論文

スポンサーリンク