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 intermedia funcional, lo que básicamente significa ser puramente funcional para la representación intermedia (pura solo en términos de variables locales, los datos del montón todavía son mutables y no CPS, solo letbloques directos y llamadas de cola) y tiene algunas ventajas en términos de ser más fácil de razonar.
Presumiblemente no es obvio o todos ya estarían usando tal representación, así que mi pregunta es, ¿qué desventajas tiene la forma intermedia funcional en comparación con la SSA?