在傳統的匯編語言程序設計中,選擇結構程序設計一般用轉移指令（ＪＭＰ）加標號來實現,這種程序結構實際上並不是真正的選擇結構;在循環程序設計中,一般用循環指令（ＬＯＯＰ）或轉移指令來實現循環,這種結構也不具有結構化程序中的"ＷＨＩＬＥ循環"或"ＲＥＰＥＡＴ循環"的結構特征;在程序分支和循環的控制條件方面,每步判斷只能判斷一個條件,條件增多時,不得不增加判斷指令的條數,在這裡不能應用邏輯表達式進行條件判斷。本文介紹一些設計選擇結構程序、循環結構程序、過程子程序及其他一些用於結構化程序設計的語句及用於多條件判斷的邏輯表達式。利用這些語句可設計具有高級語言結構風格的結構化匯編語言程序。
１ 程序變量說明
在進行變量說明時,可用［Ｓ］ＢＹＴＥ、［Ｓ］ＷＯＲＤ］、［Ｓ］ＤＷＯＲＤ、ＦＷＯＲＤ、ＱＷＯＲＤ、ＴＢＹＴＥ、ＲＥＡＬ４、ＲＥＡＬ８及ＲＥＡＬ１０類型說明符說明變量類型,其中的可選項［Ｓ］表示定義的數據為帶符號數。定義變量的格式為:
［變量名］類型說明符初始值［,初始值］．．．
２．ＭＯＤＥＬ偽指令
．ＭＯＤＥＬ偽指令用於說明存儲器模式等,格式為:
．ＭＯＤＥＬｍｅｍｏｄｅｌ［，ｌａｎｇｔｙｐｅ］［，ｏｓｔｙｐｅ］［，ｓｔａｃｋｏｐｔｉｏｎ］,其中,ｍｅｍｍｏｄｅｌ為存儲模式,ｌａｎｇｔｙｐｅ為語言類型（Ｃ,ＰＡＳＣＡＬ,ＢＡＳＩＣ,ＦＯＲＴＲＡＮ等）,ｏｓｔｙｐｅ為操作系統類型（ＯＳ-ＤＯＳ）,ｓｔａｃｋｏｐｔｉｏｎ為棧類型,可取ＮＥＡＲＳＴＡＣＫ（ＳＳ＝ＤＳ）或ＦＡＲＳＴＡＣＫ（ＳＳ〈〉ＤＳ）。
３程序起始及退出代碼的產生
語法: ．ＳＴＡＲＴＵＰ
．ＥＸＩＴ［表達式］
．ＳＴＡＲＴＵＰ為給定的ＣＰＵ類型及由．ＭＯＤＥＬ定義的存儲模式、操作系統及棧類型產生起始代碼,初始化ＤＳ、ＳＳ及ＳＰ,並定義起始地址標號。因而不需要在ＥＮＤ指令中給出起始地址標號,程序將自動從．ＳＴＡＲＴＵＰ處開始執行。在ＴＩＮＹ存儲模式時還產生ＯＲＧ１００Ｈ指令。
．ＥＸＩＴ產生終止程序、返回操作系統或調用程序的代碼。［表達式］為返回給操作系統或調用程序的一個退出碼。
４選擇結構（塊ＩＦ語句）
語法:．ＩＦ條件１
語句塊２
［．ＥＬＳＥＩＦ條件２
語句塊２］
．．．．．．
［．ＥＬＳＥ 語句塊ｎ］
．ＥＮＤ ＩＦ
看到,其語法結構和高級語言基本相同,執行情況也相同。其中的條件為一邏輯表達式,其運算符基本同Ｃ語言,為:＝＝、！＝、＞、＞＝、＜、＜＝、&、！、&&、。組成邏輯表達式的成分可為:變量、寄存器名、常量及符號ＣＡＲＲＹ？、ＯＶＥＲＦＬＯＷ？、ＰＡＲＩＴＹ？、ＳＩＧＮ？和ＺＥＲＯ？（依次分別表示標志位ＣＦ、ＯＦ、ＰＦ、ＳＦ、ＺＦ為１）。邏輯表達式的結果只有真（非０）或假（０）。邏輯表達式的求值順序為從左到右,可用括號改變順序。
上述的選擇結構可以嵌套。
５循環結構
結構１: 結構２: 結構３:
．ＷＨＩＬＥ條件 ．ＲＥＰＥＡＴ ．ＲＥＰＥＡＴ
語句塊 語句塊 語句塊
．ＥＮＥＷ ．ＵＮＴＩＬ條件 ．ＵＮＴＩＬＣＸＺ［條件］
其中各"條件"均為一邏輯表達式。在語法１中給出的結構為"ＷＨＩＬＥ型循環",當條件為真時循環。在語法２和語法３中給出的結構均為"ＵＮＴＩＬ型循環",當條件為假時循環。在結構３中語句．ＵＮＴＩＬＣＸＺ還將使ＣＸ減１,並測試其是否為０,當ＣＸ為０時也將退出循環。
上述各循環結構均可嵌套。循環體內的．ＢＲＥＡＫ［．ＩＦ條件］語句可無條件或有條件退出各循環,而．ＣＯＮＴＩＮＵＥ［．ＩＦ條件］語句可在本次循環中跳過循環體內沒有執行的代碼進入下一輪循環。
６過程的原型說明和調用
過程子程序仍然可用ＰＲＯＣ定義,常用的語法可為:
ｎａｍｅＰＲＯＣ［ｄｉｓｔａｎｃｅ］［ｌａｎｇｔｙｐｅ］［ＵＳＥＳｒｅｇｌｓｔ］［，ｐａｒａｍ［：ｔａｇ］］．．．［ＬＯＣＡＬｖａｒｌｓｔ］
過程體
ｎａｍｅＥＮＤＰ
其中,ｎａｍｅ為過程名,ｄｉｓｔａｎｃｅ說明本過程的屬性,常用的為ＮＥＡＲ和ＦＡＲ。ＵＳＥＳ說明過程將要用到的寄存器,它們將自動地在過程入口被保存入棧而在過程出口被彈出。ｌａｎｇｔｙｐｅ為語言類型。ｐａｒａｍ為該過程的參數（將由棧傳遞）。ｔａｇ為參數的類型,可為預定義的結構類型,記錄類型或ＢＹＴＥ,ＷＯＲＤ．．．．．．等類型。ｔａｇ也可為ＶＡＲＡＲＧ,表示傳遞的參數個數可變,此時應作為最後一個參數,並應具有Ｃ,ＳＹＳＣＡＬＬ或ＳＴＤＣＡＬＬ語言類型。當ｔａｇ省略時,隱含類型為ＷＯＲＤ。ＬＯＣＡＬ用於在棧中定義局部變量,這些局部變量能通過名字存取,並能在退出過程時自動釋放。
過程原型說明用ＰＲＯＴＯ,格式為:
ｎａｍｅＰＲＯＴＯ［ｄｉｓｔａｎｃｅ］［ｌａｎｇｔｙｐｅ］［，［ｐａｒａｍ］：ｔａｇ］．．．
過程由ＰＲＯＴＯ說明後,即可用ＩＮＶＯＫＥ調用。和ＣＡＬＬ調用相比,用ＩＮＶＯＫＥ調用過程的優點是能自動將各參數壓入棧,而當從過程返回時被自動清除,並且在需要時,也能根據原型說明進行參數類型的轉換。ＩＮＶＯＫＥ指令的格式為:
ＩＮＶＯＫＥｅｘｐｒｅｓｓｉｏｎ［，ａｒｑｕｍｅｎｔｓ］ 其中,ｅｘｐｒｅｓｓｉｏｎ為要被調用的過程的名字或其地址產生式。ａｒｇｕｍｅｎｔｓ為要傳遞到過程的實際參數,可為寄存器對（用::分開）、表達式或"ＡＤＤＲ符號"（ＡＤＤＲ為取地址）。
所附程序的功能為首先取機器的當前年月,並計算該月有多少天。程序中使用了本文介紹的大部分語句或方法。
