Barrapunto

Buena explicación. Lo que no entiendo es lo de LLVM. ¿Que és? ¿No crea Clang codigo nativo como hace gcc o es que crea un "byte code" interpretado por una vm a lo java?

LLVM es difícil de explicar :). Es un backend de compilador (toma un código intermedio de tipo RISC y lo compila a nativo). La gracia es que tiene capacidad de compilar y optimizar dinámicamente (aparte de compilar en estático). Para ello dispone de un sistema muy simple de tipos (nada de objetos). No es una MV de alto nivel, pero podría construirse una máquina virtual sobre LLVM, usándolo como una especie de framework de desarrollo.

El artículo básico sobre LLVM [llvm.org] es bastante fácil de leer y muy recomendable.