A unified approach to global program optimization
Kildall, Gary A.
MetadataShow full item record
A technique is presented for global analysis of program structure in order to perform compile time optimization of object code generated for expressions. The global expression optimization presented includes constant propagation, common subexpression elimination, elimination of redundant register load operations, and live expression analysis. A general purpose program flow analysis algorithm is developed which depends upon the existence of an "optimizing function." The algorithm is defined formally using a directed graph model of program flow structure, and is shown to be correct, Several optimizing functions are defined which, when used in conjunction with the flow analysis algorithm, provide the various forms of code optimization. The flow analysis algorithm is sufficiently general that additional functions can easily be defined for other forms of global code optimization.
RightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Showing items related by title, author, creator and subject.
Efficient Nonlinear Transient Dynamic Analysis for Structural Optimization Using an Exact Integral Equation Formulation Gordis, Joshua H.; Neta, Beny (Monterey, California. Naval Postgraduate School, 1999-05); NPS-ME-99-009This report serves to document progress made to date on the National Science Foundation Project #97-13481, Earthquake Hazard Mitigation Program. The focus of this phase of the project is the development of an improved ...
Daniel, John Hale (Monterey, California. Naval Postgraduate School, 1972-12);A study and pursuant development is described of a digital computer program for the computation of transfer function sensitivities in a symbolic form suitable for storage and subsequent repetitive numerical evaluation over ...
McEachen, John C.; Duncan, James S. (IEEE, 1997-06);An approach for tracking and quantifying the nonrigid, nonuniform motion of the left ventricular (LV) endocardial wall from two-dimensional (2-D) cardiac image sequences, on a point-by-point basis over the entire cardiac ...