home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / lang / lisp / mcl / 2108 < prev    next >
Encoding:
Internet Message Format  |  1993-01-28  |  2.6 KB
  1. Path: sparky!uunet!news.univie.ac.at!scsing.switch.ch!univ-lyon1.fr!ghost.dsi.unimi.it!rpi!usc!howland.reston.ans.net!spool.mu.edu!agate!stanford.edu!apple!cambridge.apple.com!kab
  2. From: kab (Kim Barrett)
  3. Newsgroups: comp.lang.lisp.mcl
  4. Subject: Re: shiftf
  5. Message-ID: <9301271632.AA19255@cambridge.apple.com>
  6. Date: 27 Jan 93 16:31:30 GMT
  7. Sender: owner-info-mcl@cambridge.apple.com
  8. Lines: 46
  9. Approved: comp.lang.lisp.mcl@Cambridge.Apple.C0M
  10.  
  11. > MCL's shiftf macro produces unneccesary complicated form in the simple
  12. > cases.  The most frequent use of shift, is probably for simple pointer
  13. > switching in list structures: Replacing a value while saving the old
  14. > value.  (The two-argument (place, newvalue) special case of shiftf used
  15. > to have its own name, swapf)
  16. > 
  17. > Here's what MCL's shiftf produces:
  18. > ? (macroexpand '(shiftf (cddr liste) nil))
  19. > (LET* ((#:G91 LISTE) 
  20. >        (#:G89 (MULTIPLE-VALUE-LIST (CDDR #:G91)))) 
  21. >   (DECLARE (DYNAMIC-EXTENT #:G89)) 
  22. >   (MULTIPLE-VALUE-BIND (#:G90) NIL 
  23. >     (PROGN (CCL::SET-CDDR #:G91 #:G90))) 
  24. >   (VALUES-LIST #:G89))
  25. > 
  26. > Here's a simpler expansion suggestion (Allegro 4.1 produces something
  27. > similar to this):
  28. > (LET* ((#:G91 LISTE) 
  29. >        (#:G89 (CDDR #:G91))
  30. >        (#:G90 NIL))
  31. >   (CCL::SET-CDDR #:G91 #:G90)
  32. >   #:G89)
  33.  
  34. You didn't mention which version of MCL you are using.  SETF and related macros 
  35. had a lot of work done on them not too long ago.  In MCL2.0p2 (and probably in 
  36. MCL2.0, but p2 is what I've got in front of me right now) the expansion is
  37.  
  38. (LET* ((#:G30466 LISTE))
  39.   (MULTIPLE-VALUE-PROG1 (CDDR #:G30466)
  40.     (MULTIPLE-VALUE-BIND (#:G30465)
  41.         NIL
  42.       (PROGN (SET-CDDR #:G30466 #:G30465)))))
  43.  
  44. The MULTIPLE-VALUE-BIND with a single variable is trivially transformed into a 
  45. LET.  If the compiler handling for MULTIPLE-VALUE-PROG! recognizes that CDDR 
  46. always returns one value and makes the obvious transformation, then compiling 
  47. this expansion should produce the same code as your simpler expansion, without 
  48. requiring that the SHIFTF macro (and presumably lots of other similar macros) 
  49. itself try to optimize the expansion.  The reason for all the 
  50. multiple-value-mumbles in the expansion is to support multiple-valued place 
  51. forms (see X3J13 issue SETF-MULTIPLE-STORE-VARIABLES).  Rather than try to make 
  52. the macros optimize this stuff, its much better to make the compiler smart 
  53. about some of these special cases where multiple value forms can be transformed 
  54. into single value forms.  Unfortunately, the compiler doesn't currently seem to 
  55. know about CDDR being single valued, so things could be a bit better.  But the 
  56. "bug" is there, not in SHIFTF.
  57.