IEEE Transactions on Computers · 1981 · 53 citations · 29 references
ComputingComputer EngineeringComputer ScienceCompilersComputer ArchitectureOptimizationCode GenerationInstruction SchedulingRegister AllocationCode OptimizationHorizontal MicrocodeMicro-operationsMicroarchitectural OptimizationMicroinstruction DesignOptimization AlgorithmsRecursive FunctionsVertical Microcode
This paper describes a microprogram optimization technique called MORIF. The technique is general enough to treat machines whose microoperations require multiple machine cycles on a subcycle basis. The technique is applicable to microinstruction formats varying from horizontal to partially encoded, and to vertical. The technique includes global optimization algorithms for microprograms containing loops and recursive subroutines. Evaluation of the technique is performed from both the viewpoints of the complexity of the devised algorithms, and efficiency of generated object microcodes.
29
An empirical study of FORTRAN programs
Donald E. Knuth · Software Practice and Experience · 1971 · 682 citations
A program data flow analysis procedure
Frances Allen, John Cocke · Communications of the ACM · 1976 · 410 citations · Full text
Global Data Flow Analysis and Iterative Algorithms
John B. Kam, Jeffrey D. Ullman · Journal of the ACM · 1976 · 303 citations · Full text
A Fast and Usually Linear Algorithm for Global Flow Analysis
Susan L. Graham, Mark N. Wegman · Journal of the ACM · 1976 · 187 citations · Full text
A practical interprocedural data flow analysis algorithm
Jeffrey M. Barth · Communications of the ACM · 1978 · 153 citations · Full text