Что верно про JIT-компиляцию в HotSpot?

JIT опирается на профиль реального выполнения, и в этом его преимущество перед статической компиляцией: он видит, какая ветка берётся чаще и какой конкретный тип приходит в вызов. На этом строятся спекулятивные оптимизации — встраивание виртуального вызова по фактически наблюдавшемуся типу, устранение проверок, удаление недостижимых ветвей. Поскольку предположение может нарушиться (загрузился новый класс, ветка наконец сработала), в код вставляются проверки, а при их срабатывании происходит деоптимизация и возврат к интерпретации. Практический вывод — измерять производительность можно только после прогрева, и именно поэтому самодельные бенчмарки на System.nanoTime обычно врут, а пользоваться следует JMH.