Здравствуйте, Аноним, Вы писали: А>Выполняет ли JIT оптимизацию IL-кода, или все компилится один к одному?
Если в методе используются поля обьектов, то создаются локальные переменные и инициализируются этими полями. Потом работа идёт через них (в этом случае экономится один push).
P.S. смотри в рефлекторе.