Не поверите, но у GCC, тоже есть промежуточный вариант (http://www.ibm.com/developerworks/ru/library/l-gcc4/index.html) пара цитат:

"...Обычно компиляторы работают по принципу конвейера, а между отдельными стадиями передаются различные виды данных (см. рисунок 2). Начальная стадия (front end) зависит от языка программирования - на ней происходит синтаксическое распознавание исходного кода и преобразование к структурам на основе деревьев и промежуточному RTL-представлению (RTL - Register Transfer Language, язык межрегистровых пересылок). Конечная стадия (back end) принимает с предыдущей стадии языко-независимые RTL-инструкции и создает код, работающий на определенной платформе. При этом RTL-код подвергается оптимизации для получения максимально быстрого либо компактного кода (а если возможно, то и того, и другого), после чего направляется на вход генератора кода конкретной платформы."

   и

"...В предыдущих версиях (до 4) для оптимизации использовалось промежуточное представление на основе RTL (см. выше), которое очень близко к языку ассемблера и напоминает S-выражения языка LISP. Недостаток в том, что оптимизация RTL-представлений сильно зависит от целевой платформы. Оптимизировать на более высоком уровне не удается, так как высокоуровневые выражения теряются на RTL-стадии. Для устранения указанной проблемы были введены SSA-формы на основе дерева, которые далеки и от исходного языка, и от целевой платформы и при этом дают более продвинутый анализ и оптимизацию."

От себя добавлю. Не уверен, что фронтенды и бекенды gcc разрабатывает одна и таже группа людей, скорее разные группы, но каких-то _ОСОБЫХ_ проблем нет.

>Ну а что, прикольно же когда програмеры начнут мозг себе выносить кто
>же глючит и будут долго пытаться изловить трудноуловимые глюки.

Так с чего же быть особым проблемам в связке шланг+LLVM?