Ownership SSA #26
Description
Michael GottesmanさんがOwnership SSAについて発表した。
Michaelさんはretain count周りのコード生成に多く関わっている人。
どうやら、RustのOwnershipモデルみたいなものを実現することで、
参照カウントもその上で効率的に実装できたり、
コンパイラの実装バグを検出できたりするっぽい。
ownedとguranteedについても出てくるので、
SILのあの謎のアトリビュートの事もわかる。