数据处理指令之TEQ测试相等指令分析

6.10 TEQ测试相等指令
　　1．指令的编码格式
　　TEQ（Test Equivalence）测试指令用于将一个寄存器的值和一个算术值做比较。条件标志位根据两个操作数做“逻辑或”后的结果设置。以便后面的指令根据相应的条件标志来判断是否执行。
　　指令的编码格式如图6.11所示。
　　
　　图6.11 TEQ指令编码格式
　　注意TEQ类似于TST。区别是这里的概念上的计算是EOR而不是AND。这提供了一种查看两个操作数是否相同而又不影响进位标志（不像CMP那样）的方法。
　　2．指令的语法格式
　　TEQ{《cond》} 《Rn》，《shifter_operand》
　　① 《cond》
　　为指令编码中的条件域。它指示指令在什么条件下执行。当《cond》忽略时，指令为无条件执行（cond=AL（Alway））。
　　② 《Rn》
　　指定第一个源操作数寄存器。
　　③ 《shifter_operand》
　　使用ARM的通用寻址模式确定第二个源操作数。它影响指令编码格式中的I（bit［25］）位和shifter_operand（bits［11∶0］）位。
　　注意当指令的编码格式中I位等于0，并且移位操作数shifter_operand中bit［7］和bit［4］也都等于1，则指令并非TEQ指令。详情请参阅ARM系统结构参考手册。
　　3．指令操作的伪代码
　　指令操作的伪代码如下面程序段所示。
　　If ConditionPassed{cond} then
　　ALU_out = Rn EOR shifter_operand
　　N Flag = ALU_out［31］
　　Z Flag = if ALU_out==0 then 1 else 0
　　C Flag =shifter_carry_out
　　V Falg=unaffected
　　4．指令举例
　　【例6.10】TEQ指令举例。
　　下面的指令比较R0和R1是否相等，它该指令不影响CPSR中的V位和C位。
　　TEQ R0，R1;
　　TST指令与EORS指令的区别在于TST指令不保存运算结果。使用TEQ进行相等测试，常与EQ和NE条件码配合使用，当两个数据相等时，条件码EQ有效，否则条件码NE有效。