JIT-оптимизация во всей красе

Я много читал и слышал о том, как JIT-компиляторы могут выполнять оптимизации, которые невозможны для компиляторов Native Code, и что эти оптимизации могут дать огромный прирост производительности.

Итак, мне было интересно, какие самые важные оптимизации, скажем,.NET Framework или JVM, которые не может сделать собственный компилятор? Кроме того, как они дают огромный прирост производительности?

_{Я не знаю, правильно ли я сформулировал этот вопрос, думаю, у меня может быть много объяснений в комментариях}