home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / arch / 12027 < prev    next >
Encoding:
Internet Message Format  |  1993-01-01  |  1.4 KB
  1. Path: sparky!uunet!usc!cs.utexas.edu!rutgers!cbmvax!jesup
  2. From: jesup@cbmvax.commodore.com (Randell Jesup)
  3. Newsgroups: comp.arch
  4. Subject: Re: No Last Call Optimization on Sparc and DECstation
  5. Message-ID: <38249@cbmvax.commodore.com>
  6. Date: 2 Jan 93 03:16:53 GMT
  7. References: <1992Dec30.094352.4243@cucs5.cs.cuhk.hk>
  8. Reply-To: jesup@cbmvax.commodore.com (Randell Jesup)
  9. Organization: Commodore, West Chester, PA
  10. Lines: 24
  11.  
  12. bmtong@cs.cuhk.hk (Tong Bo-Ming) writes:
  13. >In the field of Logic Programming, we have a kind of optimization
  14. >technique called the Last Call Optimization.  The idea is simple.
  15. ...
  16. >In the above procedure, we may discard the current stack frame (or reg
  17. >window in Sparc) before calling z.  We then replace the call z
  18. >instruction by a jump instruction.
  19. ...
  20. >In the above kind of procedure where there is only one call, no stack
  21. >frame is necessary.  It can be optimized as if it were a leaf procedure.
  22. >
  23. >It is a sad thing to notice that such a nice optimization is not
  24. >implemented in languages other than Prolog and on RISC architectures.
  25.  
  26.     I think you need to look at more compilers.  The SAS/C 680x0
  27. compiler for the Amiga does both of these.
  28.  
  29. -- 
  30. GNU Emacs is a LISP operating system disguised as a word processor.
  31.  - Doug Mohney, in comp.arch
  32.  
  33. Randell Jesup, Jack-of-quite-a-few-trades, Commodore Engineering.
  34. jesup@cbmvax.commodore.com  BIX: rjesup  
  35. Disclaimer: Nothing I say is anything other than my personal opinion.
  36.