Accurate static branch prediction by value range propagation

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn Part F129371, Issue , 1995, Pages 67-78

  Patterson, Jason R C ^a  

^a QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; DATA FLOW ANALYSIS; FLOW GRAPHS; HEURISTIC METHODS; OPTIMIZATION;

ACCURATE PREDICTION; CONSTANT PROPAGATION; GLOBAL INSTRUCTION SCHEDULING; HEURISTIC TECHNIQUES; HIGH-LEVEL OPTIMIZATIONS; PROPAGATION METHOD; REGISTER ALLOCATION; STATIC SINGLE ASSIGNMENTS;

FORECASTING;

EID: 47349088015     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/207110.207117     Document Type: Conference Paper

References (32)

1. [BallLaius92] Thomas Ball and James R. Larus. Optimally Profiling and Tracing Programs. Proceedings of the 19th Annual Symposium on Principles of Programming Languages, January 1992, pages 59-70.
2. [BallLarus93] Thomas Ball and James R. Larus. Branch Prediction For Free. Proceedings of the SIGPLAN '93 Conference on Programming Language Design and Implementation, June 1993, pages 300-313.
3. [Banerjee88] Utpal Banerjee. Dependence Analysis for Supercomputing. Kluwer Academic Publishers, 1988.
4. [BernsteinRodeh91] David Bernstein and Michael Rodeh. Global Instruction Scheduling for Superscalar Machines. Proceedings of the SIGPLAN '91 Conference on Programming Language Design and Implementation, June 1991, pages 241-255.
5. [Callahan+86] David Callahan, Keith D. Cooper, Ken Kennedy and Linda Torczon. Interprocedural Constant Propagation. Proceedings of the SIGPLAN '86 Conference on Compiler Construction, June 1986, pages 152-161.
6. [ChangMahlkeHwu91] Pohua P. Chang, Scott A. Mahlke and Wen-Mei W. Hwu. Using Profile Information to Assist Classic Code Optimizations. Software Practice and Experience 21(12), December 1991, pages 1301-1321.
7. [CooperHallKennedy92] Keith D. Cooper, Mary W. Hall and Ken Kennedy. Procedure Cloning. IEEE 1992 International Conference on Computer Languages, April 1992, pages 96-105.
8. [Cytron+91] Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman and F. Kenneth Zadeck. Efficiently Computing Static Single Assignment Form and the Control Dependence Graph. ACM Transactions on Programming Languages and Systems 13(4), October 1991, pages 451-490.
9. [Ellis85] John R. Ellis. Bulldog: A Compiler for VLIW Architectures. PhD Thesis, Yale University, February 1985. Also available from MIT Press, 1986.
10. [Fisher81] Joseph A. Fisher. Trace Scheduling: A Technique for Global Microcode Compaction. IEEE Transactions on Computers 30(7), July 1981, pages 478-490.
11. [FisherFreudenberger92] Joseph A. Fisher and Stefan M. Freudenberger. Predicting Conditional Branch Directions From Previous Runs of a Program. Proceedings of the 5th International Conference on Architectural Support for Programming Languages and Operating Systems, October 1992, pages 85-95.
12. [GroveTorczon93] Dan Grove and Linda Torczon. Interprocedural Constant Propagation: A Study of Jump Function Implementations. Proceedings of the SIGPLAN '93 Conference on Programming Language Design and Implementation, June 1993, pages 90-99.
13. [Gupta93] Rajiv Gupta. Optimizing Array Bound Checks Using Flow Analysis. ACM Letters on Programming Languages and Systems 2(1-4), March-December 1993, pages 135-150.
14. [Harrison77] William H. Harrison. Compiler Analysis of the Value Ranges for Variables. IEEE Transactions on Software Engineering, 3,3), May,1977, 243-250.
15. [JohnsonPingah93] Richard Johnson and Kershav Pingali. Dependence-Based Program Analysis. Proceedings of the SIGPLAN '93 Conference on Programming Language Design and Implementation, June 1993, pages 78-89.
16. [Karr84] Michael Karr. Code Generation by Coagulation. Proceedings of the SIGPLAN '84 Symposium on Compiler Construction, June 1984, pages 1-12.
17. [KildalTO] G. A. Kildall. A Unified Approach to Global Program Optimization. Proceedings of the First Annual Symposium on Principles of Programming Languages, October 1973, pages 194-206.
18. [Krall94] Andreas Krall. Improving Semi-Static Branch Prediction by Code Replication. Proceedings of the SIGPLAN '94 Conference on Programming Language Design and Implementation, June 1994, pages 97-106.
19. [McFarlmg89] Scott McFarling. Program Optimization for Instruction Caches. Proceedings of the 3rd International Symposium on Architectural Support for Programming Languages and Operating Systems, April 1989, pages 183-191.
20. [McFarlingHennessy86] Scott McFarling and John L. Hennessy. Reducing the Cost of Branches. Proceedings of the 13th Annual Symposium on Computer Architecture, June 1986, pages 396-403.
21. [MetzgerStroud93] Robert Metzger and Sean Stroud. Interprocedural Constant Propagation: An Empirical Study. ACM Letters on Programming Languages and Systems 2(1-4), March-December 1993, pages 213-232.
22. [Morris91] W. G. Morris. CCG: A Prototype Coagulating Code Generator. Proceedings of the SIGPLAN '91 Conference on Programming Language Design and Implementation, June 1991, pages 45-58.
23. [PettisHansen90] Karl Pettis and Robert C. Hansen. Profile Guided Code Positioning. Proceedings of the SIGPLAN '90 Conference on Programming Language Design and Implementation, June 1990, pages 16-27.
24. [ReifLewis77] John H. Reif and Harry R. Lewis. Symbolic Evaluation and the Global Value Graph. Proceedings of the 4th Annual Symposium on Principles of Programming Languages, January 1977, pages 104-118.
25. [Smith81] James E. Smith. A Study of Branch Prediction Strategies. Proceedings of the 8th Annual Symposium on Computer Architecture, May 1981, pages 135-148.
26. [SteenkisteHennessy89] Peter A. Steenkiste and John L. Hennessy. A Simple Interprocedural Register Allocation Algorithm and Its Effectiveness for LISP. ACM Transactions on Programming Languages and Systems 11(1), January 1989, pages 1-32.
27. [Wagner+94] Tim A. Wagner, Vance Maverick, Susan L. Graham and Michael A. Harrison. Accurate Static Estimators for Program Optimization. Proceedings of the SIGPLAN '94 Conference on Programming Language Design and Implementation, June 1994, pages 85-96.
28. [Wall86] David W. Wall. Global Register Allocation at Link Time. Proceedings of the SIGPLAN '86 Symposium on Compiler Construction, June 1986, pages 264-275.
29. [Wall88] David W. Wall. Register Windows vs Register Allocation. Proceedings of the SIGPLAN '88 Conference on Programming Language Design and Implementation, June 1988, pages 67-78.
30. [Wall91] David W. Wall. Predicting Program Behavior Using Real or Estimated Profiles. Proceedings of the SIGPLAN '91 Conference on Programming Language Design and Implementation, June 1991, pages 59-70.
31. [WegmanZadeck91[ Mark N. Wegman and F. Kenneth Zadeck. Constant Propagation with Conditional Branches. ACM Transactions on Programming Languages and Systems 13(2), April 1991, pages 181-210.
32. [WuLarus94] Youfeng Wu and James R. Larus. Static Branch Frequency and Program Profile Analysis. Proceedings of the 27th International Symposium on Microarchitecture, November 1994, pages 1-11.