A composite hoisting-strength reduction transformation for global program optimization part I
Subodh M. Joshi, Dhananjay M. Dhamdhere · International Journal of Computer Mathematics · 1982
This paper presents a unified framework for program optimization which subsumes (i) Loop invariant code motion, (ii) Common subexpression elimination, and (iii) Strength reduction. Use of this framework is shown to eliminate the control flow analysis costs and to widen the scope of conventional strength reduction.