6.2.2 用伪指令实现分支结构

二、用伪指令实现的分支结构

为了改善汇编语言源程序的结构，减少显式转移语句所带来混乱，在宏汇编MASM6.11系统中，增加了表达分支结构的伪指令。该伪指令的书写格式与高级语言的书写方式相类似，汇编程序在汇编时会自动增加转移指令和相应的标号。理解并掌握该知识，对将来学习《编译原理》课程也有一定的帮助。

分支伪指令的具体格式如下：

格式1：

.IF condition;以英文“句号”开头
　 指令序列 ;条件"condition"成立时所执行的指令序列
.ENDIF

格式2：

.IFcondition
　 指令序列1
.ELSE
　 指令序列2;条件"condition"不成立时所执行的指令序列
.ENDIF

格式3：

.IFcondition1
　 指令序列1
.ELSEIFcondition2
　 指令序列2;条件"condition2"成立时所执行的指令序列
.ENDIF

其中：条件表达式“condition”的书写方式与C语言中条件表达式的书写方式相似，也可用括号来组成复杂的条件表达式。

条件表达式中可用的操作符有：==(等于)、!=(不等)、>(大于)、>=(大于等于)、<(小于)、<=(小于等于)、&(位操作与)、!(逻辑非)、&&(逻辑与)、||(逻辑或)等。

若在条件表达式中检测标志位的信息，则可以使用的符号名有：CARRY?(相当于CF==1)、OVERFLOW?(OF==1)、PARITY?(PF==1)、SIGN?(SF==1)、ZERO?(ZF==1)等。例如：

.IF　CARRY? && AX != BX;检测CF==1且AX!=BX是否成立
;汇编语言指令序列
.ENDIF

在指令序列中，还可再含有其它的.IF伪指令，即：允许嵌套。伪指令.ELSEIF引导出另一个二叉分支，但它不能作伪指令块的第一个伪指令。

汇编程序在对“条件表达式”进行代码转换时将进行代码优化处理，以便尽可能生成最好的指令代码。如：

.IF　ax == 0

汇编程序会把它转换为指令“OR　ax, ax”，而不是“CMP　ax, 0”，因为前者比后者更好，而不是简单直接地转换为后者。

如果用伪指令来书写分支结构，那么，例6.5的代码段部分就可写成如下程序段：

也可把例6.6的代码段部分就可写成如下程序段：

例6.9 根据当前计算机的时间和日期，显示上午(AM)或下午(PM)，以及所在的季节。

解：显示解答