loop指令

loop指令

　　loop系列的指令有：loop,loope/loopz,loopne/loopnz,它们都是借助于ECX寄存器作为计数来实现循环，每轮循环先ecx自动减1，再来判断ecx值，ecx的自减不会影响OF和CF。

通用的格式是

　　　　loopx lab

• loop

循环直到ecx为0。

一个错误的例子：

 .section .data

 output:

     .asciz "array[%d]:%d\n"

 array:

     .int ,,,,,,,,,

 .section .text

 .globl main

 main:

     nop

 /**

 ** 一个错误的例子，ecx在printf中被重写

 **/

 /*    movl $, %ecx

 Loop1:

     #pushal

     pushl array(,%ecx,)

     pushl %ecx

     pushl $output

     call printf

     addl $, %esp

     #popal

     loopne Loop1

 */

     pushl $

     call exit

　　在loop循环中调用其他函数极易重写ecx的值，这样一来循环被破坏，这点要特别注意。

• loope/loopz
  • 循环直到ecx不为0，2个指令无任何区别
• loopne/loopnz
• 循环直到ecx为0，2个指令无任何区别

　　这样看来，loop ,loopne/loopnz这3个指令好像都是一回事，先看下面的代码：

　　这段代码是一个简单的求和代码

 .section .data

 output:

     .asciz "sum:%d\n"    

 .section .text

 .globl main

 main:

     nop

 /*清掉EFLAGS中的ZF*/

     movl $, %eax

     addl $, %eax

     movl $, %ecx

     movl $, %eax

 loop1:

     addl %ecx, %eax

     loop loop1

     #loopne loop1

     pushl %eax

     pushl $output

     call printf

     addl $, %esp

     pushl $

     call exit

　　如果采用17行loop作为循环条件，ecx自减1，为-1，不为0，那么继续循环，也就是从0xFFFFFFFF---->0x0，结果是：

　　　　sum:-2147483648

　　如果采用18行loopne，结果是：

　　　　sum:0

　　细看loop：Loop until the ECX register is zero
　　loopne/loopnz:Loop until either the ECX register is zero, or the ZF flag is set
　　loopne/loopnz 多了一个条件，ZF也影响其判断。

代码中虽然ecx在执行18行时，先ecx自减，为-1，但是同时16行代码导致ZF被置位，所以依旧执行了跳转。

　　loope/loopz也判断了ZF。