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
native code and ZINC machine
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-11-06 (16:53)
From: David Brown <caml-list@d...>
Subject: Re: [Caml-list] native code and ZINC machine
On Sat, Nov 06, 2004 at 10:37:48AM +0100, Xavier Leroy wrote:

> The ZINC / OCaml VM handling of curried function application (an
> instance of the push-enter model) pretty much requires that parameters
> are passed on a stack.  For native code generation, it is much more
> efficient to pass the first N parameters in processor registers.  This
> doesn't fit the ZINC model at all.

Just out of curiosity, what model does the native compiler use when
evaluating functions of unknown arity (List.map for example).