Так ведь инструментация задается статически, поэтому JIT просто вставляет необходимые вызовы моделирующих функций в генерируемые линейные участки, и только для команд, требующих моделирования (скажем, кеша - для чтений/записей, предсказания переходов - для команд перехода, и т.п.), делов-то.