型推測と型伝播、定数伝播、定数畳込みを仮実装しました。なんか書いたコードが一発で動いて少し拍子抜け。
前のエントリで書いたこのコードは
{
var a = 0;
var b = false;
if(b) a = 1;
return a;
}
こう解釈されるようになりました
*entry_2 // alive
[1] _tmp@4 = AssignThisProxy() // _tmp@4 = constant type object
[2] _tmp@10 = AssignConstant() Value=void // _tmp@10 = constant void
[3] _tmp@17 = AssignConstant() Value=0 // _tmp@17 = constant 0, coalescable to id 0x01EA9608
[4] _tmp@26 = AssignConstant() Value=false // _tmp@26 = constant false
[5] if _tmp@26 then *if_true_37 else *if_pseudo_false_48
// LiveOut: _tmp@17
*if_true_37 // dead, pred: *entry_2
[6] _tmp@39 = AssignConstant() Value=1 // coalescable to id 0x01EA9608
_tmp@77 = _tmp@39 // coalescable to id 0x01EA9568
[7] goto *if_exit_53
// LiveOut: _tmp@77, _tmp@39
*if_pseudo_false_48 // alive, pred: *entry_2
// LiveIn: _tmp@17
[8] _tmp@50 = AssignConstant() Value=void // _tmp@50 = constant void, coalescable to id 0x01EA9568
[9] goto *if_exit_53
// LiveOut: _tmp@50, _tmp@17
*if_exit_53 // alive, pred: *if_true_37, *if_pseudo_false_48
// LiveIn: _tmp@77, _tmp@50, _tmp@39, _tmp@17
[10] a#15@60 = PHI(_tmp@39, _tmp@17) // a#15@60 = constant 0, coalescable to id 0x01EA9608
[10] _tmp@55 = PHI(_tmp@77, _tmp@50) // _tmp@55 = constant void, coalescable to id 0x01EA9568
[11] a#15@60.Return()
ちょっと見にくいですが、最後の [11] a#15@60.Return() で使われている変数 a#15@60 について、[10] で a#15@60 = constant 0 と書かれているように、必ず結果が 0 になることをコンパイラが理解できるようになっています。
絶対に通らないブロック *if_true_37 も dead としてマークされています。
また、
{
var sum = 0;
for(var i = 0; i < 10; i++) sum += i;
return sum;
}
のようなコードでは
*entry_2 // alive
[1] _tmp@4 = AssignThisProxy() // _tmp@4 = constant type object
[2] _tmp@10 = AssignConstant() Value=void // _tmp@10 = constant void
[3] _tmp@17 = AssignConstant() Value=0 // _tmp@17 = constant 0, coalescable to id 0x01EA9360
[4] _tmp@26 = AssignConstant() Value=0 // _tmp@26 = constant 0, coalescable to id 0x01EA92C0
[5] goto *for_cond_35
// LiveOut: _tmp@26, _tmp@17
*for_cond_35 // alive, pred: *entry_2, *for_iter_67
// LiveIn: _tmp@75, _tmp@58, _tmp@26, _tmp@17
[6] sum@116 = PHI(_tmp@17, _tmp@58) // coalescable to id 0x01EA9360
[6] i@118 = PHI(_tmp@26, _tmp@75) // coalescable to id 0x01EA92C0
i#24@39 = i@118 // i#24@39 = constant type integer
sum#15@89 = sum@116 // sum#15@89 = constant type integer
[7] _tmp@43 = AssignConstant() Value=10 // _tmp@43 = constant 10
[8] _tmp@45 = i#24@39.Lesser(_tmp@43) // _tmp@45 = varying
[9] if _tmp@45 then *for_body_48 else *for_exit_81
// LiveOut: sum#15@89, i#24@39
*for_body_48 // alive, pred: *for_cond_35
// LiveIn: sum#15@89, i#24@39
[10] _tmp@58 = sum#15@89.Add(i#24@39) // _tmp@58 = constant type integer, coalescable to id 0x01EA9360
[11] goto *for_iter_67
// LiveOut: _tmp@58, i#24@39
*for_exit_81 // alive, pred: *for_cond_35
// LiveIn: sum#15@89
[12] _tmp@83 = AssignConstant() Value=void // _tmp@83 = constant void
[13] goto *for_break_target_93
// LiveOut: sum#15@89
*for_iter_67 // alive, pred: *for_body_48
// LiveIn: _tmp@58, i#24@39
[14] _tmp@69 = AssignConstant() Value=1 // _tmp@69 = constant 1
[15] _tmp@75 = i#24@39.Add(_tmp@69) // _tmp@75 = constant type integer, coalescable to id 0x01EA92C0
[16] goto *for_cond_35
// LiveOut: _tmp@75, _tmp@58
*for_break_target_93 // alive, pred: *for_exit_81
// LiveIn: sum#15@89
[17] sum#15@89.Return()
となっていて、これまた見にくいですが、変数 i に相当する変数
[4] _tmp@26 = AssignConstant() Value=0 // _tmp@26 = constant 0, coalescable to id 0x01EA92C0
i#24@39 = i@118 // i#24@39 = constant type integer
[15] _tmp@75 = i#24@39.Add(_tmp@69) // _tmp@75 = constant type integer, coalescable to id 0x01EA92C0
がすべて整数だとなっていて、
最後に [17] で return されている sum の型も
sum#15@89 = sum@116 // sum#15@89 = constant type integer
ということで必ず整数になることになっています。
型の推測ができると変数の型チェックをすっ飛ばすことができるのでそれなりにパフォーマンスがあがるかも、、、と思っていましたがもしかしたらあんまり効果無いかもしれません。。。
外部から来た変数や関数の戻り値、子関数と共有している変数などは型が分からないので、それを起源に持つ変数はすべて「型不明」として扱われてしまいます。明示的に途中でキャストして、あるいは変数に型を指定すれば(? そういう構文を用意するかどうかは決めてませんが)すこしは足しになるかもしれません。
とりあえず、どういう型と型を演算させたらどういう型になるというルールをコンパイラにたたき込まなければなりません。結構面倒ですがしばらくはその作業になりそう。
