Скомпилировать код C++, а затем скомпилировать его?

Question

Когда я пишу код на C++ и компилирую с помощью Visual Studio (компилятор Microsoft), результирующая сборка делает некоторую оптимизацию для моего кода.

Я хотел создать программу для обучения (или учить других), который принимает C++ код, компилирует его, а затем преобразует его в оптимизированный код обратно в C++, чтобы показать, что был оптимизирован (через программу сравнения)

Это возможно? Если да, то как?

Answer 1

Нет сопоставления 1: 1 между C++ и оптимизированным кодом, поэтому полученный код, вероятно, всегда будет выглядеть иначе, чем вы ожидаете. Одна вещь, которую вы можете сделать, - дать команду компилятору вывести исходный код сборки (-S option) и посмотреть, что сделал компилятор. Сначала без оптимизации, а затем с включенными функциями, чтобы вы могли видеть различия.

Answer 2

Это невозможно. Никто никогда не создавал такой инструмент.

В целом оптимизированный код не может быть преобразован обратно в C++. Оптимизация работает с промежуточным представлением, которое выглядит как ассемблер. Например, оптимизатор может объединять части функций, если они выглядят одинаково. Как вы можете представить это на C++? Если вы дублируете объединенные части, это не будет истинным представлением кода. Существует несколько других подобных случаев с временными переменными, контроль потоков (переходы с if-else и т.п.), исключения подвыражений и другие.

Лучшее, что вы можете сделать, это распечатать ассемблер и попытаться понять, что происходит в коде. Я бы рекомендовал вам играть с небольшими 3-5-строчными функциями и сравнивать списки ассемблеров после небольшой модификации вашей функции. Сравнение различий в функции с разницей в коде ассемблера часто говорит о многом.

Некоторое время назад я столкнулся с «оптимизацией компоновщика». В моей программе было несколько абсолютно идентичных функций (это было необходимо), которые линкер решил объединить в один. Ничего не работало, пока я не понял это.