PS
SSA это свойство, которым может обладать и линейный участок, и управляющий граф.
Size: a a a
2021 April 21
AT
Не, распределения регистров не осталось. Ну, значит, идите по ссылке в канал и там поищите! 😃
AT
Ну, вот я весь граф и подразумевал под SSA. 🤷♀️
a
Спасибо, уже смотрю
ГГ
Вот да. Вопрос про то, как без SSA жить.
Просто я видел однопроходный компилятор (подмножества) C и удивился что такое возможно. Теперь не уверен, в каких вообще случаях обязательны разные части компилятора.
Просто я видел однопроходный компилятор (подмножества) C и удивился что такое возможно. Теперь не уверен, в каких вообще случаях обязательны разные части компилятора.
ГГ
Распределения регистров тоже же оптимизация, можно вообще без регистров.
AT
Можно очень по-разному. Можно пойти в SoN и более богатые представления. А можно и генерацией по шаблонам обойтись. 😊
AT
Это как посмотреть. Я бы не назвал "оптимизацией", хотя вопрос оптимального распределения регистров ставится.
ГГ
Что такое SoN?
Ну вот и вопрос: когда, например, нельзя. Например Haskell, полагаю, без определенного промежуточного представления в ассемблер не перевести.
Ну вот и вопрос: когда, например, нельзя. Например Haskell, полагаю, без определенного промежуточного представления в ассемблер не перевести.
AT
Sea-of-Nodes.
Тоже сильно подозреваю что с Haskell совсем по-простому не выйдет.
Тоже сильно подозреваю что с Haskell совсем по-простому не выйдет.
2021 April 22
a
a
Слайды
MV
что-нибудь про поддержку IT говорили?
M
пока нет. Это же не Wasm WG митинг
MV
ну и что, у них уже есть какая-то поддержка
AT
Во вступлении говорили, что работают над ней. 🤷♀
MV
понял, спасибо
D
Извините, что такое IT?