loop optimization techniques in compiler design