comparison - 如何在程序中执行值相等比较？

Question

计算机如何执行值相等比较？它是否从最小的位开始逐位比较值，并在遇到两个不同的位时停止？还是从最高位开始？无论在何处/何时找到两个不同的位，它都会遍历所有位吗？

Answer 1

当您用高级语言(例如 c)编写相等比较时，它将被转换为中间表示，然后转换为特定平台的指令，该代码将在其上执行。编译器可以自由地使用目标架构上可用的任何指令来实现相等比较。这个想法通常是为了让它更快。

不同的架构有不同的指令集。不同的处理器可以有不同的实现策略(再次使事情更快)，只要它们符合规范。

下面是几个例子

x86

CMP 命令用于比较两个值。这是 Instruction set reference 的摘录.

Compares the first source operand with the second source operand and sets the status flags in the EFLAGS register according to the results. The comparison is performed by subtracting the second operand from the first operand and then setting the status flags in the same manner as the SUB instruction. When an immediate value is used as an operand, it is sign-extended to the length of the first operand.

这基本上意味着检查所有位。我想它也是以这种方式实现的，以允许非相等(<，>)比较。

所以所有位都被检查。在最简单的情况下，可以连续完成，但可以更快地完成。见 wikibooks on add / subtract blocks .



ARM

TEQ 命令可用于测试两个值的相等性。
这是 infocenter.arm.com 的摘录

The TEQ instruction performs a bitwise Exclusive OR operation on the value in Rn and the value of Operand2. This is the same as the EORS instruction, except that it discards the result. Use the TEQ instruction to test if two values are equal without affecting the V or C flags.

再次检查所有位。