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.
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 ...
Cowan, Jack William (Monterey, California. Naval Postgraduate School, 1975-03);Kildall has states a general data flow analysis algorithm which has been applied to several forms of classical global program administration. The algorithm operates upon the flow graph of a program, where the nodes ...