Исходное сообщение
"Новая криптографическая библиотека EverCrypt с математически..." Отправлено пох, 08-Апр-19 23:10
> Вы сравниваете ежа с ужом. вы, похоже, не владеете темой. Вся суть проекта llvm - что вот это вот "внутреннее представление" и есть результат работы его компиляторов. Фронтэнды именно llvm и производят, из любого языка. А binary targets обеспечиваются на следующем этапе, backend'ом. Причем наличие у бэкэнда asm printer'а - желательная, но совершенно необязательная фича, и совершенно параллельная binary emitter (так что еще и не факт, что на любой платформе -S вообще работоспособен) > Из gcc что-то подобное тоже можно выковырять у gcc, afaik, это именно сугубо внутреннее даже не "представление", а состояние компилятора, причем каждого отдельное - выковырять может и можно, но обратно запихать невозможно, и уж тем более у них нет никакого формального "language reference" для этого представления, оно языком вообще не является. А здесь это именно язык llvm. Но совершенно нечеловекочитаемый, даром что похож.