[squirrelfish] Which type inference is used in squirrelfish

hi everyone: I am a newbie here and interesting on JIT of javascript. In my understanding since the dynamic type of javascript, the JIT can not generate large native code block. My question is which type inference methodology in squirrelfish system is used now? I heard some news that static type inference algorithm is used in google v8 engine. Any suggestion or discussion is appreciated . Thanks MK -- www.skyeye.org