Недавно узнал о существовании:
http://en.wikipedia.org/wiki/Clang
http://clang.llvm.org/diagnostics.html
впечатляет...

Два ключевых момента:

Пытался пару раз осилить LLVM, но чего-то не пошло...
А готовый GCC-like фронт-энд - это очень хорошо.
Кстати, альтернатива эта не GCC, а традиционному ассемблеру.
И это надо учитывать, что в листинге вместо ассемблера будет байт-код виртуальной машины.

Не, не, не, байт-код виртуальной машины - это всего лишь универсальная промежуточная стадия компиляции. В результате таки может получится вполне обычный исполняемый код. Это от бекэнда зависит. Хочешь LLVM байт код, хочешь целевой машинный код, а хочешь файлик на Си. Да, Clang умеет другие языки, для которых фронтэнд есть в Си перекомпилировать.

Это уже LLVM-backend компилирует в бинарники.

Вообще, тема очень интересная. МСМ, именно в этом направлении и двигается развитие средств разработки.
Особенно учитывая, что Apple уже с 2005 года на этой технологии сидит.

А мне вот интересны предпочтения тем или иным псевдомашинам - исходя из чего? Можно ведь до битового уровня детализации дойти, а поскольку задачи преобразования графов всё больше NP-полные, то такой метод будет очень тяжелым. Я правильно понимаю?