Browse thread
native code and ZINC machine
-
Aaron Bohannon
-
Xavier Leroy
- David Brown
- Diego Olivier Fernandez Pons
-
Xavier Leroy
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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). Dave