Loop cleaning

Removing computations from a repeatedly executed region such as a loop or recursive procedure body (loop cleaning) is one of the most powerful program optimizations. In this paper, equivalent program transformations which consist of simultaneous removal of a set of region statements with placing the set either before the repeatedly executed region or behind it are considered. Their capabilities for performing more complete loop cleaning than the known ones are demonstrated.