Unrolling a loop by a factor of $n$ consists in the substitution of a loop
body by itself, replicated $n$ times. A prelude and/or postlude are
added to preserve the number of iteration.}
Unrolling a loop by a factor of $n$ consists in the substitution of a loop
body by itself, replicated $n$ times. A prelude and/or postlude are
added to preserve the number of iteration.}