Dart VMのClassのメンバアクセスに関して - LLVMとコンパイラとVM

getの際はtype feedbackの結果を参照し、getした際に何の型か確認処理を除去しています。 また、getした値がSmi型の場合、dynamicのポインタに31bit値が埋め込まれています。 GCでもtype feedbackの結果を参照してwrite barrierをスキップしています。 ただし、最初のsetでint、次のsetでdoubleを格納することも可能です。 その場合こうなります。 class descriptor D 0:x:dynamic (dynamic) <-- 2種以上はdynamicとする。 32:y:dynamic (Double) 64:z:dynamic (Smi) またxがSmi型を前提としてJITコンパイルしていたコードを、すべて捨てます。(Deoptimization) そして、xが何の型でも動くbase line compilerが生成し