每當應用程式呼叫副程式時，如有必要會在堆疊上建立一塊記憶體空間，供其執行期間使用。這塊空間通常包含返回位址、呼叫者狀態（如原先的 RBP 或被保存的暫存器）、副程式所需的區域變數以及與相關的資料，這樣的記憶體空間稱為堆疊框（stack frame）。在前幾章已經提到過參數、返回位址、原先的 RBP 這三個堆疊框，而這兩章小木偶打算舉的例子說明更完整的堆疊框。
在開始說明堆疊框之前，有兩件事得先聲明：①照往例先說明本章用得到的 Win64 API、x64 指令與假指令。③本章的例子是 GCD.ASM，不用 MASM64 SDK 的巨集，而是純手工打造與計算位址，這是為了單純，不讓 MASM64 SDK 加油添醋多了一些不需要的指令或浪費堆疊空間。
在日常生活中，常使用〝或〞這個描述。例如晚飯後，媽媽說：「洗完碗〝或〞倒完廚餘就能打電動。」意思就是洗碗跟倒廚餘兩件事，只要完成任意一件就能打電動。把做完事情當作真，以「1」表示；事情未做完，為假，以「0」表示。能玩電動為真，以「1」表示；不能玩電動為假，以「0」表示。結果如下表：事件甲代表沒洗碗也沒倒廚餘，所以不能玩電動；事件乙表示洗碗但沒倒廚餘，可以打電動……
| 事件 | 洗完碗 | 倒完廚餘 | 是否能玩電動 |
| 甲 | 0 | 0 | 0 |
| 乙 | 1 | 0 | 1 |
| 丙 | 0 | 1 | 1 |
| 丁 | 1 | 1 | 1 |
在電腦中，〝或〞運算也像上面「能否打電動」的例子一樣。也就是說，兩個一位元的運算元做〝OR〞運算，只要有一個運算元為一，結果就是一；只有兩個運算元都是零，結果才是零。OR 運算的真值表如下：
0 OR 0＝0 1 OR 0＝1 0 OR 1＝1 1 OR 1＝1
OR 指令的語法是
OR 目的運算元,來源運算元
OR 指令是將來源運算元的每個位元與目的運算元相對應的位元作 OR 運算，再將其結果存入目的運算元中。目的運算元可以是暫存器、變數，來源運算元可以是暫存器、變數與立即值，目的運算元與來源運算元不能同時是變數，且長度必須相同，例如都是八位元，不可一個是八位元另一個是十六位元。
此外，OR 指令也會依據結果設定旗標暫存器中的零值旗標。假如結果為零，會使零值旗標變為「1」，否則零值旗標為「0」。OR 不會發生借位或進位，因此進位旗標都會設為零。
例如，AL＝32H，執行「OR AL,0C3H」後的結果如右圖，最後結果為 F3，因此 AL 也會變成 F3。
OR 指令有幾項特性：①如果某數對自身進行 OR 運算結果仍為自身。②如果自己本身是零，結果也是零；反過來，如果兩數進行 OR 運算，結果是零，那麼這兩數必皆為零。在組合語言裏，常常利用這種性質去檢查某個暫存器是否為零。
要瞭解 TEST 指令，應先說明 AND 指令，因為它們幾乎一模一樣。AND 指令的語法是
AND 目的運算元,來源運算元
這個指令是將目的運算元與來源運算元做 AND 運算，再將結果存入目的運算元。AND 翻譯成「且」的意思，這種運算是只有當兩個條件都成立時才為真。
例如你放學回家，媽媽說：「要寫完今天的作業並且預習完明日的功課才能玩電腦。」意思就是如果你「寫完今天的作業」和「預習明日功課」只要有一項沒做完，就不能「玩電腦」，只有當兩項都完成了才可以玩電腦。
在電腦中，「1」表示真或成立的意思，「0」表示偽或不成立的意思。所以，只有當兩個數都為一，做 AND 運算時，其結果才為一；只要運算的兩數有一個為零，結果就為零。AND 運算的真值表如下：
0 AND 0＝0 0 AND 1＝0 1 AND 0＝0 1 AND 1＝1
AND 指令中的目的運算元可以是暫存器或變數，來源運算元可以是立即值、暫存器或變數，但是來源運算元與目的運算元不可同為變數。來源運算元與目的運算元的長度必須一致，做 AND 運算時，相對應的位元進行 AND 運算，把結果寫入目的運算元對應的位元。
做完「且」運算之後，CPU 會清除進位旗標與溢位旗標，並根據運算結果改變符號旗標與零值旗標，而輔助旗標之值無意義。
舉個例子說明。如右圖的 AL 暫存器之值為 92h，執行「AND AL,0F0h」時，把每個位元對齊後，每個位元做 AND 運算後，結果為 90h，即最下面黃字所示。因為最後結果不是零，故 CPU 會清除零值旗標。
值得一提的是，0F0h 這個數值，第 4∼7 位元均為 1，因此不管 AL 的第 4∼7 位元是什麼，與其做 AND 運算後均為原來 AL 的第 4∼7 位元之值；0F0h 的第 0∼3 位元均為零，不管 AL 第 0∼3 位元是什麼，與其做 AND 運算後結果為零。像這樣，把一個整數的某些位元清除（清除的意思是變為 0），而保留其他位元的過程稱為「遮罩 ( mask )」。方法很簡單，先設定一數，讓要遮罩的位元都設為零，然後將該數和原整數做 AND 運算就可以了。
TEST 指令的語法是：
TEST 目的運算元,來源運算元
TEST 指令會使目的運算元與來源運算元做「且」運算。事實上，TEST 與 AND 指令幾乎相同，差別僅在於 TEST 並不會將運算結果寫入目的運算元裏面。可能會有人產生疑問，如果不保存運算結果，那麼，TEST 指令有甚麼用呢？底下舉兩個例子：①檢驗一數是正數還是負數（見 DOS 組合語言第十四章）、②檢驗一數是奇數還是偶數。
因為一數的第零個位元決定了此數是奇數還是偶數，不論是以二進位、十進位或十六進位表示，都是一樣。一數的第零位元為零時，該數為偶數；為一時，該數為奇數。例如要檢驗 AL 暫存器之值是奇數還是偶數，可以用底下的程式：
test al,1
jz even
odd: ⁝ ;AL為奇數
⁝
even: ⁝ ;AL為偶數
先說 JB/JC。這兩個指令是一樣的指令，它的語法是（因為是相同的指令，僅以 JB 代替）：
JB 標記
JB 或 JC 會檢查進位旗標，如果進位旗標已設定，那麼就會跳躍至標記處；如果進位旗標被清除，就不跳躍執行 JB 或 JC 底下的指令。這兩個指令通常會搭配 CMP、ADD、SUB……等指令，尤其是 CMP。
JB 的原文是「jump if below」，中文意思是若低於就跳躍。JC 原文是「jump if carry」，中文意思是若進位就跳躍。以底下的程式說明：
mov al,10
cmp al,20
jb below
CMP 指令會進行減法運算，但不將結果寫進 AL 裏。因為 AL 小於 20，所以會借位，進位旗標會被設為一。等執行到 JB below 時，就會發生跳躍至 below 標記處。因為這樣的緣故，所以當進位旗標被設定時，相當於目的運算元比來源運算元小，結論就是 JB 與 JC 是相同的指令。
或許細心的人注意到，此處為何使用 below（低於），而不用 less（小於）呢？在 x64 組合語言領域裏，比較無號數用 below（低於）或 above（高於），比較有號數才用 less（小於）或 greater（大於）。無號數是無符號數的簡稱，所有位元都用於表示大小，不表示符號（這裏的符號指正、負號），所以只能表示零或數學上的正整數；有號數是有符號數的簡稱，用最高位元表示正、負號，所以能表示負整數、零、正整數。
JBE 與 JNA 是相同的指令，它們的語法是：
JBE 標記
前者原文是「jump if below or equal」，中文意思是若低於或等於就跳躍；後者是「jump if not above」，意思是若不高於就跳躍；看中文與原文的語義，就知道它們是相同的。在實務上，CPU 會檢查進位旗標與零值旗標，兩旗標只要有一個被設定，就發生跳躍。
JA 指令與 JAE 指令的語法如下：（JA、JNBE 是相同的指令；JAE、JNB、JNC 三個指令都是相同的）
JA 標記 JAE 標記
這兩個指令，都是用來比較無號數的高低（可以想像成無號數的大小）。JA 是指若高於就跳躍。比較兩數時，若目的運算元高於來源運算元，前者減去後者，就不會發生借位也不等於零，所以進位旗標設為零（在組合語言中，借位與進位都用進位旗標表示），零值旗標也被設為零。結論就是，JA 要發生跳躍，必須進位旗標與零值旗標都被清除，兩者缺一不可。
JAE 是指若高於或等於就跳躍，換句話說就是不低於才跳躍，與 JNB 是同樣的指令。比較兩數時，目的運算元減去來源運算元，不會發生借位，所以進位旗標被清除；結論就是 JAE 要發生跳躍，只須看進位旗標是否清除，清除才跳躍。
底下是有關無號數條件跳躍指令的整理，包含前幾章提過的，表中在同一列的指令都是相同的：
| 同義指令 | 中文語義 | 原文語義 | 旗標 |
| JA JNBE | 若高於就跳躍 若不低於或等於就跳躍 | jump if above jump if not below or equal | CF=0 且 ZF=0 |
| JB JC JNAE | 若低於就跳躍 若進位就跳躍 若不高於或等於就跳躍 | jump if below jump if carry jump if not above or equal | CF=1 |
| JAE JNB JNC | 若高於或等於就跳躍 若不低於就跳躍 若不進位就跳躍 | jump if above jump if not below jump if not carry | CF=0 |
| JBE JNA | 若低於或等於就跳躍 若不高於就跳躍 | jump if below or equal jump if not above | CF=1 或 ZF=1 |
| JE JZ | 若等於就跳躍 若為零就跳躍 | jump if equal jump if zero | ZF=1 |
| JNE JNZ | 若不等於就跳躍 若為不零就跳躍 | jump if not equal jump if not zero | ZF=0 |
XCHG 的語法是
XCHG 目的運算元,來源運算元
XCHG 的功用是相互交換目的運算元與來源運算元之數值，這兩個運算元可以是變數或暫存器，但不能都是變數。XCHG 不影響旗標。例如底下的例子：
mov rax,5
mov rcx,8
xchg rax,rcx
最後 RAX＝8，RCX＝5。
DIV 指令是功用是計算無號數的除法，至於有號數的除法，是用 IDIV 指令，見第 13 章。DIV 的語法如下：
DIV 運算元
運算元是除數，可以變數或暫存器，但不可以是立即值。DIV 指令的被除數並沒有寫出來，隱藏的被除數是 AX、DX:AX、EDX:EAX 或 RDX:RAX，至於是哪一個，要看運算元（即除數）決定，其規則是被除數的位元個數是除數的兩倍長。依據除數的長度，可分為四種除法：①八位元除法、②十六位元除法、③三十二位元除法、④六十四位元除法。運算後的商和餘數，分別存於暫存器中，整理如下表：
| 除法方式 | 除數 | 被除數 | 商數 | 餘數 | 範例 | ||
| 運算前 | 運算後 | ||||||
| 八位元除法 | 8 位元變數 或暫存器 | AX | AL | AH | ;計算 7÷2＝3⋯⋯1 MOV AX,7 MOV CL,2 DIV CL |
AX=0103（AL＝商，AH＝餘數） CL=2 | |
| 十六位元除法 | 16 位元變數 或暫存器 | DX:AX | AX | DX | ;計算 9÷4＝2⋯⋯1 MOV DX,0 MOV AX,9 MOV CX,4 DIV CX | AX=2（商） DX=1（餘數） | |
| 三十二位元除法 只能用於 386等級以上 | 32 位元變數 或暫存器 | EDX:EAX | EAX | EDX | ;計算三百億÷八億＝37⋯⋯400000000 MOV EDX,6 MOV EAX,0FC23AC00h MOV ECX,2FAF0800h DIV ECX |
EAX=25h（商） EDX=17D78400h（餘數） | |
| 六十四位元除法 只能用於 x64等級以上 | 64 位元變數 或暫存器 | RDX:RAX | RAX | RDX | ;10CDEFAB1234567890h÷10000000h ;＝1CDEFAB123h⋯⋯4567890h MOV RDX,1 MOV RAX,0CDEFAB1234567890h MOV RCX,10000000h DIV RCX |
RAX=1CDEFAB123h（商） RDX=4567890h（餘數） | |
以上表的三十二位元除法為例，如果要計算三百億除以八億，三百億換算成十六進位是 6 FC23 AC00h，占用六十四位元；八億是 2FAF 0800h，占了三十二位元。所以把 EDX 設為 6，EAX 設為 0FC23 AC00h，這樣就完成被除數的設定。除數可以是三十二位元的變數或暫存器，此例是 ECX，所以將 ECX 設為 2FAF 0800h（十進位 800000000＝八億）。運算後的商為 37（十六進位 25h），餘數為四億（十六進位 17D7 8400h）。
還有個問題，既然 DIV 有四種之多，那麼在做運算時要選用哪一種位元數的除法呢？其實不難，依據除數的大小來判定即可。還是以是三百億除以八億為例。除數是八億，換算成十六進位是 2FAF 0800h，占了三十二位元，因此就選用三十二位元的除法。也可以參考第一章的表格得知，三十二位元的數最多能表示四十二億，因此用三十二位元表示八億，綽綽有餘（當然你也可以執意用六十四位元除法，但殺雞焉用牛刀），因此就選用三十二位元的除法。
DIV 運算完之後，旗標暫存器中的進位旗標、溢位旗標、符號旗標、零值旗標、輔助進位旗標、同位旗標都未定義。未定義的意思是說這些旗標可能是任何值，不同的 CPU、架構，都可能會不同。因此在 DIV 指令執行完後，不應該由旗標判斷執行結果。
除旗標之外，執行 DIV 前還要注意商會不會超過暫存器所能存放的大小。例如 0F000h÷2＝7800h（十進位是 61440÷2＝30720），如果用八位元的除法，所得的商如果放在 AL 裏面是放不下的，會發生錯誤，這種錯誤稱除法溢位。通常除數太小且被除數太大，就會發生這種情形，可以參考「DOS 組合語言第七章註一」改進。
這六個 x64 指令都是將原來在暫存器中占用較少位元的資料，擴充成較多位元的資料，也可以把它們視為能改變資料類型的指令。因為作用類似，所以在這裡一併介紹，這六個指令可分為兩類：①CBW、CWDE、CDQE；②CWD、CDQ、CQO。
先說 CBW 指令。CBW 指令是「convert byte to word」的意思，意即將位元組的數值變成字組，其語法是
CBW
表面上 CBW 沒有運算元，但實際上是有個隱藏的運算元，那就是 AX 暫存器。CBW 會把存於 AL 的數值，變成存於 AX。方法是把 AL 的符號位元複製到 AX 的第 8∼15 位元之中。在二進位數值中，最高位元是符號位元（sign bit），若最高位元為 1，表示負數；若最高位元為 0，表示正數或零。有關符號位元與有號數的觀念，以後再說。
若 AL 的第七位元為 0，執行完 CBW 後，AX 的第 8∼15 位元都變為 0；若 AL 的第七位元為 1，執行完後，AX 的第 8∼15 位元都變為 1。也就是說，CBW 會把 AL 內的符號，延伸到 AH 內。這樣就能把 AL 中的有號數，擴充至 AX。
右圖 AX 為 0FF65H，AL 為 65H，第七位元是零（粉紅色）。執行 CBW 後，AL 上的第七位元擴充到 AH 暫存器，使 AH 上的每個位元都變成 0（綠色）。
CWDE 指令是「convert word to doubleword」的意思，把 AX 的第十五位元複製到 EAX 的第 16∼31 位元。CDQE 指令「convert doubleword to quadword」的意思，它把 EAX 的第 31 位元複製到 RAX 的第 32∼63 位元。
CWD 指令雖然也是「convert word to doubleword」，但卻是把 AX 的第 15 位元複製到 DX 的所有位元內。同樣，CDQ 是把 EAX 的第 31 位元複製到 EDX 的所有位元內；CQO 是把 RAX 的第 63 位元複製到 RDX 的所有位元內。最後整理成下表：
| 用途 | 指令 | 說明 | 指令 | 說明 |
| 位元組變字組 | CBW | AL 的符號位元→AX | ||
| 字組變雙字組 | CWDE | AX 的符號位元→EAX | CWD | AX 的符號位元→DX:AX |
| 雙字組變四字組 | CDQE | EAX 的符號位元→RAX | CDQ | EAX 的符號位元→EDX:EAX |
| 四字組變八字組 | CQO | RAX 的符號位元→RDX:RAX | ||
LOCAL 假指令是用來定義區域變數（local variables，大陸翻成局部變量）。區域變數相對於全域變數（global variables，全局變量）而來的，它們的差別在於區域變數只能在某個副程式中定義，也只有在這個副程式中才能存取，其他副程式與主程式都無法存取；而全域變數則是任意副程式或主程式都能存取。也因為全域變數在任何地方都可以修改其數值，以致於造成與很許多副程式相關，對於程式的維護會增加許多負擔，尤其是程式很大時更加困難。現代的觀念認為，不必要的全域變數是寫程式的壞習慣之一，因此能不使用就別用，儘量使用區域變數。
那麼如何定義區域變數呢？在組合語言裡使用 LOCAL 假指令，語法是：
LOCAL 變數名稱[元素個數]:資料類型,...
定義區域變數有幾項細節要注意：
例如底下的例子，用兩行 LOCAL 定義了兩個雙字組的區域變數，nWritn、nRead，與一個 12 位元組長的 buffer 字串：
Input PROC USES rbx rsi rdi hIn:QWORD,hOut:QWORD,pNumber:QWORD
;輸入：hIn、hOut－標準輸入、輸出裝置控制代碼
; pNumber－使用者輸入的數值存放位址
;輸出：RAX＝0，輸入錯誤
; RAX＝1，輸入正確，pNumber所指位址存有使用者輸入的數值
LOCAL nWritn:DWORD,nRead:DWORD
LOCAL buffer[12]:BYTE
我們知道全域變數是存放在「.DATA」或「.DATA?」區段內，那麼區域變數存放在哪裡呢？答案是在堆疊裡，也就是這個原因，只有在執行時才能確認區域變數的位址。也因為如此，如果要取得區域變數的位址，必須使用「LEA 目的運算元,區域變數」，無法使用「MOV 運算元,OFFSET 區域變數」這樣的指令。
至於如何在堆疊中安排區域變數與其存取，這是下一章要談的主要課題之一。
StrToIntA 能把以阿拉伯數字組成的字串（底下稱為數字字串）變成 32 位元數值存於 EXA 返回。
StrTiIntA 的原型是：
int StrToIntA( [in] PCSTR pszSrc );
StrToIntA 只有一個參數，以零結尾的數字字串位址，此字串必須按以下列順序組成：①「-」號代表負數，如果正數只能省略不可寫出來；②然後是數個阿拉伯數字，0∼9，組成的文字；③最後是「0」表示字串結束。呼叫 StrToIntA 前必須加上
INCLUDE SHLWAPI.INC ;內含 StrToIntA 的原型
INCLUDELIB SHLWAPI.LIB
若轉換失敗，回傳值為零；若成功，回傳值為字串轉換後的數值。
底下的例子：
szNumber DB "314",0 ⁝ invoke StrToIntA,ADDR szNumber
呼叫完 StrToIntA 之後，EAX 為 13AH，即十進位的 314。若 szNumber 為「"314pi159"」，那麼 StrToIntA 還是能夠轉換，但只到 4 為止，後面的無法轉換，所以 EAX 為 314。
輾轉相除法也叫歐幾里得算法（Euclidean algorithm），是計算兩整數的最大公因數的方法。過程是兩數相除所得的餘數為下次相除的除數，下次相除的被除數為原來的除數，這樣一直相除直到整除為止，最後一次的除數即為最大公因數。例如要求 18、48 的最大公因數的過程，可以參考下圖：
第一次相除的被除數，當然是選擇較大的數，較小的是除數，所以用「48÷18＝2…12」。第二次相除的被除數是第一次的除數，而除數則是第一次的餘數，所以是「18÷12＝1…6」( 事實上，餘數一定比除數小，所以還是選擇較大的為被除數，較小的為除數 )。第三次相除的被除數是第二次的除數，而除數則是第二次的餘數，所以是「12÷6＝3…0」，結果整除，所以最大公因數就是最後一次的除數，6。
如果把這過程畫成電腦程式的流程圖，就變成下面的樣子：
輾轉相除法的原理請參閱 HPM 通訊第十卷第十一期，這裡不介紹。這裏要看的是利用上面流程而撰寫的原始程式，FindGcd：
FindGcd PROC num1:DWORD,num2:DWORD ;輸入：num1、num2兩個整數 ;輸出：EAX＝最大公因數 again: xchg ecx,edx ;餘數變為下次的除數，原來的除數變被除數 mov eax,edx cdq div ecx ;使EDX:EAX（被除數）除以ECX（除數） or edx,edx ;餘數為EDX jnz again ;若EDX為零，最後一次的除數即為GCD mov eax,ecx ;把最大公因數存入RAX cdqe ret FindGcd ENDP
進入 FindGcd 副程式，並不需要判斷 num1、num2 何者較大，哪一個應該當被除數，哪一個當除數。因為即使是較小的數當被除數、大數當除數，那麼經過第一次除法之後，商為零，餘數是原來較小的數，第二次除法就自動變成除數，原來的大數就變成被除數了。
每次相除時，除數存於 ECX；相除後，餘數存於 EDX，所以進行除法之後，兩者需要互換，使用 XCHG 指令，恰如其分。然而，被除數還須調整，須把原來的除數（原存於 ECX，XCHG 之後存於 EDX）存於 EAX，並使 EDX 變為零，非常適合使用 CDQ 指令。
這一章只介紹 GCD.ASM 用到的新指令以及 Win64 API，下一章再介紹堆疊框。