я понимаю? Так что либо вообще оптимизации с IR не делаем, либо интуитивно переводим в какой-то эквивалент и пытаемся понять, хороша ли оптимизация в этом эквиваленте.
Почему мы вообще говорим о IR? Если сейчас в llvm есть проблема, которая мешает оптимизации, или наоборот баг выполняющий некорректное преобразование кода, это проблема ir llvm, а не языка С++. Дальше сюжет должен развиваться одним из двух путей: 1) Доработать IR, так чтобы он мог адекватно отобразить стандарт C++ и позволить выполнять оптимизации. 2) Или зарепортить дефект в стандарте, если какие-то формулировки мешают важным оптимизациям.
Обсуждают сегодня