VV>Слышал что массивы не оптимизируют при помощи SSA. Это так? (просто там получается что трудно контролировать записи в ячейку массива как я полагаю)
VV>Дак что их просто оставляют просто так... а как тогда если SSA перенесётся при оптимизации как-нибудь??? например перенесётся test eax,ebx и jnz m1 ?
Не знаю — никогда не занимался этой темой.
Может быть в SICP можно посмотреть?
Они ж там на функциональном языке описывают работу машины фон Неймана.

Здравствуйте, LaptevVV, Вы писали:

VV>>Слышал что массивы не оптимизируют при помощи SSA. Это так? (просто там получается что трудно контролировать записи в ячейку массива как я полагаю)
VV>>Дак что их просто оставляют просто так... а как тогда если SSA перенесётся при оптимизации как-нибудь??? например перенесётся test eax,ebx и jnz m1 ?
LVV>Не знаю — никогда не занимался этой темой.
LVV>Может быть в SICP можно посмотреть?
LVV>Они ж там на функциональном языке описывают работу машины фон Неймана.
Лучше почитать Аппеля, Modern Compiler Implementation, вариант на каком-нибудь близком по духу языке.

Здравствуйте, VjcheslavV, Вы писали:
VV>Static single assignment form https://ru.wikipedia.org/wiki/SSA
VV>блин SSA
VV>дак как в SSA переводят что в трёхадресный код не влазит?
Непонятно, при чём тут трёхадресность. SSA с адресами никак не связано. Вся идея SSA — это то, что "переменные" в нём всегда read-only.
Всё. Целевой код генерируется из SSA представления, а вовсе не наоборот.