Re: named-let

[Helmut Eller]

On Mon, Jan 11 2021, Stefan Monnier wrote:

> I don't know how easy it is to implement for
> native-comp.  Maybe GCC magically does it for us?

GCC can optimize sibling-calls; that's a class of tail-calls where the
argument count of the callee and caller are the same.  Other tail-calls
are difficult to optimize, because most systems prescribe a the
caller-pops-arguments calling convention (including the varargs stuff).

Last time I checked LLVM, doesn't even optimize sibling-calls.

Helmut