Может ли SSA быть не в виде трёх-адресного кода? Если да, то как это выглядит?

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

C>Может ли SSA быть не в виде трёх-адресного кода? Если да, то как это выглядит?

Возможно я вопрос не понял, но если в SSA хочется записывать что-то типа a = b + c * d в одной инструкции,
то нужно опкод соответствующий иметь — типа ADDMUL b, c, d.
Иначе, это будут две трехадресные инструкции.

C>Может ли SSA быть не в виде трёх-адресного кода? Если да, то как это выглядит?
Ну, почитайте же вы уже книжки по компилятором.
Еще в 1975 году на русском вышел перевод книжки Гриса.
Там этих промежуточных представлений — дофига.
В то время трехадресный код назывался "тетрады".
Но там рассматриваются и триады и косвенные тетрады, и польская запись.
Байт-код, который в яве — это тоже промежуточное представление вполне себе.

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

C>Может ли SSA быть не в виде трёх-адресного кода? Если да, то как это выглядит?
Это уже обсуждалось: https://rsdn.org/forum/alg/8464449.1

Автор: VjcheslavV
Дата: 06.02.23

и вниз по дереву.
Откуда вы вообще берёте взаимосвязь SSA и трёхадресного кода?
Эти понятия вообще нигде не пересекаются.

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

C>Может ли SSA быть не в виде трёх-адресного кода?
Может.

C>Если да, то как это выглядит?
Например, так:

float a1, a2, a3, a4;
if (...) 
  a1 = (b1 * b1) + (c1 * c1);
else
  a2 = (b1 * b1) - c2;
a3 = pfi(a1, a2);
a4 = a3 + 1;

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

S>Откуда вы вообще берёте взаимосвязь SSA и трёхадресного кода?
Примеры дурацкие приводят, которые похожи друг на друга. Но по совету другого коментатора я почитал книгу дракона, и теперь стало гораздо яснее