🚀 go-pugleaf

bmtong@cs.cuhk.hk (Tong Bo-Ming) writes:
>In the field of Logic Programming, we have a kind of optimization
>technique called the Last Call Optimization.  The idea is simple.
...
>In the above procedure, we may discard the current stack frame (or reg
>window in Sparc) before calling z.  We then replace the call z
>instruction by a jump instruction.
...
>In the above kind of procedure where there is only one call, no stack
>frame is necessary.  It can be optimized as if it were a leaf procedure.
>
>It is a sad thing to notice that such a nice optimization is not
>implemented in languages other than Prolog and on RISC architectures.

	I think you need to look at more compilers.  The SAS/C 680x0
compiler for the Amiga does both of these.

-- 
GNU Emacs is a LISP operating system disguised as a word processor.
 - Doug Mohney, in comp.arch

Randell Jesup, Jack-of-quite-a-few-trades, Commodore Engineering.
jesup@cbmvax.commodore.com  BIX: rjesup  
Disclaimer: Nothing I say is anything other than my personal opinion.