Code motion is an important global optimizing technology in a compiler. Here a new code motion algorithm is discussed, in which code motion (the elimination of common subexpression and the movement of loop-invariant computation, etc. )can be completed simply by data flow analysis without uncovering the loop structures embedded in the control flow graph, therefore it is a very efficient method.
参考文献
[1] E.Morel,C.Renvoise.Global Optimization by Suppression of Partial Redundancies.ommunications of ACM,22 (1979),96—103.
[2] F.C.Chow.A Portable Machine—Independent Global Optimizer——Design and Measurements.PhD Thesis,Dep.of Electrical Engineering and Computer Scienee.Stanford University,CA,Technical Report No.83—254.