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