ҪҸ
но тогда всем придется это у себя имплементить
Size: a a a
2019 September 08
ҪҸ
и не будет гарантий что оно будет кастом тайм
M
но тогда всем придется это у себя имплементить
А это и так и так придется всем инплементить
ҪҸ
ну ct2wasm это сам частично покрывает, но кажется там jit все равно может все испортить
M
Да, jit например у v8 i32.select/i64.select может восприниматься как cmov а может и как джамп - гарантий никаких, так что ct2wasm это такое себе решение
ҪҸ
а еще я копался в репке котлина и кажется там довольно сильные изменея происходят
ҪҸ
найти бы какую-то схему как котлин внутри устроен
ҪҸ
там есть свой F(rontend-)IR. его уже в Binaryen IR планируется транслировать? @bashorov
ZB
там есть свой F(rontend-)IR. его уже в Binaryen IR планируется транслировать? @bashorov
FIR используется только во фронтенде компилятора и находится в активной разработке. Для бэкендов есть отдельный (Backend) IR, в сорцах просто IR, это нововая инфраструктура, которая используется в Kotlin/Native и в новых бэкендах для Kotlin/JS и Kotlin/JVM, которые находятся в разработке, новый JS BE по сути закончен. Недавно начали работу над новым BE для Wasm используя тот же (Backend) IR, без LLVM. В мастере есть код который генерирует wat файл, бинарник тоже планируем генерить. Какое-то взаимодействие с Binaryen планируем, пока скорее как постпроцессор-оптимизатор.
ZB
найти бы какую-то схему как котлин внутри устроен
найдешь поделись с нами :)
ZB
если будут вопросы по сорцам можно спрашивать меня, либо в других публичных местах. Основное для нас место это http://kotl.in/slack, по данной теме в канал #compiler
ҪҸ
ок, спасибо!
M
FIR используется только во фронтенде компилятора и находится в активной разработке. Для бэкендов есть отдельный (Backend) IR, в сорцах просто IR, это нововая инфраструктура, которая используется в Kotlin/Native и в новых бэкендах для Kotlin/JS и Kotlin/JVM, которые находятся в разработке, новый JS BE по сути закончен. Недавно начали работу над новым BE для Wasm используя тот же (Backend) IR, без LLVM. В мастере есть код который генерирует wat файл, бинарник тоже планируем генерить. Какое-то взаимодействие с Binaryen планируем, пока скорее как постпроцессор-оптимизатор.
О буду рад, если кто то допилит некоторые peephole оптимизыции:
https://github.com/WebAssembly/binaryen/issues/1911
https://github.com/WebAssembly/binaryen/issues/1764
https://github.com/WebAssembly/binaryen/issues/2040
У меня все никак руки не дойдут
https://github.com/WebAssembly/binaryen/issues/1911
https://github.com/WebAssembly/binaryen/issues/1764
https://github.com/WebAssembly/binaryen/issues/2040
У меня все никак руки не дойдут
ZB
Еще на днях мы обсуждали не сделать ли нам свой интерпритатор wasm :) или поконтрибютить в какой-то существующий, т.к. отсутвие всех нужных нам фич в одном месте делает разработку медленной.
ҪҸ
в wasm-interp должны быть все фичи
ҪҸ
а почему решели генерить wat, а не wasm сразу?
ҪҸ
имхо на wat можно было вообще не тратить ресурсы, его и так много чем можно просмотреть.
ҪҸ
@bashorov а как насчет выступить у нас на митапе? :)
ҪҸ
WebAssembly Moscow