То, что вы описываете правда, там действительно все это есть. Вопрос главный в том, работает ли это на реальном коде или только на синтетических бенямарках, которые пишут разработчики.
Определите, пожалуйста, что вы понимаете под "реальным кодом". У нас, например, код библиотек написан так, чтобы заработали компиляторные оптимизации, а сами компиляторные оптимизации заточены на популярные паттерны в этих библиотеках. Написаны, разумеется, бенчмарки, чтобы проверить, что изменения в компиляторе не пессимизируют случайно библиотеки. Это достаточно реальный код?