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

Kaito Tokumori
October 15, 2013

研究背景と目的

省略

先週課されたもの

• 研究目的をもうちょっとなんとか…(2回目)
• TCEが失敗したのにエラーが出なかった問題の調査と解決

TCE失敗時にエラーが出ない問題

• factorialでテストした時に、-O2だとひとつだけcallのfactorialがあった。
• code segmentのTCEチェックはtail callの条件チェック後に行っていたのにエラーが出なかった。

TCE失敗時にエラーが出ない問題(調査結果)

• 最適化によって、計算処理を全部main内で行っていた。
• print_factorialだけが使用されて、mainから直接呼び出されていた。
• アセンブリファイルに色々残っているけど実際は下のmainの部分しか通らない。
  • llvmアセンブリコードより。

factorial.ll(factorial.cをllvm assembly fileにしたもの)

factorial.ll

TCE失敗時にエラーが出ない問題、TCEされない問題

• callとなっていたprint_factorialはmainから呼ばれているのでcallなのは当然。
• code segmentからcode segmentへのgotoじゃないのでエラーが出ないのも当然。