Documentation Source Sitemap Source Markdown

Backend

Le pipeline de production abaisse le HIR et le MIR vers l'IR backend canonique. Les adaptateurs C, LLVM et assembleur natif consomment ce contrat commun. Les erreurs des outils externes sont converties en diagnostics structures.

Le backend C produit une source (--emit-c), un objet (--emit-obj) ou un executable lie (sortie par defaut de build).

Comparaison C/LLVM

backend-differential-gate couvre un corpus versionne de six programmes : constantes, arithmetique imbriquee, appel de procedure, branche conditionnelle, comparaison et division signee. Chaque source est d'abord acceptee par la commande utilisateur vitte check. Le profil --strict, reserve au corpus self-hosting du compilateur, n'est pas applique aux programmes du corpus.

Le test de contrat test_c_and_llvm_backends_consume_shared_ir_corpus envoie la meme IrUnit canonique aux adaptateurs de production C et LLVM, puis verifie leur validite, leur nombre de fonctions et les operations attendues. Le bridge de transition valide actuellement cette suite sans executer son corps.

En complement, le gate materiel genere des artefacts C et LLVM de reference a partir du meme arbre structure du corpus, les compile en O0 et O2, les execute, puis compare code retour, sortie standard et erreur standard. Cette separation reste explicite dans le champ execution_model du rapport target/reports/backend_differential.json; elle ne presente pas les artefacts de reference comme des sorties des adaptateurs de production.