Interprocedural Conditional Branch Elimination

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 32, Issue 5, 1997, Pages 146-158

  Bodík, Rastislav ^a   Gupta, Rajiv ^a   Soff, Mary Lou ^a  

^a University of Pittsburgh   (United States)

Author keywords

Conditional branch correlation; Interprocedural data flow analysis; Optimization of object oriented languages; Path sensitive optimization

Indexed keywords

EID: 0346043339     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/258916.258929     Document Type: Article

References (25)

1. Ole Agesen and Urs Hölzle. Type feedback vs. type inference: A comparison of optimization techniques for object-oriented languages. In OOPSLA '95 Conference Proceedings, pages 91-107, Austin, TX, 1995.
2. Andrew Ayers, Robert Gottlieb, and Richard Schooler. Aggressive inlining. SIGPLAN Notices, 1997. Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation.
3. Thomas Ball and James R. Larus. Efficient path profiling. In 29th Annual IEEE/ACM International Symposium on Microarchitecture, Paris, France, 1996.
4. Rastislav Bodík and Rajiv Gupta. Partial dead code elimination using slicing transformations. SIGPLAN Notices, 1997. Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation.
5. Preston Briggs and Keith D. Cooper. Effective partial redundancy elimination. SIGPLAN Notices, 29(6):159-170, June 1994. Proceedings of the ACM SIGPLAN '94 Conference on Programming Language Design and Implementation.
6. Paul R. Carini. Automatic inlining. Technical Report IBM research Report RC-20286, IBM T.J. Watson Research Center, November 1995.
7. Keith D. Cooper and Ken Kennedy. Interprocedural side-effect analysis in linear time. SIGPLAN Notices, 23(7):57-66, July 1988. Proceedings of the ACM SIGPLAN '88 Conference on Programming Language Design and Implementation.
8. Jack. W. Davidson and Anne. M. Holler. A study of a C function inliner. Software, Practice and Experience, 18(8):775-790, August 1988.
9. Evelyn Duesterwald, Rajiv Gupta, and Mary Lou Soffa. Demand-driven computation of interprocedural data flow. In Conference Record of POPL '95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 37-48, San Francisco, California, January 1995.
10. Christopher W. Fraser and David R. Hanson. A retargetable C compiler: design and implementation. Benjamin/Cummings, 1995. ISBN 0-8053-1670-1.
11. Rajiv Gupta. A fresh look at optimizing array bound checking. SIGPLAN Notices, 25(6):272-282, June 1990. Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation.
12. 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, November 1995.
13. William Johnson. Superscalar Microprocessor Design. Prentice Hall, 1991. ISBN 0-13-875634-1.
14. Jens Knoop, Oliver Rüthing, and Bernhard Steffen. Lazy code motion. SIGPLAN Notices, 27(7):224-234, July 1992. Proceedings of the ACM SIGPLAN '92 Conference on Programming Language Design and Implementation.
15. Priyadarshan Kolte and Michael Wolfe. Elimination of redundant array subscript range checks. SIGPLAN Notices, 30(6):270-278, June 1995. Proceedings of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation.
16. Andreas Krall. Improving semi-static branch prediction by code replication. SIGPLAN Notices, 29(6):97-106, June 1994. Proceedings of the ACM SIGPLAN '94 Conference on Programming Language Design and Implementation.
17. Daniel M. Lavery and Wen-mei W. Hwu. Modulo scheduling of loops in control-intensive non-numeric programs. In Proceedings of the 29th Annual International Symposium on Microarchitecture, pages 126-137, Paris, France, December 2-4, 1996.
18. Frank Mueller and David B. Whalley. Avoiding unconditional jumps by code replication. SIGPLAN Notices, 27(7):322-330, July 1992. Proceedings of the ACM SIGPLAN '92 Conference on Programming Language Design and Implementation.
19. Frank Mueller and David B. Whalley. Avoiding conditional branches by code replication. SIGPLAN Notices, 30(6):56-66, June 1995. Proceedings of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation.
20. John Plevyak and Andrew A. Chien. Precise concrete type inference for object-oriented languages. OOPSLA'94, ACM SIGPLAN Notices, 29(10):324-335, 1994.
21. John Plevyak and Andrew A. Chien. Type directed cloning for object-oriented programs. In Eighth Annual Workshop on Languages and Compilers for Parallel Computing, Lecture Notes in Computer Science, volume 1033, pages 566-580, Columbus, Ohio, August 1995.
22. B. Ramakrishna Rau and C. D. Glaeser. Some scheduling techniques and an easily schedulable horizontal architecture for high performance scientific computing. In Proc. 14th Annual Workshop on Microprogramming, pages 183-198, 1981.
23. Stephen Richardson and Mahadevan Ganapathi. Interprocedural analysis versus procedure integration. Information Processing Letters, 32(3):137-142, 1989.
24. Stuart Sechrest, Chih-Chieh Lee, and Trevor Mudge. Correlation and aliasing in dynamic branch predictors. In Proceedings of the 23rd Annual International Symposium on Computer Architecture, pages 22-32, Philadelphia, Pennsylvania, May 22-24, 1996.
25. Cliff Young, Nicolas Gloy, and Michael D. Smith. A comparative analysis of schemes for correlated branch prediction. In Intl. Symposium on Computer Architecture, Italy, 1995.