home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / compiler / 1905 < prev    next >
Encoding:
Text File  |  1992-11-18  |  2.2 KB  |  61 lines
  1. Newsgroups: comp.compilers
  2. Path: sparky!uunet!think.com!spdcc!iecc!compilers-sender
  3. From: pardo@cs.washington.edu (David Keppel)
  4. Subject: Re: And speaking of fast compilers...
  5. Reply-To: pardo@cs.washington.edu (David Keppel)
  6. Organization: Computer Science & Engineering, U. of Washington, Seattle
  7. Date: Tue, 17 Nov 1992 19:54:32 GMT
  8. Approved: compilers@iecc.cambridge.ma.us
  9. Message-ID: <92-11-096@comp.compilers>
  10. References: <92-11-057@comp.compilers> <92-11-084@comp.compilers>
  11. Keywords: performance, design, bibliography, comment
  12. Sender: compilers-sender@iecc.cambridge.ma.us
  13. Lines: 46
  14.  
  15. sasdrf@unx.sas.com (Dave Frederick) writes:
  16. >[Had the Brand X Ada compiler passed validation?
  17. > A lot of optimizations are compile-time range and bounds checks.]
  18.  
  19. I do not know if the Brand X compiler was validated.  As the moderator
  20. points out, compiling to C does not imply any loss of type safety (for
  21. that matter, the first validated Ada system was an interpreter...), so it
  22. may well be a validated compiler.
  23.  
  24. The IBM PL.8 compiler removed a substantial number of the runtime range
  25. and bound checks with only a modest increase in the compile time (the
  26. range-checked code was still 5-10% slower than unchecked code).  So I
  27. doubt that removing bound checks explains why the compiler was slow,
  28. especially given that the compilation was slow (40 minutes v. 6) even with
  29. the slower compiler's optimization OFF.
  30.  
  31. %A Marc Auslander
  32. %A Martin Hopkins
  33. %T An Overview of the PL.8 Compiler
  34. %P 22-31
  35. %J Proceedings of the ACM SIGPLAN '82 Syumposium on Compiler
  36. Construction
  37. %D June 1982
  38. %P 22-31
  39.  
  40. %A Rajiv Gupta
  41. %T A Fresh Look at Optimizing Array Bound Checking
  42. %J Proceedings of the ACM SIGPLAN '90 conference on Programming
  43. Language Design and Implementation.
  44. %D June 1990
  45. %P 272
  46.  
  47. And I haven't read it, but it's the common citation:
  48.  
  49. %A V. Markstein
  50. %A J. Cocke
  51. %A P. Markstein
  52. %T Optimization of Range Checking
  53. %J Proceedings of the ACM SIGPLAN '82 Syumposium on Compiler
  54. Construction
  55.  
  56.     ;-D oN  ( Bound checked and gaggled )  Pardo
  57. [The PL.8 range checking was quite innovative.  They patented it. -John]
  58. -- 
  59. Send compilers articles to compilers@iecc.cambridge.ma.us or
  60. {ima | spdcc | world}!iecc!compilers.  Meta-mail to compilers-request.
  61.