Code generator for loop optimization (used by gcc)
