Journal ArticleDOI
An algorithm for reduction of operator strength
John Cocke,Ken Kennedy +1 more
TLDR
A simple algorithm which uses an indexed temporary table to perform reduction of operator strength in strongly connected regions is presented and several extensions, including linear function test replacement, are discussed.Abstract:
A simple algorithm which uses an indexed temporary table to perform reduction of operator strength in strongly connected regions is presented. Several extensions, including linear function test replacement, are discussed. These algorithms should fit well into an integrated package of local optimization algorithms.read more
Citations
More filters
Journal ArticleDOI
Collaboration Processes: Inside the Black Box
Ann Marie Thomson,James L. Perry +1 more
TL;DR: The authors argue that public managers should look inside the "black box" of collaboration processes and find a complex construct of five variable dimensions: governance, administration, organizational autonomy, mutuality, and norms.
Journal ArticleDOI
Automatic translation of FORTRAN programs to vector form
Randy Allen,Ken Kennedy +1 more
TL;DR: The theoretical background is developed here for employing data dependence to convert FORTRAN programs to parallel form and transformations that use dependence to uncover additional parallelism are discussed.
Journal ArticleDOI
Finite Differencing of Computable Expressions
Robert Paige,Shaye Koenig +1 more
TL;DR: Finite differencing is a program optimization method that generalizes strength reduction, and provides an efficient implementation for a host of program transformations including "iterator inversion."
Book
Modern Compiler Design
TL;DR: "Modern Compiler Design" makes the topic of compiler design more accessible by focusing on principles and techniques of wide application by carefully distinguishing between the essential and the incidental.
Book
Symbolic analysis for parallelizing compilers
TL;DR: A methodology for capturing analyzing program properties that are essential in the effective detection and efficient exploitation of parallelism on parallel computers is described and a symbolic analysis framework is developed for the Parafrase-2 parallelizing compiler.
References
More filters
Proceedings ArticleDOI
A unified approach to global program optimization
TL;DR: A technique is presented for global analysis of program structure in order to perform compile time optimization of object code generated for expressions that includes constant propagation, common subexpression elimination, elimination of redundant register load operations, and live expression analysis.
Journal ArticleDOI
Control flow analysis
TL;DR: The basic control flow relationships are expressed in a directed graph and various graph constructs are found and shown to codify interesting global relationships.
Journal ArticleDOI
An empirical study of FORTRAN programs
TL;DR: The principal conclusion which may be drawn is the importance of a program ‘profile’, namely a table of frequency counts which record how often each statement is performed in a typical run; there are strong indications that profile‐keeping should become a standard practice in all computer systems, for casual users as well as system programmers.