Оно несколько не так работает, конечно. Там даже расстановка меток требует определённых эвристик (читай: интуиции). И в итоге всё равно выделенный "горячий путь" оказывается довольно мал. Да, он охренеть как быстр, но не 100%, и девиации логики его ломают. А метод, может, и помедленнее, но это под 100% кода. Сильно упрощаю, конечно.