[caf]

In practice the loop would tend to be unrolled at compile-time anyway, so the CPU would see instructions that look like the first case.