## Interprocedural Symbolic Analysis (1994)

Citations: | 48 - 1 self |

### BibTeX

@MISC{Havlak94interproceduralsymbolic,

author = {Paul Havlak},

title = {Interprocedural Symbolic Analysis},

year = {1994}

}

### OpenURL

### Abstract

Compiling for efficient execution on advanced computer architectures requires extensive program analysis and transformation. Most compilers limit their analysis to simple phenomena within single procedures, limiting effective optimization of modular codes and making the programmer's job harder. We present methods for analyzing array side effects and for comparing nonconstant values computed in the same and different procedures. Regular sections, described by rectangular bounds and stride, prove as effective in describing array side effects in Linpack as more complicated summary techniques. On a set of six programs, regular section analysis of array side effects gives 0 to 39 percent reductions in array dependences at call sites, with 10 to 25 percent increases in analysis time. Symbolic analysis is essential to data dependence testing, array section analysis, and other high-level program manipulations. We give methods for building symb...