在传统的汇编语言程序设计中.docVIP

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