The limits of alias analysis for scalar optimizations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2985, Issue , 2004, Pages 24-38

  Chowdhury, Rezaul A ^a   Djeu, Peter ^a   Gahoon, Brendon ^b   Burrill, James H ^c   McKinley, Kathryn S ^a  

^a University of Texas at Austin   (United States)

^b Product Engineering   (United States)

^c Biologically Inspired Neural and Dynamical Systems Laboratory   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); PROGRAM COMPILERS;

ALIAS ANALYSIS; C PROGRAMS; COMPILER OPTIMIZATIONS; SCALAR OPTIMIZATION; UPPER BOUND; YIELD IMPROVEMENT;

OPTIMIZATION;

EID: 24644456612     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24723-4_3     Document Type: Article

References (35)

1. L. O. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, May 1994.
2. T.Austin. Pointer-intensive benchmark suite, version 1.1. http://www.cs.wisc.edu/~austin/ptr-dist.html, 1995.
3. D. R Bacon and P. F. Sweeney. Fast static analysis of C++ virtual function calls. In ACM Conference Proceedings on Object-Oriented Programming Systems, Languages, and Applications, pages 324-341, San Jose, CA, Oct. 1996.
4. P. Briggs, K. D. Cooper, and L. T. Simpson. Value numbering. Software-Practice and Experience, 27(6):701-724, June 1997.
5. J. Choi, M. Burke, and P. Carini. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects. In Proceedings of the 20th Annual ACM Symposium on the Principles of Programming Languages, pages 232-245, Charleston, SC, Jan. 1993.
6. F. Chow, S. Chan, R. Kennedy, S. Lo, and P. Tu. A new algorithm for partial redundancy elimination based on SSA form. In Proceedings of the SIGPLAN '97 Conference on Programming Language Design and Implementation, pages 273-286, Las Vegas, NV, June 1997.
7. F. Chow, S. Chan, S. Liu, R. Lo, and M. Streich. Effective representation of aliases and indirect memory operations in SSA form. In T. Gyimothy, editor, International Conference on Compiler Construction, volume 1060 of Lecture Notes in Computer Science, pages 253267, Linkoping, Sweden, Apr. 1996. Springer-Verlag.
8. R. A. Chowdhury, P. Djeu, B. Cahoon, J. H. Burrill, and K. S. McKinley. The limits of alias analysis for scalar optimizations. Technical Report TR-03-059, University of Texas at Austin, Oct. 2003.
9. K. D. Cooper and K. Kennedy. Fast interprocedural alias analysis. In Proceedings of the 16th Annual ACM Symposium on the Principles of Programming Languages, pages 49-59, 1989.
10. K. D. Cooper and J. Lu. Register promotion in C programs. In Proceedings of the SIGPLAN '97 Conference on Programming Language Design and Implementation, pages 308-319, Las Vegas, NV, June 1997.
11. R. Cytron, J. Ferrante, B. Rosen, M. Wegman, and K. Zadeck. An efficient method of computing static single assignment form. In Proceedings of the 16th Annual ACM Symposium on the Principles of Programming Languages, pages 25-35, Austin, TX, Jan. 1989.
12. M. Das, B. Liblit, M. Fahndrich, and J. Rehof. Estimating the impact of scalable pointer analysis on optimization. In The 8th International Static Analysis Symposium, volume 2126 of Lecture Notes in Computer Science, pages 260-278, Paris, France, July 2001. SpringerVerlag.
13. A. Diwan, K. S. McKinley, and J. E. B. Moss. Type-based alias analysis. In Proceedings of the SIGPLAN '98 Conference on Programming Language Design and Implementation, pages 106-117, Montreal, June 1998.
14. A. Diwan, K. S. McKinley, and J. E. B. Moss. Using types to analyze and optimize objectoriented programs. ACM Transactions on Programming Languages and Systems, 23(1):3072, Jan. 2001.
15. A. Diwan, J. E. B. Moss, and K. S. McKinley. Simple and effective analysis of statically-typed object-oriented languages. In ACM Conference Proceedings on Object-Oriented Programming Systems, Languages, and Applications, pages 344-355, San Jose, CA, Oct. 1996.
16. M. Emami, R. Ghiya, and L. J. Hendren. Context-sensitive interprocedural points-to analysis in the presence of function pointers. In Proceedings of the SIGPLAN '94 Conference on Programming Language Design and Implementation, pages 242-256, June 1994.
17. R. Ghiya and L. J. Hendren. Putting pointer analysis to work. In Proceedings of the 25th Annual ACM Symposium on the Principles of Programming Languages, San Diego, CA, Jan. 1998.
18. S. Z. Guyer and C. Lin. Client-driven pointer analysis. In International Static Analysis Symposium, pages 214-236, San Diego, CA, June 2003.
19. D. L. Heine and M. S. Lam. A practical flow-sensitive and context-sensitive C and C-Hmemory leak detector. In Proceedings of the SIGPLAN 2003 Conference on Programming Language Design and Implementation, pages 168-181, San Diego, CA, June 2003.
20. M. Hind and A. Pioli. Assessing the effects of flow-sensitivity on pointer alias analysis. In The 5th International Static Analysis Symposium, volume 1503 of Lecture Notes in Computer Science, pages 57-81, Pisa, Italy, Sept. 1998. Springer-Verlag.
21. M. Hind and A. Pioli. Which pointer analysis should I use? In Proceediings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA '00), pages 112123, Portland, OR, Aug 2000.
22. W. Landi, B. G. Ryder, and S. Zhang. Interprocedural modification side effect analysis with pointer aliasing. ACM SIGPLAN Notices, 28(6):56-67, 1993.
23. D. Liang and M. J. Harrold. Efficient points-to analysis for whole-program analysis. In Proceedings of the 7th ACM SIGSOFT International Symposium on the Foundations of Sofware Engineering, pages 199-215, Toulouse, France, Sept. 1999.
24. K. S. McKinley, J. Burrill, B. Cahoon, J. E. B. Moss, Z. Wang, and C. Weems. The Scale compiler. Technical report, University of Massachusetts, 2001. http://ali-www.cs.umass.edu/~scale/.
25. E. Ruf. Context-insensitive alias analysis reconsidered. In Proceedings of the SIGPLAN '95 Conference on Programming Language Design and Implementation, pages 13-22, La Jolla, CA, June 1995.
26. Rutgers. PROLANGS benchmark suite, data programs. http://www.prolangs. rutgers.edu/public.html, 1999.
27. M. Shapiro and S. Horwitz. The effects of the precision of pointer analysis. In P. V. Hentenryck, editor, Lecture Notes in Computer Science, 1302, pages 16-34. Springer-Verlag, 1997. Proceedings from the 4th International Static Analysis Symposium.
28. M. Shapiro and S. Horwitz. Fast and accurate flow-insensitive points-to analysis. In Proceedings of the 24th Annual ACM Symposium on the Principles of Programming Languages, pages 1-14, Paris, France, Jan. 1997.
29. B. Steensgaard. Points-to analysis in almost linear time. In Proceedings of the 23rd Annual ACM Symposium on the Principles of Programming Languages, pages 21-24, St. Petersburg, FL, Jan. 1996.
30. P. A. Stocks, B. G. Ryder, W. Landi, and S. Zhang. Comparing flow and context sensitivity on the modifications-side-effects problem. In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis, pages 21-31, Clearwater, FL, Mar. 1998.
31. O. Traub, G. Haolloway, and M. D. Smith. Quality and speed in linear-scan register allocation. In Proceedings of the SIGPLAN '98 Conference on Programming Language Design and Implementation, pages 142-151, Montreal, June 1998.
32. Z. Wang, D. Burger, K. S. McKinley, S. Reinhardt, and C. C. Weems. Guided region prefetching: A cooperative hardware/software approach. In Proceedings of the 30th International Symposium on Computer Architecture, pages 388-398, San Diego, CA, June 2003.
33. M. N. Wegman and F. K. Zadeck. Constant propagation with conditional branches. ACM Transactions on Programming Languages and Systems, 13(2):181-210, Apr. 1991.
34. R. P. Wilson and M. S. Lam. Efficient context-sensitive pointer analysis for C programs. In Proceedings of the SIGPLAN '95 Conference on Programming Language Design and Implementation, pages 1-12, La Jolla, CA, June 1995.
35. S. H. Yong, S. Horwitz, and T. Reps. Pointer analysis for programs with structures and casting. In Proceedings of the SIGPLAN '99 Conference on Programming Language Design and Implementation, pages 91-103, Atlanta, GA, June 1999.