The search functionality is under construction.
The search functionality is under construction.

Loop Quasi-Invariance Code Motion

Litong SONG, Yoshihiko FUTAMURA, Robert GLUCK, Zhenjiang HU

  • Full Text Views

    0

  • Cite this

Summary :

Loop optimization plays an important role in compiler optimization and program transformation. Many sophisticated techniques such as loop-invariance code motion, loop restructuring and loop fusion have been developed. This paper introduces a novel technique called loop quasi-invariance code motion. It is a generalization of standard loop-invariance code motion, but based on loop quasi-invariance analysis. Loop quasi-invariance is similar to standard loop-invariance but allows for a finite number of iterations before computations in a loop become invariant. In this paper we define the notion of loop quasi-invariance, present an algorithm for statically computing the optimal unfolding length in While-programs and give a transformation method. Our method can increase the accuracy of program analyses and improve the efficiency of programs by making loops smaller and faster. Our technique is well-suited as supporting transformation in compilers, partial evaluators, and other program transformers.

Publication
IEICE TRANSACTIONS on Information Vol.E83-D No.10 pp.1841-1850
Publication Date
2000/10/25
Publicized
Online ISSN
DOI
Type of Manuscript
PAPER
Category
Theory and Models of Software

Authors

Keyword