结构化程序方法在汇编语言中的应用

核心提示：在传统的汇编语言程序设计中,选择结构程序设计一般用转移指令（ＪＭＰ）加标号来实现,这种程序结构实际上并不是真正的选择结构;在循环程序设计中,一般用循环指令（ＬＯＯＰ）或转移指令来实现循环,这种结构也不具有结构化程序中的"ＷＨＩＬＥ循环"或"ＲＥＰＥＡＴ循环"的结构特征;在程序分支

在传统的汇编语言程序设计中,选择结构程序设计一般用转移指令（ＪＭＰ）加标号来实现,这种程序结构实际上并不是真正的选择结构;在循环程序设计中,一般用循环指令（ＬＯＯＰ）或转移指令来实现循环,这种结构也不具有结构化程序中的"ＷＨＩＬＥ循环"或"ＲＥＰＥＡＴ循环"的结构特征;在程序分支和循环的控制条件方面,每步判断只能判断一个条件,条件增多时,不得不增加判断指令的条数,在这里不能应用逻辑表达式进行条件判断。本文介绍一些设计选择结构程序、循环结构程序、过程子程序及其他一些用于结构化程序设计的语句及用于多条件判断的逻辑表达式。利用这些语句可设计具有高级语言结构风格的结构化汇编语言程序。

１ 程序变量说明

在进行变量说明时,可用［Ｓ］ＢＹＴＥ、［Ｓ］ＷＯＲＤ］、［Ｓ］ＤＷＯＲＤ、ＦＷＯＲＤ、ＱＷＯＲＤ、ＴＢＹＴＥ、ＲＥＡＬ４、ＲＥＡＬ８及ＲＥＡＬ１０类型说明符说明变量类型,其中的可选项［Ｓ］表示定义的数据为带符号数。定义变量的格式为:

［变量名］类型说明符初始值［,初始值］．．．

２．ＭＯＤＥＬ伪指令

．ＭＯＤＥＬ伪指令用于说明存储器模式等,格式为:

．ＭＯＤＥＬｍｅｍｏｄｅｌ［，ｌａｎｇｔｙｐｅ］［，ｏｓｔｙｐｅ］［，ｓｔａｃｋｏｐｔｉｏｎ］,其中,ｍｅｍｍｏｄｅｌ为存储模式,ｌａｎｇｔｙｐｅ为语言类型（Ｃ,ＰＡＳＣＡＬ,ＢＡＳＩＣ,ＦＯＲＴＲＡＮ等）,ｏｓｔｙｐｅ为操作系统类型（ＯＳ-ＤＯＳ）,ｓｔａｃｋｏｐｔｉｏｎ为栈类型,可取ＮＥＡＲＳＴＡＣＫ（ＳＳ＝ＤＳ）或ＦＡＲＳＴＡＣＫ（ＳＳ〈〉ＤＳ）。

３程序起始及退出代码的产生

语法: ．ＳＴＡＲＴＵＰ

．ＥＸＩＴ［表达式］
　　．ＳＴＡＲＴＵＰ为给定的ＣＰＵ类型及由．ＭＯＤＥＬ定义的存储模式、操作系统及栈类型产生起始代码,初始化ＤＳ、ＳＳ及ＳＰ,并定义起始地址标号。因而不需要在ＥＮＤ指令中给出起始地址标号,程序将自动从．ＳＴＡＲＴＵＰ处开始执行。在ＴＩＮＹ存储模式时还产生ＯＲＧ１００Ｈ指令。

．ＥＸＩＴ产生终止程序、返回操作系统或调用程序的代码。［表达式］为返回给操作系统或调用程序的一个退出码。

４选择结构（块ＩＦ语句）

语法:．ＩＦ条件１

语句块２

［．ＥＬＳＥＩＦ条件２

语句块２］

．．．．．．

［．ＥＬＳＥ 语句块ｎ］

．ＥＮＤ ＩＦ

