Affiliation:
1. CII Honeywell Bull, Louveciennes, France
Abstract
The elimination of redundant computations and the moving of invariant computations out of loops are often done separately, with invariants moved outward loop by loop. We propose to do both at once and to move each expression directly to the entrance of the outermost loop in which it is invariant. This is done by solving a more general problem, i.e. the elimination of computations performed twice on a given execution path. Such computations are termed partially redundant. Moreover, the algorithm does not require any graphical information or restrictions on the shape of the program graph. Testing this algorithm has shown that its execution cost is nearly linear with the size of the program, and that it leads to a smaller optimizer that requires less execution time.
Publisher
Association for Computing Machinery (ACM)
Reference14 articles.
1. Allen F. E. Control flow analysis. SIGPLAN Notices (ACM) 5 7 (1970) 1-19. 10.1145/800028.808479 Allen F. E. Control flow analysis. SIGPLAN Notices (ACM) 5 7 (1970) 1-19. 10.1145/800028.808479
2. A catalogue of optimizing techniques. In Design and Optimization of Compilers, R. Rustin, Ed., Prentice- Hall, Englewood Cliffs;Allen F. E.;N.J.,1971
3. Cocke J. Global common subexpression elimination. SIGPLAN Notices (ACM) 5 7 (1970) 20-24. 10.1145/800028.808480 Cocke J. Global common subexpression elimination. SIGPLAN Notices (ACM) 5 7 (1970) 20-24. 10.1145/800028.808480
4. A comparison of certain optimization techniques. In Design and Optimization of Compilers, R. Rustin, Ed., Prentice-HaU, Englewood Cliffs;Goldtmrg P;N.J.,1971
Cited by
196 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Lazy Code Transformations in a Formally Verified Compiler;Proceedings of the 18th ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems;2023-07-17
2. Lexical-based partial redundancy elimination: An optimal algorithm with improved efficiency;Journal of Computer Languages;2023-06
3. Lazy Demand-driven Partial Redundancy Elimination;Journal of Information Processing;2023
4. Bibliography;Engineering a Compiler;2023
5. Scalar Optimization;Engineering a Compiler;2023