Pollux (./130) :
Non, ta dichotomie est fausse. Il suffit de parser le fichier entièrement (transformer en AST, se souvenir des types, etc), et de générer non pas un "assembleur portable" mais un code C équivalent.

Exemple :
[snip]
C'est parfaitement lisible, ça génère du code efficace, ça ne dépend pas du compilateur. Que demander de plus ?

Ton exemple est une conversion haut niveau. Tous mes points s'appliquent: ce n'est pratiquable que pour un langage qui est suffisamment proche du C, et il y a des problèmes sémantiques qui ne seront forcément visibles que pour le compilateur C (certains cas de variables non initialisées par exemple).