From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA01685 for caml-redistribution; Tue, 3 Nov 1998 16:58:12 +0100 (MET)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA31516 for <caml-list@pauillac.inria.fr>; Tue, 3 Nov 1998 15:51:06 +0100 (MET)
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35])
	by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id PAA14163;
	Tue, 3 Nov 1998 15:51:02 +0100 (MET)
Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA32510; Tue, 3 Nov 1998 15:50:57 +0100 (MET)
Message-ID: <19981103155057.23279@pauillac.inria.fr>
Date: Tue, 3 Nov 1998 15:50:57 +0100
From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: Stefan Monnier <monnier+lists/caml/news/@tequila.cs.yale.edu>,
        caml-list@inria.fr
Subject: Re: description du compilateur O'Caml
References: <5lsog9swls.fsf@tequila.cs.yale.edu>
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
X-Mailer: Mutt 0.89.1
In-Reply-To: <5lsog9swls.fsf@tequila.cs.yale.edu>; from Stefan Monnier on Tue, Oct 27, 1998 at 01:11:59PM -0500
Sender: weis

> 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