Hacker News Reader

In the final form of Duff's device, isn't the loop control still executed each time, but in the do/while statement instead of the for loop?

Yes, but instead of performing a loop control for every computation() it is only performed once every four computation()s.