看到,其语法结构和高级语言基本相同,执行情况也相同。其中的条件为一逻辑表达式,其运算符基本同Ｃ语言,为:＝＝、！＝、＞、＞＝、＜、＜＝、&、！、&&、。组成逻辑表达式的成分可为:变量、寄存器名、常量及符号ＣＡＲＲＹ？、ＯＶＥＲＦＬＯＷ？、ＰＡＲＩＴＹ？、ＳＩＧＮ？和ＺＥＲＯ？（依次分别表示标志位ＣＦ、ＯＦ、ＰＦ、ＳＦ、ＺＦ为１）。逻辑表达式的结果只有真（非０）或假（０）。逻辑表达式的求值顺序为从左到右,可用括号改变顺序。

上述的选择结构可以嵌套。

５循环结构

结构１: 结构２: 结构３:

．ＷＨＩＬＥ条件 ．ＲＥＰＥＡＴ ．ＲＥＰＥＡＴ

语句块 语句块 语句块

．ＥＮＥＷ ．ＵＮＴＩＬ条件 ．ＵＮＴＩＬＣＸＺ［条件］

其中各"条件"均为一逻辑表达式。在语法１中给出的结构为"ＷＨＩＬＥ型循环",当条件为真时循环。在语法２和语法３中给出的结构均为"ＵＮＴＩＬ型循环",当条件为假时循环。在结构３中语句．ＵＮＴＩＬＣＸＺ还将使ＣＸ减１,并测试其是否为０,当ＣＸ为０时也将退出循环。
　　上述各循环结构均可嵌套。循环体内的．ＢＲＥＡＫ［．ＩＦ条件］语句可无条件或有条件退出各循环,而．ＣＯＮＴＩＮＵＥ［．ＩＦ条件］语句可在本次循环中跳过循环体内没有执行的代码进入下一轮循环。

６过程的原型说明和调用

过程子程序仍然可用ＰＲＯＣ定义,常用的语法可为:

ｎａｍｅＰＲＯＣ［ｄｉｓｔａｎｃｅ］［ｌａｎｇｔｙｐｅ］［ＵＳＥＳｒｅｇｌｓｔ］［，ｐａｒａｍ［：ｔａｇ］］．．．［ＬＯＣＡＬｖａｒｌｓｔ］

过程体

ｎａｍｅＥＮＤＰ

其中,ｎａｍｅ为过程名,ｄｉｓｔａｎｃｅ说明本过程的属性,常用的为ＮＥＡＲ和ＦＡＲ。ＵＳＥＳ说明过程将要用到的寄存器,它们将自动地在过程入口被保存入栈而在过程出口被弹出。ｌａｎｇｔｙｐｅ为语言类型。ｐａｒａｍ为该过程的参数（将由栈传递）。ｔａｇ为参数的类型,可为预定义的结构类型,记录类型或ＢＹＴＥ,ＷＯＲＤ．．．．．．等类型。ｔａｇ也可为ＶＡＲＡＲＧ,表示传递的参数个数可变,此时应作为最后一个参数,并应具有Ｃ,ＳＹＳＣＡＬＬ或ＳＴＤＣＡＬＬ语言类型。当ｔａｇ省略时,隐含类型为ＷＯＲＤ。ＬＯＣＡＬ用于在栈中定义局部变量,这些局部变量能通过名字存取,并能在退出过程时自动释放。

过程原型说明用ＰＲＯＴＯ,格式为:

ｎａｍｅＰＲＯＴＯ［ｄｉｓｔａｎｃｅ］［ｌａｎｇｔｙｐｅ］［，［ｐａｒａｍ］：ｔａｇ］．．．

过程由ＰＲＯＴＯ说明后,即可用ＩＮＶＯＫＥ调用。和ＣＡＬＬ调用相比,用ＩＮＶＯＫＥ调用过程的优点是能自动将各参数压入栈,而当从过程返回时被自动清除,并且在需要时,也能根据原型说明进行参数类型的转换。ＩＮＶＯＫＥ指令的格式为:

ＩＮＶＯＫＥｅｘｐｒｅｓｓｉｏｎ［，ａｒｑｕｍｅｎｔｓ］ 其中,ｅｘｐｒｅｓｓｉｏｎ为要被调用的过程的名字或其地址产生式。ａｒｇｕｍｅｎｔｓ为要传递到过程的实际参数,可为寄存器对（用::分开）、表达式或"ＡＤＤＲ符号"（ＡＤＤＲ为取地址）。

　　所附程序的功能为首先取机器的当前年月,并计算该月有多少天。程序中使用了本文介绍的大部分语句或方法。