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

Kaito Tokumori
July 16, 2013

研究背景と目的

比較的歴史の古い言語であるCは普及率が高く多くのシステムに用いられている。そのCの問題のひとつに関数呼び出しの際のオーバーヘッドが大きいというものがある。当研究室ではこれらの問題に取り組むためにCountinuation based C (CbC)という言語の開発を行なっている。CbCはCの関数呼び出しやループ制御の代わりに継続を用いて制御を行うもので、Cの下位言語に当たる。本研究ではmicro-c,GCC版に次ぐLLVMベースのCbCコンパイラ開発を行う。

今週の課題

• 研究目的をゼミ用に小さくする
• goto cs()のときtail call eliminationが行われるよう条件を満たさせる

llvm Typeに__codeを認識させる

• clangのもつ***Tyとは別にllvm側にも***Typeあってそっちがvoidになってた。
• flagをつけて__codeの時はそれで判別するようにした。

TailCallElim

• とりあえず通してただけなので、flagをつけて-O2によって呼ばれてないときは__codeのみ触るようにした。
• Alloca除去のためにSROAも。
• これでやっとスタート(まだcallが残ってる)
• factorialだとprint_factorialがcall。なぜかreturnで終わってるかどうかのところでひっかかてる。
• 普通に入れてもだめ。