I'm currently condidering different ways of devirtualization improvement in the JIT compiler. There are many of them and value profiling is one of the most promising. I would be happy if we could work together on making value profiling useful in Jitrino.OPT. Currently devirtualizer in JIT can use edge profile and method hotness profile (in addition to class hierarchy analysis and preexistence) to guess about receiver type but value profile must be more precise.
It would be wonderful.
I'd like to look into your patch and play a little with it - could you please put your code into JIRA and announce its number here?
http://issues.apache.org/jira/browse/HARMONY-2012 In this pathch only the EM implemenation and the realisation of value profiler. Thanks to Mikhail Fursov for his Edge profiler and for His Great help to me. Thank You, Mikhail. =)