Desventajas de la forma funcional intermedia

Estoy escribiendo un optimizador para un lenguaje similar a JavaScript, y necesito elegir una representación de código intermedio. La opción obvia / típica en estos días es la asignación única estática (SSA). Sin embargo, la implementación del compilador moderno en C también analiza la forma...