home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / compiler / 1883 < prev    next >
Encoding:
Internet Message Format  |  1992-11-15  |  2.0 KB
  1. Path: sparky!uunet!ogicse!das-news.harvard.edu!spdcc!iecc!compilers-sender
  2. From: sanjay@equalizer.cray.com (+Sanjay Krishnamurthy)
  3. Newsgroups: comp.compilers
  4. Subject: Re: Code Optimization questions
  5. Keywords: optimize, performance
  6. Message-ID: <92-11-074@comp.compilers>
  7. Date: 14 Nov 92 01:43:32 GMT
  8. Article-I.D.: comp.92-11-074
  9. References: <92-11-015@comp.compilers>
  10. Sender: compilers-sender@iecc.cambridge.ma.us
  11. Reply-To: sanjay@equalizer.cray.com (+Sanjay Krishnamurthy)
  12. Organization: Compilers Central
  13. Lines: 33
  14. Approved: compilers@iecc.cambridge.ma.us
  15.  
  16. Steve Boswell <whatis@ucsd.edu> asks:
  17.  
  18. >[1] Is there any info on optimizers that take advantage of profiler
  19. >   information? 
  20.  
  21. You need to look at all the papers (~zillion) on the IMPACT compiler at
  22. the University of Illinois. This compiler bases its optimizations on a
  23. "Superblock" which is basically a special trace. I use "The Superblock: An
  24. Effective Technique for VLIW and Superscalar compilation," Hwu et al, to
  25. appear in Journal of Supercomputing, 1993, as my primary reference. You
  26. should be able to get a bunch of tech. reports from hwu@crhc.uiuc.edu
  27. describing the use of profiling info to do everything from procedure
  28. inlining to scheduling.
  29.  
  30. >[2] Is there any info on optimizers that take advantage of runtime
  31. >   assertions?  This can help with anti dependencies,......
  32.  
  33. There's a paper titled "Run time disambiguation" written by Alex Nicolau
  34. which appeared in the IEEE Transactions on Computers sometime in the past
  35. 4 years (very helpful, eh??) You should look at this to find out how
  36. static dependence analysis can be aided with runtime assertions. 
  37.  
  38. >[3] If statement A has a def-use chain to statement B, does it follow
  39. >   that statement B has a use-def chain to statement A?  Is this an
  40. >   "if and only if" relation?
  41.  
  42. You mean "Is this a symmetric relation?" Sure appears to me.
  43.  
  44. -Sanjay M. Krishnamurthy
  45. Cray Research Superservers
  46. -- 
  47. Send compilers articles to compilers@iecc.cambridge.ma.us or
  48. {ima | spdcc | world}!iecc!compilers.  Meta-mail to compilers-request.
  49.