在传统的汇编语言程序设计中,选择结构程序设计一般用转移指令（ＪＭＰ）加标号来实现,这种程序结构实际上并不是真正的选择结构;在循环程序设计中,一般用循环指令（ＬＯＯＰ）或转移指令来实现循环,这种结构也不具有结构化程序中的"ＷＨＩＬＥ循环"或"ＲＥＰＥＡＴ循环"的结构特征;在程序分支和循环的控制条件方面,每步判断只能判断一个条件,条件增多时,不得不增加判断指令的条数,在这里不能应用逻辑表达式进行条件判断。本文介绍一些设计选择结构程序、循环结构程序、过程子程序及其他一些用于结构化程序设计的语句及用于多条件判断的逻辑表达式。利用这些语句可设计具有高级语言结构风格的结构化汇编语言程序。
逆风者
１ 程序变量说明
在进行变量说明时,可用［Ｓ］ＢＹＴＥ、［Ｓ］ＷＯＲＤ］、［Ｓ］ＤＷＯＲＤ、ＦＷＯＲＤ、ＱＷＯＲＤ、ＴＢＹＴＥ、ＲＥＡＬ４、ＲＥＡＬ８及ＲＥＡＬ１０类型说明符说明变量类型,其中的可选项［Ｓ］表示定义的数据为带符号数。定义变量的格式为:
［变量名］类型说明符初始值［,初始值］．．．
２．ＭＯＤＥＬ伪指令
．ＭＯＤＥＬ伪指令用于说明存储器模式等,格式为:
．ＭＯＤＥＬｍｅｍｏｄｅｌ［，ｌａｎｇｔｙｐｅ］［，ｏｓｔｙｐｅ］［，ｓｔａｃｋｏｐｔｉｏｎ］,其中,ｍｅｍｍｏｄｅｌ为存储模式,ｌａｎｇｔｙｐｅ为语言类型（Ｃ,ＰＡＳＣＡＬ,ＢＡＳＩＣ,ＦＯＲＴＲＡＮ等）,ｏｓｔｙｐｅ为操作系统类型（ＯＳ-ＤＯＳ）,ｓｔａｃｋｏｐｔｉｏｎ为栈类型,可取ＮＥＡＲＳＴＡＣＫ（ＳＳ＝ＤＳ）或ＦＡＲＳＴＡＣＫ（ＳＳ〈〉ＤＳ）。
３程序起始及退出代码的产生
语法: ．ＳＴＡＲＴＵＰ
．ＥＸＩＴ［表达式］
．ＳＴＡＲＴＵＰ为给定的ＣＰＵ类型及由．ＭＯＤＥＬ定义的存储模式、操作系统及栈类型产生起始代码,初始化ＤＳ、ＳＳ及ＳＰ,并定义起始地址标号。因而不需要在ＥＮＤ指令中给出起始地址标号,程序将自动从．ＳＴＡＲＴＵＰ处开始执行。在ＴＩＮＹ存储模式时还产生ＯＲＧ１００Ｈ指令。
．ＥＸＩＴ产生终止程序、返回操作系统或调用程序的代码。［表达式］为返回给操作系统或调用程序的一个退出码。
４选择结构（块ＩＦ语句）
语法:．ＩＦ条件１
语句块２
［．ＥＬＳＥＩＦ条件２
语句块２］
．．．．．．
［．ＥＬＳＥ 语句块ｎ］
．ＥＮＤ ＩＦ
看到,其语法结构和高级语言基本相同,执行情况也相同。其中的条件为一逻辑表达式,其运算符基本同Ｃ语言,为:＝＝、！＝、＞、＞＝、＜、＜＝、&、！、&&、。组成逻辑表达式的成分可为:变量、寄存器名、常量及符号ＣＡＲＲＹ？、ＯＶＥＲＦＬＯＷ？、ＰＡＲＩＴＹ？、ＳＩＧＮ？和ＺＥＲＯ？（依次分别表示标志位ＣＦ、ＯＦ、ＰＦ、ＳＦ、ＺＦ为１）。逻辑表达式的结果只有真（非０）或假（０）。逻辑表达式的求值顺序为从左到右,可用括号改变顺序。
上述的选择结构可以嵌套。
５循环结构

结构１: 结构２: 结构３:
．ＷＨＩＬＥ条件 ．ＲＥＰＥＡＴ ．ＲＥＰＥＡＴ
语句块 语句块 语句块
．ＥＮＥＷ ．ＵＮＴＩＬ条件 ．ＵＮＴＩＬＣＸＺ［条件］
其中各"条件"均为一逻辑表达式。在语法１中给出的结构为"ＷＨＩＬＥ型循环",当条件为真时循环。在语法２和语法３中给出的结构均为"ＵＮＴＩＬ型循环",当条件为假时循环。在结构３中语句．ＵＮＴＩＬＣＸＺ还将使ＣＸ减１,并测试其是否为０,当ＣＸ为０时也将退出循环。
上述各循环结构均可嵌套。循环体内的．ＢＲＥＡＫ［．ＩＦ条件］语句可无条件或有条件退出各循环,而．ＣＯＮＴＩＮＵＥ［．ＩＦ条件］语句可在本次循环中跳过循环体内没有执行的代码进入下一轮循环。
６过程的原型说明和调用
过程子程序仍然可用ＰＲＯＣ定义,常用的语法可为:
ｎａｍｅＰＲＯＣ［ｄｉｓｔａｎｃｅ］［ｌａｎｇｔｙｐｅ］［ＵＳＥＳｒｅｇｌｓｔ］［，ｐａｒａｍ［：ｔａｇ］］．．．［ＬＯＣＡＬｖａｒｌｓｔ］