II.C语言本质_18x86汇编程序基础_3第二个汇编程序

1、第18章x86汇编程序基础3.第二个汇编程序例18.2.求一组数的最大值的汇编程序#PURPOSE: This program finds thef maximum number of aiI #set of data items.1i #IbVARIABLES: The registers have| the following uses:Ir r# %edi - Holds the in dex of thedata item being exam ined# %ebx - Largest data item found:# %eax - Current data item! #| # T

2、he followingmemory locationsare used:! #1kI # datatems- con tai nsthe item1i data. A 0 is usedk11 # to termi nate the dataE#.secti on .datadata_items:#These are the data itemso ng3,67,34,222,45,75,54,34,44,33,22,11,66,0.secti on .text.globl _start_start:movl $0, %edi# move 0 intothe in dex registerm

3、ovl data_items(,%edi,4),%eax# load the first byte of datamovl %eax, %ebx# since thisis the first item, %eax is# the biggeststart loop:#start loopcmpl $0, %eax# check tosee if weve hit the endje loop_exitincl %edi# load n extvaluemovl data_items(,%edi,4),%eaxcmpl %ebx, %eax# comparevaluesjle start lo

4、op# jump toloop begi nning if the new# one isntbiggermovl %eax, %ebx# move thef value as the largestijmp start_loop# jump toj loop beginning j loop_exit:i # %ebx is the status code for theI I _；_exit system callj # and it already has the maximumJ movl $1, %eax#1 is the_exit() syscallj int $0 x80汇编、链

5、接、运行:这个程序在一组数中找到一个最大的数，并把它作为程序的退出状态。这组数 在.data段给出：.long指示声明一组数，每个数占32位，相当于C语言中的数组。这个数组开 头定义了一个符号data_items，汇编器会把数组的首地址作为 data_items符号 所代表的地址，data_items类似于C语言中的数组名。data_items这个标号没有用.globl声明，因为它只在这个汇编程序内部使用，链接器不需要用到这个 名字。除了ong之外，常用的数据声明还有：.byte，也是声明一组数，每个数占 8位.ascii ，例如.ascii Hello world，声明11个数，取值为相应字

6、 符的ASCII码。注意，和C语言不同，这样声明的字符串末尾是 没有0字符的，如果需要以0结尾可以声明为.ascii Hello world0。data_items数组的最后一个数是0，我们在一个循环中依次比较每个数，碰到0的时候让循环终止。在这个循环中：*edi寄存器保存数组中的当前位置，每次比较完一个数就把edi的值 加1，指向数组中的下一个数。 ebx寄存器保存到目前为止找到的最大值，如果发现有更大的数就更新ebx的值。 eax寄存器保存当前要比较的数，每次更新edi之后，就把下一个数读到eax中。sta rt:Imovl $0, %edi初始化edi，指向数组的第0个元素I movl

7、data_items(,%edi,4), %eax这条指令把数组的第0个元素传送到eax寄存器中。data_items是数组的首地 址, edi的值是数组的下标，4表示数组的每个元素占4字节，那么数组中第edi 个元素的地址应该是data_items + edi * 4，写在指令中就是data_items(,%edi,4)，这种地址表示方式在下一节还会详细解释。movl %eax, %ebxebx的初始值也是数组的第0个元素。下面我们进入一个循环，循环的开头定义 一个符号start_loop ，循环的末尾之后定义一个符号 loop_exit 。比较eax的值是不是0，如果是0就说明到达数组末尾

8、了，就要跳出循环。cmpl 指令将两个操作数相减，但计算结果并不保存，只是根据计算结果改变eflags寄存器中的标志位。如果两个操作数相等，则计算结果为 0， eflags中的ZF位 置1。je是一个条件跳转指令，它检查 eflags中的ZF位，ZF位为1则发生跳 转，ZF位为0则不跳转，继续执行下一条指令。可见比较指令和条件跳转指令 是配合使用的，前者改变标志位，后者根据标志位决定是否跳转。je可以理解成“jump if equal ”，如果参与比较的两数相等则跳转。incl %edimovl data_items(,%edi,4), %eax将edi的值加1，把数组中的下一个数传送到eax寄存器中cmpl %ebx, %eaxj jle start_loop把当前数组元素eax和目前为止找到的最大值ebx做比较，如果前者小于等于后 者，则最大值没有变，跳转到循环开头比较下一个数，否则继续执行下一条指令。 jle 表示“ jump if less than or