PP
Для клэнга прямая генерация LLVM и так хорошо работает
Size: a a a
2020 November 05
PP
Был доклад в одной из групп про effect handling, это тоже может быть вариантом middle IR для более высокоуровневых языков: https://github.com/WebAssembly/meetings/blob/5c46403b3bf0e7fd0732814f564dedc7124eba52/stack/2020/presentations/2020-10-05-lindley-effect-handler-oriented-programming.pdf
PP
(доклад не про IR, но представить как это можно использовать для IR не сложно)
M
Petr Penzin
Был доклад в одной из групп про effect handling, это тоже может быть вариантом middle IR для более высокоуровневых языков: https://github.com/WebAssembly/meetings/blob/5c46403b3bf0e7fd0732814f564dedc7124eba52/stack/2020/presentations/2020-10-05-lindley-effect-handler-oriented-programming.pdf
Ну рассматривать wasm даже с effect handlers в качестве Mid IR я бы не стал, если я правильно тебя понял
PP
Mid IR не для движка, а для компилятора исходного языка
M
Petr Penzin
Mid IR не для движка, а для компилятора исходного языка
Я так и понял) Проблема с wasm в качестве IR это, то что нужно будет его нормировать в SSA форму вернее ее эмулировать в структурном стеке. Такое себе на самом деле. Еще у wasm очень сецифичный граф для циклов, его тоже придется во что то преобразовывать. В общем неудобно
PP
А, понял! :)
PP
Да. не подойдёт, ещё один уровень нужен
M
Petr Penzin
Да. не подойдёт, ещё один уровень нужен
Ну вот тот же Binaryen аж 3 вида использует. И еще Rlooper для финализации циклов)
PP
Интересно - они один в другой преобразуются или друг друга дополняют?
M
Petr Penzin
Интересно - они один в другой преобразуются или друг друга дополняют?
StackIR и SSA - преобразуемые и существуют в виде отдельных проходов в пайплайне, а сам Binaryen IR - это уже более абстракная махина над всем этим, а релупер вообще в отдельной категории (это скорее как трансформация для CFG)
PP
Понятно, почти что MLIR в миниатюре :) А Mid IR для AS будет находится над всем этим?
AR
Кто посоветует: у нас есть Pawn. У него есть своя наподобие m3 машина которая крутит его байткод. Насколько думаете сложно один байткод странслировать в другой (m3) чтобы портануть все Pawn игры wowcube на wasm движок? Или какой еще подход посоветуете?
M
Petr Penzin
Понятно, почти что MLIR в миниатюре :) А Mid IR для AS будет находится над всем этим?
Да как обычно AST -> Mid IR -> Binaryen в грубом приближении
PP
Какой Mid IR будет?
M
Petr Penzin
Какой Mid IR будет?
Без явной SSA формы, вернее там гибрид Regions (как у RVSDG) + SoN + CPS с def-use цепочкой (но не SSA)
M
У LMIR ктати тоже regions есть
P🍣
*transpile, fixed
Г
я уж думал новое действие из будущего