Re[9]: промежуточный трёхадресный код
От: LaptevVV Россия  
Дата: 06.02.23 14:11
Оценка: 1 (1)
VV>Слышал что массивы не оптимизируют при помощи SSA. Это так? (просто там получается что трудно контролировать записи в ячейку массива как я полагаю)
VV>Дак что их просто оставляют просто так... а как тогда если SSA перенесётся при оптимизации как-нибудь??? например перенесётся test eax,ebx и jnz m1 ?
Не знаю — никогда не занимался этой темой.
Может быть в SICP можно посмотреть?
Они ж там на функциональном языке описывают работу машины фон Неймана.
Хочешь быть счастливым — будь им!
Без булдырабыз!!!
Re[10]: промежуточный трёхадресный код
От: Sinclair Россия https://github.com/evilguest/
Дата: 14.02.23 09:05
Оценка:
Здравствуйте, LaptevVV, Вы писали:

VV>>Слышал что массивы не оптимизируют при помощи SSA. Это так? (просто там получается что трудно контролировать записи в ячейку массива как я полагаю)

VV>>Дак что их просто оставляют просто так... а как тогда если SSA перенесётся при оптимизации как-нибудь??? например перенесётся test eax,ebx и jnz m1 ?
LVV>Не знаю — никогда не занимался этой темой.
LVV>Может быть в SICP можно посмотреть?
LVV>Они ж там на функциональном языке описывают работу машины фон Неймана.
Лучше почитать Аппеля, Modern Compiler Implementation, вариант на каком-нибудь близком по духу языке.
Уйдемте отсюда, Румата! У вас слишком богатые погреба.
Re[7]: промежуточный трёхадресный код
От: Sinclair Россия https://github.com/evilguest/
Дата: 14.02.23 09:07
Оценка: 6 (1)
Здравствуйте, VjcheslavV, Вы писали:
VV>Static single assignment form https://ru.wikipedia.org/wiki/SSA
VV>блин SSA
VV>дак как в SSA переводят что в трёхадресный код не влазит?
Непонятно, при чём тут трёхадресность. SSA с адресами никак не связано. Вся идея SSA — это то, что "переменные" в нём всегда read-only.
Всё. Целевой код генерируется из SSA представления, а вовсе не наоборот.
Уйдемте отсюда, Румата! У вас слишком богатые погреба.
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.