Это очень большая деталь реализации JIT-компилятора. Он будет очень стараться хранить локальные переменные в регистре процессора, очень эффективно. Стек - это обычное хранилище резервных копий, если регистров недостаточно для хранения всех локальных переменных.
Большая разница между джиттерами x86 и x64, например. В x64 доступно гораздо больше регистров. Это также относится к аргументам, передаваемым методу. x86 разрешает 2, передаваемые в регистр процессора, x64 разрешает 4. Плюс все, что может быть сохранено в стеке FPU или регистрах XMM. Итак, в действительности существует четыре разных места, в которых может храниться локальная переменная.