[转译][马基 杰斯特(MarkeyJester) 摩托罗拉68000 入门教程] 陆 - 条件分支 | 2. CMP, TST & BTST (测试) 指令

注意：本文经过原作者授权转译，转载请标明出处

原文地址：http://mrjester.hapisan.com/04_MC68/Sect06Part02/Index.html

条件允许建议阅读原文，网上非中文资料还是较多，当作锻炼英文岂不美哉
翻译若有不足之处欢迎批评指正

译文：

"你的过去和未来与你的内心相比，微不足道" ---- 拉尔夫 沃尔多 爱默生 (Ralph Waldo Emerson, 1803-1882)，美国思想家、文学家、诗人

简介：

这些指令会去检查目标操作数的某些特定条件的状态，然后去相应的设置CCR的某些状态标志，目标操作数的内容保持不变

CMP 指令

CMP (CoMPare) - 比较

这条指令通过用目标操作数减去源操作数的结果来获得CCR的状态，目标操作数的内容保持不变

例子

你在之前的小节中已经见过CMP指令了：

    cmpi.w     #$0F20, d0

假定d0的内容是FF940F21，由于指令指定的有效长度是.w，也就是字，所以只有0F21会被拿来比较，CMP指令比较的方式是用目标操作数减去源操作数，但是并不会保存计算的结果，所以0F21 - 0F20 = 0001

现在，它会开始设置状态标志 (flag)：

• C (进位) - 0，因为计算结果并没有超出一个字的表示范围
• V (溢出) - 0，因为正数 - 正数 = 正数，结果很符合数学逻辑
• Z (零结果) - 0，因为计算结果不是0 (不是0000)
• N (负结果) - 0，因为计算结果不是个负数 (0001)
• X (扩展) - CMP指令不会修改这个状态标志

指令执行之后d0的内容仍然是FF940F21，但是CCR里的状态标志已经有所改变，接下来的指令就可以使用这些状态标志

你可能又一次的发现CMP指令带了一个i表示立即数，别忘了在使用立即数的时候加上那个i (当然，你的汇编程序可能会自动的帮你加上如果你忘了的话)

你可以使用字节，字或是长字来做比较。CMP指令也可以用来比较数据寄存器，地址寄存器，内存地址，使用地址寄存器表示的内存地址等等，有个例外是当你比较地址寄存器时，不可以使用字节 (.b)有效长度的指令

TST 指令

TST (TeST an operand) - 测试一个操作数

这条指令会把目标操作数与0作比较然后更新CCR状态标志，目标操作数的内容不会被改变

例子

    tst.w      d0

它和这条指令的效果差不多：

    cmpi.w     #$0000, d0

对于状态标志的修改它们也是一样的。当然了，这种情况下V和C状态标志永远都会是0

这条指令的好处是它比CMP更小更快，所以如果你想要做与0的比较的话，用TST指令是一种更优的选择

BTST 指令

BTST (TeST a bit) - 测试一个位

这条指令会测试目的操作数中的某一位看看它是0还是1，具体是哪一位取决于源操作数，然后结果会被放到Z状态标志中

例子

如果你还记得在第三章第五节的时候，我们学习了BSET，BCLR和BCHG指令。这条指令和它们的工作方式有点类似，源操作数和目的操作数的一些约束条件是一样的 (比如源操作数只能是立即数或是数据寄存器，目的操作数是数据寄存器时指令使用的长度只能是长字，而目的操作数是地址的时候指令使用的长度只能是字节，等等)

不同点在于这条指令并不会修改目的操作数，它只是会检查相应的位是1还是0：

    btst.l     #$03, d0

在这条指令中，d0中的03位会被检查，假设d0的内容是7FF290F5，表示成二进制就是

1F	1E	1D	1C	1B	1A	19	18	17	16	15	14	13	12	11	10	0F	0E	0D	0C	0B	0A	09	08	07	06	05	04	03	02	01	00
0	1	1	1	1	1	1	1	1	1	1	1	0	0	1	0	1	0	0	1	0	0	0	0	1	1	1	1	0	1	0	1

如你所见，d0中的03位是0，由于它是0，所以Z (零结果) 状态标志会被设置为1

再康一个例子：

    btst.l     #$11, d0

然后d0的内容是7FF290F5：

1F	1E	1D	1C	1B	1A	19	18	17	16	15	14	13	12	11	10	0F	0E	0D	0C	0B	0A	09	08	07	06	05	04	03	02	01	00
0	1	1	1	1	1	1	1	1	1	1	1	0	0	1	0	1	0	0	1	0	0	0	0	1	1	1	1	0	1	0	1

此时d0中的11位是1，由于它是1，所以Z (零结果) 状态标志会被设置为0

总结

这些指令会在需要的时候用来设置CCR里的状态标志，你可能会经常把它们与一些条件跳转/分支的指令连在一起使用 (比如BEQ指令)，然而很有必要提醒一下 m68k 是一个很特别的架构，它的指令是正交的，许多指令都会去设置，擦除或是修改CCR的状态标志，比如：

    add.b      d1, d0
    tst.b      d0
    beq.s      ValueIsZero

这个例子中，首先d1中的一个字节会被加到d0中，然后会去检查d0的内容是不是0，然后如果是0的话，BEQ指令就会跳转到标记ValueIsZero处，如果不是0，那指令就会继续顺序往下执行

问题在于，ADD指令已经设置了Z状态标志了，所以如果你把TST指令删掉：

    add.b      d1, d0
    beq.s      ValueIsZero

其实执行的效果跟之前是一样的，不一样的是，你用了更少的指令，也就是说程序的代码量会更小，程序会执行的更快

目录
上一篇：[转译][马基 杰斯特(MarkeyJester) 摩托罗拉68000 入门教程] 陆 - 条件分支 | 1. CCR (状态字寄存器)
下一篇：[转译][马基 杰斯特(MarkeyJester) 摩托罗拉68000 入门教程] 陆 - 条件分支 | 3. BEQ & BNE (相等条件分支) 指令