Недостатки функциональной промежуточной формы

Я пишу оптимизатор для языка, похожего на JavaScript, и мне нужно выбрать промежуточное представление кода. Очевидный / типичный выбор в эти дни - статическое одиночное назначение (SSA). Однако в современной реализации компилятора на C также обсуждается функциональная промежуточная форма, что в...