Many loop transformations have been designed over the years, and several of them can be found in any parallelizing compiler currently in use in industry or at a university research facility.
Loop Transformations for Restructuring Compilers: The Foundations provides a rigorous theory of loop transformations.