汇编问题

元老

问题出自《汇编语言（第四版）》王爽 的检测点16.2
为什么该题答案是：
mov ax,datamov es,axassume指定data段与es关联没错，但 mov ax,a[si] 相当于 mov ax,[a + si] ，这种情况下，在mov未指定寄存器时，不应该默认段寄存器为ds吗？
那么，按理说，应该lable解析就过不去，因为没有assume ds，可为什么能够执行呢？
原题：

  

assume cs:code,es:data
data segment
a db 1,2,3,4,5,6,7,8
b dw 0
data ends
code segment
start:
________
________
mov si,0
mov cx,8
s:
mov al,a[si]
mov ah,0
add b,ax
inc si
loop s
mov ax,4c00h
int 21h
code ends
end start

assume cs:code,es:data<br /> data segment<br />         a db 1,2,3,4,5,6,7,8<br />         b dw 0<br /> data ends <br /> code segment<br /> start:<br />         ________<br />         ________<br />         mov si,0<br />         mov cx,8<br />         s:<br />                 mov al,a[si]<br />                 mov ah,0<br />                 add b,ax<br />                 inc si <br />                 loop s <br />                 mov ax,4c00h<br />                 int 21h<br /> code ends<br /> end start

zainex

简单的看了一下：

已经说的很明白了，非要补充的话，实际上：

指令：mov, al, a[si]
编译为：mov al,ds:[si+0]

指令：add b, ax
编译为：add ds:[8], ax

之所以书上没有加ds，因为默认就是ds（当然也方便后面出题），如果你指定的是es：

指令：mov, al, a[si]
编译为：mov al,es:[si+0]

指令：add b, ax
编译为：add es:[8], ax

那么这属于“自动推测”吗？显然不是，因为不管是ds还es，都些是你自己事先用 assume 指定的。

元老

所以 assume 的作用到底是什么？其还能根据标签自动推测所属段，然后隐式指定段寄存器？

laihobglei

按理说，应该 label 解析就过不去，因为没有 assume ds

因 assume es:data，汇编器主动使用 es 而非默认 ds，代码中正确设置了 es 的值，故能正常运行。assume 不强制 CPU 行为，仅辅助汇编器生成正确指令。

laihobglei

assume es:data，汇编器主动使用 es 而非默认 ds，且代码中正确设置了 es 的值，才能正常运行。

assume 不强制 CPU 行为，仅辅助汇编器生成正确指令。

laihobglei

因 assume es:data，汇编器主动使用 es 而非默认 ds，且代码中正确设置了 es 的值，故能正常运行。
assume 不强制 CPU 行为，仅FZ汇编器生成正确指令。