Strength reduction via SSAPRE

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

Volumn 1383, Issue , 1998, Pages 144-158

  Kennedy, Robert ^a   Chow, Fred ^a   Dahl, Peter ^a   Liu, Shin Ming ^a   Lo, Raymond ^a   Streich, Mark ^a  

^a HEWLETT PACKARD ENTERPRISE   (United States)

Author keywords

Code motion; Data flow analysis; Dead code elimination; Induction variables; Linear function test replacement; Partial redundancy elimination; Program analysis; Program optimization; Program transformation; Static single assignment; Strength reduction

Indexed keywords

CODES (SYMBOLS); DATA FLOW ANALYSIS; DATA TRANSFER; JOINT PROSTHESES; LINEAR TRANSFORMATIONS; MATHEMATICAL TRANSFORMATIONS; METADATA; OPTIMIZATION; PROGRAM COMPILERS; REDUNDANCY;

CODE MOTION; DEAD CODE ELIMINATION; INDUCTION VARIABLES; LINEAR FUNCTIONS; PARTIAL REDUNDANCY ELIMINATIONS; PROGRAM ANALYSIS; PROGRAM OPTIMIZATION; PROGRAM TRANSFORMATIONS; STATIC SINGLE ASSIGNMENTS; STRENGTH REDUCTION;

SOFTWARE TESTING;

EID: 77952403980     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0026428     Document Type: Conference Paper

References (14)

1. Allen, E, Cocke, J. and Kennedy, K. Reduction of Operator Strength, in Muchnick, S. and Jones, N. (editors) Program Flow Analysis: Theory and Applications, Prentice Hall, 1981, pp. 79-101.
2. Cai, J. and Paige, R. Look Ma, No Hashing, and No Arrays Neither. Proceedings of the 18th Symposium on Principles of Programming Languages, January 1991, pp. 143-154.
3. Chow, E, Chan, S., Kennedy, R., Liu, S., Lo, R. and Tu, P A New Algorithm for Partial Redundancy Elimination based on SSA Form. Proceedings of the SIGPLAN '97 Conference on Programming Language Design and Implementation, June 1997, pp. 273-286.
4. Chow, E "A Portable Machine-independent Global Optimizer - Design and Measurements," Ph.D. Thesis and Technical Report 83-254, Computer System Lab, Stanford University, Dec. 1983.
5. Cocke, J. and Kennedy, K. An Algorithm for Reduction of Operator Strength. Communications of the ACM, 20:11 (1977)pp. 850-856.
6. Cytron, R., Ferrante, J., Rosen B., Wegman, M. and Zadeck, K., Efficiently Computing Static Single Assignment Form and the Control Dependence Graph. ACM Transactions on Programming Languages and Systems, October 1991, pp. 451-490.
7. Cooper, K., Simpson, T. and Vick, C. Operator Strength Reduction, Technical Report CRPC-TR95635-S, Rice University, October 1995.
8. Dhamdhere, D. A New Algorithm for Composite Hoisting and Strength Reduction Optimization (+ Corrigendum). International Journal of Computer Mathematics 27 (1989), pp. 1-14 (+ 31-32).
9. Joshi, S. and Dhamdhere, D. A Composite Hoisting-Strength Reduction Transformation for Global Program Optimization, Part I and II. International Journal of Computer Mathematics, II (1982), pp. 21-41, 111-126.
10. Knoop, J., Ruthing, O. and Steffen, B., Lazy Code Motion. Proceedings of the SIGPLAN '92 Conference on Programming Language Design and Implementation, June 1992, pp. 224-234.
11. Knoop, J., Ruthing, O. and Steffen, B., Lazy Strength Reduction. Journal of Programming Languages (1993) 1, pp. 71-91.
12. Knoop, J., Ruthing, O. and Steffen, B., Optimal Code Motion: Theory and Practice. ACM Transactions on Programming Languages and Systems, October 1994, pp. 1117-1155.
13. Liu, S., Lo, R. and Chow, E. Loop Induction Variable Canonicalization in Parallelizing Compilers. Proceedings of the Fourth International Conference on Parallel Architectures and Compilation Techniques, October 1996, pp. 228-237.
14. Morel, E. and Renvoise, C. Global Optimization by Suppression of Partial Redundancies. Communications of the ACM 22(2), February 1979, pp. 96-103.