Complete Removal of Redundant Expressions

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 33, Issue 5, 1998, Pages 1-14

  Bodik, Rastislav ^a   Gupta, Rajiv ^a   Soffa, Mary Lou ^a  

^a University of Pittsburgh   (United States)

Author keywords

Control flow restructuring; Demand driven frequency data flow analysis; Partial redundancy elimination; Profile guided optimization; Speculative execution

Indexed keywords

EID: 0348137596     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/277652.277653     Document Type: Article

References (30)

1. Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers Principles, Techniques, and Tools. Addison Wesley, 1986.
2. F. E. Allen and J. Cocke. A program data flow analysis procedure. CACM, 19(3):137-147, March 1976.
3. Glenn Ammons, Thomas Ball, and James R. Larus. Exploiting hardware performance counters with flow and context sensitive profiling. In Proceedings of the ACM SIGPLAN '97 Conf. on Prog. Language Design and Impl., pages 85-96, 1997.
4. Glenn Ammons and James L. Larus. Improving data-flow analysis with path profiles. In Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation, 1998.
5. Joel Auslander, Matthai Philipose, Craig Chambers, Susan J. Eggers, and Brian N. Bershad. Fast, effective dynamic compilation. In Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation, pages 149-159, 21- May 1996.
6. A. Ayers, R. Schooler, and R. Gottlieb. Aggressive inlining. In Proceedings of the ACM SIGPLAN '97 Conf. on Prog. Language Design and Impl., pages 134-145, June 1997.
7. Thomas Ball and James R. Larus. Efficient path profiling. In 29th Annual IEEE/ACM International Symposium on Microarchitecture, pages 46-57, 1996.
8. Rastislav Bodik. Path-Sensitive Compilation. PhD thesis, University of Pittsburgh, in preparation.
9. Rastislav Bodik and Sadun Anik. Path-sensitive value-flow analysis. In Conference Record of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 1998.
10. Rastislav Bodik, Rajiv Gupta, and Mary Lou Soffa. Inter-procedural conditional branch elimination. In Proceedings of the ACM SIGPLAN '97 Conf. on Prog. Language Design and Impl., pages 146-158, June 1997.
11. Preston Briggs and Keith D. Cooper. Effective partial redundancy elimination. In Proceedings of the Conference on Programming Language Design and Implementation, pages 159-170, June 1994.
12. F. Chow, S. Chan, R. Kennedy, S.-M. Liu, R. Lo, and P. Tu. A new algorithm for partial redundancy elimination based on SSA form. In Proceedings of the ACM SIGPLAN '97 Conf. on Prog. Language Design and Impl., pages 273-286, June 1997.
13. P. Cousot and R. Cousot. Abstract intrepretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of the 4th ACM Symposium on Principles of Programming Languages, pages 238-252, January 1977.
14. Dhanajay M. Dhamdhere, Barry K. Rosen, and Kenneth F. Zadeck. How to analyze large programs efficiently and informatively. In Proceedings of the ACM SIGPLAN '92 Conference on Programming Language Design and Implementation, pages 212-223, July 1992.
15. Dhananjay M. Dhamdhere. Practical adaptation of the global optimization algorithm of Morel and Renvoise. ACM Transactions on Programming Languages and Systems, 13(2):291-294, April 1991.
16. K. Drechsler and M. Stadel. A solution to a problem with Morel and Renvoise's "global optimization by suppression of partial redundancies". ACM Transactions on Programming Languages and Systems, 10(4):635-640, October 1988.
17. K. Drechsler and M. Stadel. A variation of Knoop, Rüthing, and Steffen's lazy code motion. ACM SIGPLAN Notices, 28(5):635-640, May 1993.
18. Evelyn Duesterwald, Rajiv Gupta, and Mary Lou Soffa. A practical framework for demand-driven interprocedural data flow analysis. ACM Transactions on Programming Languages and Systems, 19(6):992-1030, November 1997.
19. R. Gupta, D. Berson, and J.Z. Fang. Resource-sensitive profile-directed data flow analysis for code optimization. In 30th Annual IEEE/ACM International Symposium on Microarchitecture, pages 358-368, December 1997.
20. R. Gupta, D. Berson, and J.Z. Fang. Path profile guided partial redundancy elimination using speculation. In IEEE International Conference on Computer Languages, May 1998.
21. Richard E. Hank, Wen-Mei W. Hwu, and B. Ramakrishna Rau. Region-based compilation: An introduction and motivation. In 28th Annual IEEE/ACM International Symposium on Microarchitecture, Ann Arbor, Michigan, 1995.
22. Susan Horwitz, Thomas Reps, and Mooly Sagiv. Demand Interprocedural Dataflow Analysis. In Proceedings of the Third ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 104-115, October 1995.
23. Johan Janssen and Henk Corporaal. Controlled node splitting. In Compiler Construction, 6th International Conference, volume 1060 of Springer Lecture Notes in Computer Science, pages 44-58, Sweden, April 1996.
24. Jens Knoop, Oliver Rüthing, and Bernhard Steffen. Optimal code motion: Theory and practice. ACM Trans. on Progr. Languages and Systems, 16(4):1117-1155, 1994.
25. S. A. Mahlke, W. Y. Chen, R. A. Bringmann, R. E. Hank, W.M. W. Hwu, B. R. Rau, and M. S. Schlansker. Sentinel scheduling for VLIW and superscalar processors. ACM Transactions on Computer Systems, 11(4):376-408, 1993.
26. E. Morel and C. Renviose. Global optimization by supression of partial redundancies. CACM, 22(2):96-103, 1979.
27. G. Ramalingam. Data flow frequency analysis. In Proceedings of the ACM SIGPLAN '96 Conf. on Progr. Language Design and Implementation, pages 267-277, June 1996.
28. Barbara G. Ryder and Marvin C. Paull. Elimination algorithms for data flow analysis. ACM Computing Surveys, 18(3):277-316, September 1986.
29. Mooly Sagiv, Thomas Reps, and Susan Horwitz. Precise interprocedural dataflow analysis with applications to constant propagation. Theoretical Computer Science, 167(1-2):131-170, 1996.
30. Bernhard Steffen. Property oriented expansion. In Proc. Int. Static Analysis Symposium (SAS'96), volume 1145 of LNCS, pages 22-41, Germany, September 1996. Springer.