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

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

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