内存模式
.386
.model flat,stdcall ;子程序调用模式，win32中只能用stdcall，因为win32api调用使用的这个
option casemap:none ;定义了程序中变量和子程序名是否对大小写敏感，win32api名称区分大小写，所以只需要记住这个定式
- 指定使用的指令集
- .model语句
.model 内存模式[,语言模式][,其他模式]
内存模式
| 模式 | 内存使用方式 |
|---|---|
| tiny | 用来建立.com文件，所有的代码、数据和堆栈都在同一个64KB段内 |
| small | 建立代码和数据分别用一个64KB段的.exe文件 |
| medium | 代码段可以有多个64KB段，数据段只有一个64KB段 |
| compact | 代码段只有一个64KB段，数据段可以有多个64KB段 |
| large | 代码段和数据段都可以有多个64KB段 |
| huge | 同large，并且数据段中的一个数组也可以超过64KB |
| flat | Win32程序使用的模式，代码和数据使用同一个4GB段 |
对于Win32程序来说，只有一种内存模式，flat模式
源程序结构
.386
.model flat,stdcall
option casemap:none
<一些include语句>
.stack [堆栈段的大小] ;常忽略不写
.data
<一些初始化过的变量定义>
.data?
<一些没有初始化过的变量定义>
.const
<一些常量定义>
.code
<代码>
<开始标号>
<其他语句>
end <开始标号>
局部变量的定义
local 变量名1[[重复数量]][:类型],变量名2[[重复数量]][:类型]......
local伪指令必须紧接在子程序的伪指令proc后
变量的类型
| 名称 | 表示方式 | 缩写 |
|---|---|---|
| 字节 | Byte | db |
| 字 | word | dw |
| 双字(doubleword) | dword | dd |
| 三字(farword) | fword | df |
| 四字(quadword) | qword | dq |
| 十字节BCD码(tenbyte) | tbyte | dt |
| 有符号字节(signbyte) | sbyte | |
| 有符号字(signword) | sword | |
| 有符号双字(signdword) | sdword | |
| 单精度浮点数 | Real4 | |
| 双精度浮点数 | Real8 | |
| 10字节浮点数 | Real10 |
数据结构
结构名 struct
字段1 类型 ?
字段2 类型 ?
......
结构名 ends
定义
.data?
变量名称 结构名 <字段1,字段2,...>
;或者
.data?
变量名称 结构名 <>
使用
;前提假设结构名为WNDCLASS,结构体变量名为stWndClass,里面有字段lpfnWndProc
;1
mov eax,stWndClass.lpfnWndProc
;2.esi寄存器作指针寻址
mov esi,offset stWndClass
mov eax,[esi + WNDCLASS.lpfnWndProc] ;注意这里是WNDCLASS
;3.用assume伪指令把寄存器预先定义为结构指针
mov esi,offset stWndClass
assume esi:ptr WNDCLASS
mov eax,[esi].lpfnWndProc
...
assume esi:nothing ;注意：不使用esi做指针的时候需要用这句取消定义
;4.结构的定义可以嵌套
NEW_WNDCLASS struct
dwOption word ?
oldWndClass WNDCLASS <>
NEW_WNDCLASS ends
;5.嵌套的引用
mov wax,[esi].oldWndClass.lpfnWndProc
以不同的类型访问变量
;以db定义一个缓冲区
szBuffer db 1024 dup (?)
;mov ax,szBuffer ;错误，masm中，如果要用制定类型之外的长度访问变量，必须显式指出要访问的长度，这样编译器忽略语法上的长度检验，仅使用变量的地址
;类型 ptr 变量名
mov ax,word ptr szBuffer
mov eax,dword ptr szBuffer
movzx
把一个字节扩展到一个字或一个字或一个双字再放到ax或eax中，高位保持0而不是越界存取到其他的变量
.data
bTest1 db 12h
.code
movzx ax,bTest1
movzx eax,bTest1
变量的尺寸和数量
sizeof 变量名、数据类型或数据结构名 ;取得变量、数据类型或数据结构以字节为单位的长度
lengthof 变量名、数据类型或数据结构名 ;取得变量中数据的项数
获取变量地址
mov 寄存器,offset 变量名 ;offset是取变量地址的伪操作符
lea eax,[ebp-4] ;运行时按照ebp的值实际计算出地址放到eax中
;invoke伪指令参数要用到一个局部变量的地址时，参数中不可能写入lea指令，用offset又是不对的，可用addr
addr 局部变量名和全局变量名 ;全局变量名时编译器按照odffset的用法来用；局部变量名时，编译器用lea先把地址取到wax中，然后用eax代替变量地址使用
;invoke中使用addr时，它的左边不能使用wax，否则eax的值会被覆盖
子程序的定义
子程序名 proc [距离][语言类型][可视区域][USES寄存器列表][,参数:类型]...[VARARG]
local 局部变量列表
指令
子程序名 endp
参数传递和堆栈平衡
不同语言调用方式的差别
| C | SysCall | StdCall | BASIC | FORTRAN | PASCAL | |
|---|---|---|---|---|---|---|
| 最先入栈参数 | 右 | 右 | 右 | 左 | 左 | 左 |
| 清除堆栈者 | 调用者 | 子程序 | 子程序 | 子程序 | 子程序 | 子程序 |
| 允许使用VARARG | 是 | 是 | 是 | 否 | 否 | 否 |
条件测试语句
寄存器或变量 操作符 操作数
(表达式1) 逻辑运算符 (表达式2) 逻辑运算符 (表达式3) ...
;举例，左边表达式，右边是表达式为真的条件
x==3 ;x等于3
eax!=3 ;eax不等于3
(y>=3)&&ebx ;y大于等于3且ebx为非零值
;表达式的左边只能是变量或寄存器，不能为常数；表达式两边不能同时为变量，但可以同时是寄存器
标志位的状态指示
CARRY? 表示Carry位是否置位
OVERFLOW? 表示Overflow位是否置位
PARITY? 表示Parity位是否置位
SIGN? 表示Sign位是否置位
ZERO? 表示Zero位是否置位
分支语句
.if eax && (bx >= dWX) || !(dWY != ecx)
mov esi,1
.elseif edx
mov esi,2
.elseif esi & 1
mov esi,3
.elseif ZERO? && CARRY?
mov esi,4
.endif
循环语句
.while 条件测试表达式
指令
[.break [.if 退出条件]]
[.continue]
.endw
;或
.repeat
指令
[.break [.if 退出条件]]
[.continue]
.until 条件测试表达式 (或 .untilcxz [条件测试表达式])
变量和函数的命名
匈牙利表示法
类型前缀+变量说明（类型用小写字母，说明则用首字母大写的几个引文单词组成）
汇编语言中常用的类型前缀
| b | 表示byte |
| w | 表示word |
| dw | 表示dword |
| h | 表示句柄 |
| lp | 表示指针 |
| sz | 表示以0结尾的字符串 |
| lpsz | 表示指向0结尾的字符串的指针 |
| f | 表示浮点数 |
| st | 表示一个数据结构 |
举例
| hWinMain | 主窗口的句柄 |
| dwTimeCount | 时间计数器，以双字定义 |
| szWelcome | 欢迎信息字符串，以0结尾 |
| lpBuffer | 指向缓存区的指针 |
| stWndClass | WNDCLASS结构 |
本书的作者建议
- 全局变量的定义使用标准的匈牙利表示法，在参数的前面加下划线；在局部变量的前面加@符号，这样引用的时候就能随时注意到变量的作用域。
- 在内部子程序的名称前面加下划线，以便和系统API区别。
举例
_Calc proc _dwX,_dwY
local @dwResult
finit
fild _dwX
fld st(0)
fmul ;i * i
fild _dwY
fld st(0)
fmul ;j * j
fadd ;i * i + j * j
fsqrt ;sqrt(i * i + j * j)
fistp @dwResult ;put result
mov eax,@dwResult
ret
_calc endp