MASM编写x86汇编二值化函数时，mov [ecx+eax], edi行报语法错误

语法错误直接触发原因 #

两处mov [ecx+eax], edi报“表达式语法错误”，根源是MASM的操作数尺寸校验规则：

• 对基址变址格式的内存寻址（即[基址寄存器 + 变址寄存器]结构），MASM不会自动根据源寄存器位宽推断内存访问长度，必须通过byte ptr/word ptr/dword ptr显式声明内存单元尺寸，否则直接抛出语法错误。
• 替换0、255为十六进制值无法解决问题，是因为报错和立即数内容无关，属于指令结构本身的校验错误。
• 从功能逻辑看，用32位edi寄存器向单字节数组写入的操作本身就是错误的，会一次性覆盖连续4个内存字节，破坏相邻数组元素的值。

原代码存在的其他功能性缺陷 #

即使消除语法报错，原代码也无法正常运行，存在三处违反规范的问题：

• 栈参数偏移完全错位：flat内存模型下C调用约定（cdecl）的栈帧布局为，ebp基准点向上（低地址方向）依次是返回地址、从左到右排列的传入参数：
  • [ebp+8]：第一个传入参数（unsigned char数组指针）
  • [ebp+12]：第二个传入参数（unsigned char判定阈值）
  • [ebp+16]：第三个传入参数（整型数组长度）
    原代码中mov edx, [ebp+18]属于非对齐非法栈地址，取到的长度值为随机值；同时参数对应关系完全颠倒，把数组指针和阈值的存储位置搞混。
• 寄存器使用违反调用约定：cdecl要求被调用函数在修改非易失性寄存器（ebx、edi、esi、ebp）前，必须将其值入栈保护，函数退出前恢复原始值。原代码直接使用ebx、edi存储中间值，未做保护，会导致调用方C程序出现随机内存损坏。
• 比较指令存在同类尺寸校验问题：原代码cmp [ecx+eax], ebx未声明内存操作数尺寸，后续编译也会触发相同的语法错误。

修正后的可编译运行代码 #

.586 
.MODEL FLAT, C 
.CODE 

PUBLIC binarize
binarize PROC
    push ebp
    mov ebp, esp
    push ebx  ; 函数内使用ebx，需入栈保护非易失性寄存器

    ; 按正确栈偏移加载参数
    mov ecx, [ebp+8]         ; 加载数组指针
    movzx ebx, byte ptr [ebp+12]  ; 加载阈值，零扩展避免高位干扰
    mov edx, [ebp+16]        ; 加载数组长度
    mov eax, 0               ; 数组字节索引初始化

LoopVer:
    cmp byte ptr [ecx+eax], bl  ; 显式声明内存为单字节尺寸
    jle elseloop             ; 元素≤阈值时，跳转至赋值255分支
    
    ; 元素>阈值，赋值0
    mov byte ptr [ecx+eax], 0
    jmp end_if
elseloop:
    ; 元素≤阈值，赋值255
    mov byte ptr [ecx+eax], 255
end_if:
    
    inc eax
    cmp eax, edx
    jne LoopVer

    pop ebx
    pop ebp
    ret
binarize ENDP
END

修正要点 #

• 所有单字节内存读写指令均添加byte ptr尺寸声明，彻底解决MASM的语法报错。
• 移除冗余的edi寄存器中转步骤，直接通过立即数写入内存字节位置，减少不必要的寄存器使用。
• 修正栈参数偏移，严格按照cdecl栈布局加载参数，保证取到的指针、阈值、长度值准确。
• 对用到的ebx寄存器做入栈保护，符合调用约定要求，不会破坏调用方的寄存器上下文。
• 采用movzx加载unsigned char类型的阈值，将其零扩展到32位寄存器，避免寄存器高位的随机值干扰比较结果。

内容的提问来源于stack exchange，提问作者user11420703