为何MASM中符号RAX对IFDEF和IFNDEF均返回真值？

问题本质：条件汇编语法错误+ML64的寄存器预定义 #

首先明确：ML64.exe作为64位汇编器，RAX是内置的预定义寄存器符号，不存在“未定义”的情况。你看到两个分支都执行，核心原因是条件块没有用ENDIF正确闭合，导致汇编器忽略了条件判断，把两个分支的代码都编译进了最终程序。

举个典型的错误写法：

IFDEF RAX
    ; 输出"Symbol RAX exists"的代码
    lea rdx, [msg]
    call printf
IFNDEF RAX
    ; 同样的输出代码
    lea rdx, [msg]
    call printf
ENDIF

这里第二个IFNDEF没有对应的ENDIF，汇编器会把它当作第一个IFDEF块的延续，或者因为语法错误直接跳过条件判断，最终两段输出代码都被保留，运行时自然会打印两次。

正确的条件分支写法必须每个IFDEF/IFNDEF都配一个ENDIF：

IFDEF RAX
    lea rdx, [msg_exists]
    call printf
ENDIF

IFNDEF RAX
    lea rdx, [msg_not_exists]
    call printf
ENDIF

用ML64编译这段代码，只会保留IFDEF RAX的分支，运行只输出一次。

顺带解决你的架构判断问题 #

你原来用IFNDEF RAX判断32位架构失效，是因为ML64只处理64位代码，RAX永远是预定义的。要区分32/64位汇编环境，应该用官方推荐的预定义宏：

• ML64会自动定义_WIN64
• 32位ML.exe会定义_WIN32

正确的跨架构判断逻辑：

IFDEF _WIN64
    ; 64位专属指令，比如用RAX、RDX等64位寄存器
    mov rax, 0x123456789abcdef0
ELSE
    ; 32位专属指令，比如用EAX、EDX等32位寄存器
    mov eax, 0x12345678
ENDIF

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