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

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

[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?
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.

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

[Gerd Stolpmann]

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
------------------------------------------------------------

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

[Pierre Chambart]

Le Mon, 5 Nov 2012 11:21:13 -0800,
Norman Hardy <norm@cap-lore.com> a écrit :

> 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?
> 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.

This was studied quite extensively by Bruno Blanchet in his thesis:
http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetPhd00.html
-- 
Pierre