分支与循环程序设计.pptxVIP

第5章分支与循环程序设计5.1转移5.2分支结构程序设计5.3循环程序设计5.4跳转表

5.1转移转移指令分：无条件转移指令条件转移指令

5.1.1无条件转移指令无条件转移指令JMP作用相当于goto语句，但使用频繁。分为：段内转移段内短转移段间转移

1．段内转移01格式：JMPSRC03SRC可以是：05寄存器如：JMPEAX02功能：跳转到SRC指定的位置继续执行04程序标号如：JMP_Done06内存操作数如：JMP[EBX]

2．段内短转移格式：JMPSHORTSRCJMP指令仅占2字节同JMPSRC相比，短转移跳转的范围较小SRC必须是一个程序标号

3．段间转移在保护模式下，段间转移指令用来切换任务跳转到调用门指定的程序入口执行另一个代码段内的程序01例如：JMP0060:005B5E2002

5.1.2条件转移指令格式：JCCLABELX功能：如果条件CC为真，则转移到LABELX处执行，否则顺序执行下一条指令。LABELX是程序中的一个标号；CC是条件标志位，指定了转移的条件。

条件转移指令分类依据单个标志位的条件转移指令依据有符号数比较结果的条件转移指令依据无符号数比较结果的条件转移指令依据CX/ECX是否为0的条件转移指令12

例如，求DIST?|A–B|。MOVEAX,ASUBEAX,BJNSA10NEGEAXA10:MOVDIST,EAXJNS比较SF的值，如果EAX是正数或0，就跳转到A10，否则执行下一句。

例如，求有符号数A和B的较大值MAXAB。MOVEAX,ACMPEAX,BJGEa20MOVEAX,Ba20:MOVMAXAB,EAXA大于等于B时，跳转到a20处，此时EAX?A；A小于B时，不跳转，EAX?B。

MOVEAX,AcmpEAX,BJAEa30MOVEAX,B例如，求无符号数A和B的最大值MAXAB01MOVMAXAB,EAX和前面程序的区别只在于条件跳转指令的选择。有符号数判断使用JGE，而无符号数判断使用JAE。a30:02

依据CX/ECX是否为0的条件转移指令01格式1：JCXZLABELX格式2：JECXZLABELX功能：如果CX/ECX等于0，则转移到LABELX处执行，否则顺序执行下一条指令。02

5.2分支结构程序设计单分支结构和双分支结构有序表插入多分支结构折半查找程序单分支结构双分支结构

对于单分支结构的程序，1由条件转移指令来判断条件是否满足：条件满足时，跳过分支程序条件不满足时，继续向下执行，执行完分支后汇合。2这点与C语言if语句不同。3

5.2.2多分支结构以双分支结构为基础可以写出多分支结构的程序。判断是否为闰年的程序片段leapyear.asm比较日期大小的程序片段date.asm下面是求X的符号的函数的C程序和汇编程序的片段：sign.csign.asm

流程图（数组为R，元素个数n，数为a）

折半查找执行过程设定一个查找范围，下界为L和上界为h如果下界L大于上界h，则查找范围为空，查找结束。算法结束。取下界L和上界h的中点m?（L+h）/2从数组的中点m处取出一个数R[m]，和a进行比较。如果R[m]等于a，则在数组中找到a，下标为m。算法结束。如果R[m]大于a，则修改上界h为m?1。然后跳转到第2步。如果R[m]小于a，则修改下界l为m+1。然后跳转到第2步。实现折半查找的程序样例：split.asm结果为：Index=5Count=3Element=680

5.2.4有序表插入要插入一个数到有序表中把数组的元素逐个向后移动找到插入位置将这个数写到空出的位置实现有序表插入的程序样例：insert.asm2341

5.3循环程序设计while-do结构do-while结构循环初始化部分循环体循环控制部分常见的循环控制结构：循环程序包含3部分：

5.3.1循环指令LOOP指令循环次数放在ECX中，一般用于固定次数格式：LOOP标号功能：ECX先减1，再检查ECX：ECX的值不为0，则跳转到标号处继续循环；如果ECX的值为0，则循环结束。010302040506

LOOP指令MOVECX,循环次数循环的格式为：01循环体LOOP标号