Summary

• Post-multiplication maps each statement instance to its new position in the transformed loop's execution sequence.
• gives the new dependence distance vector, and allows testing for validity.
• This captures skewing, interchange and reversal.
• We can compose transformations by matrix multiplication .
• Working out the resulting loop's bounds is a little tricky.