English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
description du compilateur O'Caml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 1998-11-03 (15:58)
From: Xavier Leroy <Xavier.Leroy@i...>
Subject: Re: description du compilateur O'Caml
> Je n'ai pour l'instant trouvé que "Le système Caml Special Light:
> modules et compilation efficace en Caml.".  Y a-t-il quelque part
> une description plus complète (et peut-être plus à jour) du
> compilateur O'Caml (principalement le compilateur natif) ?
> Je m'intéresse principalement aux optimisations (simples ou pas).

Non, il n'y a pas d'autre description disponible actuellement.  La
description des passes et des optimisations dans "Le système Caml
Special Light:..." est encore relativement à jour.

Les seules optimisations rajoutées depuis sont une extension de
l'optimisation des fonctions curryfiées (fun x y -> ...) pour qu'elle
marche aussi pour les fonctions prenant des tuples (fun (x, y) ->
...), ainsi qu'une passe de propagation des constantes (limitée aux
constantes entières pour le moment).

Une manière assez simple de se faire une idée sur les optimisations
effectuées est de donner à ocamlopt les options -dxxx non documentées
(faire ocamlopt -help pour avoir la liste), ce qui lui fait afficher
le résultat des différentes passes de la compilation.

- Xavier Leroy