Explicit TCE

[David Nadlinger]

On Friday, 12 October 2012 at 17:39:53 UTC, Alex Rønne Petersen 
wrote:
> However, the primary problem with this approach is a really 
> mundane one: The major compiler back ends (GCC and LLVM) don't 
> have any means of guaranteeing TCE...

LLVM shouldn't be as big a problem – there is some support for 
guaranteed TCO in order to make implementations of some of the 
functional languages possible.

I know that you can force LLVM to tail-call everything it 
possibly can (which in consequence horribly breaks the ABI), but 
I am not sure right now how fine-grained you can control that 
mechanism.

Also don't forget that some calling conventions don't lend 
themselves particularly well for doing efficient tail calls.

David