CbCコンパイラのLLVM3.4上での実装

Kaito Tokumori
May 21, 2013

研究目的

　当研究室ではcode segment単位で処理を記述するContinuation based C(以下CbC)というプログラミング言語を開発している。Cからループ制御と関数コールを取り除いたもので、C言語よりも細かく、アセンブリより高級なプログラミングが可能である。

また、CbCはcode segment間の移動をcall命令でなくjmp命令で行うという特性を持っており、これにより余分なreturnを減らすことができる。これはtail call eliminationのによって実現されるので、CbCを利用することでtail call eliminationを強制し、プログラムをより最適化できるとも言える。

　現在CbCのコンパイルはMicro-C版、GCC版がある。今回の研究ではさらにllvm,clangを用いたコンパイラの実装を行う。

今週したこと

• 予約語として"__code"を認識させる
• 現時点ではとりあえず"void"と同様に扱う

"__code"の認識

• 予約語は"clang/include/clang/Basic/TokenKinds.def"で登録する。
• ここで登録すると"kw_(登録したワード)"として扱われる。parserのswitch文はこれを用いて分岐。
• "clang/lib/Parse/ParseDecl.cpp"の"Parser::ParseDeclarationSpecifiers()"
• ここで"TST_***"としてDeclSpecクラスに送られる。
• 今はここをkw_voidのときと同じ処理をするようにしてvoidとして扱っている。