Desvantagens da forma intermediária funcional

Estou escrevendo um otimizador para uma linguagem semelhante ao JavaScript e preciso escolher uma representação de código intermediária. A escolha óbvia / típica atualmente é a atribuição única estática (SSA). No entanto, a Implementação do Compilador Moderno em C também discute a forma...