为了改善汇编语言源程序的结构，减少显式转移语句所带来混乱，在宏汇编MASM 6.11系统中，增加了表达分支结构的伪指令。该伪指令的书写格式与高级语言的书写方式相类似，汇编程序在汇编时会自动增加转移指令和相应的标号。理解并掌握该知识，对将来学习《编译原理》课程也有一定的帮助。
分支伪指令的具体格式如下：
格式1：
.IF condition ;以英文“句号”开头
指令序列 ;条件"condition"成立时所执行的指令序列
.ENDIF
格式2：
.IF condition
指令序列1
.ELSE
指令序列2 ;条件"condition"不成立时所执行的指令序列
.ENDIF
格式3：
.IF condition1
指令序列1
.ELSEIF condition2
指令序列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的代码段部分就可写成如下程序段：
…
MOVAL, CHAR1
.IF AL>=’a’ ;; AL<=’z’;语句象
C语言语句吗？
SUB CHAR1, 20H
.ENDIF
…
也可把例6.6的代码段部分就可写成如下程序段：
…
MOV AX, X
.IF AX < 0
ADD AX, 10;计算第一种情况的结果
.ELSEIF AX <= 10
MOV BX, 30D
IMUL BX;计算第二种情况的结果
.ELSE
SUB AX, 9;计算第三种情况的结果
.ENDIF
MOV Y, AX
…;把计算结果保存到变量Y中
例6.9 根据当前计算机的时间和日期，显示上午(AM)或下午(PM)，以及所在的季节。
