AW: [Caml-list] Compiled code that uses the stack when it can.

[Gerd Stolpmann <info@gerd-stolpmann.de>]

Am 05.11.2012 20:21:13 schrieb(en) Norman Hardy:
> Is there a way to get ocamlopt to leave the C sources behind?
> Does ocamlopt ever use the stack to call functions that it compiled?

Yes, this is even part of the normal way: Arguments are passed in  
registers, and if exceeding the number of registers, via the stack.  
Same as in C (but different details).

Only when a closure needs to be built because of incomplete arguments,  
the closure is allocated on the heap, and when the remaining arguments  
"arrive", a generated helper function shuffles the arguments back to  
registers/stack, and the function is finally called.

Gerd

> Does anyone know of compilers that use the stack when they can but  
> uses the heap when it must?
> Is there literature on this?
> This slide set is very useful but seems to suggest that internal  
> functions representations are treated uniformly.
> http://pauillac.inria.fr/~xleroy/talks/compilation-agay.pdf
> 
> I am thinking about static code analysis to determine two or perhaps  
> three ways free variables in a function might be handled.
> It is hard enough that I would like to see if it has been done before.
> 
> 
> 
> --
> Caml-list mailing list.  Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
> 



-- 
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de
Creator of GODI and camlcity.org.
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
------------------------------------------------------------