tail recursion elimination

[Mario.Wolczko@Eng.Sun.COM (Mario Wolczko)]

Date: Wed, 30 Aug 1995 21:34:01 +0200
From: rainer@physik3.gwdg.de (Rainer Blome)
To: self-interest@self.sunlabs.com
In-Reply-To: <9508301651.AA23068@obj.Eng.Sun.COM> (Mario.Wolczko@eng.sun.com)
Subject: tail recursion elimination


jecel wrote:
> While this optimization is invisible in a normal execution [during
> debugging] you will find that a large chunk of your stack is missing.

yes, the self group had written that in some place, i had forgotten.

how about deoptimization then?  with tre you can't really do that
dynamically, you might have to rerun a huge amount of code, it might not even
work at all.

so it should be a user- (programmer-) selectable optimization.  the
debugger will have to explain that and why the frames are missing.


i was just looking at the implementation of the looping behavior in traits
block - it boils down to the _Restart primitive which is even better
visible than missing stack frame in the debugger.

btw, i tried to understand what the loopExit[Value]Continue methods do, but
failed.  they might have sth to do with this discussion, do they?  there
seem to be no senders of these messages, why are they there?

rainer