Strength Reduction in a Loop