do i=a1, a2, a3 end do loop_strip_mining (x) if a3>0 do i_x=a1, a2, a3*x do i=i_x, min(i_x+a3*x-a3, a2), a3 end do end do else do i_x=a1, a2, a3*x do i=i_x, max(i_x+a3*x+a3, a2), a3 end do end do end if