c - 检查 Visual Studio C++ 编译器生成的代码，第 1 部分

Question

<分区>

Answer 1

一切

00401010  |> 99             /CDQ
00401011  |. 2BC2           |SUB EAX,EDX
00401013  |. D1F8           |SAR EAX,1

代表y/= 2。您会看到，独立的 SAR 不会按照编译器作者的意图执行有符号整数除法。 C++98 标准建议将带符号的整数除法向 0 舍入，而 SAR 单独将向负无穷大舍入。 (允许向负无穷大舍入，选择留给实现)。为了将负操作数舍入到 0，使用了上述技巧。如果您使用无符号类型而不是有符号类型，那么编译器将只生成一个移位指令，因为负除法问题不会发生。

技巧非常简单:对于负号 y 扩展将在 EDX 中放置一个 11111...1 的模式，即实际上 -1 以 2 的补码表示。如果原始 y 值为负，则以下 SUB 将有效地向 EAX 加 1。如果原始 y 为正(或 0)，则 EDX 将在符号扩展和 EAX 之后保持 0将保持不变。

换句话说，当您使用带符号的 y 编写 y/= 2 时，编译器生成的代码更类似于以下内容

y = (y < 0 ? y + 1 : y) >> 1;

或者，更好

y = (y + (y < 0)) >> 1;

请注意，C++ 标准不要求除法结果向零舍入，因此即使对于有符号类型，编译器也有权只进行一次移位。但是，编译器通常会遵循建议向零舍入(或提供控制行为的选项)。

P.S. 我不确定 LEA 指令的目的是什么。这确实是一个空操作。但是，我怀疑这可能只是插入到代码中用于进一步修补的占位符指令。如果我没记错的话，MS 编译器有一个选项可以强制在每个函数的开头和结尾插入占位符指令。将来，补丁程序可以使用执行补丁代码的 CALL 或 JMP 指令覆盖该指令。选择这个特定的 LEA 只是因为它产生了正确长度的无操作占位符指令。当然，也可以是完全不同的东西。