Since the result of our synthesizing transformation is a perfectly nested loop nest, we can directly perform the loop transformations which are restricted to perfectly nested loop nests, to further ...