结构化程序方法在汇编语言中的应用
在传统的汇编语言程序设计中,选择结构程序设计一般用转移指令(J M P)加标号来实现,这种程序结构实际上并不是真正的选择结构;在循环程序设计中,一般用循环指令(L O O P)或转移指令来实现循环,这种结构也不具有结构化程序中的"W H I L E循环"或"R E P E A T循环"的结构特征;在程序分支和循环的控制条件方面,每步判断只能判断一个条件,条件增多时,不得不增加判断指令的条数,在这里不能应用逻辑表达式进行条件判断。本文介绍一些设计选择结构程序、循环结构程序、过程子程序及其他一些用于结构化程序设计的语句及用于多条件判断的逻辑表达式。利用这些语句可设计具有高级语言结构风格的结构化汇编语言程序。
1程序变量说明
在进行变量说明时,可用[S]B Y T E、[S]W O R D]、[S]D W O R D、F W O R D、Q W O R D、T B Y T E、R E A L4、R E A L8及R E A L10类型说明符说明变量类型,其中的可选项[S]表示定义的数据为带符号数。定义变量的
格式
pdf格式笔记格式下载页码格式下载公文格式下载简报格式下载
为:
[变量名]类型说明符初始值[,初始值]...
2.M O D E L伪指令
.M O D E L伪指令用于说明存储器模式等,格式为:
.M O D E L m e m o d e l[,l a n g t y p e][,o s t y p e] [,s t a c k o p t i o n],其中,m e m m o d e l为存储模式,l a n g t y p e为语言类型(C,P A S C A L,B A S I C,F O R T R A N等), o s t y p e为操作系统类型(O S-D O S),s t a c k o p t i o n为栈类型,可取N E A R S T A C K(S S=D S)或F A R S T A C K(S S〈〉D S)。
3程序起始及退出代码的产生
语法: .S T A R T U P
.E X I T[表达式]
.S T A R T U P为给定的C P U类型及由.M O D E L定义的存储模式、操作系统及栈类型产生起始代码,初始化D S、S S及S P,并定义起始地址标号。因而不需要在E N D指令中给出起始地址标号,程序将自动从.S T A R T U P处开始执行。在T I N Y存储模式时还产生O R G100H指令。
.E X I T产生终止程序、返回操作系统或调用程序的代码。[表达式]为返回给操作系统或调用程序的一个退出码。
4选择结构(块I F语句)
语法:.I F条件1
语句块2
[.E L S E I F条件2
语句块2]
......
[.E L S E语句块n]
.E N D I F
看到,其语法结构和高级语言基本相同,执行情况也相同。其中的条件为一
逻辑表达式,其运算符基本同C语言,为:==、!=、>、>=、<、<=、&、!、&&、。组成逻辑表达式的成分可为:变量、寄存器名、常量及符号C A R R Y?、O V E R F L O W?、P A R I T Y?、S I G N?和Z E R O?(依次分别表示标志位C F、O F、P F、S F、Z F为1)。逻辑表达式的结果只有真(非0)或假(0)。逻辑表达式的求值顺序为从左到右,可用括号改变顺序。
上述的选择结构可以嵌套。
5循环结构
结构1: 结构2: 结构3:
.W H I L E条件.R E P E A T.R E P E A T
语句块语句块语句块
.E N E W.U N T I L条件.U N T I L C X Z[条件]
其中各"条件"均为一逻辑表达式。在语法1中给出的结构为" W H I L E型循环",当条件为真时循环。在语法2和语法3中给出的结构均为"U N T I L型循环",当条件为假时循环。在结构3中语句.U N T I L C X Z还将使C X减1,并测试其是否为0,当C X为0时也将退出循环。
上述各循环结构均可嵌套。循环体内的.B R E A K[.I F 条件]语句可无条件或有条件退出各循环,而.C O N T I N U E[.I F条件]语句可在本次循环中跳过循环体内没有执行的代码进入下一轮循环。
6过程的原型说明和调用
过程子程序仍然可用P R O C定义,常用的语法可为:
n a m e P R O C[d i s t a n c e][l a n g t y p e][U S E S r e g l s t][,p a r a m[:t a g]]...[L O C A L v a r l s t]
过程体
n a m e E N D P
其中,n a m e为过程名,d i s t a n c e说明本过程的属性,常用的为N E A R和F A R。U S E S说明过程将要用到的寄存器,它们将自动地在过程入口被保存入栈而在过程出口被弹出。l a n g t y p e为语言类型。p a r a m为该过程的参数(将由栈传递)。t a g为参数的类型,可为预定义的结构类型,记录类型或B Y T E, W O R D......等类型。t a g也可为V A R A R G,表示传递的参数个数可变,此时应作为最后一个参数,并应具有C,S Y S C A L L或S T D C A L L语言类型。当t a g省略时,隐含类型为W O R D。L O C A L用于在栈中定义局部变量,这些局部变量能通过名字存取,并能在退出过程时自动释放。
过程原型说明用P R O T O,格式为:
n a m e P R O T O[d i s t a n c e][l a n g t y p e][, [p a r a m]:t a g]...
过程由P R O T O说明后,即可用I N V O K E调用。和C A L
L调用相比,用I N V O K E调用过程的优点是能自动将各参数压入栈,而当从过程返回时被自动清除,并且在需要时,也能根据原型说明进行参数类型的转换。I N V O K E指令的格式为:
I N V O K E e x p r e s s i o n[,a r q u m e n t
s]其中,e x p r e s s i o n为要被调用的过程的名字或其地址产生式。a r g u m e n t s为要传递到过程的实际参数,可为寄存器对(用::分开)、表达式或"A D D R符号"(A D D R为取地址)。
所附程序的功能为首先取机器的当前年月,并计算该月有多少天。程序中使用了本文介绍的大部分语句或方法。