Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-driven SSA Form (1995)

by Michael P. Gerlek , Eric Stoltz , Michael Wolfe
Venue:ACM Transactions on Programming Languages and Systems
Citations:102 - 5 self

Documents Related by Co-Citation

838 Efficiently computing static single assignment form and the control dependence graph – Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck - 1991
90 Beyond Induction Variables – Michael Wolfe - 1992
80 The Range Test: A Dependence Test for Symbolic, Non-linear – Expressions William Blume, William Blume, Rudolf Eigenmann - 1994
175 Global value numbers and redundant computations – B K Rosen, M N Wegman, F K Zadeck - 1988
35 Symbolic Program Analysis and Optimization for Parallelizing Compilers – Mohammad R. Haghighat, Constantine D. Polychronopoulos - 1992
567 Automatic Discovery of Linear Restraints Among Variables of a Program – Patrick Cousot, Nicolas Halbwachs - 1978
92 Experience in the Automatic Parallelization of Four Perfect-Benchmark Programs – Rudolf Eigenmann, Jay Hoeflinger, Zhiyuan Li, David Padua - 1991
302 Advanced Compiler Optimizations for Supercomputers – D A Padua, M J Wolfe - 1986
131 The program dependence web: a representation supporting control-, data-, and demanddriven interpretation of imperative languages – K Ottenstein, R Ballance, A MacCabe - 1990
653 High performance compilers for parallel computing – M Wolfe - 1996
309 Constant propagation with conditional branches – Mark N. Wegman, F. Kenneth Zadeck - 1991
73 Gated SSA-Based Demand-Driven Symbolic Analysis for Parallelizing Compilers – Peng Tu, David Padua - 1995
85 Effective Partial Redundancy Elimination – Preston Briggs, Keith D. Cooper - 1994
157 Lazy Code Motion – Jens Knoop, Oliver RĂ¼thing, Bernhard Steffen - 1992
105 Symbolic Analysis for Parallelizing Compilers – Mohammad R. Haghighat, Constantine D. Polychronopoulos - 1994
346 Dependence Analysis for Supercomputing – Utpal Banerjee - 1988
43 Polaris: The Next Generation in Parallelizing Compilers – Bill Blume , Rudolf Eigenmann, Keith Faigin, John Grout, Jay Hoeflinger, David Padua, Paul Petersen, Bill Pottenger, Lawrence Rauchwerger, Peng Tu, Stephen Weatherford - 1994
34 Automatic recognition of induction variables and recurrence relations by abstract interpretation – Z Ammerguallat, W L Harrison - 1990
120 Automatic Array Privatization – Peng Tu, David Padua - 1993