Какая есть литература по оптимизации SSA представления?

Question

[Василий Дёмин]

Я спроектировал SSA представление и написал код, который транслирует синтаксическое дерево в него. Далее возник вопрос оптимизации SSA представления. Во всех статьях, которые я находил, приводятся алгоритмы, подразумевающие предварительное вычисление dominance frontier для каждой из переменных, но так как я делал трансляцию непосредственно из синтаксического дерева, вычислить dominance frontier я не могу, потому что для этого нужно сначала сделать трансляцию в промежуточное представление, в котором возможны множественные присваивания. Есть ли какие-нибудь статьи и/или книги, в которых описаны оптимизации SSA представления без вычисления dominance frontier?