Gauche > Archives > 2011/01/23
Built on
Chaton
Search
|
Badge
|
Tools
2010/12
2011/01
2011/01/01 (20)
2011/01/02 (0)
2011/01/03 (4)
2011/01/04 (2)
2011/01/05 (4)
2011/01/06 (56)
2011/01/07 (51)
2011/01/08 (6)
2011/01/09 (13)
2011/01/10 (6)
2011/01/11 (30)
2011/01/12 (1)
2011/01/13 (31)
2011/01/14 (1)
2011/01/15 (2)
2011/01/16 (10)
2011/01/17 (5)
2011/01/18 (10)
2011/01/19 (48)
2011/01/20 (10)
2011/01/21 (1)
2011/01/22 (7)
2011/01/23 (5)
2011/01/24 (20)
2011/01/25 (10)
2011/01/26 (1)
2011/01/27 (16)
2011/01/28 (1)
2011/01/29 (0)
2011/01/30 (0)
2011/01/31 (51)
2011/02
<< 2011/01/22
Back to the chat room
2011/01/24 >>
2011/01/23 07:28:24 UTC
shiro
#
コンパイラの最適化のテスト。最適化がプログラムの意味を変えてないかどうかは入出力のチェックで可能だけど、「為されるべき最適化が為されている」ことをテストするにはどうすればいいだろう。
#
コンパイル結果のVMコードに対して特定の条件を満たしてるかどうかをチェックするしかないかな。
2011/01/23 10:30:52 UTC
okuoku
#
LLVMとかgccのテストはそういう構成ですね＞結果チェック
2011/01/23 10:31:57 UTC
shiro
#
ありがとうございます。見てみます。
2011/01/23 10:32:05 UTC
okuoku
#
https://github.com/earl/llvm-mirror/blob/master/test/Transforms/LoopDeletion/multiple-exit-conditions.ll
entry:の次の行がreturnへのブランチになってるかチェック。
<< 2011/01/22
Back to the chat room
2011/01/24 >>
Gauche > Archives > 2011/01/23