Effective representation of aliases and indirect memory operations in SSA form

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

Volumn 1060, Issue , 1996, Pages 253-267

  Chow, Fred ^a   Chan, Sun ^a   Liu, Shin Ming ^a   Lo, Raymond ^a   Streich, Mark ^a  

^a HEWLETT PACKARD ENTERPRISE   (United States)

Author keywords

Aliasing; Factoring dependences; Hash tables; Indirect memory operations; Program representation; Static single assignment; Value numbering

Indexed keywords

GLOBAL OPTIMIZATION;

ALIASING; FACTORING DEPENDENCES; HASH TABLE; MEMORY OPERATIONS; PROGRAM REPRESENTATIONS; STATIC SINGLE ASSIGNMENTS; VALUE NUMBERING;

PROGRAM COMPILERS;

EID: 84957700098     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61053-7_66     Document Type: Conference Paper

References (15)

1. Alpern, B., Wegman, M. and Zadeck, K. Detecting Equality Of Variables in Programs. Conference Record of the 15th ACM Symposium on the Principles of Programming Languages, Jan. 1988.
2. Chase, D., Wegman, M. and Zadeck, K. Analysis of Pointers and Structures. Proceedings of the SIGPLAN’90 Conference on Programming Language Design and Implementation, June 1990.
3. Chow, F. “A Portable Machine-independent Global Optimizer — Design and Measurements,” Ph.D. Thesis and Technical Report 83-254, Computer System Lab, Stanford University, Dec. 1983.
4. Click, C., Global Code Motion Global Value Numbering, Proceedings of the SIGPLAN’95 Conference on Programming Language Design and Implementation, June 1995.
5. Choi, J., Burke, M. and Carini, P. Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects. Conference Record of the 20th ACM Symposium on the Principles of Programming Languages, Jan. 1993.
6. Choi, J., Cytron, R. and Ferrante, J. On the Efficient Engineering of Ambitious Program Analysis. IEEE Transactions on Software Engineering, February 1994, pp. 105–113.
7. Cocke, J. and Schwartz, J. Programming Languages and Their Compilers. Courant Institute of Mathematical Sciences, New York University, April 1970.
8. 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.
9. Cytron, R. and Gershbein, R., Efficient Accomodation of May-alias Information in SSA Form, Proceedings of the SIGPLAN’93 Conference on Programming Language Design and Implementation, June 1993.
10. Rosen, B., Wegman, M. and Zadeck K. Global Value Numbers and Redundant Computation. Conference Record of the 15th ACM Symposium on the Principles of Programming Languages, Jan. 1988.
11. Ruf, E. Context-Insensitive Alias Analysis Reconsidered. Proceedings of the SIGPLAN’95 Conference on Programming Language Design and Implementation, June 1995.
12. Steensgaard, B. Sparse Functional Stores for Imperative Programs. Proceedings of the SIGPLAN’95 Workshop on Intermediate Representations, Jan. 1995.
13. Wilson, B. and Lam, M. Efficient Context Sensitive Pointer Analysis for C Programs. Proceedings of the SIGPLAN’95 Conference on Programming Language Design and Implementation, June 1995.
14. Wegman, M. and Zadeck, K. Constant Propagation with Conditional Branches. ACM Transactions on Programming Languages and Systems, April 1991, pp. 181–210.
15. Wolfe, M. Beyond induction variables. Proceedings of the SIGPLAN’92 Conference on Programming Language Design and Implementation, June 1992.