Inconvénients de la forme intermédiaire fonctionnelle

J'écris un optimiseur pour un langage similaire à JavaScript, et je dois choisir une représentation de code intermédiaire. De nos jours, le choix évident / typique est Static Single Assignment (SSA). Cependant, la mise en œuvre du compilateur moderne en C discute également de la forme intermédiaire...