BASM精要：Delphi内联汇编的语法、寻址与调试实践

简介BASMBorland汇编语言是Delphi内嵌汇编的核心机制允许开发者直接以汇编指令操纵寄存器与内存。这份精要文档面向希望通过底层优化提升程序性能的Delphi开发人员系统梳理了BASM语句构成、表达式类别寄存器、立即数、内存引用与TYPE类型判定方法并配套大量可编译的注释示例能帮助读者快速理解汇编与Pascal语法之间的对应关系。文档还重点讲解了变量、常量、记录、数组、对象等复杂数据结构在BASM中的访问方式以及DB/DW/DD/DQ数据定义指令和类型强制转换语法甚至分析了OFFSET取址、字符串常量编码等易错细节。资源为单份PDF文件压缩包仅30KB轻量便携适合在编码间隙随时查阅。目前已有130人学习对于想深入Delphi底层机制、掌握内嵌汇编调试技巧的开发者来说是一份简明实用的入门参考。1. BASM 精要先立边界它不是 MASM也不是 Turbo Assembler在 Delphi 或 Turbo Pascal 里写下asm ... end;的那一瞬你用的其实是 Borland 编译器内置的汇编语法 BASM也就是Borland 汇编语言这个叫法的来源。它和 MASM、TASM 是三套东西MASM 是宏汇编标准TASM 是独立汇编器BASM 则由编译器在语法分析阶段直接翻译成机器码。正因为嵌在编译器里BASM 能直接读写 Object Pascal 的变量、参数和 Result寄存器布局也由调用约定替你定好。标题里精要[归类]是整理思路下面照同样的思路组织先划边界再给能抄的寻址模式和完整函数最后用调试器逐条验证。适合已会一点汇编、想在 Borland 系工程里真正动手的人。2. BASM 语法与调用约定从最小 asm 函数到寄存器分工2.1 先分清BASM 不是 TASM也不是独立汇编工具Turbo Assembler 是 Borland 推出的独立汇编器能产出独立 .obj配套的还有 io.lib、tlink 这类库和链接器很多高校的汇编语言第二次上机 io.lib masm实验课走的是宏汇编路径。而 BASM 是 Turbo Pascal 4.0 开始内置、一直延续到 Delphi 的 inline assembler它没有自己的源文件、目标文件或运行库asm块只是函数体里的一条语句。这条路线带来的差异很实际用 MASM 写函数要考虑 SEGMENT/ENDS、ASSUME、PUBLIC 导出用 BASM 则完全不需要函数名本身就是 Pascal 例程名I/O 也不用碰 INT 21H直接调WriteLn即可。编译时 BASM 会做真正的语法检查非法指令和非法地址组合在编译期就报错不会拖到链接或运行。代价是它没有独立宏系统条件汇编要靠 Pascal 层{$IFDEF}包。还有一层历史关系要澄清TASM 和 BASM 语法高度接近都是 Intel 风格、操作数顺序相同熟悉 TASM 的人切到 Delphi 内联 asm 几乎没有额外成本。习惯 MASM 的人要改三个点不需要 OFFSET 伪指令用LEA取地址、段内短跳转与近跳转不区分、变量宽度由寄存器或 PTR 修饰符推断。2.2 四条随时要想起的语法规则第一asm是语句不是块声明既能独占整个函数体也能嵌在begin ... end;中间。独占函数体时编译器负责生成函数序言和返回路径你只需要保证执行流完整。第二指令一律目标在前、源在后MOV EAX, EDX是把 EDX 内容写进 EAX和 ATT 风格恰好相反。第三内存操作数的大小必须能从上下文确定。function IsZero(A: Integer): Boolean; asm TEST EAX, EAX SETZ AL end;这段代码里SETZ AL是唯一合法宽度因为布尔结果只占一字节。对内存单元写立即数时 BASM 无法推断宽度必须显式写MOV BYTE PTR [EAX], 1或MOV DWORD PTR [EBX], 1。老手也常在这里被绊住。第四局部标签以开头作用域只在当前 asm 块内跨块跳转、跨函数跳转都不存在。标签命名规则和 Pascal 标识符相同但不能和参数名、变量名重名。2.3 一个最小函数看懂参数与返回值function Triple(X: Integer): Integer; asm MOV ECX, EAX // X 由调用方放在 EAX SHL ECX, 1 // ECX X * 2 ADD EAX, ECX // EAX X 2X 3X end;Delphi 默认的 register 调用约定下第一个 32 位整数参数从 EAX 进入第二个走 EDX第三个走 ECX返回整数值时把结果放 EAX 即可。参数超过三个时多出的按从右往左压栈函数内通过[EBP8]、[EBP12]访问。Triple没有碰任何需要保存的寄存器函数体就这么短。对比项MASMTASM/BASM备注位置独立 .asm 文件内嵌在 Pascal 函数体BASM 无独立编译单元段与 ASSUME必需不需要编译器代管取变量地址OFFSET VarLEA Reg, VarBASM 无 OFFSET 伪指令标签全局/局部块内跨块不可见宽度推断由变量类型由寄存器/PTR 修饰立即数写内存必须 PTR这张表不是用来背的它的用途是排错。一段用 MASM 写惯了的汇编被搬进 Delphi十有八九卡在 OFFSET 和标签这两行。3. BASM 寻址模式与实用指令簇不用背指令大全3.1 变量名就是内存操作数BASM 最省事的特征是直接写 Pascal 变量名。全局变量解析成绝对地址位移局部变量和参数被换算成[EBP - 偏移]或[EBP 偏移]的形式换算由编译器完成。var Counter: Integer; Table: array[0..255] of Byte; procedure TouchTable(I: Integer); asm MOV EAX, Counter // 读全局变量 INC EAX MOV Counter, EAX MOV ECX, I // 引用参数名自动解析到 EAX MOV AL, Table[ECX] // 数组下标寻址 end;MOV AL, Table[ECX]叫变址寻址编译后变成MOV AL, [Table ECX]。注意数组元素宽度是 Byte目标寄存器用 AL如果 Table 是array[0..255] of Integer这里就要写MOV EAX, Table[ECX*4]。BASM 对数组边界完全不查越界就是读取相邻内存这是内联汇编的代价。3.2 寻址模式速查表一张表覆盖九成场景写法含义典型用途[EAX]寄存器间接遍历字符串、缓冲[EBX8]寄存器加位移结构体字段、栈参数[EAXEDX*4]寄存器加变址遍历 Integer 数组[Symbol]绝对地址全局变量读写[SymbolECX]符号加变址查静态表BYTE PTR [EAX]显式宽度歧义时强制指定两个关键限制乘数只能是 1、2、4、8超出会编译失败不能有两个寄存器同时被缩放[EAX*2]不合法因为第一操作数必须是基址寄存器。日常用得最多的是[EAXEDX*4]和[SymbolECX]一个遍历动态数组一个查表。拿不准时用LEA先算地址再访问代码丑一点但错不了。3.3 不需要背指令大全掌握这一小簇汇编语言指令大全有几百条BASM 实际常用的不到三十条数据传送的 MOV/MOVZX/MOVSX/LEA/XCHG算术的 ADD/SUB/INC/DEC/IMUL/SHL/SHR/SAR位运算的 AND/OR/XOR/TEST/BSF/BT以及 CMP 和配套的 Jcc/SETcc。够用之后遇到新指令再查比一开始硬背高效得多。下面这个判断 2 的幂函数集中演示了 TEST、Jcc、DEC 的配合function IsPowerOfTwo(X: Cardinal): Boolean; asm TEST EAX, EAX JZ No // 0 不是 2 的幂 MOV EDX, EAX DEC EDX // X - 1 TEST EAX, EDX // X and (X-1) JZ Yes // 为 0 说明只有一位为 1 No: XOR EAX, EAX JMP Out Yes: MOV EAX, 1 Out: end;逻辑来自经典结论当且仅当X (X-1) 0时 X 是 2 的幂。TEST只做 AND、只写标志位所以JZ看的就是 AND 结果是否为 0。布尔结果故意用XOR EAX, EAX再MOV EAX, 1而不是只写SETZ AL因为 Delphi 的 Boolean 虽然占一字节调用方有时按 32 位读返回值高位不归零会出现脏数据。这是 BASM 写布尔函数最常见的坑AL 对了EAX 上层还是旧值。4. 用 BASM 写两个可复现函数字符串处理与位计数4.1 寄存器的保存协议先背下来寄存器角色被调函数内是否要保存EAX第 1 参数、整数返回值否EDX第 2 参数否ECX第 3 参数否EBX通用是ESI通用是EDI通用是EBP帧指针是ESP栈顶绝不能改前三个是易失寄存器随意用EBX/ESI/EDI 一旦改动函数返回前必须恢复原值标准做法是入口 push、出口 pop。在长函数里用了 EBX 做指针又在分支里提前退出忘了 pop崩溃现场极难复现。给新人的建议能用 EAX/EDX/ECX 解决就别碰 EBX/ESI/EDI省得维护 push/pop 配对。返回值按类型分32 位整数和指针在 EAXInt64 在 EDX:EAX浮点数走浮点栈 ST(0)部分新版本可能走 XMM0。函数的调用约定由声明决定stdcall、cdecl影响的是栈清理BASM 块内部感知不到编译器会在函数出口统一生成对应的返回指令。4.2 例一对 PAnsiChar 就地转大写procedure StrUpper(P: PAnsiChar); stdcall; asm TEST EAX, EAX JZ Done // 空指针直接返回 Loop: MOV DL, [EAX] // 读一个字节 TEST DL, DL JZ Done // 遇到 0 结束 CMP DL, a JB Next // 小于 a 不是小写 CMP DL, z JA Next // 大于 z 不是小写 SUB DL, 20h // ASCII 大小写差 MOV [EAX], DL // 写回原字节 Next: INC EAX // 指针后移 JMP Loop Done: end;stdcall在这里只为展示声明对汇编块的影响参数仍在 EAX块内逻辑不变。DL属于 EDX是易失寄存器不需要保存。两次 CMP 加 JB/JA 做范围判断比先 AND 再比较更直观也便于改造成大小写不敏感检测。循环每轮都重新从内存读字节这是必须的因为字符串终点不确定。4.3 例二32 位整数 PopCountfunction PopCount32(X: Cardinal): Integer; asm MOV EDX, X // 参数名可以直接引用 XOR EAX, EAX // 计数器清零 TEST EDX, EDX JZ Done Loop: MOV ECX, EDX DEC ECX AND EDX, ECX // 每次消去最低位的 1 INC EAX JNZ Loop Done: end;Kernighan 位计数每轮 AND 都把最低位的 1 变成 0循环次数等于置位数比逐位移位快。MOV EDX, X值得多说一句X 已经在 EAX 里这里故意用参数名写是想演示 BASM 允许在指令里直接引用形参编译器自动知道它当前在哪个寄存器如果 X 换成第三个以后的栈参数同一行代码会自动解析成MOV EDX, [EBP8]。这种只认名字不认位置的方式是把 MASM 代码迁到 BASM 时最需要适应的变化。4.4 三个老手也容易翻车的点第一修改 EBX/ESI/EDI 没保存。在调用 Windows API 或 Pascal 函数时表现为随机崩溃因为调用方假设这三个寄存器在返回后不变。第二立即数写内存忘记 PTRMOV [EAX], 1编译报错要写MOV DWORD PTR [EAX], 1。第三试图在标签之间做非局部跳转。BASM 没有跨块远跳转想在多个 asm 块间共享代码正确做法是把公共逻辑抽成独立 Pascal 函数用 CALL 调用。提示如果函数内部要调用其他 Pascal 函数进入 CALL 前先确认自己需要的寄存器值已经压栈保存BASM 不保证 CALL 回来时寄存器仍是原值。5. 用 CPU 窗口验证 BASM单步核对与 DB 指令兜底5.1 在 CPU 窗口里把每条指令对回源码写完 asm 函数别急着提交先在调用处加断点运行后打开 Delphi 的 CPU 窗口老版本在 View Debug Windows CPU新版归到 Debug 菜单下按 F8 单步。窗口左边是反汇编机器码中间是寄存器实时值。核对顺序固定先看反汇编是否与源码一一对应再盯 EAX/EDX/ECX 的变化最后看 EFLAGS 里的 ZF、CF。单步最容易发现 EAX 被内部指令污染。在 PopCount32 里若忘了TEST EDX, EDX直接进循环EDX 为 0 时循环会得出错误结果CPU 窗口里 EDX 停在 0 循环却还在走一眼就能定位。验证布尔函数时把 Watch 写成Integer(Result)避免调试器按 Boolean 显示 True/False 而掩盖高位脏数据。5.2 两个压箱底技巧DB 写死 opcode 和 NOP 对齐第一个技巧是 DB 伪指令。部分 Delphi 版本的 BASM 不认识较新的 SSE 助记符但 DB 可以写任意原始字节// 等价于 XORPS XMM0, XMM0把 XMM0 清零 DB 0Fh, 57h, 0C0h0F 57 /r是 XORPS 的编码0C0h是 modrm 字节表示源和目的都是 XMM0。BASM 不认的指令查 Intel 手册 opcode 表用 DB 拼出来即可代价是旁边要写注释。第二个技巧是跳转目标对齐热循环入口对齐到 16 字节能减少取指跨行内联 asm 里没有像 TASM 那样随处可用的 ALIGN常见做法是在循环前补DB 90h单字节 NOP。现代 CPU 对此不敏感但成本几乎为零。最后把热路径分支顺手排一下循环内条件跳转写成向后跳冷分支挪到函数末尾正常路径的取指预取会更顺。这个习惯与指令集无关但从 BASM 函数里带走的长期收益却是这个。本文还有配套的精品资源点击获取