汇编语言数组求和代码分析(1)

 

 

是这么一段代码，来自于《Intel汇编语言程序设计》（第四版）

 

 

;----------------------------------------------------------------------------

ArraySum PROC

;

;  Calculates the sum of an array of 32-bit integers.

;  Receives : ESI = the  array offset

;                   ECX = number of elements in the array

;  Returns : EAX = sum of the array elements

;----------------------------------------------------------------------------

 

         push esi        ; save ESI,ECX

         push ecx

         mov eax,0     ; set the sum to zero

L1:

         add eax,[esi] ; add each integer to sum

         add esi,4       ; point to next integer

         loop L1          ; repeat for array size

 

         pop ecx         ; restore ECX,ESI

         pop esi

         ret                 ; sum is in EAX

ArraySum ENDP

 

 

以上就是数组就和的函数代码，我们来一句一句的分析。

 

 

首先，我们定义了一个函数，用下面的语句

 

ArraySum PROC

 

然后，我们为了保存esi和ecx的值，将其push进了堆栈中，这样，我们在整个函数结束之后，就可以重新通过pop得到esi和ecx原来的值：

 

         push esi        ; save ESI,ECX

         push ecx

 

然后，因为我们会将我们就得的数组的和一直保存在eax寄存器当中，所以用以下语句将EAX寄存器清零：

 

         mov eax,0     ; set the sum to zero

 

然后，我们增加了一个L1的标号，用于循环，接着我们就开始了循环，看一下代码：

 

L1:

         add eax,[esi] ; add each integer to sum

         add esi,4       ; point to next integer

         loop L1          ; repeat for array size

 

首先，esi寄存器中保存着当前数组的元素的偏移地址，然后通过方括号，可以取得此地址的数组值，将其add到eax中，然后，又将esi这个地址增加4（因为我们这里计算的是32位整数的就和，32位整数，需要4个BYTE，所以，这里我们将esi增加的是4，而不是其他值，这样便得到了下一个数组元素的偏移地址），然后下一句跳回标号L1。

 

说到这里，有人可能会问，那循环如何知道什么时候结束呢？其实在循环的时候，寄存器ECX中保存了循环会执行的次数（这里就是数组元素的个数），看看函数的注释：

 

 

;----------------------------------------------------------------------------

ArraySum PROC

;

;  Calculates the sum of an array of 32-bit integers.

;  Receives : ESI = the  array offset

;                   ECX = number of elements in the array

;  Returns : EAX = sum of the array elements

;----------------------------------------------------------------------------

 

这一句：

 

ECX = number of elements in the array

 

说明了ECX寄存器保留了数组中元素的个数（ECX寄存器保留循环的个数，并且在循环的时候（每执行一次LOOP），会自减1，直至变为0），所以这个其实是需要我们在调用ArraySum 这个函数之前，将数组元素的个数计算出来之后，保留在ECX寄存器中的。

 

到这里，函数的功能就完成了，不过我们还要进行一下收尾工作，看以下的代码：

 

         pop ecx         ; restore ECX,ESI

         pop esi

         ret                 ; sum is in EAX

 

我们需要把ECX和ESI寄存器之前的值赋回去，我们只要弹出ecx和esi就可以了。

 

最后一句ret是所有非主函数都需要带的，用来将 指令指针寄存器ESP 指向函数调用之前的地址，好接着让主函数向下执行。

 

 

然后我们再来看看如何使用这个数组求和函数。

 

.data

array  DWORD 10000h,20000h,30000h,40000h,50000h

theSum DWORD

.code

main PROC

    mov esi , OFFSET array         ; ESI points to array

    mov ecx, LENGTHOF array     ; ECX = array count

    call ArraySum                        ; calculate the sum

    mov theSum , eax                 ; return in EAX

main ENDP

END main

 

在这里，我们看到，主函数确实在执行ArraySum函数之前向esi和ecx寄存器中放入了合适的值^_^。

 

 

另外，我们还可以不使用上面那种容易出错的方法，而使用伪指令 USES 来代替我们进行寄存器值的保存，下面是使用USES修改后的求和代码：

 

ArraySum PROC USES esi ecx

      mov eax , 0

L1:

      add eax , [esi]

      add esi , 4

      loop L1

      ret

ArraySum ENDP

 

编译器将生成以下代码：

 

ArraySum PROC

      push esi

      push ecx

      mov eax , 0

L1:

      add eax , [esi]

      add esi , 4

      loop L1

      pop ecx

      pop esi

      ret

ArraySum ENDP

 

 

 （注意：不能将用于过程的返回值的寄存器进行压栈和弹出，否则其中的值会丢失，例如此例中的EAX）