> 2) Determining whether a loop is empty or not needs some kind of > register lifetime information. Last I looked, this was not > reliable at the time of loop unrolling. If this is no longer true, > then I can resurrect some code to do this. As long as the end value o the loop counter can be calculated, this is no problem.