Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
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).

Dave