Profile types in the interpreter

[mgaudet]

Any type frequency information that the interpreter can collect can likely be profitably exploited by a JIT compiler.

For example, if we know a method is always called with Fixnum arguments, we can specialize that body to the most likely case.