Answers are grounded in this paper and cite their sources.
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.
No takes yet. Share an insight, caveat, or question.
Joshi et al. (1982) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: